How do you solve sin^2 x= cos^2 x + 1/2?