symbolic_algebra_system