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