integral x tan^(-1)(x) from 0 to 1