Details

Time bar (total: 4.1s)

sample36.0ms

Algorithm
intervals
Results
15.0ms281×body80valid
5.0ms97×body80nan

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03518
16618
211618
314418
415918
516118
616118

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

localize118.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)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
4×flip3-- sqrt-div flip--
2×sub-neg pow1/2
1×associate--l- neg-sub0
Counts
4 → 15
Calls
4 calls:
5.0ms
(- (* b b) (* (* 4.0 a) c))
6.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series268.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- (* b b) (* (* 4.0 a) c))
77.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
68.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
74.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify88.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 3 (84.0ms)

IterNodesCost
0171222
1667216
22704206
35003205

prune121.0ms

Filtered
27 candidates to 22 candidates (81.5%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New23427
Fresh000
Picked101
Done000
Total24428

Merged error: 8.7b

Counts
28 → 4

localize118.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-/l*
3×flip3-- flip--
2×frac-2neg sqrt-div clear-num associate-/r/ *-commutative div-inv
1×sub-neg pow1/2
Counts
4 → 19
Calls
4 calls:
11.0ms
(- (* b b) (* (* 4.0 a) c))
5.0ms
(/ (* 2.0 c) (- (- b) (- b (* 2.0 (/ (* a c) b)))))
3.0ms
(/ (* a c) b)
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series318.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(- (* b b) (* (* 4.0 a) c))
182.0ms
(/ (* 2.0 c) (- (- b) (- b (* 2.0 (/ (* a c) b)))))
24.0ms
(/ (* a c) b)
67.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify89.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0176177
1695173
22998169
35001169

prune127.0ms

Filtered
31 candidates to 23 candidates (74.2%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New28331
Fresh123
Picked101
Done000
Total30535

Merged error: 7.2b

Counts
35 → 5

localize124.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

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

series328.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- (* b b) (* (* 4.0 a) c))
185.0ms
(/ (* 2.0 c) (- (- b) (- b (* 2.0 (/ c (/ b a))))))
19.0ms
(/ c (/ b a))
74.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify132.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0188180
1810176
23942171
35001171

prune129.0ms

Filtered
33 candidates to 24 candidates (72.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New31233
Fresh224
Picked101
Done000
Total34438

Merged error: 7.2b

Counts
38 → 4

localize119.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* b b) (* (* 4.0 a) c))
2.5b
(/ c (/ (- (- b) (- b (* 2.0 (/ c (/ b a))))) 2.0))
3.1b
(/ c (/ b a))
24.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite23.0ms

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

series315.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (* b b) (* (* 4.0 a) c))
179.0ms
(/ c (/ (- (- b) (- b (* 2.0 (/ c (/ b a))))) 2.0))
23.0ms
(/ c (/ b a))
69.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify126.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (23.0ms)

IterNodesCost
0179187
1764184
23656176
35001176

prune121.0ms

Filtered
35 candidates to 26 candidates (74.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New33235
Fresh123
Picked101
Done000
Total35439

Merged error: 7.2b

Counts
39 → 4

regimes150.0ms

Accuracy

94.8% (0.7b remaining)

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

bsearch332.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
07486
17486

end0.0ms

sample843.0ms

Algorithm
intervals
Results
445.0ms8701×body80valid
142.0ms2923×body80nan