What is cos(2arccos0.25)?