How do you get the exact value of cos[2 sin^-1(sqrt2 / 2)]?