Integral_of_inverse_functions loading ...