Details

Time bar (total: 10.0m)

sample66.0ms

Algorithm
intervals
Results
18.0ms225×body80nan
18.0ms256×body80valid

simplify35.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05017
110817
238917
3176117
4500217

prune5.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.0b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (sqrt (+ t a)))
0.3b
(/ 2.0 (* t 3.0))
2.3b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
6.8b
(/ (* z (sqrt (+ t a))) t)

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
5600×frac-sub
4092×add-sqr-sqrt
3181×*-un-lft-identity
2442×associate-/l*
2267×add-cube-cbrt
2241×associate-*r*
2163×associate-/r*
1900×frac-times
1511×times-frac
1468×flip3-+ flip-+
1365×prod-diff
1354×associate-*l*
1186×associate-*r/
1051×flip3-- flip--
907×sqrt-prod
658×unswap-sqr
414×*-commutative
328×associate--r+
316×distribute-lft-out
268×frac-2neg clear-num
236×sqrt-div
234×associate-/l/
228×difference-of-squares
169×distribute-lft-out--
164×distribute-rgt-in distribute-lft-in
55×fma-neg
50×associate-*l/
30×div-inv
16×add-exp-log add-cbrt-cube
6×pow1 add-log-exp
4×cbrt-undiv expm1-log1p-u div-exp associate--l+ log1p-expm1-u
3×sub-neg prod-exp cbrt-unprod
2×+-commutative
1×diff-log pow-prod-down
Counts
4 → 4536
Calls
4 calls:
7.0ms
(* z (sqrt (+ t a)))
7.0ms
(/ 2.0 (* t 3.0))
263.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
11.0ms
(/ (* z (sqrt (+ t a))) t)

series382.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(* z (sqrt (+ t a)))
17.0ms
(/ 2.0 (* t 3.0))
213.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
85.0ms
(/ (* z (sqrt (+ t a))) t)

simplify2.3s

Algorithm
egg-herbie
Counts
4548 → 4548
Iterations

Useful iterations: 0 (116.0ms)

IterNodesCost
09317221969

prune26.1s

Filtered
4548 candidates to 3163 candidates (69.5%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New454444548
Fresh000
Picked101
Done000
Total454544549

Merged error: 0.2b

Counts
4549 → 4

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
1.2b
(fma (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (sqrt (+ t a))) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(fma (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (sqrt (+ t a))) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt t)
386.0ms
(cbrt t)
193.0ms
(cbrt t)
461.0ms
(fma (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (sqrt (+ t a))) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

simplify64.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 3 (58.0ms)

IterNodesCost
0185450
1504391
22161378
35001374

prune385.0ms

Filtered
61 candidates to 54 candidates (88.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New61061
Fresh033
Picked011
Done000
Total61465

Merged error: 0.2b

Counts
65 → 4

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
2.3b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))))))
6.8b
(/ (* z (sqrt (+ t a))) t)
38.8b
(cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))))

rewrite16.4s

Algorithm
rewrite-expression-head
Rules
120013×add-sqr-sqrt
56745×unswap-sqr
53872×associate-*l*
39904×*-un-lft-identity
36958×associate-*r*
36070×times-frac
34100×frac-sub
27025×cbrt-prod
26394×add-cube-cbrt
25684×prod-diff
18432×associate--r+
17063×cbrt-div
15935×associate-/l*
14525×associate-/r*
14029×swap-sqr
11400×frac-times
9653×*-commutative
9216×distribute-rgt-in distribute-lft-in
9162×flip3-+ flip-+
7074×associate-*r/
6443×difference-of-squares
5801×flip3-- flip--
5750×distribute-lft-out
5447×sqrt-prod
1374×sqrt-div associate-/l/
839×frac-2neg clear-num
201×add-exp-log add-cbrt-cube
169×distribute-lft-out--
144×div-inv
127×prod-exp cbrt-unprod
55×fma-neg
50×associate-*l/
35×cbrt-undiv div-exp
6×add-log-exp
4×pow1 expm1-log1p-u associate--l+ log1p-expm1-u
3×sub-neg
2×+-commutative
1×pow1/3 diff-log
Counts
4 → 47918
Calls
4 calls:
139.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
3.6s
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))))))
12.0ms
(/ (* z (sqrt (+ t a))) t)
193.0ms
(cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))))

series581.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
381.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))))))
95.0ms
(/ (* z (sqrt (+ t a))) t)
58.0ms
(cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))))

simplify31.3s

Algorithm
egg-herbie
Counts
47930 → 47930
Iterations

Useful iterations: 0 (1.7s)

IterNodesCost
0695172895382

prune4.6m

Filtered
47930 candidates to 24629 candidates (51.4%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New47929147930
Fresh112
Picked101
Done011
Total47931347934

Merged error: 0b

Counts
47934 → 3

localize34.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
1.4b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))) 1/3))))
6.8b
(/ (* z (sqrt (+ t a))) t)
38.7b
(pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))) 1/3)

rewrite10.5s

Algorithm
rewrite-expression-head
Rules
95438×add-sqr-sqrt
45278×unswap-sqr
37653×associate-*l*
36121×times-frac
30973×*-un-lft-identity
27025×unpow-prod-down
25747×prod-diff
25493×associate-*r*
19413×add-cube-cbrt
18440×associate--r+
10707×swap-sqr
9220×distribute-rgt-in distribute-lft-in
7166×*-commutative
6498×difference-of-squares
5077×distribute-lft-out
2072×sqrt-prod
394×add-exp-log
253×prod-exp
201×add-cbrt-cube
200×frac-sub
181×associate-/l*
169×distribute-lft-out--
151×flip3-- flip--
145×div-inv
127×cbrt-unprod
109×associate-/r*
100×frac-times
68×associate-*r/ div-exp
64×sqr-pow
55×fma-neg
50×associate-*l/
35×cbrt-undiv
34×pow-exp
18×sqrt-div associate-/l/
10×frac-2neg clear-num
9×flip3-+ flip-+
6×add-log-exp
5×pow1
4×expm1-log1p-u associate--l+ log1p-expm1-u
3×sub-neg pow-unpow
2×+-commutative
1×pow-to-exp pow-pow unpow1/3 diff-log
Counts
4 → 30958
Calls
4 calls:
140.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
3.0s
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))) 1/3))))
13.0ms
(/ (* z (sqrt (+ t a))) t)
249.0ms
(pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))) 1/3)

series835.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
448.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))) 1/3))))
92.0ms
(/ (* z (sqrt (+ t a))) t)
247.0ms
(pow (/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0))) 1/3)

simplify18.2s

Algorithm
egg-herbie
Counts
30970 → 30970
Iterations

Useful iterations: 0 (859.0ms)

IterNodesCost
0318471615702

prune2.4m

Filtered
30970 candidates to 14191 candidates (45.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New30970030970
Fresh011
Picked011
Done011
Total30970330973

Merged error: 0b

Counts
30973 → 3

regimes292.0ms

Accuracy

0% (1.2b remaining)

Error of 1.4b against oracle of 0.2b and baseline of 1.4b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04627
14827
24827

end0.0ms

sample1.8s

Algorithm
intervals
Results
598.0ms8000×body80valid
543.0ms7833×body80nan

end1.2m