Details

Time bar (total: 46.4s)

sample132.0ms

Algorithm
intervals
Results
99.0ms256×body160valid

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
03144
17943
223743
377843
4327643
done500043

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize65.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096.0 8.0))
1.0b
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
1.0b
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
62.0b
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

rewrite3.6s

Algorithm
rewrite-expression-head
Rules
22×add-log-exp
12×add-sqr-sqrt
11×sum-log
9×add-exp-log *-un-lft-identity
7×add-cube-cbrt associate-*r*
6×add-cbrt-cube
4×pow1 unpow-prod-down flip3-+ flip-+
3×+-commutative associate-*l* prod-exp unswap-sqr
2×associate-+l+ frac-add sqr-pow
1×neg-sub0 pow-to-exp associate-+r- unsub-neg neg-log pow-exp *-commutative cbrt-unprod distribute-lft-out
Counts
4 → 70
Calls
4 calls:
23.0ms
(* 5.5 (pow 33096.0 8.0))
1.8s
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
79.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
1.7s
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 5.5 (pow 33096.0 8.0))
0.0ms
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
0.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
0.0ms
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

simplify1.2s

Counts
74 → 74
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01542867
14382655
220032531
done50012527

prune471.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize90.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096.0 8.0))
1.6b
(pow (* 5.5 (pow 33096.0 8.0)) 3)
1.6b
(pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
62.3b
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))

rewrite8.2s

Algorithm
rewrite-expression-head
Rules
16×add-exp-log add-sqr-sqrt
13×*-un-lft-identity
11×add-cube-cbrt
10×add-cbrt-cube
8×unpow-prod-down
7×associate-*r* pow-exp
6×pow1 pow-unpow prod-exp add-log-exp
4×pow-to-exp cube-prod sqr-pow
3×associate-*l* rem-cube-cbrt unswap-sqr
2×cube-div cube-mult pow-pow flip3-+ unpow3 cbrt-unprod flip-+
1×+-commutative sum-log sum-cubes *-commutative distribute-lft-out
Counts
4 → 86
Calls
4 calls:
13.0ms
(* 5.5 (pow 33096.0 8.0))
14.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
2.5s
(pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
5.7s
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 5.5 (pow 33096.0 8.0))
0.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
0.0ms
(pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3)
0.0ms
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))

simplify2.1s

Counts
90 → 90
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01583335
15183042
227272678
done50022674

prune674.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize78.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096.0 8.0))
1.0b
(* 5.5 (pow 33096.0 8.0))
1.6b
(pow (* 5.5 (pow 33096.0 8.0)) 3)
62.3b
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))

rewrite8.5s

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
20×add-exp-log
14×associate-*r*
11×add-cube-cbrt *-un-lft-identity add-cbrt-cube
9×unpow-prod-down prod-exp
7×pow-exp
6×associate-*l* add-log-exp unswap-sqr
5×pow1 sqr-pow
4×pow-to-exp
3×pow-unpow cbrt-unprod
2×associate-+r+ *-commutative rem-cube-cbrt
1×+-commutative distribute-rgt-in cube-mult pow-pow distribute-lft-in flip3-+ unpow3 cube-prod pow3 sum-log sum-cubes flip-+
Counts
4 → 87
Calls
4 calls:
22.0ms
(* 5.5 (pow 33096.0 8.0))
23.0ms
(* 5.5 (pow 33096.0 8.0))
14.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
8.4s
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(* 5.5 (pow 33096.0 8.0))
0.0ms
(* 5.5 (pow 33096.0 8.0))
0.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
0.0ms
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))

simplify1.4s

Counts
91 → 91
Iterations

Useful iterations: 2 (353.0ms)

IterNodesCost
01222837
13522594
219041446
done50001446

prune640.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize58.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)
1.6b
(pow (* 5.5 (pow 33096.0 8.0)) 3)
2.0b
(pow (cbrt 33096.0) 8.0)
62.3b
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))

rewrite9.6s

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log
12×pow-pow
9×add-sqr-sqrt add-cube-cbrt pow-unpow *-un-lft-identity
8×unpow-prod-down pow-exp
7×pow1/3 add-cbrt-cube
6×add-log-exp
4×pow-to-exp prod-exp
3×cbrt-prod sqr-pow
2×associate-+r+ pow-prod-down pow-sqr pow-prod-up rem-cube-cbrt
1×+-commutative pow2 distribute-rgt-in cube-mult distribute-lft-in flip3-+ pow-plus unpow3 cube-prod pow3 sum-log sum-cubes cbrt-unprod flip-+
Counts
4 → 82
Calls
4 calls:
16.0ms
(pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)
15.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
3.0ms
(pow (cbrt 33096.0) 8.0)
9.6s
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)
0.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
0.0ms
(pow (cbrt 33096.0) 8.0)
0.0ms
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))

simplify1.3s

Counts
86 → 86
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01502812
14542596
219731410
done50011380

prune984.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

simplify17.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
047229
164229
done64229

end0.0ms

sample4.5s

Algorithm
intervals
Results
4.4s8000×body160valid