0.25 * integral(x^2/(4*pi) + 1 - x/2 + x^2/16, x, 0, 4)