What is #cos(2arccos0.25)#?