How do you find the exact value of cos(arcsin(513))?