integrate 1-sqrt(1-x^2) from 0 to (1+sqrt(7))/2