Details

Time bar (total: 4.6s)

sample61.0ms

Algorithm
intervals
Results
13.0ms117×body320valid
11.0ms257×body80nan
10.0ms513×pre80true
6.0ms82×body160valid
2.0ms12×body640valid
2.0ms45×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0249
1459
2799
3979
41059
51059

prune2.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: 49.9b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.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:
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
8.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))
5.0ms
(- (* b b) (* (* 4.0 a) c))
5.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))

series293.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
106.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))
43.0ms
(- (* b b) (* (* 4.0 a) c))
78.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))

simplify120.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 3 (113.0ms)

IterNodesCost
0269246
1985235
23930225
35002224

prune75.0ms

Filtered
31 candidates to 27 candidates (87.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New29231
Fresh000
Picked011
Done000
Total29332

Merged error: 0.1b

Counts
32 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
0.1b
(- (* b b) (* (* 4.0 a) c))
0.2b
(/ (/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
0.2b
(/ (* 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:
5.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)))))

series452.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
46.0ms
(- (* b b) (* (* 4.0 a) c))
149.0ms
(/ (/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
183.0ms
(/ (* 4.0 (* a c)) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))

simplify44.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0355552
11419505
25002479

prune158.0ms

Filtered
51 candidates to 42 candidates (82.4%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New44751
Fresh101
Picked101
Done011
Total46854

Merged error: 0b

Counts
54 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
14×*-commutative
10×times-frac associate-*r/
8×associate-*l*
6×associate-/r/
5×clear-num associate-/r* div-inv
4×flip3-- associate-*r* flip-- associate-/l/
3×frac-2neg
2×sub-neg un-div-inv associate-/l*
1×associate--l- neg-sub0
Counts
4 → 45
Calls
4 calls:
6.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
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))
9.0ms
(* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a))

series391.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
177.0ms
(/ (* 4.0 c) (* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a)))
44.0ms
(- (* b b) (* (* 4.0 a) c))
91.0ms
(* (* 2.0 a) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) a))

simplify44.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0352468
11508447
25001438

prune183.0ms

Filtered
57 candidates to 48 candidates (84.2%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New55257
Fresh246
Picked101
Done011
Total58765

Merged error: 0b

Counts
65 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
44×times-frac
42×associate-/r/
25×*-commutative
16×associate-/r* div-inv
12×flip3-- flip--
8×frac-2neg clear-num
6×associate-/l*
1×sub-neg
Counts
4 → 69
Calls
4 calls:
7.0ms
(/ a (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
11.0ms
(/ (* 4.0 c) (/ (* 2.0 a) (/ a (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
5.0ms
(- (* b b) (* (* 4.0 a) c))
9.0ms
(/ (* 2.0 a) (/ a (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))

series500.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(/ a (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
182.0ms
(/ (* 4.0 c) (/ (* 2.0 a) (/ a (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))))
48.0ms
(- (* b b) (* (* 4.0 a) c))
91.0ms
(/ (* 2.0 a) (/ a (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))

simplify55.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0425899
11811745
25001722

prune242.0ms

Filtered
81 candidates to 70 candidates (86.4%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New81081
Fresh055
Picked011
Done011
Total81788

Merged error: 0b

Counts
88 → 7

regimes135.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02112
12112

end0.0ms

sample1.7s

Algorithm
intervals
Results
402.0ms3612×body320valid
301.0ms16024×pre80true
280.0ms8024×body80nan
221.0ms2923×body160valid
74.0ms493×body640valid
36.0ms972×body80valid