Use identity $1 + \cot^2\theta = \csc^2\theta$ (#473)

Use identity $1 + \cot^2\theta = \csc^2\theta$ (#473)

Simplify or prove trigonometric statements.