Prove the identity
sin(x) = cos(x)tan(x)