Symbolic mathematics on Linux

For teaching first semester math at my university, I evaluated switching from Mathematica to free/libre math software. I concentrated on wxMaxima, SymPy and Sage. Many areas worked fine in all three systems, but for the moment we stayed with Mathematica. Some observations:

SageMath calls Maxima to solve inequalities, but both systems have no easy way to fully simplify the solutions:
The code
> sage: maxima_calculus("domain: real")
> solve(abs((2*x-2)/(x-5)) <= 2/3, x)
gives
> [[x == -1], [x == 2], [x == 1], [1 < x, x < 2], [-1 < x, x < 1]]
instead of
> [[-1 <= x, x <= 2]] .
(Of course I could just hand out a self-written simplification function, but only for SageMath - my Lisp-fu has rusted since the 90s.)

SymPy deals well with this inequality (https://github.com/sympy/sympy/issues/9565), but the used 'solveset' function is still in the works.

Teaching Python would be a nice side effect, but Sage is huge and unwieldy to distribute, and I don't want to offer it as "SAASS", while SymPy alone cannot compute some typical integrals (e.g. of exp(x)*sqrt(1+exp(2*x))), because the necessary Risch algorithm is only partially implemented there.

Also I saw some problems with easy differential equations, but I didn't have a closer look.

Hmm ...
Now I tested the inequality and the integral in GeoGebra (with the embedded Giac system), and both worked!
See https://ggbm.at/xS6RDn4N for the web version, but beware of a massive Javascript attack.
Maybe that's the way to go ...