How do you find the exact value of cos(arcsin(5/13))?