Details

Time bar (total: 3.3s)

sample62.0ms

Algorithm
intervals
Results
57.0ms256×body160valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0497243
1497243

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 58.1b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

1.0b
(* 5.5 (pow 33096.0 8.0))
1.0b
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))
1.0b
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (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)))
62.0b
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

rewrite60.0ms

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:
5.0ms
(* 5.5 (pow 33096.0 8.0))
14.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))
21.0ms
(+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (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)))
17.0ms
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (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
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (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)) (neg (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
(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

simplify58.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
048212365
148212365

prune268.0ms

Filtered
56 candidates to 74 candidates (-32.1%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New73174
Fresh000
Picked101
Done000
Total74175

Merged error: 58.1b

Counts
75 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
12×add-sqr-sqrt
9×add-exp-log
7×add-cube-cbrt *-un-lft-identity associate-*r*
6×add-cbrt-cube
4×pow1 distribute-rgt-in unpow-prod-down associate-+l+ distribute-lft-in sum-log
3×associate-*l* prod-exp unswap-sqr
2×+-commutative flip3-+ flip-+ sqr-pow
1×pow-to-exp sub-neg associate-+r+ flip3-- diff-log pow-exp *-commutative flip-- cbrt-unprod
Counts
4 → 65
Calls
4 calls:
5.0ms
(* 5.5 (pow 33096.0 8.0))
5.0ms
(- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))
19.0ms
(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
19.0ms
(+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.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
(- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))
0.0ms
(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
0.0ms
(+ (* 333.75 (pow 33096.0 6.0)) (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))

simplify27.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
050051718

prune238.0ms

Filtered
54 candidates to 69 candidates (-27.8%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New68169
Fresh000
Picked101
Done000
Total69170

Merged error: 58.1b

Counts
70 → 1

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
12×distribute-rgt-in associate-+l+ distribute-lft-in add-log-exp
4×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ sum-log add-cbrt-cube flip-+
Counts
4 → 56
Calls
4 calls:
19.0ms
(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
20.0ms
(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
19.0ms
(+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))
4.0ms
(+ (* 333.75 (pow 33096.0 6.0)) (* (* (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0)))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))) (cbrt (+ (* 77617.0 (* 77617.0 (+ (* 33096.0 (* 33096.0 (* 77617.0 (* 77617.0 11.0)))) (+ -2.0 (- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0)))))) (* 5.5 (pow 33096.0 8.0))))))

series0.0ms

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

simplify43.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
055742636

prune506.0ms

Filtered
52 candidates to 60 candidates (-15.4%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New60060
Fresh000
Picked011
Done000
Total60161

Merged error: 58.1b

Counts
61 → 1

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
050110
150110

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.8s8000×body160valid

Profiling

Loading profile data...