cos2x = cos^2 x - sin^2 x}