How do you evaluate intdx/(1+x^2) from 0 to 1?