cos(3x) = 4 (cosx)^3− 3 cos x