- added rule

a - (-b)*c = a + b*c git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@20606 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · May 14, 2014 · 8849a08 · 8849a08
1 parent 65da2d6
commit 8849a08
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Compiler/FrontEnd/ExpressionSimplify.mo b/Compiler/FrontEnd/ExpressionSimplify.mo
@@ -3877,6 +3877,10 @@ algorithm
     // a-(-b) = a+b
     case (_,DAE.SUB(ty = ty),e1,DAE.UNARY(operator = DAE.UMINUS(ty = _),exp = e2),_,_)
       then DAE.BINARY(e1,DAE.ADD(ty),e2);
+
+    // a-(-b)*c = a+b*c
+    case (_,DAE.SUB(ty = ty),e1,DAE.BINARY(DAE.UNARY(operator = DAE.UMINUS(ty = _),exp = e2),op1 as DAE.MUL(_),e3),_,_)
+      then DAE.BINARY(e1,DAE.ADD(ty),DAE.BINARY(e2,op1,e3));    
 
     // 0 / x = 0
     case (_,DAE.DIV(ty=_),e1,e2,true,false)