Function view [Eval], & [Simplify]

[compsystems]

Hello, the EVAL function is not simplified, it only replaces, it is very useful to see the simplified expression, as well as an option to recover the previous definition, because after evaluating it, the original expression is lost.

at present
[Edit][✓][X][][Eval][Show]

in a very close firmware update.
[Edit][✓][X][Eval/Definition][Simplify][Show]

PHP Code:

F1(X)=2*X -3;
F2(X)=X² + 1; 
F3(X)=F1(X)+F2(X) [Eval]  2*X-3+(X^2+1)  
[Simplify] => X^2+2*X-2 


the following statement if it is interpreted [PLOT VIEW], but it does not show the result
CAS(simplify(F1(X)+F2(X))


Usually the cases of a subject in mathematics to show in a class, are 10 to 15 options, for this reason it is necessary to expand the input fields from F0 to F15

PHP Code:

F1(X)=2*X -3;
F2(X)=X² + 1;

// Composition of functions
F3(X)=F1(F2(X)) [enter] F1(F2(X)) [Eval] 2*(X^2+1)-3 [Simplify] 2*X^2-1 

F4(X)=F2(F1(X)) [enter] F2(F1(X)) [Eval] (2*X-3)^2+1 [Simplify] 4*X^2-12*X+10

// Combination of functions
F5(X)=F1(X)+F2(X) [enter] F1(X)+F2(X) [Eval] 2*X-3+(X^2+1) [Simplify] X^2+2*X-2 
F6(X)=F1(X)-F2(X) [enter] F1(X)-F2(X) [Eval] 2*X-3-(X^2+1) [Simplify]  -X^2+2*X-4
F7(X)=F1(X)*F2(X) [enter] F1(X)*F2(X) [Eval] (X^2+1)*(2*X-3) [Simplify] 2*X^3-3*X^2+2*X-3
F8(X)=F1(X)/F2(X) [enter] F1(X)/F2(X) [Eval] (2*X-3)/(X^2+1)

// Horizontal translation of 1 units to the left
F9(X)=F1(X+1) [enter] F1(X+1) [Eval] 2*(X+1)-3 [Simplify] 2*X-1 

// Horizontal translation of 1 units to the right
F0(X)=F1(X-1) [enter] F1(X-1) [Eval] 2*(X-1)-3 [Simplify] 2*X-5

// Vertical translation of -5 units dow
F10(X)=F1(X)-5 [enter] F1(X)-5 [Eval] 2*X-3-5 [Simplify] 2*X-8

//  Vertical translation of +5 units to the up
F11(X)=F1(X)+5 [enter] F1(X)+5 [Eval] 2*X-3+5 [Simplify] 2*+2

//  Reflection (with respect to the x axis)
F12(X)= -F1(X) [enter] -F1(X) [Eval]  -(2*X-3) [Simplify] -2*X+3

// Reflection (with respect to the y axis)
F13(X)= F1(-X) [enter] F1(-X) [Eval] 2*-X-3 [Simplify] -2*X-3

// Reflection (regarding the origin)
F14(X)= -F1(-X) [enter] -F1(-X) [Eval] -(2*-X-3) [Simplify] 2*X+3