integral_0^1 (1-cos(x))/(x^2) dx