Proving trigonometric identities
csc x - sin x / cos x = cot x