derivative sin cos^2 tan^3 x