cos(arctan(x))