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