integrate 4 sqrt(1-t%5E2) from t %3D 0 to 1