How do you calculate cos1(cos(0.5))?