Details

Time bar (total: 1.1m)

sample50.0ms

Algorithm
intervals
Results
11.0ms165×body160valid
9.0ms512×pre80true
8.0ms256×body80nan
4.0ms44×body320valid
2.0ms47×body80valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0229
1439
2839
31109
41189
51189

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

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (* b b) (* (* 3.0 a) c))
0.2b
(* (* 3.0 a) c)
0.3b
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
39.3b
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
447×add-sqr-sqrt
336×associate-*l*
330×prod-diff
300×*-un-lft-identity
232×add-cube-cbrt
183×associate-*r*
111×unswap-sqr
72×swap-sqr
64×*-commutative
60×times-frac
28×distribute-lft-out
17×distribute-rgt-neg-in
15×fma-neg difference-of-squares
14×add-exp-log add-cbrt-cube
12×associate-/r*
10×fma-def add-log-exp
9×pow1
6×distribute-lft-out--
5×associate-/l*
4×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u
3×distribute-lft-neg-in pow-prod-down
2×cbrt-undiv neg-sub0 associate-+l- flip3-+ div-exp sum-log flip-+ associate-/l/
1×+-commutative neg-mul-1 sub-neg flip3-- frac-2neg diff-log div-sub neg-log clear-num flip-- div-inv
Counts
4 → 536
Calls
4 calls:
29.0ms
(- (* b b) (* (* 3.0 a) c))
7.0ms
(* (* 3.0 a) c)
44.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
37.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series253.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(- (* b b) (* (* 3.0 a) c))
20.0ms
(* (* 3.0 a) c)
105.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
82.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify99.0ms

Algorithm
egg-herbie
Counts
548 → 548
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
013998928
150016424

prune573.0ms

Filtered
548 candidates to 171 candidates (31.2%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New53414548
Fresh000
Picked101
Done000
Total53514549

Merged error: 5.2b

Counts
549 → 14

localize3.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune33.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01313
Picked011
Done000
Total01414

Merged error: 5.2b

Counts
14 → 14

localize7.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ (* a c) b)
0.3b
(* -1.5 (/ (* a c) b))
0.3b
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
1180×times-frac
860×associate-*r*
853×add-sqr-sqrt
531×*-un-lft-identity
527×add-cube-cbrt
344×associate-*l*
156×unswap-sqr
114×*-commutative
91×associate-/l*
49×add-exp-log add-cbrt-cube
36×associate-*r/
21×associate-/r* associate-/l/
17×prod-exp cbrt-unprod
16×cbrt-undiv div-exp div-inv
6×clear-num un-div-inv
5×pow1
4×frac-2neg
3×expm1-log1p-u log1p-expm1-u add-log-exp
1×pow-prod-down
Counts
3 → 875
Calls
3 calls:
7.0ms
(/ (* a c) b)
16.0ms
(* -1.5 (/ (* a c) b))
43.0ms
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

series73.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(/ (* a c) b)
33.0ms
(* -1.5 (/ (* a c) b))
21.0ms
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

simplify154.0ms

Algorithm
egg-herbie
Counts
884 → 884
Iterations

Useful iterations: 1 (65.0ms)

IterNodesCost
041768764
150018706

prune2.0s

Filtered
884 candidates to 630 candidates (71.3%)
Pruning

43 alts after pruning (42 fresh and 1 done)

PrunedKeptTotal
New85430884
Fresh01212
Picked101
Done011
Total85543898

Merged error: 5.1b

Counts
898 → 43

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (sqrt (/ (* a c) b)) (* (sqrt 3.0) (sqrt a)))
0.4b
(* (/ (* -1.5 (sqrt (/ (* a c) b))) (* (sqrt 3.0) (sqrt a))) (/ (sqrt (/ (* a c) b)) (* (sqrt 3.0) (sqrt a))))
0.4b
(* (sqrt 3.0) (sqrt a))
0.4b
(* (sqrt 3.0) (sqrt a))

rewrite12.6s

Algorithm
rewrite-expression-head
Rules
18059×add-sqr-sqrt
15062×sqrt-prod
13618×times-frac
11208×associate-/l*
10263×associate-*r*
8303×*-un-lft-identity
8302×add-cube-cbrt
8245×frac-times
6235×associate-*l*
4813×unswap-sqr
4440×associate-/r*
3330×sqrt-div associate-/l/
1633×associate-*r/
1365×*-commutative
371×clear-num
370×frac-2neg
251×div-inv
97×associate-*l/
82×add-exp-log add-cbrt-cube
35×prod-exp cbrt-unprod
24×cbrt-undiv div-exp
14×pow1
7×pow-prod-down
4×expm1-log1p-u sqrt-pow1 pow1/2 log1p-expm1-u add-log-exp
3×sqrt-unprod
2×un-div-inv
1×sqrt-undiv
Counts
4 → 12148
Calls
4 calls:
39.0ms
(/ (sqrt (/ (* a c) b)) (* (sqrt 3.0) (sqrt a)))
10.8s
(* (/ (* -1.5 (sqrt (/ (* a c) b))) (* (sqrt 3.0) (sqrt a))) (/ (sqrt (/ (* a c) b)) (* (sqrt 3.0) (sqrt a))))
6.0ms
(* (sqrt 3.0) (sqrt a))
6.0ms
(* (sqrt 3.0) (sqrt a))

series665.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(/ (sqrt (/ (* a c) b)) (* (sqrt 3.0) (sqrt a)))
324.0ms
(* (/ (* -1.5 (sqrt (/ (* a c) b))) (* (sqrt 3.0) (sqrt a))) (/ (sqrt (/ (* a c) b)) (* (sqrt 3.0) (sqrt a))))
70.0ms
(* (sqrt 3.0) (sqrt a))
74.0ms
(* (sqrt 3.0) (sqrt a))

simplify2.5s

Algorithm
egg-herbie
Counts
12160 → 12160
Iterations

Useful iterations: 0 (147.0ms)

IterNodesCost
012687294397

prune43.2s

Filtered
12160 candidates to 8032 candidates (66.1%)
Pruning

38 alts after pruning (37 fresh and 1 done)

PrunedKeptTotal
New121441612160
Fresh202141
Picked101
Done011
Total121653812203

Merged error: 5.0b

Counts
12203 → 38

regimes825.0ms

Accuracy

19.1% (5.4b remaining)

Error of 10.5b against oracle of 5.1b and baseline of 11.8b

bsearch4.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02727
12727

end0.0ms

sample1.4s

Algorithm
intervals
Results
327.0ms4933×body160valid
308.0ms16352×pre80true
259.0ms8352×body80nan
133.0ms1353×body320valid
56.0ms1714×body80valid