Details

Time bar (total: 6.3s)

sample283.0ms

Algorithm
intervals
Results
8.0ms39×body2560valid
6.0ms191×body80valid
4.0ms82×body80nan
3.0ms19×body1280valid
2.0ms16×body640valid
1.0ms8×body320valid
0.0ms2×body5120valid
0.0ms2×body160valid

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0197
1337
2467
3497
4497

prune4.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: 29.8b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.2b
(- (* b_2 b_2) (* a c))
0.9b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
19.8b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
587×add-sqr-sqrt
380×prod-diff
326×*-un-lft-identity
210×add-cube-cbrt
192×sqrt-prod
132×associate-*l*
130×difference-of-squares
112×unswap-sqr
84×associate-*r*
68×distribute-rgt-neg-in
63×distribute-lft-neg-in swap-sqr
58×distribute-lft-out--
52×*-commutative
25×fma-neg
21×neg-mul-1 times-frac
10×add-log-exp
7×associate-/l*
6×add-exp-log add-cbrt-cube
5×pow1
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u
3×diff-log associate-/r*
2×associate--l- neg-sub0 sub-neg sqrt-div div-sub associate-/l/
1×cbrt-undiv rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 div-exp neg-log clear-num div-inv
Counts
4 → 533
Calls
4 calls:
48.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
22.0ms
(- (* b_2 b_2) (* a c))
32.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
44.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series268.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
36.0ms
(- (* b_2 b_2) (* a c))
74.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
71.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify176.0ms

Algorithm
egg-herbie
Counts
545 → 545
Iterations

Useful iterations: 2 (92.0ms)

IterNodesCost
0115910954
136307708
250017703

prune406.0ms

Filtered
545 candidates to 140 candidates (25.7%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New53510545
Fresh000
Picked101
Done000
Total53610546

Merged error: 4.4b

Counts
546 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* b_2 b_2) (* a c))
0.2b
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
0.9b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
19.8b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
685×add-sqr-sqrt
425×*-un-lft-identity
380×prod-diff
272×add-cube-cbrt
201×sqrt-prod
165×times-frac
148×difference-of-squares
132×associate-*l*
112×unswap-sqr
84×associate-*r*
77×distribute-rgt-neg-in
76×distribute-lft-out--
63×distribute-lft-neg-in swap-sqr
52×*-commutative
34×associate-/r*
25×fma-neg
21×neg-mul-1 associate-/r/
15×add-exp-log
10×add-log-exp
9×add-cbrt-cube
7×flip3-- div-exp flip-- associate-/l*
6×pow1
5×div-inv
4×expm1-log1p-u log1p-expm1-u
3×cbrt-undiv diff-log clear-num
2×sub-neg rec-exp frac-2neg sqrt-div 1-exp remove-double-div
1×associate--l- neg-sub0 rem-sqrt-square pow-flip sqrt-pow1 pow1/2 neg-log inv-pow
Counts
4 → 632
Calls
4 calls:
22.0ms
(- (* b_2 b_2) (* a c))
37.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
35.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
28.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series287.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(- (* b_2 b_2) (* a c))
106.0ms
(/ 1 (/ a (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
72.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
70.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify130.0ms

Algorithm
egg-herbie
Counts
644 → 644
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
0138912500
150019072

prune479.0ms

Filtered
644 candidates to 176 candidates (27.3%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New6386644
Fresh549
Picked101
Done000
Total64410654

Merged error: 4.4b

Counts
654 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.2b
(- (* b_2 b_2) (* a c))
0.9b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
19.8b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
587×add-sqr-sqrt
380×prod-diff
326×*-un-lft-identity
210×add-cube-cbrt
192×sqrt-prod
132×associate-*l*
130×difference-of-squares
112×unswap-sqr
84×associate-*r*
68×distribute-rgt-neg-in
63×distribute-lft-neg-in swap-sqr
58×distribute-lft-out--
52×*-commutative
25×fma-neg
21×neg-mul-1 times-frac
10×add-log-exp
7×associate-/l*
6×add-exp-log add-cbrt-cube
5×pow1
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u
3×diff-log associate-/r*
2×associate--l- neg-sub0 sub-neg sqrt-div div-sub associate-/l/
1×cbrt-undiv rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 div-exp neg-log clear-num div-inv
Counts
4 → 533
Calls
4 calls:
43.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
24.0ms
(- (* b_2 b_2) (* a c))
33.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
27.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series265.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
34.0ms
(- (* b_2 b_2) (* a c))
74.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
67.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify175.0ms

Algorithm
egg-herbie
Counts
545 → 545
Iterations

Useful iterations: 2 (91.0ms)

IterNodesCost
0115910954
136307708
250017703

prune356.0ms

Filtered
545 candidates to 136 candidates (25.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New5450545
Fresh099
Picked011
Done000
Total54510555

Merged error: 4.4b

Counts
555 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* b_2 b_2) (* a c))
0.2b
(/ (/ 1 a) (/ 1 (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
0.9b
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
19.8b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
1085×add-sqr-sqrt
897×times-frac
824×*-un-lft-identity
552×add-cube-cbrt
380×prod-diff
231×sqrt-prod
208×difference-of-squares
136×distribute-lft-out--
132×associate-*l*
112×unswap-sqr
107×distribute-rgt-neg-in
84×associate-*r*
63×distribute-lft-neg-in swap-sqr
52×*-commutative
44×add-exp-log
43×div-inv
41×associate-/r/
37×associate-/r*
32×div-exp
25×fma-neg
21×neg-mul-1
19×associate-/l*
17×flip3-- flip--
16×add-cbrt-cube
10×add-log-exp
9×associate-/l/
8×cbrt-undiv rec-exp 1-exp
5×pow1
4×expm1-log1p-u log1p-expm1-u
3×frac-2neg diff-log clear-num
2×sub-neg sqrt-div
1×associate--l- neg-sub0 rem-sqrt-square sqrt-pow1 pow1/2 neg-log
Counts
4 → 929
Calls
4 calls:
24.0ms
(- (* b_2 b_2) (* a c))
45.0ms
(/ (/ 1 a) (/ 1 (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
35.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
28.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series287.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(- (* b_2 b_2) (* a c))
108.0ms
(/ (/ 1 a) (/ 1 (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
75.0ms
(- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
70.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify207.0ms

Algorithm
egg-herbie
Counts
941 → 941
Iterations

Useful iterations: 1 (51.0ms)

IterNodesCost
0253119021
1500115485

prune801.0ms

Filtered
941 candidates to 275 candidates (29.2%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New9392941
Fresh178
Picked011
Done011
Total94011951

Merged error: 4.3b

Counts
951 → 11

regimes292.0ms

Accuracy

82% (5.0b remaining)

Error of 10.8b against oracle of 5.9b and baseline of 33.5b

bsearch79.0ms

Steps
ItersRangePoint
9
2.8787744468916765e+83
8.390568855339406e+90
7.775131276953344e+90
7
-4.6417297347823423e-91
-2.5527576166225183e-92
-1.7445837442398665e-91

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02511
12511

end0.0ms

sample974.0ms

Algorithm
intervals
Results
202.0ms1069×body2560valid
188.0ms5865×body80valid
144.0ms907×body1280valid
92.0ms2978×body80nan
52.0ms413×body640valid
24.0ms94×body5120valid
21.0ms239×body320valid
7.0ms117×body160valid