How do you find the exact value of cos(arccos(0.25))?