While Maxima has several practical advantages over, e.x., Axiom in terms
of ease of use, etc., it seems that the symbolic integration
capabilities are relatively weak. Apparently, the algebraic case of the
Risch algorithm has not been implemented at all. Is this on the agenda,
or will improvements to the implementation of the Risch algorithm likely
not happen in the foreseeable future?