integral_0^\infty \frac{1}{1+x^4}