Name:

simplify simplifies an expression representing a function

Library name:

sollya_obj_t sollya_lib_simplify(sollya_obj_t)

Usage:

simplify(function) : function -> function

Parameters:

Description:

Example 1:

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

Example 2:

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

Example 3:

   > print(simplify((log(x - x + 1) + asin(1)) - (atan(1) * 2)));
   (pi) / 2 - (pi) / 4 * 2
See also: dirtysimplify, autosimplify, rationalmode, horner
Go back to the list of commands