sin^2 x + cos^2 x