cos(sin^-1 1/2)