symbolic_computations