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