integral(12.5+10*y-1/2*(y^2-4)^2 - 2y*(y^2-4)) from 0 to 3