How do you solve 2 cos-1 x = pi?