What is cos(arc sin (5/13))?