Int[arctan(x),x)