Details

Time bar (total: 6.2s)

sample47.0ms

Algorithm
intervals
Results
23.0ms401×body80valid

simplify164.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 6 (162.0ms)

IterNodesCost
0389
11039
23279
39219
419969
548419
650018

prune12.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 10.9b

Counts
2 → 2

localize16.0ms

Local error

Found 3 expressions with local error:

0.5b
(fma x (* 9.0 y) b)
6.9b
(/ (* t a) c)
11.5b
(/ (fma x (* 9.0 y) b) (* z c))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log add-cbrt-cube
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×times-frac
4×cbrt-undiv div-exp associate-/r* associate-/l*
3×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
2×frac-2neg prod-exp clear-num cbrt-unprod div-inv
1×fma-udef
Counts
3 → 56
Calls
3 calls:
1.0ms
(fma x (* 9.0 y) b)
5.0ms
(/ (* t a) c)
5.0ms
(/ (fma x (* 9.0 y) b) (* z c))

series127.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(fma x (* 9.0 y) b)
22.0ms
(/ (* t a) c)
67.0ms
(/ (fma x (* 9.0 y) b) (* z c))

simplify117.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0250295
11014244
24979244
35001244

prune283.0ms

Filtered
65 candidates to 50 candidates (76.9%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New541165
Fresh011
Picked101
Done000
Total551267

Merged error: 4.4b

Counts
67 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* 9.0 x) y b)
3.7b
(/ (fma (* 9.0 x) y b) z)
5.2b
(/ (/ (fma (* 9.0 x) y b) z) c)
6.9b
(/ (* t a) c)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
87×times-frac
56×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
17×associate-/l*
16×add-exp-log add-cbrt-cube
9×associate-/r*
7×div-inv
6×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num
1×prod-exp cbrt-unprod fma-udef associate-/l/
Counts
4 → 134
Calls
4 calls:
1.0ms
(fma (* 9.0 x) y b)
3.0ms
(/ (fma (* 9.0 x) y b) z)
6.0ms
(/ (/ (fma (* 9.0 x) y b) z) c)
5.0ms
(/ (* t a) c)

series200.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(fma (* 9.0 x) y b)
68.0ms
(/ (fma (* 9.0 x) y b) z)
67.0ms
(/ (/ (fma (* 9.0 x) y b) z) c)
23.0ms
(/ (* t a) c)

simplify65.0ms

Algorithm
egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
04821010
11796945
25001945

prune558.0ms

Filtered
146 candidates to 115 candidates (78.8%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1424146
Fresh5611
Picked101
Done000
Total14810158

Merged error: 4.4b

Counts
158 → 10

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt c)
2.1b
(/ (fma (* 9.0 x) y b) (* (cbrt c) (cbrt c)))
5.1b
(* (/ (fma (* 9.0 x) y b) (* (cbrt c) (cbrt c))) (/ (/ 1 z) (cbrt c)))
6.9b
(/ (* t a) c)

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
168×times-frac
124×add-sqr-sqrt
84×*-un-lft-identity
82×associate-*r*
80×add-cube-cbrt
74×add-exp-log
48×cbrt-prod
36×add-cbrt-cube
32×div-exp
22×prod-exp
19×cbrt-undiv
14×cbrt-unprod unswap-sqr
10×div-inv
7×associate-*l*
6×pow1
4×expm1-log1p-u associate-/r* log1p-expm1-u associate-/l* add-log-exp
3×rec-exp 1-exp
2×frac-2neg clear-num
1×frac-times pow1/3 associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 200
Calls
4 calls:
1.0ms
(cbrt c)
7.0ms
(/ (fma (* 9.0 x) y b) (* (cbrt c) (cbrt c)))
49.0ms
(* (/ (fma (* 9.0 x) y b) (* (cbrt c) (cbrt c))) (/ (/ 1 z) (cbrt c)))
10.0ms
(/ (* t a) c)

series625.0ms

Counts
4 → 12
Calls
4 calls:
204.0ms
(cbrt c)
277.0ms
(/ (fma (* 9.0 x) y b) (* (cbrt c) (cbrt c)))
121.0ms
(* (/ (fma (* 9.0 x) y b) (* (cbrt c) (cbrt c))) (/ (/ 1 z) (cbrt c)))
23.0ms
(/ (* t a) c)

simplify66.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
011992377
150011987

prune907.0ms

Filtered
212 candidates to 159 candidates (75.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2120212
Fresh099
Picked011
Done000
Total21210222

Merged error: 4.4b

Counts
222 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* 9.0 x) y b)
3.7b
(/ (fma (* 9.0 x) y b) z)
4.9b
(* t (/ a c))
5.2b
(/ (/ (fma (* 9.0 x) y b) z) c)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
94×times-frac
67×add-sqr-sqrt
62×add-cube-cbrt *-un-lft-identity
16×add-exp-log add-cbrt-cube associate-/l*
13×associate-*r*
7×div-inv
6×pow1 associate-/r*
5×cbrt-undiv div-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l*
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×associate-*r/ pow-prod-down *-commutative fma-udef associate-/l/
Counts
4 → 145
Calls
4 calls:
1.0ms
(fma (* 9.0 x) y b)
4.0ms
(/ (fma (* 9.0 x) y b) z)
7.0ms
(* t (/ a c))
7.0ms
(/ (/ (fma (* 9.0 x) y b) z) c)

series203.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(fma (* 9.0 x) y b)
73.0ms
(/ (fma (* 9.0 x) y b) z)
22.0ms
(* t (/ a c))
68.0ms
(/ (/ (fma (* 9.0 x) y b) z) c)

simplify71.0ms

Algorithm
egg-herbie
Counts
157 → 157
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
05331058
11972993
25001993

prune542.0ms

Filtered
157 candidates to 124 candidates (79.0%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1552157
Fresh088
Picked011
Done011
Total15512167

Merged error: 4.1b

Counts
167 → 12

regimes872.0ms

Accuracy

61.3% (3.1b remaining)

Error of 7.0b against oracle of 3.9b and baseline of 11.9b

bsearch3.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05780
15780

end0.0ms

sample1.2s

Algorithm
intervals
Results
655.0ms12812×body80valid

Profiling

Loading profile data...