1-cos^2(x)=sin(x)tan(x)cos(x)
=cos(x)sin(x)/cosx x sin(x)

Cos(x)cos(x)sin(x)/cos(x)
=sin(x)sin(x)
=sin^2(x)
=1-sin^2(x)

true