Details

Time bar (total: 12.9s)

sample21.0ms

Algorithm
intervals
Results
8.0ms274×body80valid

simplify136.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0195
1385
2605
3885
41225
51755
66255
746865
850015

prune3.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 9.9b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(- x (* y z))
9.7b
(/ (- x (* y z)) (- t (* a z)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
131×add-sqr-sqrt
108×*-un-lft-identity
49×times-frac
40×add-cube-cbrt
36×prod-diff
34×distribute-lft-out-- difference-of-squares
26×associate-*l*
20×unswap-sqr
9×associate-*r*
7×associate-/r* associate-/l*
4×add-exp-log add-cbrt-cube add-log-exp
3×flip3-- fma-neg *-commutative flip--
2×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv
Counts
2 → 139
Calls
2 calls:
8.0ms
(- x (* y z))
18.0ms
(/ (- x (* y z)) (- t (* a z)))

series98.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(- x (* y z))
66.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify87.0ms

Algorithm
egg-herbie
Counts
145 → 145
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
05411502
118141225
250011203

prune216.0ms

Filtered
145 candidates to 74 candidates (49.0%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New13213145
Fresh000
Picked011
Done000
Total13214146

Merged error: 9.1b

Counts
146 → 14

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (* y z))
0.6b
(/ 1 (/ (- t (* a z)) (- x (* y z))))
9.6b
(/ (- t (* a z)) (- x (* y z)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
540×add-sqr-sqrt
464×*-un-lft-identity
410×times-frac
159×add-cube-cbrt
152×distribute-lft-out--
150×difference-of-squares
85×associate-*l*
78×unswap-sqr
69×associate-/r*
36×prod-diff
29×associate-/r/
20×associate-/l*
16×add-exp-log
10×add-cbrt-cube
9×associate-*r*
8×flip3-- div-exp flip--
6×div-inv
5×add-log-exp
4×pow1 cbrt-undiv clear-num associate-/l/ remove-double-div
3×expm1-log1p-u frac-2neg fma-neg *-commutative log1p-expm1-u
2×rec-exp 1-exp
1×sub-neg pow-flip diff-log div-sub inv-pow
Counts
3 → 407
Calls
3 calls:
8.0ms
(- x (* y z))
25.0ms
(/ 1 (/ (- t (* a z)) (- x (* y z))))
18.0ms
(/ (- t (* a z)) (- x (* y z)))

series352.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(- x (* y z))
246.0ms
(/ 1 (/ (- t (* a z)) (- x (* y z))))
67.0ms
(/ (- t (* a z)) (- x (* y z)))

simplify181.0ms

Algorithm
egg-herbie
Counts
416 → 416
Iterations

Useful iterations: 2 (127.0ms)

IterNodesCost
010504826
147284204
250014203

prune536.0ms

Filtered
416 candidates to 183 candidates (56.0%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New4115416
Fresh5712
Picked011
Done101
Total41713430

Merged error: 9.1b

Counts
430 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (* y z))
0.3b
(/ 1 (- t (* a z)))
0.6b
(/ 1 (- x (* y z)))
9.1b
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
1947×times-frac
1571×add-sqr-sqrt
1386×*-un-lft-identity
670×add-cube-cbrt
358×distribute-lft-out-- difference-of-squares
188×associate-*l*
182×unswap-sqr
129×associate-/r/
59×flip3-- flip-- div-inv
55×associate-/r*
52×add-exp-log
39×associate-/l*
36×div-exp prod-diff
20×add-cbrt-cube
13×associate-/l/
10×cbrt-undiv rec-exp 1-exp
9×associate-*r*
6×pow1 add-log-exp
5×frac-2neg clear-num
4×expm1-log1p-u log1p-expm1-u
3×fma-neg *-commutative
2×pow-flip inv-pow
1×sub-neg diff-log
Counts
4 → 1000
Calls
4 calls:
8.0ms
(- x (* y z))
13.0ms
(/ 1 (- t (* a z)))
9.0ms
(/ 1 (- x (* y z)))
38.0ms
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))

series388.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(- x (* y z))
53.0ms
(/ 1 (- t (* a z)))
54.0ms
(/ 1 (- x (* y z)))
244.0ms
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))

simplify249.0ms

Algorithm
egg-herbie
Counts
1012 → 1012
Iterations

Useful iterations: 1 (88.0ms)

IterNodesCost
0319316069
1500114285

prune1.1s

Filtered
1012 candidates to 342 candidates (66.2%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New100931012
Fresh3811
Picked011
Done011
Total1012131025

Merged error: 9.1b

Counts
1025 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

5.2b
(cbrt (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))
9.1b
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))
9.1b
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))
9.1b
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))

rewrite868.0ms

Algorithm
rewrite-expression-head
Rules
7620×times-frac
5885×add-sqr-sqrt
5205×*-un-lft-identity
2485×add-cube-cbrt
1360×distribute-lft-out-- difference-of-squares
746×cbrt-prod
680×associate-*l* unswap-sqr
500×associate-/r/
228×div-inv
224×flip3-- flip--
164×associate-/r*
132×associate-/l*
124×add-exp-log
96×div-exp
70×cbrt-div
52×associate-/l/
40×add-cbrt-cube
24×cbrt-undiv rec-exp 1-exp
12×frac-2neg clear-num
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
1×pow1/3
Counts
4 → 3349
Calls
4 calls:
72.0ms
(cbrt (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))
281.0ms
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))
38.0ms
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))
43.0ms
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))

series1.2s

Counts
4 → 12
Calls
4 calls:
494.0ms
(cbrt (/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z)))))
244.0ms
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))
242.0ms
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))
254.0ms
(/ (/ 1 (- t (* a z))) (/ 1 (- x (* y z))))

simplify770.0ms

Algorithm
egg-herbie
Counts
3361 → 3361
Iterations

Useful iterations: 1 (117.0ms)

IterNodesCost
0391061619
1500156280

prune5.5s

Filtered
3361 candidates to 1055 candidates (68.6%)
Pruning

13 alts after pruning (10 fresh and 3 done)

PrunedKeptTotal
New336103361
Fresh01010
Picked011
Done022
Total3361133374

Merged error: 9.1b

Counts
3374 → 13

regimes317.0ms

Accuracy

0% (1.4b remaining)

Error of 11.0b against oracle of 9.6b and baseline of 11.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0177
1177

end0.0ms

sample523.0ms

Algorithm
intervals
Results
274.0ms8695×body80valid