integral_1^infty 1/(x+x^3)