cos (2 arctan x/2)