(integrate ((25-x^2)^(1/2)) dx from x=3 to 4)