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