2pi times integral from 0 to 2 of (sqrt(16-x^2))sqrt(1+(-x/sqrt(16-x^2))^2)) dx