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