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