Integrate arctan x