Details

Time bar (total: 4.3s)

sample292.0ms

Algorithm
intervals
Results
7.0ms35×body2560valid
7.0ms198×body80valid
4.0ms92×body80nan
4.0ms24×body1280valid
2.0ms15×body640valid
0.0ms2×body5120valid
0.0ms5×body320valid
0.0ms4×body160valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0157
1237
2307
3327
4347
5347

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
0.9b
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
1.0b
(- (* b_2 b_2) (* a c))
23.0b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
19×add-sqr-sqrt
18×add-cube-cbrt
15×times-frac
10×fma-def distribute-lft-out add-log-exp
8×distribute-rgt-neg-in
6×add-exp-log add-cbrt-cube
5×pow1 associate-/l*
4×expm1-log1p-u log1p-expm1-u
3×distribute-lft-neg-in associate-/r* sqrt-prod
2×neg-sub0 associate-+l- flip3-- flip3-+ sqrt-div sum-log flip-- flip-+ associate-/l/
1×cbrt-undiv +-commutative neg-mul-1 sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 fma-neg diff-log div-sub div-exp prod-diff neg-log clear-num div-inv
Counts
4 → 100
Calls
4 calls:
43.0ms
(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
12.0ms
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
3.0ms
(- (* b_2 b_2) (* a c))
7.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series269.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(/ (+ (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
71.0ms
(+ (- b_2) (sqrt (- (* b_2 b_2) (* a c))))
34.0ms
(- (* b_2 b_2) (* a c))
73.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify45.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0389850
11366779
25001753

prune314.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 6.8b

localize12.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b_2 b_2) (* a c))
1.0b
(- (* b_2 b_2) (* a c))
23.0b
(sqrt (- (* b_2 b_2) (* a c)))
23.0b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 add-cube-cbrt *-un-lft-identity sqrt-prod
4×add-exp-log expm1-log1p-u flip3-- sqrt-div add-cbrt-cube flip-- log1p-expm1-u
2×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 fma-neg diff-log prod-diff
Counts
4 → 66
Calls
4 calls:
3.0ms
(- (* b_2 b_2) (* a c))
3.0ms
(- (* b_2 b_2) (* a c))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))
7.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series186.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(- (* b_2 b_2) (* a c))
32.0ms
(- (* b_2 b_2) (* a c))
60.0ms
(sqrt (- (* b_2 b_2) (* a c)))
58.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify56.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 3 (50.0ms)

IterNodesCost
0159438
1511412
21701404
35002394

prune275.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 6.8b

localize14.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b_2 b_2) (* a c))
23.0b
(sqrt (- (* b_2 b_2) (* a c)))
23.0b
(sqrt (- (* b_2 b_2) (* a c)))
23.0b
(sqrt (- (* b_2 b_2) (* a c)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×sqrt-prod
7×pow1 add-cube-cbrt *-un-lft-identity
6×sqrt-div add-log-exp
4×add-exp-log expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
3×rem-sqrt-square sqrt-pow1 pow1/2
1×sub-neg fma-neg diff-log prod-diff
Counts
4 → 67
Calls
4 calls:
3.0ms
(- (* b_2 b_2) (* a c))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))
5.0ms
(sqrt (- (* b_2 b_2) (* a c)))
7.0ms
(sqrt (- (* b_2 b_2) (* a c)))

series211.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(- (* b_2 b_2) (* a c))
60.0ms
(sqrt (- (* b_2 b_2) (* a c)))
60.0ms
(sqrt (- (* b_2 b_2) (* a c)))
58.0ms
(sqrt (- (* b_2 b_2) (* a c)))

simplify57.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 3 (51.0ms)

IterNodesCost
0159467
1511446
21701440
35002431

prune288.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 6.8b

localize22.0ms

Local error

Found 4 expressions with local error:

23.0b
(sqrt (- (* b_2 b_2) (* a c)))
23.0b
(sqrt (- (* b_2 b_2) (* a c)))
23.9b
(cbrt (- (* b_2 b_2) (* a c)))
23.9b
(cbrt (- (* b_2 b_2) (* a c)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×pow1 cbrt-prod sqrt-prod
4×add-exp-log expm1-log1p-u cbrt-div flip3-- sqrt-div add-cbrt-cube flip-- log1p-expm1-u add-log-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 pow1/3
Counts
4 → 64
Calls
4 calls:
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))
4.0ms
(sqrt (- (* b_2 b_2) (* a c)))
2.0ms
(cbrt (- (* b_2 b_2) (* a c)))
2.0ms
(cbrt (- (* b_2 b_2) (* a c)))

series289.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(sqrt (- (* b_2 b_2) (* a c)))
61.0ms
(sqrt (- (* b_2 b_2) (* a c)))
84.0ms
(cbrt (- (* b_2 b_2) (* a c)))
87.0ms
(cbrt (- (* b_2 b_2) (* a c)))

simplify60.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 3 (53.0ms)

IterNodesCost
0205536
1615510
21954504
35001500

prune377.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 6.8b

regimes289.0ms

Accuracy

85% (4.4b remaining)

Error of 9.7b against oracle of 5.3b and baseline of 34.5b

bsearch92.0ms

Steps
ItersRangePoint
9
3.6106127752583374e-71
6.7695755698382385e-65
9.390367471089922e-69
9
-8.652530131639494e+154
-2.4576771469086066e+149
-2.9358923729233266e+149

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03014
13014

end0.0ms

sample1.0s

Algorithm
intervals
Results
223.0ms1117×body2560valid
199.0ms5732×body80valid
148.0ms930×body1280valid
94.0ms2852×body80nan
58.0ms473×body640valid
27.0ms101×body5120valid
22.0ms240×body320valid
7.0ms109×body160valid