Developing a symbolic-math library. Derivation, Simplification, Equation solving | Heykuki News