cos^2 x + sin^2 x