Details

Time bar (total: 3.8s)

sample39.0ms

Algorithm
intervals
Results
18.0ms281×body80valid
5.0ms97×body80nan

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03618
16718
212318
316018
417518
517718
617718

prune3.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: 21.9b

Counts
2 → 1

localize111.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b b) (* (* 4.0 a) c))
1.5b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
9×*-commutative
8×prod-diff
4×flip3-- sqrt-div associate-*l* flip--
3×fma-neg
2×sub-neg pow1/2
1×associate--l- neg-sub0 neg-mul-1
Counts
4 → 26
Calls
4 calls:
6.0ms
(- (* b b) (* (* 4.0 a) c))
6.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
6.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
6.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series261.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(- (* b b) (* (* 4.0 a) c))
74.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
70.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
73.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify104.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 3 (99.0ms)

IterNodesCost
0222311
1822288
23420276
35001242

prune140.0ms

Filtered
38 candidates to 25 candidates (65.8%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New33538
Fresh000
Picked101
Done000
Total34539

Merged error: 8.7b

Counts
39 → 5

localize115.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b b) (* (* 4.0 a) c))
2.8b
(/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b)))
5.0b
(/ (* a c) b)
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
11×*-commutative
8×prod-diff
4×associate-*l* associate-/l*
3×flip3-- flip--
2×frac-2neg fma-neg sqrt-div clear-num associate-/r/ div-inv
1×sub-neg pow1/2
Counts
4 → 29
Calls
4 calls:
6.0ms
(- (* b b) (* (* 4.0 a) c))
8.0ms
(/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b)))
3.0ms
(/ (* a c) b)
6.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series201.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(- (* b b) (* (* 4.0 a) c))
66.0ms
(/ (* 2.0 c) (- (* 2.0 (/ (* a c) b)) (* 2 b)))
19.0ms
(/ (* a c) b)
69.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify102.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 3 (98.0ms)

IterNodesCost
0229245
1830233
23772229
35003228

prune133.0ms

Filtered
41 candidates to 24 candidates (58.5%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New38341
Fresh134
Picked101
Done000
Total40646

Merged error: 7.2b

Counts
46 → 6

localize120.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b b) (* (* 4.0 a) c))
2.8b
(/ (* 2.0 c) (- (* 2.0 (/ a (/ b c))) (* 2 b)))
4.6b
(/ a (/ b c))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
10×*-commutative
8×prod-diff
5×associate-/r/
4×associate-*l*
3×flip3-- frac-2neg clear-num flip-- div-inv
2×fma-neg sqrt-div associate-/l*
1×sub-neg pow1/2 associate-/r*
Counts
4 → 31
Calls
4 calls:
6.0ms
(- (* b b) (* (* 4.0 a) c))
9.0ms
(/ (* 2.0 c) (- (* 2.0 (/ a (/ b c))) (* 2 b)))
3.0ms
(/ a (/ b c))
6.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series203.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(- (* b b) (* (* 4.0 a) c))
68.0ms
(/ (* 2.0 c) (- (* 2.0 (/ a (/ b c))) (* 2 b)))
20.0ms
(/ a (/ b c))
71.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify151.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 3 (146.0ms)

IterNodesCost
0240248
1967236
24632231
35001229

prune148.0ms

Filtered
43 candidates to 26 candidates (60.5%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New40343
Fresh325
Picked101
Done000
Total44549

Merged error: 7.2b

Counts
49 → 5

localize117.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b b) (* (* 4.0 a) c))
1.5b
(fma (/ a b) c (- (/ (* 2 b) 2.0)))
2.5b
(/ c (fma (/ a b) c (- (/ (* 2 b) 2.0))))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
9×*-commutative
8×prod-diff
4×associate-*l*
2×flip3-- fma-neg sqrt-div flip--
1×sub-neg frac-2neg pow1/2 clear-num fma-udef div-inv
Counts
4 → 21
Calls
4 calls:
6.0ms
(- (* b b) (* (* 4.0 a) c))
1.0ms
(fma (/ a b) c (- (/ (* 2 b) 2.0)))
2.0ms
(/ c (fma (/ a b) c (- (/ (* 2 b) 2.0))))
6.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series229.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(- (* b b) (* (* 4.0 a) c))
45.0ms
(fma (/ a b) c (- (/ (* 2 b) 2.0)))
64.0ms
(/ c (fma (/ a b) c (- (/ (* 2 b) 2.0))))
71.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify73.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 3 (69.0ms)

IterNodesCost
0182209
1612198
22404194
35002160

prune80.0ms

Filtered
33 candidates to 17 candidates (51.5%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New31233
Fresh134
Picked101
Done000
Total33538

Merged error: 7.2b

Counts
38 → 5

regimes171.0ms

Accuracy

94.8% (0.8b remaining)

Error of 7.3b against oracle of 6.6b and baseline of 20.9b

bsearch317.0ms

Steps
ItersRangePoint
8
4.088553977120381e+100
8.044751807128501e+103
6.785942962726385e+101
11
-5.363450554434187e-282
1.2144307814005946e-307
4.59118879004335e-310
10
-3.0529494422842112e+156
-1.5054982703030158e+138
-5.795692640909979e+153

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07677
18277
28277

end0.0ms

sample858.0ms

Algorithm
intervals
Results
452.0ms8701×body80valid
146.0ms2923×body80nan