Sollya User's Manual

Name:

simplifysafe simplifies an expression representing a function

sollya_obj_t sollya_lib_simplifysafe(sollya_obj_t)

simplifysafe(function) : function -> function

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.

> print(simplifysafe((6 + 2) + (5 + exp(0)) * x));
8 + 6 * x

> print(simplifysafe((log(x - x + 1) + asin(1))));
(pi) / 2

> print(simplifysafe((log(x - x + 1) + asin(1)) - (atan(1) * 2)));
(pi) / 2 - (pi) / 4 * 2