integrate arctan(x) from 0 to 1