integral 4.0/(1.0 + x * x), x from 0.0 to 1.0