=интеграл(arctgx)d(arctgx)

или замена y=arctgx