- function represents the expression to be simplified

- The command simplifysafe simplifies the expression given in argument
representing the function function. The command simplifysafe does not
endanger the safety of computations even in Sollya's floating-point
environment: the function returned is mathematically equal to the
function function.

Remark that the simplification provided by simplifysafe is not perfect: they may exist simpler equivalent expressions for expressions returned by simplifysafe.

8 + 6 * x

(pi) / 2

(pi) / 2 - (pi) / 4 * 2