pi*((integrate ((x^2 - (-1))^2 - (-1)^2) dx from x = 0..1))