How do you solve cos(80)=x10?