How do you find the exact value of cos[sin1(13)arcsin(12)]?