int(arctan(x),x)