How do you solve 4cos^(2)x=1?