Trickster 1.5 problem

In order to use Thm 1.15, sin(x) must be converted to csc (x) as sin (0) = 0 and cannot be claimed as an infinite denominator while csc (0) = infinity and fits into Thm. 1.15.