Details

Time bar (total: 9.4s)

sample55.0ms

Algorithm
intervals
Results
10.0ms539×pre80true
10.0ms283×body80nan
9.0ms134×body160valid
4.0ms122×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: 26.8b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
139×add-sqr-sqrt
116×*-un-lft-identity
60×times-frac
42×unswap-sqr
36×add-cube-cbrt associate-*l*
30×difference-of-squares
28×distribute-lft-out
24×sqrt-prod
18×associate-*r*
14×distribute-rgt-neg-in
12×associate-/r* *-commutative distribute-lft-out--
10×add-log-exp
9×add-exp-log add-cbrt-cube
6×swap-sqr
5×pow1 associate-/l*
2×cbrt-undiv neg-sub0 associate-+l- flip3-- flip3-+ sqrt-div div-exp sum-log flip-- flip-+ associate-/l/
1×+-commutative sub-neg rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 diff-log div-sub neg-log prod-exp clear-num cbrt-unprod div-inv
Counts
4 → 178
Calls
4 calls:
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
48.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))
23.0ms
(- (* b b) (* (* 4.0 a) c))
39.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))

series330.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
114.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a))
51.0ms
(- (* b b) (* (* 4.0 a) c))
87.0ms
(+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))

simplify80.0ms

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
06212253
124432157
250022140

prune273.0ms

Filtered
190 candidates to 109 candidates (57.4%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1837190
Fresh000
Picked101
Done000
Total1847191

Merged error: 0.4b

Counts
191 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
0.3b
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
0.3b
(- (* b b) (* (* 4.0 a) c))
0.3b
(/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))

rewrite355.0ms

Algorithm
rewrite-expression-head
Rules
1801×*-un-lft-identity
1346×times-frac
946×add-sqr-sqrt
408×distribute-lft-out--
400×distribute-lft-out
385×add-cube-cbrt
377×associate-*l*
217×difference-of-squares
168×associate-*r*
101×distribute-rgt-neg-in sqrt-prod
74×unswap-sqr
69×associate-/l*
59×*-commutative
28×associate-/r/
26×associate-/r*
23×associate-/l/
18×add-exp-log add-cbrt-cube
16×flip3-- flip--
15×div-inv
10×add-log-exp
7×cbrt-undiv div-exp
4×pow1
3×frac-2neg diff-log div-sub swap-sqr clear-num
2×associate-+l- sub-neg flip3-+ prod-exp cbrt-unprod flip-+
1×associate--l- neg-sub0 neg-log
Counts
4 → 896
Calls
4 calls:
35.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
116.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
23.0ms
(- (* b b) (* (* 4.0 a) c))
90.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))

series451.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
132.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (* 2.0 a))
52.0ms
(- (* b b) (* (* 4.0 a) c))
183.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))

simplify255.0ms

Algorithm
egg-herbie
Counts
908 → 908
Iterations

Useful iterations: 1 (43.0ms)

IterNodesCost
0173224064
1500122943

prune1.3s

Filtered
908 candidates to 284 candidates (31.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New8999908
Fresh606
Picked101
Done000
Total9069915

Merged error: 0b

Counts
915 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
0.2b
(* (* 2.0 a) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
0.3b
(- (* b b) (* (* 4.0 a) c))
0.4b
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) 1) (* (* 2.0 a) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))

rewrite303.0ms

Algorithm
rewrite-expression-head
Rules
1381×*-un-lft-identity
1217×times-frac
783×add-sqr-sqrt
578×associate-*l*
437×add-cube-cbrt
328×distribute-lft-out
270×associate-*r*
226×distribute-lft-out--
126×unswap-sqr
71×difference-of-squares
57×*-commutative
39×add-exp-log
32×associate-/l*
30×add-cbrt-cube
29×associate-/r*
28×distribute-rgt-neg-in sqrt-prod div-inv
17×associate-/l/
15×div-exp
12×prod-exp
10×add-log-exp
9×pow1 cbrt-undiv cbrt-unprod
4×sub-neg flip3-- associate-*r/ flip--
3×diff-log 1-exp swap-sqr pow-prod-down
2×distribute-rgt-in frac-2neg distribute-lft-in div-sub clear-num associate-/r/
1×associate--l- neg-sub0 associate-+l- flip3-+ neg-log flip-+
Counts
4 → 836
Calls
4 calls:
39.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
48.0ms
(* (* 2.0 a) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
23.0ms
(- (* b b) (* (* 4.0 a) c))
115.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) 1) (* (* 2.0 a) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))

series382.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
113.0ms
(* (* 2.0 a) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
51.0ms
(- (* b b) (* (* 4.0 a) c))
135.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 4.0 (* a c))) 1) (* (* 2.0 a) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))

simplify236.0ms

Algorithm
egg-herbie
Counts
848 → 848
Iterations

Useful iterations: 1 (47.0ms)

IterNodesCost
0229621359
1500120056

prune977.0ms

Filtered
848 candidates to 253 candidates (29.8%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New8462848
Fresh268
Picked011
Done000
Total8489857

Merged error: 0b

Counts
857 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite361.0ms

Algorithm
rewrite-expression-head
Rules
919×add-sqr-sqrt
546×*-un-lft-identity
541×associate-*l*
525×associate-*r*
481×frac-times
441×associate-/r*
426×associate-/l*
342×add-cube-cbrt
338×times-frac
206×unswap-sqr
131×add-exp-log
107×difference-of-squares
98×distribute-lft-out--
92×*-commutative
71×add-cbrt-cube
64×prod-exp
54×clear-num
53×frac-2neg
46×distribute-rgt-neg-in sqrt-prod
40×div-exp
37×associate-*l/
32×cbrt-unprod
20×cbrt-undiv
13×associate-*r/
10×add-log-exp
8×rec-exp 1-exp
7×pow1
4×flip3-- associate-/r/ flip--
3×diff-log swap-sqr un-div-inv div-inv
2×sub-neg
1×associate--l- neg-sub0 pow-flip pow-prod-down neg-log inv-pow
Counts
4 → 1001
Calls
4 calls:
38.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
42.0ms
(/ 1 (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
179.0ms
(* (/ (* 4.0 (* a c)) (* 2.0 a)) (/ 1 (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
23.0ms
(- (* b b) (* (* 4.0 a) c))

series407.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))
109.0ms
(/ 1 (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
166.0ms
(* (/ (* 4.0 (* a c)) (* 2.0 a)) (/ 1 (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
50.0ms
(- (* b b) (* (* 4.0 a) c))

simplify244.0ms

Algorithm
egg-herbie
Counts
1013 → 1013
Iterations

Useful iterations: 1 (89.0ms)

IterNodesCost
0448116344
1500115919

prune1.7s

Filtered
1013 candidates to 546 candidates (53.9%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New101031013
Fresh437
Picked011
Done011
Total101481022

Merged error: 0b

Counts
1022 → 8

regimes137.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03217
13217

end0.0ms

sample1.4s

Algorithm
intervals
Results
312.0ms4473×body160valid
300.0ms16522×pre80true
296.0ms8522×body80nan
126.0ms3527×body80valid