Make the CAS capable of symbolic calculations
This is the very next leap that should happen in Geogebra. Symbolic computations were first introduced by Mathematica about 25 years ago and now a whole array of desktop apps can do this incuding MathCAD and Maple. But now there are dozens of online websites like Symbolab that can do this too. What is taking Geogebra so long to catch up?