CAS command question

[compsystems]

For me the problem LEFT RIGHT is only visual, of course I would like it not to rewrite it to simplify.

The following code, shows that it does not matter the rewriting of the original expression, if you consider the operator.

expr0 := expr(string( simplify(left(expr0) )) + part(expr0,0) + string( simplify( right(expr0) ) ));

PHP Code:

testInequality2():=
    begin
     local expr0;
     print;

     expr0 := '(3*x^2-2*x-2) < (2*x^2-3*x+4)';
     //expr0 :=  (3*x^2-2*x-2) < (2*x^2-3*x+4);
     print("step1:");
     print(string(expr0)); 
     print("");

     print("step2: +(-2*x^2)");
     expr0 := expr0 + -2*x^2; 
     print(string(expr0));
     print("");

     print("step3: +(3*x)");
     expr0 := expr0 + 3*x;
     print(string(expr0)); 
     print("");

     print("step4: +(-4)");
     expr0 := expr0 + -4;
     print(string(expr0)); 

     print("");
  
     print("simplify → ");
     //expr0 := simplify(expr0);
     expr0 := string( simplify(left(expr0) )) + part(expr0,0) + string( simplify( right(expr0) ) );
     print(string(expr0));  
     print("");
        
     return expr(expr0);            
   
    end; 


the output is correct: 0>(x^2+x-6)