stack overflow on Axiom.
Reduce trys to calculate:
int((z^a+1)^b, z);
Maple gives:
> int((z^a+1)^b, z);
Axiom gives::
integrate((z^a+1)^b, z)