Details

Time bar (total: 34.9s)

sample52.0ms

Algorithm
intervals
Results
11.0ms130×body160valid
10.0ms530×pre80true
9.0ms274×body80nan
4.0ms126×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: 27.2b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* b b) (* (* 3.0 a) c))
0.3b
(* (* 3.0 a) c)
0.4b
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
27.1b
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

rewrite144.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:
31.0ms
(- (* b b) (* (* 3.0 a) c))
7.0ms
(* (* 3.0 a) c)
39.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
36.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series272.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(- (* b b) (* (* 3.0 a) c))
21.0ms
(* (* 3.0 a) c)
114.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
87.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify198.0ms

Algorithm
egg-herbie
Counts
548 → 548
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
013928928
149696424
250016424

prune464.0ms

Filtered
548 candidates to 171 candidates (31.2%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New52721548
Fresh000
Picked101
Done000
Total52821549

Merged error: 9.1b

Counts
549 → 21

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

prune51.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

PrunedKeptTotal
New000
Fresh02020
Picked011
Done000
Total02121

Merged error: 9.1b

Counts
21 → 21

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

rewrite129.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)
19.0ms
(* -1.5 (/ (* a c) b))
38.0ms
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

series76.0ms

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

simplify163.0ms

Algorithm
egg-herbie
Counts
884 → 884
Iterations

Useful iterations: 1 (68.0ms)

IterNodesCost
041768764
150018706

prune1.5s

Filtered
884 candidates to 630 candidates (71.3%)
Pruning

43 alts after pruning (43 fresh and 0 done)

PrunedKeptTotal
New86024884
Fresh01919
Picked101
Done101
Total86243905

Merged error: 9.0b

Counts
905 → 43

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
16993×associate-/l*
14585×add-sqr-sqrt
14526×times-frac
12974×sqrt-prod
10123×*-un-lft-identity
9988×add-cube-cbrt
9956×frac-times
7471×associate-*r*
4197×associate-/l/
4103×associate-*l*
2111×associate-*r/
1977×unswap-sqr
1902×associate-/r*
725×*-commutative
556×clear-num
422×frac-2neg
269×un-div-inv
224×div-inv
100×add-exp-log add-cbrt-cube
76×associate-*l/
44×cbrt-undiv div-exp
30×prod-exp cbrt-unprod
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
1×sqrt-undiv pow-prod-down
Counts
4 → 11377
Calls
4 calls:
33.0ms
(/ (/ (* (sqrt a) c) (sqrt b)) 3.0)
976.0ms
(* (/ (* -1.5 (/ (sqrt a) (sqrt b))) a) (/ (/ (* (sqrt a) c) (sqrt b)) 3.0))
5.0ms
(/ (sqrt a) (sqrt b))
10.0ms
(/ (* (sqrt a) c) (sqrt b))

series213.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(/ (/ (* (sqrt a) c) (sqrt b)) 3.0)
56.0ms
(* (/ (* -1.5 (/ (sqrt a) (sqrt b))) a) (/ (/ (* (sqrt a) c) (sqrt b)) 3.0))
53.0ms
(/ (sqrt a) (sqrt b))
51.0ms
(/ (* (sqrt a) c) (sqrt b))

simplify2.6s

Algorithm
egg-herbie
Counts
11389 → 11389
Iterations

Useful iterations: 0 (153.0ms)

IterNodesCost
08902244043

prune23.9s

Filtered
11389 candidates to 6115 candidates (53.7%)
Pruning

45 alts after pruning (45 fresh and 0 done)

PrunedKeptTotal
New113682111389
Fresh182442
Picked101
Done000
Total113874511432

Merged error: 8.9b

Counts
11432 → 45

regimes1.1s

Accuracy

57% (6.0b remaining)

Error of 14.9b against oracle of 9.0b and baseline of 22.8b

bsearch4.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02727
12727

end0.0ms

sample1.4s

Algorithm
intervals
Results
325.0ms16386×pre80true
317.0ms4471×body160valid
273.0ms8386×body80nan
126.0ms3529×body80valid