WORST_CASE(Omega(1),?)

### Pre-processing the ITS problem ###

Initial linear ITS problem
   Start location: __init
      0: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_1, arg2'=arg2P_1, arg3'=arg3P_1, arg4'=arg4P_1, [ arg1P_1<=arg1 && arg2>-1 && arg1>0 && arg1P_1>0 && 0==arg2P_1 && arg2==arg3P_1 ], cost: 1
      1: f452_0_main_GE -> f452_0_main_GE\' : arg1'=arg1P_2, arg2'=arg2P_2, arg3'=arg3P_2, arg4'=arg4P_2, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && arg1==arg1P_2 && arg2==arg2P_2 && arg3==arg3P_2 ], cost: 1
      3: f452_0_main_GE -> f452_0_main_GE\' : arg1'=arg1P_4, arg2'=arg2P_4, arg3'=arg3P_4, arg4'=arg4P_4, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && arg1==arg1P_4 && arg2==arg2P_4 && arg3==arg3P_4 ], cost: 1
      5: f452_0_main_GE -> f452_0_main_GE\' : arg1'=arg1P_6, arg2'=arg2P_6, arg3'=arg3P_6, arg4'=arg4P_6, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && arg1==arg1P_6 && arg2==arg2P_6 && arg3==arg3P_6 ], cost: 1
      7: f452_0_main_GE -> f452_0_main_GE\' : arg1'=arg1P_8, arg2'=arg2P_8, arg3'=arg3P_8, arg4'=arg4P_8, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && x124_1<=arg1 && arg1>0 && x124_1>0 && arg1==arg1P_8 && arg2==arg2P_8 && arg3==arg3P_8 ], cost: 1
     10: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=arg2P_11, arg3'=arg3P_11, arg4'=arg4P_11, [ arg1P_11<=arg1 && arg3>0 && arg1>0 && arg1P_11>0 && 0==arg2 && 1==arg2P_11 && arg3==arg3P_11 ], cost: 1
     12: f452_0_main_GE -> f452_0_main_GE\' : arg1'=arg1P_13, arg2'=arg2P_13, arg3'=arg3P_13, arg4'=arg4P_13, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && x138_1<=arg1 && arg1>0 && x138_1>0 && arg1==arg1P_13 && arg2==arg2P_13 && arg3==arg3P_13 ], cost: 1
     14: f452_0_main_GE -> f452_0_main_GE\' : arg1'=arg1P_15, arg2'=arg2P_15, arg3'=arg3P_15, arg4'=arg4P_15, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && x151_1<=arg1 && arg1>0 && x151_1>0 && arg1==arg1P_15 && arg2==arg2P_15 && arg3==arg3P_15 ], cost: 1
     16: f452_0_main_GE -> f452_0_main_GE\' : arg1'=arg1P_17, arg2'=arg2P_17, arg3'=arg3P_17, arg4'=arg4P_17, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && x162_1<=arg1 && arg1>0 && x162_1>0 && arg1==arg1P_17 && arg2==arg2P_17 && arg3==arg3P_17 ], cost: 1
      2: f452_0_main_GE\' -> f276_0_sin_GT : arg1'=arg1P_3, arg2'=arg2P_3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x95_1+arg2==0 && arg1>0 && -2*x95_1+arg2<2 && -2*x95_1+arg2>=0 && arg3==arg1P_3 && arg2==arg2P_3 ], cost: 1
      4: f452_0_main_GE\' -> f307_0_cos_GT : arg1'=arg1P_5, arg2'=arg2P_5, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg1>0 && -2*x104_1+arg2>=0 && -2*x104_1+arg2<2 && -3*x105_1+arg2<3 && -3*x105_1+arg2>=0 && arg3==arg1P_5 && arg2==arg2P_5 ], cost: 1
      6: f452_0_main_GE\' -> f342_0_exp_GT : arg1'=arg1P_7, arg2'=arg2P_7, arg3'=arg3P_7, arg4'=arg4P_7, [ -3*x115_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && arg1>0 && -2*x116_1+arg2>=0 && -2*x116_1+arg2<2 && -3*x115_1+arg2<3 && -5*x117_1+arg2<5 && -5*x117_1+arg2>=0 && arg3==arg1P_7 && arg2==arg2P_7 ], cost: 1
      8: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_9, arg2'=arg2P_9, arg3'=arg3P_9, arg4'=arg4P_9, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && arg2-2*x131_1>=0 && arg2-2*x131_1<2 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg2==arg2P_9 && 0==arg3P_9 && arg3==arg4P_9 ], cost: 1
     13: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_14, arg2'=arg2P_14, arg3'=arg3P_14, arg4'=arg4P_14, [ -3*x143_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1>0 && arg1P_14>0 && -2*x144_1+arg2>=0 && -2*x144_1+arg2<2 && -3*x143_1+arg2<3 && -5*x145_1+arg2<5 && -5*x145_1+arg2>=0 && 1+arg2==arg2P_14 && arg3==arg3P_14 ], cost: 1
     15: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_16, arg2'=arg2P_16, arg3'=arg3P_16, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1>0 && arg1P_16>0 && arg2-2*x156_1>=0 && arg2-2*x156_1<2 && -3*x157_1+arg2<3 && -3*x157_1+arg2>=0 && 1+arg2==arg2P_16 && arg3==arg3P_16 ], cost: 1
     17: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_18, arg2'=arg2P_18, arg3'=arg3P_18, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1>0 && arg1P_18>0 && arg2-2*x167_1<2 && arg2-2*x167_1>=0 && 1+arg2==arg2P_18 && arg3==arg3P_18 ], cost: 1
     18: f276_0_sin_GT -> f345_0_power_GT : arg1'=arg1P_19, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, [ arg2>0 && arg1>0 && arg2==arg1P_19 ], cost: 1
     19: f276_0_sin_GT -> f566_0_sin_InvokeMethod : arg1'=arg1P_20, arg2'=arg2P_20, arg3'=arg3P_20, arg4'=arg4P_20, [ arg1>0 && 2*arg2>0 && arg2>0 && arg2==arg1P_20 && arg1==arg2P_20 && 1+2*arg2==arg3P_20 ], cost: 1
     24: f307_0_cos_GT -> f345_0_power_GT : arg1'=arg1P_25, arg2'=arg2P_25, arg3'=arg3P_25, arg4'=arg4P_25, [ arg2>0 && arg1>0 && arg2==arg1P_25 ], cost: 1
     25: f307_0_cos_GT -> f552_0_cos_InvokeMethod : arg1'=arg1P_26, arg2'=arg2P_26, arg3'=arg3P_26, arg4'=arg4P_26, [ arg2>0 && arg1>0 && arg2==arg1P_26 && arg1==arg2P_26 && 2*arg2==arg3P_26 ], cost: 1
     30: f342_0_exp_GT -> f345_0_power_GT : arg1'=arg1P_31, arg2'=arg2P_31, arg3'=arg3P_31, arg4'=arg4P_31, [ arg2>0 && arg1>0 && arg2==arg1P_31 ], cost: 1
     34: f342_0_exp_GT -> f453_0_fact_GT : arg1'=arg1P_35, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, [ arg2>0 && arg1>0 && arg2==arg1P_35 ], cost: 1
     35: f342_0_exp_GT -> f342_0_exp_GT\' : arg1'=arg1P_36, arg2'=arg2P_36, arg3'=arg3P_36, arg4'=arg4P_36, [ arg2>0 && arg1>0 && arg1==arg1P_36 && arg2==arg2P_36 ], cost: 1
     37: f342_0_exp_GT -> f342_0_exp_GT\' : arg1'=arg1P_38, arg2'=arg2P_38, arg3'=arg3P_38, arg4'=arg4P_38, [ arg1>0 && arg2>0 && arg1==arg1P_38 && arg2==arg2P_38 ], cost: 1
      9: f697_0_main_GE -> f697_0_main_GE : arg1'=arg1P_10, arg2'=arg2P_10, arg3'=arg3P_10, arg4'=arg4P_10, [ arg1P_10<=arg1 && arg3<100 && arg1>0 && arg1P_10>0 && arg2==arg2P_10 && 1+arg3==arg3P_10 && arg4==arg4P_10 ], cost: 1
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=arg2P_12, arg3'=arg3P_12, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 && 1+arg2==arg2P_12 && arg4==arg3P_12 ], cost: 1
     32: f345_0_power_GT -> f345_0_power_GT : arg1'=arg1P_33, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg1>0 && -1+arg1==arg1P_33 ], cost: 1
     20: f566_0_sin_InvokeMethod -> f345_0_power_GT : arg1'=arg1P_21, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, [ arg2>0 && arg3>1 && arg1>0 && arg3==arg1P_21 ], cost: 1
     21: f566_0_sin_InvokeMethod -> f453_0_fact_GT : arg1'=arg1P_22, arg2'=arg2P_22, arg3'=arg3P_22, arg4'=arg4P_22, [ arg2>0 && arg1>0 && 2*arg1>0 && arg3>1 && 1+2*arg1==arg1P_22 ], cost: 1
     22: f566_0_sin_InvokeMethod -> f566_0_sin_InvokeMethod\' : arg1'=arg1P_23, arg2'=arg2P_23, arg3'=arg3P_23, arg4'=arg4P_23, [ arg2>0 && arg1>0 && arg3>1 && -1+arg1<arg1 && 2*arg1>0 && arg1==arg1P_23 && arg2==arg2P_23 && arg3==arg3P_23 ], cost: 1
     33: f453_0_fact_GT -> f453_0_fact_GT : arg1'=arg1P_34, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg1>0 && -1+arg1<arg1 && -1+arg1==arg1P_34 ], cost: 1
     23: f566_0_sin_InvokeMethod\' -> f276_0_sin_GT : arg1'=arg1P_24, arg2'=arg2P_24, arg3'=arg3P_24, arg4'=arg4P_24, [ arg2>0 && arg1>0 && arg3>1 && 2*arg1>0 && -1+arg1<arg1 && x171_1>x172_1-x171_1*x173_1 && x172_1-x171_1*x173_1>=0 && arg2==arg1P_24 && -1+arg1==arg2P_24 ], cost: 1
     26: f552_0_cos_InvokeMethod -> f345_0_power_GT : arg1'=arg1P_27, arg2'=arg2P_27, arg3'=arg3P_27, arg4'=arg4P_27, [ arg3>1 && arg2>0 && arg1>0 && arg3==arg1P_27 ], cost: 1
     27: f552_0_cos_InvokeMethod -> f453_0_fact_GT : arg1'=arg1P_28, arg2'=arg2P_28, arg3'=arg3P_28, arg4'=arg4P_28, [ arg2>0 && arg1>0 && 2*arg1>1 && arg3>1 && 2*arg1==arg1P_28 ], cost: 1
     28: f552_0_cos_InvokeMethod -> f552_0_cos_InvokeMethod\' : arg1'=arg1P_29, arg2'=arg2P_29, arg3'=arg3P_29, arg4'=arg4P_29, [ arg2>0 && arg1>0 && arg3>1 && -1+arg1<arg1 && 2*arg1>1 && arg1==arg1P_29 && arg2==arg2P_29 && arg3==arg3P_29 ], cost: 1
     29: f552_0_cos_InvokeMethod\' -> f307_0_cos_GT : arg1'=arg1P_30, arg2'=arg2P_30, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && arg3>1 && 2*arg1>1 && -1+arg1<arg1 && x177_1>-x179_1*x177_1+x178_1 && -x179_1*x177_1+x178_1>=0 && arg2==arg1P_30 && -1+arg1==arg2P_30 ], cost: 1
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg1P_32, arg2'=arg2P_32, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 && arg2==arg1P_32 && arg3==arg2P_32 ], cost: 1
     36: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg1P_37, arg2'=arg2P_37, arg3'=arg3P_37, arg4'=arg4P_37, [ arg1>0 && arg2>0 && x182_1>x183_1-x182_1*x184_1 && x183_1-x182_1*x184_1>=0 && arg2==arg1P_37 && arg1==arg2P_37 && -1+arg2==arg3P_37 ], cost: 1
     38: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg1P_39, arg2'=arg2P_39, arg3'=arg3P_39, arg4'=arg4P_39, [ arg2>0 && arg1>0 && x187_1>-x187_1*x189_1+x188_1 && -x187_1*x189_1+x188_1>=0 && arg2==arg1P_39 && arg1==arg2P_39 && -1+arg2==arg3P_39 ], cost: 1
     39: __init -> f1_0_main_ConstantStackPush : arg1'=arg1P_40, arg2'=arg2P_40, arg3'=arg3P_40, arg4'=arg4P_40, [], cost: 1

Checking for constant complexity:
   The following rule is satisfiable with cost >= 1, yielding constant complexity:
     39: __init -> f1_0_main_ConstantStackPush : arg1'=arg1P_40, arg2'=arg2P_40, arg3'=arg3P_40, arg4'=arg4P_40, [], cost: 1

Simplified all rules, resulting in:
   Start location: __init
      0: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2, arg4'=arg4P_1, [ arg1P_1<=arg1 && arg2>-1 && arg1>0 && arg1P_1>0 ], cost: 1
      1: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_2, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 ], cost: 1
      3: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_4, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 ], cost: 1
      5: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_6, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 ], cost: 1
      7: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_8, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 ], cost: 1
     10: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg4'=arg4P_11, [ arg1P_11<=arg1 && arg3>0 && arg1>0 && arg1P_11>0 && 0==arg2 ], cost: 1
     12: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_13, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 ], cost: 1
     14: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_15, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 ], cost: 1
     16: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_17, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 ], cost: 1
      2: f452_0_main_GE\' -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x95_1+arg2==0 && arg1>0 ], cost: 1
      4: f452_0_main_GE\' -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg1>0 ], cost: 1
      6: f452_0_main_GE\' -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -3*x115_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && arg1>0 && -3*x115_1+arg2<3 ], cost: 1
      8: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 1
     13: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ -3*x143_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1>0 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 1
     15: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1>0 && arg1P_16>0 ], cost: 1
     17: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1>0 && arg1P_18>0 ], cost: 1
     18: f276_0_sin_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, [ arg2>0 && arg1>0 ], cost: 1
     19: f276_0_sin_GT -> f566_0_sin_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=1+2*arg2, arg4'=arg4P_20, [ arg1>0 && 2*arg2>0 ], cost: 1
     24: f307_0_cos_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_25, arg3'=arg3P_25, arg4'=arg4P_25, [ arg2>0 && arg1>0 ], cost: 1
     25: f307_0_cos_GT -> f552_0_cos_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=2*arg2, arg4'=arg4P_26, [ arg2>0 && arg1>0 ], cost: 1
     30: f342_0_exp_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_31, arg3'=arg3P_31, arg4'=arg4P_31, [ arg2>0 && arg1>0 ], cost: 1
     34: f342_0_exp_GT -> f453_0_fact_GT : arg1'=arg2, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, [ arg2>0 && arg1>0 ], cost: 1
     35: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_36, arg4'=arg4P_36, [ arg2>0 && arg1>0 ], cost: 1
     37: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_38, arg4'=arg4P_38, [ arg1>0 && arg2>0 ], cost: 1
      9: f697_0_main_GE -> f697_0_main_GE : arg1'=arg1P_10, arg3'=1+arg3, [ arg1P_10<=arg1 && arg3<100 && arg1>0 && arg1P_10>0 ], cost: 1
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     32: f345_0_power_GT -> f345_0_power_GT : arg1'=-1+arg1, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg1>0 ], cost: 1
     20: f566_0_sin_InvokeMethod -> f345_0_power_GT : arg1'=arg3, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, [ arg2>0 && arg3>1 && arg1>0 ], cost: 1
     21: f566_0_sin_InvokeMethod -> f453_0_fact_GT : arg1'=1+2*arg1, arg2'=arg2P_22, arg3'=arg3P_22, arg4'=arg4P_22, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     22: f566_0_sin_InvokeMethod -> f566_0_sin_InvokeMethod\' : arg4'=arg4P_23, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     33: f453_0_fact_GT -> f453_0_fact_GT : arg1'=-1+arg1, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg1>0 ], cost: 1
     23: f566_0_sin_InvokeMethod\' -> f276_0_sin_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_24, arg4'=arg4P_24, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     26: f552_0_cos_InvokeMethod -> f345_0_power_GT : arg1'=arg3, arg2'=arg2P_27, arg3'=arg3P_27, arg4'=arg4P_27, [ arg3>1 && arg2>0 && arg1>0 ], cost: 1
     27: f552_0_cos_InvokeMethod -> f453_0_fact_GT : arg1'=2*arg1, arg2'=arg2P_28, arg3'=arg3P_28, arg4'=arg4P_28, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     28: f552_0_cos_InvokeMethod -> f552_0_cos_InvokeMethod\' : arg4'=arg4P_29, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     29: f552_0_cos_InvokeMethod\' -> f307_0_cos_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     36: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 1
     38: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 1
     39: __init -> f1_0_main_ConstantStackPush : arg1'=arg1P_40, arg2'=arg2P_40, arg3'=arg3P_40, arg4'=arg4P_40, [], cost: 1

### Simplification by acceleration and chaining ###

Accelerating simple loops of location 1.
   Accelerating the following rules:
     10: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg4'=arg4P_11, [ arg1P_11<=arg1 && arg3>0 && arg1>0 && arg1P_11>0 && 0==arg2 ], cost: 1

   Accelerated rule 10 with metering function 1-arg2, yielding the new rule 40.
   Removing the simple loops: 10.

Accelerating simple loops of location 6.
   Accelerating the following rules:
      9: f697_0_main_GE -> f697_0_main_GE : arg1'=arg1P_10, arg3'=1+arg3, [ arg1P_10<=arg1 && arg3<100 && arg1>0 && arg1P_10>0 ], cost: 1

   Accelerated rule 9 with metering function 100-arg3, yielding the new rule 41.
   Removing the simple loops: 9.

Accelerating simple loops of location 7.
   Accelerating the following rules:
     32: f345_0_power_GT -> f345_0_power_GT : arg1'=-1+arg1, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg1>0 ], cost: 1

   Accelerated rule 32 with metering function arg1, yielding the new rule 42.
   Removing the simple loops: 32.

Accelerating simple loops of location 9.
   Accelerating the following rules:
     33: f453_0_fact_GT -> f453_0_fact_GT : arg1'=-1+arg1, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg1>0 ], cost: 1

   Accelerated rule 33 with metering function arg1, yielding the new rule 43.
   Removing the simple loops: 33.

Accelerated all simple loops using metering functions (where possible):
   Start location: __init
      0: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2, arg4'=arg4P_1, [ arg1P_1<=arg1 && arg2>-1 && arg1>0 && arg1P_1>0 ], cost: 1
      1: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_2, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 ], cost: 1
      3: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_4, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 ], cost: 1
      5: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_6, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 ], cost: 1
      7: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_8, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 ], cost: 1
     12: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_13, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 ], cost: 1
     14: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_15, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 ], cost: 1
     16: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_17, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 ], cost: 1
     40: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg4'=arg4P_11, [ arg1P_11<=arg1 && arg3>0 && arg1>0 && arg1P_11>0 && 0==arg2 ], cost: 1-arg2
      2: f452_0_main_GE\' -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x95_1+arg2==0 && arg1>0 ], cost: 1
      4: f452_0_main_GE\' -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg1>0 ], cost: 1
      6: f452_0_main_GE\' -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -3*x115_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && arg1>0 && -3*x115_1+arg2<3 ], cost: 1
      8: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 1
     13: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ -3*x143_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1>0 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 1
     15: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1>0 && arg1P_16>0 ], cost: 1
     17: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1>0 && arg1P_18>0 ], cost: 1
     18: f276_0_sin_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, [ arg2>0 && arg1>0 ], cost: 1
     19: f276_0_sin_GT -> f566_0_sin_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=1+2*arg2, arg4'=arg4P_20, [ arg1>0 && 2*arg2>0 ], cost: 1
     24: f307_0_cos_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_25, arg3'=arg3P_25, arg4'=arg4P_25, [ arg2>0 && arg1>0 ], cost: 1
     25: f307_0_cos_GT -> f552_0_cos_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=2*arg2, arg4'=arg4P_26, [ arg2>0 && arg1>0 ], cost: 1
     30: f342_0_exp_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_31, arg3'=arg3P_31, arg4'=arg4P_31, [ arg2>0 && arg1>0 ], cost: 1
     34: f342_0_exp_GT -> f453_0_fact_GT : arg1'=arg2, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, [ arg2>0 && arg1>0 ], cost: 1
     35: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_36, arg4'=arg4P_36, [ arg2>0 && arg1>0 ], cost: 1
     37: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_38, arg4'=arg4P_38, [ arg1>0 && arg2>0 ], cost: 1
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     41: f697_0_main_GE -> f697_0_main_GE : arg1'=arg1P_10, arg3'=100, [ arg1P_10<=arg1 && arg3<100 && arg1>0 && arg1P_10>0 ], cost: 100-arg3
     42: f345_0_power_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg1>0 ], cost: arg1
     20: f566_0_sin_InvokeMethod -> f345_0_power_GT : arg1'=arg3, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, [ arg2>0 && arg3>1 && arg1>0 ], cost: 1
     21: f566_0_sin_InvokeMethod -> f453_0_fact_GT : arg1'=1+2*arg1, arg2'=arg2P_22, arg3'=arg3P_22, arg4'=arg4P_22, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     22: f566_0_sin_InvokeMethod -> f566_0_sin_InvokeMethod\' : arg4'=arg4P_23, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     43: f453_0_fact_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg1>0 ], cost: arg1
     23: f566_0_sin_InvokeMethod\' -> f276_0_sin_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_24, arg4'=arg4P_24, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     26: f552_0_cos_InvokeMethod -> f345_0_power_GT : arg1'=arg3, arg2'=arg2P_27, arg3'=arg3P_27, arg4'=arg4P_27, [ arg3>1 && arg2>0 && arg1>0 ], cost: 1
     27: f552_0_cos_InvokeMethod -> f453_0_fact_GT : arg1'=2*arg1, arg2'=arg2P_28, arg3'=arg3P_28, arg4'=arg4P_28, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     28: f552_0_cos_InvokeMethod -> f552_0_cos_InvokeMethod\' : arg4'=arg4P_29, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     29: f552_0_cos_InvokeMethod\' -> f307_0_cos_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     36: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 1
     38: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 1
     39: __init -> f1_0_main_ConstantStackPush : arg1'=arg1P_40, arg2'=arg2P_40, arg3'=arg3P_40, arg4'=arg4P_40, [], cost: 1

Chained accelerated rules (with incoming rules):
   Start location: __init
      0: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2, arg4'=arg4P_1, [ arg1P_1<=arg1 && arg2>-1 && arg1>0 && arg1P_1>0 ], cost: 1
     44: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2, arg4'=arg4P_11, [ arg1>0 && arg2>0 && arg1P_11>0 && arg1P_11<=arg1 ], cost: 2
      1: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_2, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 ], cost: 1
      3: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_4, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 ], cost: 1
      5: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_6, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 ], cost: 1
      7: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_8, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 ], cost: 1
     12: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_13, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 ], cost: 1
     14: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_15, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 ], cost: 1
     16: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_17, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 ], cost: 1
      2: f452_0_main_GE\' -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x95_1+arg2==0 && arg1>0 ], cost: 1
      4: f452_0_main_GE\' -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg1>0 ], cost: 1
      6: f452_0_main_GE\' -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -3*x115_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && arg1>0 && -3*x115_1+arg2<3 ], cost: 1
      8: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 1
     13: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ -3*x143_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1>0 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 1
     15: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1>0 && arg1P_16>0 ], cost: 1
     17: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1>0 && arg1P_18>0 ], cost: 1
     46: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_10, arg3'=100, arg4'=arg3, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 ], cost: 101
     18: f276_0_sin_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_19, arg3'=arg3P_19, arg4'=arg4P_19, [ arg2>0 && arg1>0 ], cost: 1
     19: f276_0_sin_GT -> f566_0_sin_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=1+2*arg2, arg4'=arg4P_20, [ arg1>0 && 2*arg2>0 ], cost: 1
     47: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     24: f307_0_cos_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_25, arg3'=arg3P_25, arg4'=arg4P_25, [ arg2>0 && arg1>0 ], cost: 1
     25: f307_0_cos_GT -> f552_0_cos_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=2*arg2, arg4'=arg4P_26, [ arg2>0 && arg1>0 ], cost: 1
     49: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     30: f342_0_exp_GT -> f345_0_power_GT : arg1'=arg2, arg2'=arg2P_31, arg3'=arg3P_31, arg4'=arg4P_31, [ arg2>0 && arg1>0 ], cost: 1
     34: f342_0_exp_GT -> f453_0_fact_GT : arg1'=arg2, arg2'=arg2P_35, arg3'=arg3P_35, arg4'=arg4P_35, [ arg2>0 && arg1>0 ], cost: 1
     35: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_36, arg4'=arg4P_36, [ arg2>0 && arg1>0 ], cost: 1
     37: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_38, arg4'=arg4P_38, [ arg1>0 && arg2>0 ], cost: 1
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     45: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg4, arg4'=arg4P_11, [ arg3>99 && arg1>0 && arg4>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 ], cost: 1-arg2
     20: f566_0_sin_InvokeMethod -> f345_0_power_GT : arg1'=arg3, arg2'=arg2P_21, arg3'=arg3P_21, arg4'=arg4P_21, [ arg2>0 && arg3>1 && arg1>0 ], cost: 1
     21: f566_0_sin_InvokeMethod -> f453_0_fact_GT : arg1'=1+2*arg1, arg2'=arg2P_22, arg3'=arg3P_22, arg4'=arg4P_22, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     22: f566_0_sin_InvokeMethod -> f566_0_sin_InvokeMethod\' : arg4'=arg4P_23, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     48: f566_0_sin_InvokeMethod -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg3>1 && arg1>0 ], cost: 1+arg3
     52: f566_0_sin_InvokeMethod -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && arg3>1 && 1+2*arg1>0 ], cost: 2+2*arg1
     23: f566_0_sin_InvokeMethod\' -> f276_0_sin_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_24, arg4'=arg4P_24, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     26: f552_0_cos_InvokeMethod -> f345_0_power_GT : arg1'=arg3, arg2'=arg2P_27, arg3'=arg3P_27, arg4'=arg4P_27, [ arg3>1 && arg2>0 && arg1>0 ], cost: 1
     27: f552_0_cos_InvokeMethod -> f453_0_fact_GT : arg1'=2*arg1, arg2'=arg2P_28, arg3'=arg3P_28, arg4'=arg4P_28, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     28: f552_0_cos_InvokeMethod -> f552_0_cos_InvokeMethod\' : arg4'=arg4P_29, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     50: f552_0_cos_InvokeMethod -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>1 && arg2>0 && arg1>0 ], cost: 1+arg3
     53: f552_0_cos_InvokeMethod -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && arg3>1 && 2*arg1>0 ], cost: 1+2*arg1
     29: f552_0_cos_InvokeMethod\' -> f307_0_cos_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     36: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 1
     38: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 1
     39: __init -> f1_0_main_ConstantStackPush : arg1'=arg1P_40, arg2'=arg2P_40, arg3'=arg3P_40, arg4'=arg4P_40, [], cost: 1

Removed unreachable locations (and leaf rules with constant cost):
   Start location: __init
      0: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2, arg4'=arg4P_1, [ arg1P_1<=arg1 && arg2>-1 && arg1>0 && arg1P_1>0 ], cost: 1
     44: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2, arg4'=arg4P_11, [ arg1>0 && arg2>0 && arg1P_11>0 && arg1P_11<=arg1 ], cost: 2
      1: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_2, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 ], cost: 1
      3: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_4, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 ], cost: 1
      5: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_6, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 ], cost: 1
      7: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_8, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 ], cost: 1
     12: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_13, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 ], cost: 1
     14: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_15, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 ], cost: 1
     16: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_17, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 ], cost: 1
      2: f452_0_main_GE\' -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x95_1+arg2==0 && arg1>0 ], cost: 1
      4: f452_0_main_GE\' -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg1>0 ], cost: 1
      6: f452_0_main_GE\' -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -3*x115_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && arg1>0 && -3*x115_1+arg2<3 ], cost: 1
      8: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 1
     13: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ -3*x143_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1>0 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 1
     15: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1>0 && arg1P_16>0 ], cost: 1
     17: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1>0 && arg1P_18>0 ], cost: 1
     46: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_10, arg3'=100, arg4'=arg3, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 ], cost: 101
     19: f276_0_sin_GT -> f566_0_sin_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=1+2*arg2, arg4'=arg4P_20, [ arg1>0 && 2*arg2>0 ], cost: 1
     47: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     25: f307_0_cos_GT -> f552_0_cos_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=2*arg2, arg4'=arg4P_26, [ arg2>0 && arg1>0 ], cost: 1
     49: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     35: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_36, arg4'=arg4P_36, [ arg2>0 && arg1>0 ], cost: 1
     37: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_38, arg4'=arg4P_38, [ arg1>0 && arg2>0 ], cost: 1
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     45: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg4, arg4'=arg4P_11, [ arg3>99 && arg1>0 && arg4>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 ], cost: 1-arg2
     22: f566_0_sin_InvokeMethod -> f566_0_sin_InvokeMethod\' : arg4'=arg4P_23, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     48: f566_0_sin_InvokeMethod -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg3>1 && arg1>0 ], cost: 1+arg3
     52: f566_0_sin_InvokeMethod -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && arg3>1 && 1+2*arg1>0 ], cost: 2+2*arg1
     23: f566_0_sin_InvokeMethod\' -> f276_0_sin_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_24, arg4'=arg4P_24, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     28: f552_0_cos_InvokeMethod -> f552_0_cos_InvokeMethod\' : arg4'=arg4P_29, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     50: f552_0_cos_InvokeMethod -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>1 && arg2>0 && arg1>0 ], cost: 1+arg3
     53: f552_0_cos_InvokeMethod -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && arg3>1 && 2*arg1>0 ], cost: 1+2*arg1
     29: f552_0_cos_InvokeMethod\' -> f307_0_cos_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && arg3>1 ], cost: 1
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     36: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 1
     38: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 1
     39: __init -> f1_0_main_ConstantStackPush : arg1'=arg1P_40, arg2'=arg2P_40, arg3'=arg3P_40, arg4'=arg4P_40, [], cost: 1

Eliminated locations (on linear paths):
   Start location: __init
      0: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2, arg4'=arg4P_1, [ arg1P_1<=arg1 && arg2>-1 && arg1>0 && arg1P_1>0 ], cost: 1
     44: f1_0_main_ConstantStackPush -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2, arg4'=arg4P_11, [ arg1>0 && arg2>0 && arg1P_11>0 && arg1P_11<=arg1 ], cost: 2
      1: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_2, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 ], cost: 1
      3: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_4, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 ], cost: 1
      5: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_6, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 ], cost: 1
      7: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_8, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 ], cost: 1
     12: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_13, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 ], cost: 1
     14: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_15, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 ], cost: 1
     16: f452_0_main_GE -> f452_0_main_GE\' : arg4'=arg4P_17, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 ], cost: 1
      2: f452_0_main_GE\' -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x95_1+arg2==0 && arg1>0 ], cost: 1
      4: f452_0_main_GE\' -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg1>0 ], cost: 1
      6: f452_0_main_GE\' -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -3*x115_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && arg1>0 && -3*x115_1+arg2<3 ], cost: 1
      8: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1P_9<=arg1 && arg1>0 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 1
     13: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ -3*x143_1+arg2>0 && arg3>arg2 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1>0 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 1
     15: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1>0 && arg1P_16>0 ], cost: 1
     17: f452_0_main_GE\' -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1>0 && arg1P_18>0 ], cost: 1
     46: f452_0_main_GE\' -> f697_0_main_GE : arg1'=arg1P_10, arg3'=100, arg4'=arg3, [ -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg3>arg2 && arg1>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 ], cost: 101
     19: f276_0_sin_GT -> f566_0_sin_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=1+2*arg2, arg4'=arg4P_20, [ arg1>0 && 2*arg2>0 ], cost: 1
     47: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     25: f307_0_cos_GT -> f552_0_cos_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=2*arg2, arg4'=arg4P_26, [ arg2>0 && arg1>0 ], cost: 1
     49: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     35: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_36, arg4'=arg4P_36, [ arg2>0 && arg1>0 ], cost: 1
     37: f342_0_exp_GT -> f342_0_exp_GT\' : arg3'=arg3P_38, arg4'=arg4P_38, [ arg1>0 && arg2>0 ], cost: 1
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     45: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg4, arg4'=arg4P_11, [ arg3>99 && arg1>0 && arg4>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 ], cost: 1-arg2
     48: f566_0_sin_InvokeMethod -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg3>1 && arg1>0 ], cost: 1+arg3
     52: f566_0_sin_InvokeMethod -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && arg3>1 && 1+2*arg1>0 ], cost: 2+2*arg1
     55: f566_0_sin_InvokeMethod -> f276_0_sin_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_24, arg4'=arg4P_24, [ arg2>0 && arg1>0 && arg3>1 ], cost: 2
     50: f552_0_cos_InvokeMethod -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>1 && arg2>0 && arg1>0 ], cost: 1+arg3
     53: f552_0_cos_InvokeMethod -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && arg3>1 && 2*arg1>0 ], cost: 1+2*arg1
     56: f552_0_cos_InvokeMethod -> f307_0_cos_GT : arg1'=arg2, arg2'=-1+arg1, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && arg3>1 ], cost: 2
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     36: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 1
     38: f342_0_exp_GT\' -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 1
     39: __init -> f1_0_main_ConstantStackPush : arg1'=arg1P_40, arg2'=arg2P_40, arg3'=arg3P_40, arg4'=arg4P_40, [], cost: 1

Eliminated locations (on tree-shaped paths):
   Start location: __init
     59: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 ], cost: 2
     60: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1P_18>0 ], cost: 2
     61: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     62: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     63: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     64: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     65: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x143_1+arg2>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 2
     66: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     67: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     68: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     69: f452_0_main_GE -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg1P_9<=arg1 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 2
     70: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x143_1+arg2>0 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 2
     71: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     72: f452_0_main_GE -> f697_0_main_GE : arg1'=arg1P_10, arg3'=100, arg4'=arg3, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 ], cost: 102
     73: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     74: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     75: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x143_1+arg2>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 2
     76: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     77: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     78: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     79: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 ], cost: 2
     80: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1P_18>0 ], cost: 2
     47: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     81: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3+2*arg2
     82: f276_0_sin_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3+2*arg2
     83: f276_0_sin_GT -> f276_0_sin_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_24, arg4'=arg4P_24, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3
     49: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     84: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 2+2*arg2
     85: f307_0_cos_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 2+2*arg2
     86: f307_0_cos_GT -> f307_0_cos_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 3
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
     87: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg2>0 && arg1>0 ], cost: 2
     88: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 2
     89: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 2
     90: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg1>0 && arg2>0 ], cost: 2
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     45: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg4, arg4'=arg4P_11, [ arg3>99 && arg1>0 && arg4>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 ], cost: 1-arg2
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     57: __init -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2P_40, arg4'=arg4P_1, [ arg1P_1<=arg1P_40 && arg2P_40>-1 && arg1P_40>0 && arg1P_1>0 ], cost: 2
     58: __init -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2P_40, arg4'=arg4P_11, [ arg1P_40>0 && arg2P_40>0 && arg1P_11>0 && arg1P_11<=arg1P_40 ], cost: 3

Applied pruning (of leafs and parallel rules):
   Start location: __init
     59: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 ], cost: 2
     60: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1P_18>0 ], cost: 2
     61: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     62: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     63: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     64: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     66: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     67: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     68: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     69: f452_0_main_GE -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg1P_9<=arg1 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 2
     70: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x143_1+arg2>0 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 2
     71: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     72: f452_0_main_GE -> f697_0_main_GE : arg1'=arg1P_10, arg3'=100, arg4'=arg3, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 ], cost: 102
     73: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     74: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     77: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     79: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 ], cost: 2
     47: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     81: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3+2*arg2
     82: f276_0_sin_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3+2*arg2
     83: f276_0_sin_GT -> f276_0_sin_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_24, arg4'=arg4P_24, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3
     49: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     84: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 2+2*arg2
     85: f307_0_cos_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 2+2*arg2
     86: f307_0_cos_GT -> f307_0_cos_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 3
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
     87: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg2>0 && arg1>0 ], cost: 2
     88: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 2
     89: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 2
     90: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg1>0 && arg2>0 ], cost: 2
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     45: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg4, arg4'=arg4P_11, [ arg3>99 && arg1>0 && arg4>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 ], cost: 1-arg2
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     57: __init -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2P_40, arg4'=arg4P_1, [ arg1P_1<=arg1P_40 && arg2P_40>-1 && arg1P_40>0 && arg1P_1>0 ], cost: 2
     58: __init -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2P_40, arg4'=arg4P_11, [ arg1P_40>0 && arg2P_40>0 && arg1P_11>0 && arg1P_11<=arg1P_40 ], cost: 3

Accelerating simple loops of location 1.
   Accelerating the following rules:
     60: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_18, arg2'=1+arg2, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1P_18>0 ], cost: 2
     62: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     66: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2
     70: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_14, arg2'=1+arg2, arg4'=arg4P_14, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x143_1+arg2>0 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1P_14>0 && -3*x143_1+arg2<3 ], cost: 2
     71: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=1+arg2, arg4'=arg4P_16, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 ], cost: 2

   Accelerated rule 60 with metering function -arg2+x91_1+x167_1, yielding the new rule 91.
   Accelerated rule 62 with metering function meter (where 5*meter==3+3*x100_1+3*x157_1-5*arg2+3*x99_1+3*x156_1), yielding the new rule 92.
   Accelerated rule 66 with metering function meter_1 (where 23*meter_1==15+15*x111_1+15*x157_1+15*x109_1-23*arg2+15*x156_1), yielding the new rule 93.
   Accelerated rule 70 with metering function meter_2 (where 6*meter_2==5+5*x145_1+5*x121_1+5*x144_1-6*arg2), yielding the new rule 94.
   Accelerated rule 71 with metering function meter_3 (where 4*meter_3==3+3*x157_1+3*x121_1-4*arg2+3*x156_1), yielding the new rule 95.
   Removing the simple loops: 60 62 66 70 71.

Accelerating simple loops of location 3.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
     83: f276_0_sin_GT -> f276_0_sin_GT : arg2'=-1+arg2, arg3'=arg3P_24, arg4'=arg4P_24, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3

   Accelerated rule 83 with metering function arg2, yielding the new rule 96.
   Removing the simple loops: 83.

Accelerating simple loops of location 4.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
     86: f307_0_cos_GT -> f307_0_cos_GT : arg2'=-1+arg2, arg3'=arg3P_30, arg4'=arg4P_30, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 3

   Accelerated rule 86 with metering function -1/2+arg2, yielding the new rule 97.
   Removing the simple loops: 86.

Accelerated all simple loops using metering functions (where possible):
   Start location: __init
     59: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 ], cost: 2
     61: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     63: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     64: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     67: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     68: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     69: f452_0_main_GE -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg1P_9<=arg1 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 2
     72: f452_0_main_GE -> f697_0_main_GE : arg1'=arg1P_10, arg3'=100, arg4'=arg3, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 ], cost: 102
     73: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     74: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     77: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     79: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 ], cost: 2
     91: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_18, arg2'=x91_1+x167_1, arg4'=arg4P_18, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && arg2-2*x167_1==0 && arg1P_18<=arg1 && arg1P_18>0 && -arg2+x91_1+x167_1>=1 ], cost: -2*arg2+2*x91_1+2*x167_1
     92: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=meter+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 && 5*meter==3+3*x100_1+3*x157_1-5*arg2+3*x99_1+3*x156_1 && meter>=1 ], cost: 2*meter
     93: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=meter_1+arg2, arg4'=arg4P_16, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 && 23*meter_1==15+15*x111_1+15*x157_1+15*x109_1-23*arg2+15*x156_1 && meter_1>=1 ], cost: 2*meter_1
     94: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_14, arg2'=meter_2+arg2, arg4'=arg4P_14, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x143_1+arg2>0 && arg3>0 && -2*x144_1+arg2==1 && -5*x145_1+arg2==0 && arg1P_14<=arg1 && arg1P_14>0 && -3*x143_1+arg2<3 && 6*meter_2==5+5*x145_1+5*x121_1+5*x144_1-6*arg2 && meter_2>=1 ], cost: 2*meter_2
     95: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_16, arg2'=arg2+meter_3, arg4'=arg4P_16, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && arg2-2*x156_1==1 && -3*x157_1+arg2==0 && arg1P_16<=arg1 && arg1P_16>0 && 4*meter_3==3+3*x157_1+3*x121_1-4*arg2+3*x156_1 && meter_3>=1 ], cost: 2*meter_3
     47: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     81: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3+2*arg2
     82: f276_0_sin_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3+2*arg2
     96: f276_0_sin_GT -> f276_0_sin_GT : arg2'=0, arg3'=arg3P_24, arg4'=arg4P_24, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3*arg2
     49: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     84: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 2+2*arg2
     85: f307_0_cos_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 2+2*arg2
     97: f307_0_cos_GT -> f307_0_cos_GT : arg2'=1/2, arg3'=arg3P_30, arg4'=arg4P_30, [ arg1>0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: -3/2+3*arg2
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
     87: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg2>0 && arg1>0 ], cost: 2
     88: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 2
     89: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 2
     90: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg1>0 && arg2>0 ], cost: 2
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     45: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg4, arg4'=arg4P_11, [ arg3>99 && arg1>0 && arg4>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 ], cost: 1-arg2
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     57: __init -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2P_40, arg4'=arg4P_1, [ arg1P_1<=arg1P_40 && arg2P_40>-1 && arg1P_40>0 && arg1P_1>0 ], cost: 2
     58: __init -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2P_40, arg4'=arg4P_11, [ arg1P_40>0 && arg2P_40>0 && arg1P_11>0 && arg1P_11<=arg1P_40 ], cost: 3

Chained accelerated rules (with incoming rules):
   Start location: __init
     59: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 ], cost: 2
     61: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     63: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     64: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     67: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     68: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     69: f452_0_main_GE -> f697_0_main_GE : arg1'=arg1P_9, arg3'=0, arg4'=arg3, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && arg1P_9<=arg1 && arg1P_9>0 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 ], cost: 2
     72: f452_0_main_GE -> f697_0_main_GE : arg1'=arg1P_10, arg3'=100, arg4'=arg3, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 ], cost: 102
     73: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     74: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     77: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg3'=arg3P_5, arg4'=arg4P_5, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 ], cost: 2
     79: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg3'=arg3P_3, arg4'=arg4P_3, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 ], cost: 2
     98: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg2'=0, arg3'=arg3P_24, arg4'=arg4P_24, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
     99: f452_0_main_GE -> f276_0_sin_GT : arg1'=arg3, arg2'=0, arg3'=arg3P_24, arg4'=arg4P_24, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    100: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg2'=1/2, arg3'=arg3P_30, arg4'=arg4P_30, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    101: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg2'=1/2, arg3'=arg3P_30, arg4'=arg4P_30, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    102: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg2'=1/2, arg3'=arg3P_30, arg4'=arg4P_30, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    103: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg2'=1/2, arg3'=arg3P_30, arg4'=arg4P_30, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    104: f452_0_main_GE -> f307_0_cos_GT : arg1'=arg3, arg2'=1/2, arg3'=arg3P_30, arg4'=arg4P_30, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
     47: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     81: f276_0_sin_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3+2*arg2
     82: f276_0_sin_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg1>0 && 2*arg2>0 && arg2>0 ], cost: 3+2*arg2
     49: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     84: f307_0_cos_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 2+2*arg2
     85: f307_0_cos_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 && 2*arg2>1 ], cost: 2+2*arg2
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
     87: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg2>0 && arg1>0 ], cost: 2
     88: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg2>0 && arg1>0 ], cost: 2
     89: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_37, [ arg1>0 && arg2>0 ], cost: 2
     90: f342_0_exp_GT -> f638_0_exp_InvokeMethod : arg1'=arg2, arg2'=arg1, arg3'=-1+arg2, arg4'=arg4P_39, [ arg1>0 && arg2>0 ], cost: 2
     11: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg4, arg4'=arg4P_12, [ arg4>-1 && arg3>99 && arg1P_12<=arg1 && arg1>0 && arg1P_12>0 ], cost: 1
     45: f697_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg4, arg4'=arg4P_11, [ arg3>99 && arg1>0 && arg4>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 ], cost: 1-arg2
     31: f638_0_exp_InvokeMethod -> f342_0_exp_GT : arg1'=arg2, arg2'=arg3, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3<arg1 && arg2>0 && arg1>0 ], cost: 1
     57: __init -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2P_40, arg4'=arg4P_1, [ arg1P_1<=arg1P_40 && arg2P_40>-1 && arg1P_40>0 && arg1P_1>0 ], cost: 2
     58: __init -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2P_40, arg4'=arg4P_11, [ arg1P_40>0 && arg2P_40>0 && arg1P_11>0 && arg1P_11<=arg1P_40 ], cost: 3

Eliminated locations (on tree-shaped paths):
   Start location: __init
     64: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     68: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     74: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
    105: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 && arg2>0 ], cost: 3+arg2
    106: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 5+2*arg2
    107: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 5+2*arg2
    108: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 && arg2>0 ], cost: 3+arg2
    109: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 5+2*arg2
    110: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 5+2*arg2
    111: f452_0_main_GE -> [23] : [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    112: f452_0_main_GE -> [23] : [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    113: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 ], cost: 3+arg2
    114: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    115: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    116: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 ], cost: 3+arg2
    117: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    118: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    119: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 ], cost: 3+arg2
    120: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    121: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    122: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 ], cost: 3+arg2
    123: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    124: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    125: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 ], cost: 3+arg2
    126: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    127: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    128: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    129: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    130: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    131: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    132: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    133: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    134: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    135: f452_0_main_GE -> [24] : [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    136: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    137: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    138: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg3, arg4'=arg4P_12, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 && arg3>-1 && arg1P_12<=arg1P_10 && arg1P_12>0 ], cost: 103
    139: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg3, arg4'=arg4P_11, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 && arg3>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1P_10 ], cost: 103-arg2
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
    140: f342_0_exp_GT -> f342_0_exp_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_32, arg4'=arg4P_32, [ arg2>0 && arg1>0 ], cost: 3
    141: f342_0_exp_GT -> f342_0_exp_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_32, arg4'=arg4P_32, [ arg2>0 && arg1>0 ], cost: 3
    142: f342_0_exp_GT -> f342_0_exp_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_32, arg4'=arg4P_32, [ arg1>0 && arg2>0 ], cost: 3
    143: f342_0_exp_GT -> f342_0_exp_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_32, arg4'=arg4P_32, [ arg1>0 && arg2>0 ], cost: 3
     57: __init -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2P_40, arg4'=arg4P_1, [ arg1P_1<=arg1P_40 && arg2P_40>-1 && arg1P_40>0 && arg1P_1>0 ], cost: 2
     58: __init -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2P_40, arg4'=arg4P_11, [ arg1P_40>0 && arg2P_40>0 && arg1P_11>0 && arg1P_11<=arg1P_40 ], cost: 3

Applied pruning (of leafs and parallel rules):
   Start location: __init
     64: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     68: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     74: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
    111: f452_0_main_GE -> [23] : [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    112: f452_0_main_GE -> [23] : [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    115: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    116: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 ], cost: 3+arg2
    117: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    118: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    121: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    123: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    124: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    127: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    130: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    131: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    133: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    134: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    135: f452_0_main_GE -> [24] : [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    136: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    137: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    138: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg3'=arg3, arg4'=arg4P_12, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 && arg3>-1 && arg1P_12<=arg1P_10 && arg1P_12>0 ], cost: 103
    139: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg3, arg4'=arg4P_11, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg1P_10>0 && arg1P_10<=arg1 && arg3>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1P_10 ], cost: 103-arg2
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
    141: f342_0_exp_GT -> f342_0_exp_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_32, arg4'=arg4P_32, [ arg2>0 && arg1>0 ], cost: 3
    143: f342_0_exp_GT -> f342_0_exp_GT : arg1'=arg1, arg2'=-1+arg2, arg3'=arg3P_32, arg4'=arg4P_32, [ arg1>0 && arg2>0 ], cost: 3
     57: __init -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2P_40, arg4'=arg4P_1, [ arg1P_1<=arg1P_40 && arg2P_40>-1 && arg1P_40>0 && arg1P_1>0 ], cost: 2
     58: __init -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2P_40, arg4'=arg4P_11, [ arg1P_40>0 && arg2P_40>0 && arg1P_11>0 && arg1P_11<=arg1P_40 ], cost: 3

Accelerating simple loops of location 1.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
    138: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+arg2, arg4'=arg4P_12, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg3>-1 && arg1P_12>0 && arg1P_12<=arg1 ], cost: 103
    139: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg4'=arg4P_11, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg3>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 ], cost: 103-arg2

   Accelerated rule 138 with metering function 1+x121_1-arg2+x131_1, yielding the new rule 144.
   Accelerated rule 139 with metering function meter_4 (where 4*meter_4==x121_1-2*arg2+x131_1), yielding the new rule 145.
   Removing the simple loops: 138 139.

Accelerating simple loops of location 5.
   Simplified some of the simple loops (and removed duplicate rules).
   Accelerating the following rules:
    141: f342_0_exp_GT -> f342_0_exp_GT : arg2'=-1+arg2, arg3'=arg3P_32, arg4'=arg4P_32, [ arg2>0 && arg1>0 ], cost: 3
    143: f342_0_exp_GT -> f342_0_exp_GT : arg2'=-1+arg2, arg3'=arg3P_32, arg4'=arg4P_32, [ arg1>0 && arg2>0 ], cost: 3

   Accelerated rule 141 with metering function arg2, yielding the new rule 146.
   Accelerated rule 143 with metering function arg2, yielding the new rule 147.
   Removing the simple loops: 141 143.

Accelerated all simple loops using metering functions (where possible):
   Start location: __init
     64: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     68: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     74: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
    111: f452_0_main_GE -> [23] : [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    112: f452_0_main_GE -> [23] : [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    115: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    116: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 ], cost: 3+arg2
    117: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    118: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    121: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    123: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    124: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    127: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    130: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    131: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    133: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    134: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    135: f452_0_main_GE -> [24] : [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    136: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    137: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    144: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_12, arg2'=1+x121_1+x131_1, arg4'=arg4P_12, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg3>-1 && arg1P_12>0 && arg1P_12<=arg1 && 1+x121_1-arg2+x131_1>=1 ], cost: 103+103*x121_1-103*arg2+103*x131_1
    145: f452_0_main_GE -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg4'=arg4P_11, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -5*x129_1+arg2>0 && -3*x130_1+arg2>0 && arg2-2*x131_1==1 && -3*x130_1+arg2<3 && -5*x129_1+arg2<5 && arg3>0 && arg1P_11>0 && 0==1+arg2 && arg1P_11<=arg1 && 4*meter_4==x121_1-2*arg2+x131_1 && meter_4>=1 ], cost: 102*meter_4
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
    146: f342_0_exp_GT -> f342_0_exp_GT : arg2'=0, arg3'=arg3P_32, arg4'=arg4P_32, [ arg2>0 && arg1>0 ], cost: 3*arg2
    147: f342_0_exp_GT -> f342_0_exp_GT : arg2'=0, arg3'=arg3P_32, arg4'=arg4P_32, [ arg1>0 && arg2>0 ], cost: 3*arg2
     57: __init -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2P_40, arg4'=arg4P_1, [ arg1P_1<=arg1P_40 && arg2P_40>-1 && arg1P_40>0 && arg1P_1>0 ], cost: 2
     58: __init -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2P_40, arg4'=arg4P_11, [ arg1P_40>0 && arg2P_40>0 && arg1P_11>0 && arg1P_11<=arg1P_40 ], cost: 3

Chained accelerated rules (with incoming rules):
   Start location: __init
     64: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     68: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
     74: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg3'=arg3P_7, arg4'=arg4P_7, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 ], cost: 2
    111: f452_0_main_GE -> [23] : [ arg3>arg2 && arg3>0 && arg2-2*x91_1==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    112: f452_0_main_GE -> [23] : [ arg3>arg2 && arg3>0 && -2*x161_1+arg2==0 && arg1>0 && -2*x95_1+arg2==0 && 2*arg2>0 && arg2>0 ], cost: 2+3*arg2
    115: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    116: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 ], cost: 3+arg2
    117: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    118: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    121: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    123: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    124: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    127: f452_0_main_GE -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && arg2>0 && 2*arg2>1 ], cost: 4+2*arg2
    130: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    131: f452_0_main_GE -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 2+3*arg2
    133: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && arg2-2*x99_1==1 && -3*x100_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    134: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    135: f452_0_main_GE -> [24] : [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && arg3>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    136: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    137: f452_0_main_GE -> [24] : [ arg3>arg2 && arg3>0 && -2*x149_1+arg2==1 && -3*x150_1+arg2==0 && arg1>0 && -2*x104_1+arg2==1 && -3*x105_1+arg2==0 && 2*arg2>1 && -1/2+arg2>=1 ], cost: 1/2+3*arg2
    148: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg2'=0, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 && arg2>0 ], cost: 2+3*arg2
    149: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg2'=0, arg3'=arg3P_32, arg4'=arg4P_32, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 && arg2>0 ], cost: 2+3*arg2
    150: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg2'=0, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 && arg2>0 ], cost: 2+3*arg2
    151: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg2'=0, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3>arg2 && arg3>0 && -2*x109_1+arg2==1 && -3*x110_1+arg2>0 && -5*x111_1+arg2==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 && arg2>0 ], cost: 2+3*arg2
    152: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg2'=0, arg3'=arg3P_32, arg4'=arg4P_32, [ -2*x121_1+arg2==1 && arg3>arg2 && -5*x122_1+arg2>0 && arg2-3*x123_1>0 && arg1>0 && -3*x115_1+arg2>0 && arg3>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 && arg2>0 ], cost: 2+3*arg2
    153: f452_0_main_GE -> f342_0_exp_GT : arg1'=arg3, arg2'=0, arg3'=arg3P_32, arg4'=arg4P_32, [ arg3>arg2 && arg3>0 && -2*x135_1+arg2==1 && -3*x136_1+arg2>0 && arg2-5*x137_1==0 && arg1>0 && -3*x115_1+arg2>0 && -2*x116_1+arg2==1 && -5*x117_1+arg2==0 && -3*x115_1+arg2<3 && arg2>0 ], cost: 2+3*arg2
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2
     57: __init -> f452_0_main_GE : arg1'=arg1P_1, arg2'=0, arg3'=arg2P_40, arg4'=arg4P_1, [ arg1P_1<=arg1P_40 && arg2P_40>-1 && arg1P_40>0 && arg1P_1>0 ], cost: 2
     58: __init -> f452_0_main_GE : arg1'=arg1P_11, arg2'=1, arg3'=arg2P_40, arg4'=arg4P_11, [ arg1P_40>0 && arg2P_40>0 && arg1P_11>0 && arg1P_11<=arg1P_40 ], cost: 3

Eliminated locations (on tree-shaped paths):
   Start location: __init
     51: f342_0_exp_GT -> f345_0_power_GT : arg1'=0, arg2'=arg2P_33, arg3'=arg3P_33, arg4'=arg4P_33, [ arg2>0 && arg1>0 ], cost: 1+arg2
     54: f342_0_exp_GT -> f453_0_fact_GT : arg1'=0, arg2'=arg2P_34, arg3'=arg3P_34, arg4'=arg4P_34, [ arg2>0 && arg1>0 ], cost: 1+arg2

Applied pruning (of leafs and parallel rules):
   Start location: __init
     <empty>

### Computing asymptotic complexity ###

Fully simplified ITS problem
   Start location: __init
     <empty>

Obtained the following overall complexity (w.r.t. the length of the input n):
   Complexity:  Constant
   Cpx degree:  0
   Solved cost: 1
   Rule cost:   1
   Rule guard:  []

WORST_CASE(Omega(1),?)