Documentation erratum
In the official documentation: doc.sagemath.org/html/en/reference/calculus/sage/symbolic/expression.html
the section related to the command "full_simplify()" should be renamed as "simplify_full()".