Details

Time bar (total: 48.8s)

sample151.0ms

Algorithm
intervals
Results
113.0ms256×body160valid

simplify4.0s

Counts
1 → 1
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
03144
17943
223743
375843
4249243
done500043

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize70.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.5s

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:
13.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)))
115.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
1.6s
(+ (+ (* 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
14252655
217422531
done50012527

prune496.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize49.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.3s

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:
24.0ms
(* 5.5 (pow 33096.0 8.0))
16.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
2.1s
(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)
6.1s
(+ (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))

simplify1.7s

Counts
90 → 90
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01583335
14363040
219682678
done50002674

prune737.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize88.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)))))

rewrite10.2s

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:
13.0ms
(* 5.5 (pow 33096.0 8.0))
13.0ms
(* 5.5 (pow 33096.0 8.0))
15.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
10.1s
(+ (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.0s

Counts
91 → 91
Iterations

Useful iterations: done (1.0s)

IterNodesCost
01222837
13162592
214691446
done50001414

prune664.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize76.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)))))

rewrite10.3s

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:
8.0ms
(pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)
8.0ms
(pow (* 5.5 (pow 33096.0 8.0)) 3)
4.0ms
(pow (cbrt 33096.0) 8.0)
10.3s
(+ (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.1s

Counts
86 → 86
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01502812
13702594
214521410
done50001378

prune792.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

simplify21.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
047229
164229
done64229

end0.0ms

sample4.3s

Algorithm
intervals
Results
4.2s8000×body160valid