Sort removedPositions int array before processing AbstractAST#remove()

Author: axkr

symja_android_library/matheclipse-core/src/main/java/org/matheclipse/core/eval/SimplifyUtil.java

@@ -441,10 +441,7 @@ private IExpr eval(IExpr a) {
     return fEngine.evaluate(a);
   }
 
-  private void functionExpand(IExpr expr, SimplifyUtil.SimplifiedResult sResult) { // long
-                                                                                   // minCounter,
-                                                                                   // IExpr
-    // result) {
+  private void functionExpand(IExpr expr, SimplifyUtil.SimplifiedResult sResult) {
     if (expr.isBooleanFunction()) {
       try {
         IExpr temp = eval(F.BooleanMinimize(expr));
@@ -505,14 +502,9 @@ private void functionExpand(IExpr expr, SimplifyUtil.SimplifiedResult sResult) {
             IExpr conjugateArg = times.get(index1).first();
             int index2 = expr.indexOf(x -> x.equals(conjugateArg));
             if (index2 > 0) {
-              final IASTAppendable removeAtClone;
-              if (index2 > index1) {
-                removeAtClone = times.removeAtClone(index2);
-                removeAtClone.remove(index1);
-              } else {
-                removeAtClone = times.removeAtClone(index1);
-                removeAtClone.remove(index2);
-              }
+              final IASTAppendable removeAtClone =
+                  times.removePositionsAtCopy(new int[] {index1, index2}, 2);
+
               removeAtClone.append(F.Sqr(F.Abs(conjugateArg)));
               if (sResult.checkLessEqual(removeAtClone.oneIdentity1())) {
                 expr = sResult.result;

symja_android_library/matheclipse-core/src/main/java/org/matheclipse/core/expression/AbstractAST.java

@@ -5929,6 +5929,7 @@ public IASTAppendable removePositionsAtCopy(int[] removedPositions, int untilInd
     // if (untilIndex == 1) {
     // return removeAtCopy(removedPositions[0]);
     // }
+    Arrays.sort(removedPositions, 0, untilIndex);
     IASTAppendable result = copyAppendable();
     for (int j = untilIndex - 1; j >= 0; j--) {
       result.remove(removedPositions[j]);