How do you calculate the cos1(12)?