How do you solve \cos (80^@) = x/10cos(80)=x10?