sin^2x=6-2cos^2x