Details

Time bar (total: 4.3s)

sample56.0ms

Algorithm
intervals
Results
12.0ms157×body160valid
10.0ms524×pre80true
9.0ms268×body80nan
4.0ms39×body320valid
2.0ms60×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0249
1459
2799
3979
41059
51059

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: 43.0b

Counts
2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
0.2b
(- (* b b) (* (* 4.0 a) c))
0.2b
(/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))
38.2b
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))

rewrite24.0ms

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

series299.0ms

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

simplify120.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 3 (116.0ms)

IterNodesCost
0269246
1985235
23930225
35002224

prune81.0ms

Filtered
31 candidates to 27 candidates (87.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New28331
Fresh000
Picked011
Done000
Total28432

Merged error: 0.2b

Counts
32 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
0.2b
(- (* b b) (* (* 4.0 a) c))
0.3b
(/ (/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
0.3b
(/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
11×associate-/l*
8×associate-/r/ *-commutative
7×associate-/l/
6×flip3-- times-frac flip--
5×div-inv
4×associate-*r*
3×frac-2neg clear-num
2×sub-neg associate-/r*
1×associate--l- neg-sub0
Counts
4 → 39
Calls
4 calls:
6.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
5.0ms
(- (* b b) (* (* 4.0 a) c))
11.0ms
(/ (/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
9.0ms
(/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))

series450.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
44.0ms
(- (* b b) (* (* 4.0 a) c))
148.0ms
(/ (/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
182.0ms
(/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))

simplify40.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0355552
11419505
25002479

prune166.0ms

Filtered
51 candidates to 42 candidates (82.4%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New411051
Fresh202
Picked101
Done101
Total451055

Merged error: 0b

Counts
55 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a)
0.1b
(/ (* 4.0 c) (* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a)))
0.2b
(- (* b b) (* (* 4.0 a) c))
0.2b
(* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
14×*-commutative
10×times-frac associate-*r/
8×associate-*l*
6×clear-num associate-/r/ div-inv associate-/l/
5×associate-/r*
4×flip3-- frac-2neg associate-*r* flip--
2×div-sub un-div-inv associate-/l*
1×associate--l- neg-sub0 sub-neg
Counts
4 → 47
Calls
4 calls:
7.0ms
(/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a)
11.0ms
(/ (* 4.0 c) (* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a)))
5.0ms
(- (* b b) (* (* 4.0 a) c))
12.0ms
(* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a))

series403.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a)
176.0ms
(/ (* 4.0 c) (* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a)))
45.0ms
(- (* b b) (* (* 4.0 a) c))
90.0ms
(* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a))

simplify44.0ms

Algorithm
egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0373471
11571450
25001440

prune183.0ms

Filtered
59 candidates to 50 candidates (84.7%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New55459
Fresh639
Picked101
Done000
Total62769

Merged error: 0b

Counts
69 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (- (* b b) (* (* 4.0 a) c)))
0.1b
(+ b (sqrt (- (* b b) (* (* 4.0 a) c))))
0.1b
(/ (- (* 4.0 c)) (/ (+ b (sqrt (- (* b b) (* (* 4.0 a) c)))) (/ a (* 2.0 a))))
0.2b
(- (* b b) (* (* 4.0 a) c))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
36×associate-/r/
30×times-frac
20×*-commutative
19×associate-/r*
14×distribute-lft-neg-in distribute-rgt-neg-in
8×frac-2neg clear-num div-inv
7×neg-mul-1
5×associate-/l*
2×flip3-- flip3-+ sqrt-div flip-- flip-+ associate-/l/
1×+-commutative neg-sub0 sub-neg pow1/2 div-sub distribute-frac-neg
Counts
4 → 62
Calls
4 calls:
5.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
5.0ms
(+ b (sqrt (- (* b b) (* (* 4.0 a) c))))
11.0ms
(/ (- (* 4.0 c)) (/ (+ b (sqrt (- (* b b) (* (* 4.0 a) c)))) (/ a (* 2.0 a))))
5.0ms
(- (* b b) (* (* 4.0 a) c))

series370.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
79.0ms
(+ b (sqrt (- (* b b) (* (* 4.0 a) c))))
174.0ms
(/ (- (* 4.0 c)) (/ (+ b (sqrt (- (* b b) (* (* 4.0 a) c)))) (/ a (* 2.0 a))))
47.0ms
(- (* b b) (* (* 4.0 a) c))

simplify46.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0419717
11579665
25002650

prune186.0ms

Filtered
74 candidates to 60 candidates (81.1%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New72274
Fresh336
Picked101
Done000
Total76581

Merged error: 0b

Counts
81 → 5

regimes90.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04126
14326
24326

end0.0ms

sample1.5s

Algorithm
intervals
Results
377.0ms4856×body160valid
302.0ms16383×pre80true
302.0ms8383×body80nan
155.0ms1340×body320valid
69.0ms1804×body80valid