(int 0 to 8 ln(x^2+7))/8