Details

Time bar (total: 3.5s)

sample63.0ms

Algorithm
intervals
Results
57.0ms256×body160valid

simplify31.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
0497243
1497243

prune11.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

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

rewrite70.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:
8.0ms
(* 5.5 (pow 33096.0 8.0))
15.0ms
(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (neg (pow 33096.0 6.0)))
25.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)))
20.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)))

simplify53.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
048212365
148212365

prune315.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

localize26.0ms

Local error

Found 4 expressions with local error:

1.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)))) (/ 77617.0 (* 2.0 33096.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))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
22×add-log-exp
10×sum-log
6×*-un-lft-identity
5×associate-+l+
4×pow1 add-exp-log distribute-rgt-in add-sqr-sqrt add-cube-cbrt distribute-lft-in flip3-+ add-cbrt-cube flip-+
3×+-commutative
2×frac-add
1×sub-neg associate-+r+ flip3-- diff-log flip-- distribute-lft-out
Counts
4 → 57
Calls
4 calls:
26.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)))) (/ 77617.0 (* 2.0 33096.0)))
6.0ms
(- (* -121.0 (pow 33096.0 4.0)) (pow 33096.0 6.0))
22.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)))
23.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
(+ (+ (* 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)))) (/ 77617.0 (* 2.0 33096.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))))

simplify52.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049382709
149382709

prune292.0ms

Filtered
49 candidates to 61 candidates (-24.5%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New60161
Fresh000
Picked101
Done000
Total61162

Merged error: 58.1b

Counts
62 → 1

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

rewrite76.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:
23.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)))
23.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)))
24.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)))
5.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))))))

simplify39.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
055742636

prune595.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

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
050110
150110

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.7s8000×body160valid

Profiling

Loading profile data...