What is cos(arcsin(513))?