Wie integriert man cos(x)/(x2+1)?