∫dx/(1+xx) = atan(x)
も載ってるの?