-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
Optimizing v1
- Loading branch information
There are no files selected for viewing
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Large diffs are not rendered by default.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
{ | ||
"symbolic_sum_no_mean": "369249.46875 + 500000.0*AUX2 + 250000.0*AUX4 - 187413.015625*P3_0_plus_0 - 249826.03125*P3_0_plus_1 + 347.9375*P3_0_plus_2 - 166676.21875*AUX0*AUX22 - 666704.875*AUX0*AUX23 - 333352.4375*AUX0*AUX28 + 20834.52734375*AUX0*P3_0_plus_0 + 83338.109375*AUX0*P3_0_plus_1 + 333352.4375*AUX0*P3_0_plus_2 + 20834.52734375*AUX0*P3_1_plus_0 + 83338.109375*AUX0*P3_1_plus_1 + 333352.4375*AUX0*P3_1_plus_2 + 166738.5625*AUX1*AUX2 - 166738.5625*AUX1*AUX22 - 666954.25*AUX1*AUX23 - 41684.640625*AUX1*AUX24 - 166738.5625*AUX1*AUX25 - 166738.5625*AUX1*AUX26 - 83369.28125*AUX1*AUX27 - 333477.125*AUX1*AUX28 + 333477.125*AUX1*AUX3 - 333477.125*AUX1*AUX36 + 83369.28125*AUX1*AUX4 - 83369.28125*AUX1*AUX40 + 83369.28125*AUX1*AUX6 + 166738.5625*AUX1*AUX7 + 333477.125*AUX1*AUX8 + 20842.3203125*AUX1*P3_0_plus_0 + 83369.28125*AUX1*P3_0_plus_1 + 333477.125*AUX1*P3_0_plus_2 + 20842.3203125*AUX1*P3_1_plus_0 + 83369.28125*AUX1*P3_1_plus_1 + 333477.125*AUX1*P3_1_plus_2 - 499890.6875*AUX10*AUX36 - 124972.671875*AUX10*AUX40 + 31243.16796875*AUX10*P3_0_plus_0 + 124972.671875*AUX10*P3_0_plus_1 + 499890.6875*AUX10*P3_0_plus_2 + 31243.16796875*AUX10*P3_1_plus_0 + 124972.671875*AUX10*P3_1_plus_1 + 499890.6875*AUX10*P3_1_plus_2 + 62486.3359375*AUX11*P1_0_plus_0 + 62529.25*AUX11*P1_1_plus_0 + 20823.15234375*AUX11*P2_0_plus_0 + 41646.3046875*AUX11*P2_0_plus_1 + 124972.671875*AUX12*P1_0_plus_0 + 125058.5*AUX12*P1_1_plus_0 + 41646.3046875*AUX12*P2_0_plus_0 + 83292.609375*AUX12*P2_0_plus_1 + 499862.75*AUX13*P1_0_plus_0 + 500012.5625*AUX13*P1_1_plus_0 + 166585.21875*AUX13*P2_1_plus_0 + 333170.4375*AUX13*P2_1_plus_1 - 249931.375*AUX14*AUX36 - 62482.84375*AUX14*AUX40 + 15620.7109375*AUX14*P3_0_plus_0 + 62482.84375*AUX14*P3_0_plus_1 + 249931.375*AUX14*P3_0_plus_2 + 15620.7109375*AUX14*P3_1_plus_0 + 62482.84375*AUX14*P3_1_plus_1 + 249931.375*AUX14*P3_1_plus_2 + 249931.375*AUX15*P1_0_plus_0 + 250006.28125*AUX15*P1_1_plus_0 + 166585.21875*AUX15*P2_1_plus_1 - 499862.75*AUX16*AUX36 - 124965.6875*AUX16*AUX40 + 31241.421875*AUX16*P3_0_plus_0 + 124965.6875*AUX16*P3_0_plus_1 + 499862.75*AUX16*P3_0_plus_2 + 31241.421875*AUX16*P3_1_plus_0 + 124965.6875*AUX16*P3_1_plus_1 + 499862.75*AUX16*P3_1_plus_2 - 166585.21875*AUX17*AUX36 - 41646.3046875*AUX17*AUX40 + 10411.576171875*AUX17*P3_0_plus_0 + 41646.3046875*AUX17*P3_0_plus_1 + 166585.21875*AUX17*P3_0_plus_2 + 10411.576171875*AUX17*P3_1_plus_0 + 41646.3046875*AUX17*P3_1_plus_1 + 166585.21875*AUX17*P3_1_plus_2 - 166585.21875*AUX18*AUX36 - 41646.3046875*AUX18*AUX40 + 10411.576171875*AUX18*P3_0_plus_0 + 41646.3046875*AUX18*P3_0_plus_1 + 166585.21875*AUX18*P3_0_plus_2 + 10411.576171875*AUX18*P3_1_plus_0 + 41646.3046875*AUX18*P3_1_plus_1 + 166585.21875*AUX18*P3_1_plus_2 - 83292.609375*AUX19*AUX36 - 20823.15234375*AUX19*AUX40 + 5205.7880859375*AUX19*P3_0_plus_0 + 20823.15234375*AUX19*P3_0_plus_1 + 83292.609375*AUX19*P3_0_plus_2 + 5205.7880859375*AUX19*P3_1_plus_0 + 20823.15234375*AUX19*P3_1_plus_1 + 83292.609375*AUX19*P3_1_plus_2 + 166676.21875*AUX2*AUX0 + 249945.34375*AUX2*AUX10 + 124965.6875*AUX2*AUX14 + 83292.609375*AUX2*AUX17 + 166663.28125*AUX2*AUX30 + 125003.140625*AUX2*AUX35 + 250117.0*AUX2*AUX41 - 333270.0*AUX2*P1_0_plus_0 - 333393.28125*AUX2*P1_1_plus_0 - 208299.765625*AUX2*P2_0_plus_0 - 333261.4375*AUX2*P2_0_plus_1 - 208346.53125*AUX2*P2_1_plus_0 - 333323.78125*AUX2*P2_1_plus_1 - 166585.21875*AUX20*AUX22 - 666340.875*AUX20*AUX23 - 41646.3046875*AUX20*AUX24 - 166585.21875*AUX20*AUX25 - 166585.21875*AUX20*AUX26 - 83292.609375*AUX20*AUX27 - 333170.4375*AUX20*AUX28 - 333170.4375*AUX20*AUX36 - 83292.609375*AUX20*AUX40 + 20823.15234375*AUX20*P3_0_plus_0 + 83292.609375*AUX20*P3_0_plus_1 + 333170.4375*AUX20*P3_0_plus_2 + 20823.15234375*AUX20*P3_1_plus_0 + 83292.609375*AUX20*P3_1_plus_1 + 333170.4375*AUX20*P3_1_plus_2 - 499890.6875*AUX21*AUX23 - 31243.16796875*AUX21*AUX24 - 124972.671875*AUX21*AUX25 - 124972.671875*AUX21*AUX26 - 62486.3359375*AUX21*AUX27 - 249945.34375*AUX21*AUX28 - 249945.34375*AUX21*AUX36 - 62486.3359375*AUX21*AUX40 + 15621.583984375*AUX21*P3_0_plus_0 + 62486.3359375*AUX21*P3_0_plus_1 + 249945.34375*AUX21*P3_0_plus_2 + 15621.583984375*AUX21*P3_1_plus_0 + 62486.3359375*AUX21*P3_1_plus_1 + 249945.34375*AUX21*P3_1_plus_2 - 249945.34375*AUX22*AUX10 - 124965.6875*AUX22*AUX14 - 249931.375*AUX22*AUX16 - 83292.609375*AUX22*AUX17 - 83292.609375*AUX22*AUX18 - 41646.3046875*AUX22*AUX19 - 124972.671875*AUX22*AUX21 - 166663.28125*AUX22*AUX30 - 125003.140625*AUX22*AUX35 - 250006.28125*AUX22*AUX37 - 250117.0*AUX22*AUX41 - 125058.5*AUX22*AUX42 + 83331.640625*AUX22*P1_0_plus_0 + 83331.640625*AUX22*P1_1_plus_0 + 83315.359375*AUX22*P2_0_plus_0 + 83292.609375*AUX22*P2_0_plus_1 + 83330.9453125*AUX22*P2_1_plus_0 - 999781.375*AUX23*AUX10 - 499862.75*AUX23*AUX14 - 999725.5*AUX23*AUX16 - 333170.4375*AUX23*AUX17 - 333170.4375*AUX23*AUX18 - 166585.21875*AUX23*AUX19 - 666653.125*AUX23*AUX30 - 500012.5625*AUX23*AUX35 - 1000025.125*AUX23*AUX37 - 1000468.0*AUX23*AUX41 - 500234.0*AUX23*AUX42 + 333326.5625*AUX23*P1_0_plus_0 + 333326.5625*AUX23*P1_1_plus_0 + 333261.4375*AUX23*P2_0_plus_0 + 333170.4375*AUX23*P2_0_plus_1 + 333323.78125*AUX23*P2_1_plus_0 + 333170.4375*AUX23*P2_1_plus_1 - 62486.3359375*AUX24*AUX10 - 31241.421875*AUX24*AUX14 - 62482.84375*AUX24*AUX16 - 20823.15234375*AUX24*AUX17 - 20823.15234375*AUX24*AUX18 - 10411.576171875*AUX24*AUX19 - 41665.8203125*AUX24*AUX30 - 31250.78515625*AUX24*AUX35 - 62501.5703125*AUX24*AUX37 - 62529.25*AUX24*AUX41 - 31264.625*AUX24*AUX42 + 20832.91015625*AUX24*P1_0_plus_0 + 20832.91015625*AUX24*P1_1_plus_0 + 20828.83984375*AUX24*P2_0_plus_0 + 20823.15234375*AUX24*P2_0_plus_1 + 20832.736328125*AUX24*P2_1_plus_0 - 249945.34375*AUX25*AUX10 - 124965.6875*AUX25*AUX14 - 249931.375*AUX25*AUX16 - 83292.609375*AUX25*AUX17 - 83292.609375*AUX25*AUX18 - 41646.3046875*AUX25*AUX19 - 166663.28125*AUX25*AUX30 - 125003.140625*AUX25*AUX35 - 250006.28125*AUX25*AUX37 - 250117.0*AUX25*AUX41 + 83315.359375*AUX25*P2_0_plus_0 + 83292.609375*AUX25*P2_0_plus_1 + 83292.609375*AUX25*P2_1_plus_1 - 249945.34375*AUX26*AUX10 - 124965.6875*AUX26*AUX14 - 249931.375*AUX26*AUX16 - 83292.609375*AUX26*AUX17 - 83292.609375*AUX26*AUX18 - 41646.3046875*AUX26*AUX19 - 166663.28125*AUX26*AUX30 - 125003.140625*AUX26*AUX35 - 250006.28125*AUX26*AUX37 - 250117.0*AUX26*AUX41 - 125058.5*AUX26*AUX42 + 83331.640625*AUX26*P1_0_plus_0 + 83331.640625*AUX26*P1_1_plus_0 + 83315.359375*AUX26*P2_0_plus_0 + 83292.609375*AUX26*P2_0_plus_1 + 83330.9453125*AUX26*P2_1_plus_0 + 83292.609375*AUX26*P2_1_plus_1 - 124972.671875*AUX27*AUX10 - 62482.84375*AUX27*AUX14 - 124965.6875*AUX27*AUX16 - 41646.3046875*AUX27*AUX17 - 41646.3046875*AUX27*AUX18 - 20823.15234375*AUX27*AUX19 - 83331.640625*AUX27*AUX30 - 62501.5703125*AUX27*AUX35 - 125003.140625*AUX27*AUX37 - 62529.25*AUX27*AUX42 + 41657.6796875*AUX27*P2_0_plus_0 + 41646.3046875*AUX27*P2_0_plus_1 + 41665.47265625*AUX27*P2_1_plus_0 - 499890.6875*AUX28*AUX10 - 249931.375*AUX28*AUX14 - 499862.75*AUX28*AUX16 - 166585.21875*AUX28*AUX17 - 166585.21875*AUX28*AUX18 - 83292.609375*AUX28*AUX19 - 333326.5625*AUX28*AUX30 - 250006.28125*AUX28*AUX35 - 500012.5625*AUX28*AUX37 - 500234.0*AUX28*AUX41 - 250117.0*AUX28*AUX42 + 166663.28125*AUX28*P1_0_plus_0 + 166663.28125*AUX28*P1_1_plus_0 + 166630.71875*AUX28*P2_0_plus_0 + 166585.21875*AUX28*P2_0_plus_1 + 166585.21875*AUX28*P2_1_plus_1 - 83338.109375*AUX29*P3_0_plus_0 - 166676.21875*AUX29*P3_0_plus_1 - 333352.4375*AUX29*P3_0_plus_2 + 333352.4375*AUX3*AUX0 + 499890.6875*AUX3*AUX10 + 249931.375*AUX3*AUX14 + 166585.21875*AUX3*AUX17 + 83292.609375*AUX3*AUX19 + 249945.34375*AUX3*AUX21 + 333326.5625*AUX3*AUX30 + 250006.28125*AUX3*AUX35 + 500234.0*AUX3*AUX41 + 250117.0*AUX3*AUX42 - 666540.0*AUX3*P1_0_plus_0 - 666786.5625*AUX3*P1_1_plus_0 - 416599.53125*AUX3*P2_0_plus_0 - 666522.875*AUX3*P2_0_plus_1 - 416693.0625*AUX3*P2_1_plus_0 - 666647.5625*AUX3*P2_1_plus_1 - 333326.5625*AUX30*AUX36 + 20832.91015625*AUX30*P3_0_plus_0 + 83331.640625*AUX30*P3_0_plus_1 + 333326.5625*AUX30*P3_0_plus_2 + 20832.91015625*AUX30*P3_1_plus_0 + 83331.640625*AUX30*P3_1_plus_1 + 333326.5625*AUX30*P3_1_plus_2 - 125058.5*AUX31*AUX32 - 125058.5*AUX31*AUX39 + 41665.8203125*AUX31*P3_0_plus_0 + 83331.640625*AUX31*P3_0_plus_1 + 166663.28125*AUX31*P3_0_plus_2 + 20823.15234375*AUX32*P3_1_plus_0 + 41646.3046875*AUX32*P3_1_plus_1 + 83292.609375*AUX32*P3_1_plus_2 + 124965.6875*AUX33*P1_0_plus_0 + 125003.140625*AUX33*P1_1_plus_0 + 83292.609375*AUX33*P2_1_plus_1 + 41665.8203125*AUX34*P3_0_plus_0 + 83331.640625*AUX34*P3_0_plus_1 + 166663.28125*AUX34*P3_0_plus_2 - 250006.28125*AUX35*AUX36 + 15625.392578125*AUX35*P3_0_plus_0 + 62501.5703125*AUX35*P3_0_plus_1 + 250006.28125*AUX35*P3_0_plus_2 + 15625.392578125*AUX35*P3_1_plus_0 + 62501.5703125*AUX35*P3_1_plus_1 + 250006.28125*AUX35*P3_1_plus_2 - 500012.5625*AUX36*AUX37 + 166630.71875*AUX36*P2_0_plus_0 + 166585.21875*AUX36*P2_0_plus_1 + 166661.890625*AUX36*P2_1_plus_0 + 166585.21875*AUX36*P2_1_plus_1 + 31250.78515625*AUX37*P3_0_plus_0 + 125003.140625*AUX37*P3_0_plus_1 + 500012.5625*AUX37*P3_0_plus_2 + 31250.78515625*AUX37*P3_1_plus_0 + 125003.140625*AUX37*P3_1_plus_1 + 500012.5625*AUX37*P3_1_plus_2 - 41669.0546875*AUX38*P3_0_plus_0 - 83338.109375*AUX38*P3_0_plus_1 - 166676.21875*AUX38*P3_0_plus_2 + 62529.25*AUX39*P1_1_plus_0 + 41665.47265625*AUX39*P3_1_plus_0 + 83330.9453125*AUX39*P3_1_plus_1 + 166661.890625*AUX39*P3_1_plus_2 + 83338.109375*AUX4*AUX0 + 124972.671875*AUX4*AUX10 + 62482.84375*AUX4*AUX14 + 41646.3046875*AUX4*AUX17 + 83331.640625*AUX4*AUX30 + 62501.5703125*AUX4*AUX35 + 125058.5*AUX4*AUX41 - 166635.0*AUX4*P1_0_plus_0 - 166696.640625*AUX4*P1_1_plus_0 - 104149.8828125*AUX4*P2_0_plus_0 - 166630.71875*AUX4*P2_0_plus_1 - 104173.265625*AUX4*P2_1_plus_0 - 166661.890625*AUX4*P2_1_plus_1 - 83331.640625*AUX40*AUX30 - 62501.5703125*AUX40*AUX35 - 125003.140625*AUX40*AUX37 + 41665.8203125*AUX40*P1_0_plus_0 + 41665.8203125*AUX40*P1_1_plus_0 + 41657.6796875*AUX40*P2_0_plus_0 + 41646.3046875*AUX40*P2_0_plus_1 + 41646.3046875*AUX40*P2_1_plus_1 - 500234.0*AUX41*AUX36 - 125058.5*AUX41*AUX40 + 31264.625*AUX41*P3_0_plus_0 + 125058.5*AUX41*P3_0_plus_1 + 500234.0*AUX41*P3_0_plus_2 + 31264.625*AUX41*P3_1_plus_0 + 125058.5*AUX41*P3_1_plus_1 + 500234.0*AUX41*P3_1_plus_2 - 250117.0*AUX42*AUX36 - 62529.25*AUX42*AUX40 + 15632.3125*AUX42*P3_0_plus_0 + 250117.0*AUX42*P3_0_plus_2 + 15632.3125*AUX42*P3_1_plus_0 + 62529.25*AUX42*P3_1_plus_1 + 250117.0*AUX42*P3_1_plus_2 + 83338.109375*AUX6*AUX0 + 124972.671875*AUX6*AUX10 + 62482.84375*AUX6*AUX14 + 124965.6875*AUX6*AUX16 + 41646.3046875*AUX6*AUX17 + 41646.3046875*AUX6*AUX18 + 20823.15234375*AUX6*AUX19 + 83292.609375*AUX6*AUX20 + 62486.3359375*AUX6*AUX21 + 83331.640625*AUX6*AUX30 + 62501.5703125*AUX6*AUX35 + 125003.140625*AUX6*AUX37 + 125058.5*AUX6*AUX41 + 62529.25*AUX6*AUX42 + 83303.359375*AUX6*P1_0_plus_0 + 83365.0*AUX6*P1_1_plus_0 + 20834.52734375*AUX6*P2_0_plus_0 + 83338.109375*AUX6*P2_0_plus_1 + 20842.3203125*AUX6*P2_1_plus_0 + 83369.28125*AUX6*P2_1_plus_1 + 166676.21875*AUX7*AUX0 + 249945.34375*AUX7*AUX10 + 124965.6875*AUX7*AUX14 + 249931.375*AUX7*AUX16 + 83292.609375*AUX7*AUX17 + 83292.609375*AUX7*AUX18 + 41646.3046875*AUX7*AUX19 + 166585.21875*AUX7*AUX20 + 124972.671875*AUX7*AUX21 + 166663.28125*AUX7*AUX30 + 125003.140625*AUX7*AUX35 + 250006.28125*AUX7*AUX37 + 250117.0*AUX7*AUX41 + 125058.5*AUX7*AUX42 + 166606.71875*AUX7*P1_0_plus_0 + 166730.0*AUX7*P1_1_plus_0 + 41669.0546875*AUX7*P2_0_plus_0 + 166676.21875*AUX7*P2_0_plus_1 + 41684.640625*AUX7*P2_1_plus_0 + 166738.5625*AUX7*P2_1_plus_1 + 333352.4375*AUX8*AUX0 + 499890.6875*AUX8*AUX10 + 249931.375*AUX8*AUX14 + 499862.75*AUX8*AUX16 + 166585.21875*AUX8*AUX17 + 166585.21875*AUX8*AUX18 + 83292.609375*AUX8*AUX19 + 333170.4375*AUX8*AUX20 + 249945.34375*AUX8*AUX21 + 333326.5625*AUX8*AUX30 + 250006.28125*AUX8*AUX35 + 500012.5625*AUX8*AUX37 + 500234.0*AUX8*AUX41 + 250117.0*AUX8*AUX42 + 333213.4375*AUX8*P1_0_plus_0 + 333460.0*AUX8*P1_1_plus_0 + 83338.109375*AUX8*P2_0_plus_0 + 333352.4375*AUX8*P2_0_plus_1 + 83369.28125*AUX8*P2_1_plus_0 + 333477.125*AUX8*P2_1_plus_1 + 132786.375*P1_0_plus_0*P3_0_plus_0 + 182255.25*P1_0_plus_0*P3_0_plus_1 + 31240.5*P1_0_plus_0*P3_0_plus_2 - 153619.28125*P1_0_plus_0*P3_1_plus_0 - 265586.90625*P1_0_plus_0*P3_1_plus_1 - 364567.0625*P1_0_plus_0*P3_1_plus_2 + 33793.73046875*P1_1_plus_0*P3_0_plus_0 - 15760.859375*P1_1_plus_0*P3_0_plus_1 - 364915.0*P1_1_plus_0*P3_0_plus_2 - 54626.640625*P1_1_plus_0*P3_1_plus_0 - 67570.78125*P1_1_plus_0*P3_1_plus_1 + 31588.4375*P1_1_plus_0*P3_1_plus_2 + 36441.78125*P2_0_plus_0*P3_0_plus_0 + 20808.625*P2_0_plus_0*P3_0_plus_1 - 166682.515625*P2_0_plus_0*P3_0_plus_2 - 57270.6171875*P2_0_plus_0*P3_1_plus_0 - 104123.984375*P2_0_plus_0*P3_1_plus_1 - 166578.890625*P2_0_plus_0*P3_1_plus_2 + 83300.828125*P2_0_plus_1*P3_0_plus_0 + 83286.296875*P2_0_plus_1*P3_0_plus_1 - 166688.84375*P2_0_plus_1*P3_0_plus_2 - 104123.984375*P2_0_plus_1*P3_1_plus_0 - 166578.890625*P2_0_plus_1*P3_1_plus_1 - 166481.59375*P2_0_plus_1*P3_1_plus_2 + 36433.9375*P2_1_plus_0*P3_0_plus_0 + 20781.2421875*P2_1_plus_0*P3_0_plus_1 - 166784.046875*P2_1_plus_0*P3_0_plus_2 - 57266.671875*P2_1_plus_0*P3_1_plus_0 - 104112.1875*P2_1_plus_0*P3_1_plus_1 - 166539.734375*P2_1_plus_0*P3_1_plus_2 + 83289.03125*P2_1_plus_1*P3_0_plus_0 + 83247.125*P2_1_plus_1*P3_0_plus_1 - 166829.53125*P2_1_plus_1*P3_0_plus_2 - 104112.1875*P2_1_plus_1*P3_1_plus_0 - 166539.734375*P2_1_plus_1*P3_1_plus_1 - 166340.90625*P2_1_plus_1*P3_1_plus_2", | ||
"x_data_size": 1000000 | ||
} |