restart; A := int((x^3+2)/sqrt(4-x^2), x); B := subs(sqrt(4-x^2) = y, A); B2 := collect(B, y); B3 := subs(y = sqrt(4-x^2), B2);