∫x1 arctantdt