How do you solve for x in 200 = cos(1.7x)?