cos(atan(x))