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