prove the identity:
cos(3t)=cos^3(t)-3sin^2(t)cos(t)
cos(3t)=cos^3(t)-3sin^2(t)cos(t)