How do you evaluate cos(arcsin(5/13))?