int sqrt(16-x^2) - (x^2/12 + 1) dx from -2sqrt(3) to 2sqrt(3)