sin^2 x + (1/2)tan^2x = 2cos^2 x