Details

Time bar (total: 11.7s)

sample54.0ms

Algorithm
intervals
Results
26.0ms479×body80valid

simplify150.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0339
1879
22608
38728
424368
549578
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: 1.6b

Counts
2 → 2

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i))))
6.3b
(* (- (fma c b a)) (* c i))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt associate-*r*
13×associate-*l*
8×add-cube-cbrt *-un-lft-identity
7×pow1 add-exp-log add-cbrt-cube
4×unswap-sqr
3×distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
1×distribute-lft-neg-out neg-mul-1 fma-udef
Counts
2 → 51
Calls
2 calls:
1.0ms
(fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i))))
11.0ms
(* (- (fma c b a)) (* c i))

series869.0ms

Counts
2 → 6
Calls
2 calls:
792.0ms
(fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i))))
77.0ms
(* (- (fma c b a)) (* c i))

simplify66.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0277370
11319328
25001322

prune261.0ms

Filtered
57 candidates to 43 candidates (75.4%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New48957
Fresh101
Picked011
Done000
Total491059

Merged error: 1.2b

Counts
59 → 10

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt i)
0.6b
(cbrt i)
1.7b
(* (* (- (fma c b a)) (* c (* (cbrt i) (cbrt i)))) (cbrt i))
3.8b
(* (- (fma c b a)) (* c (* (cbrt i) (cbrt i))))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
253×add-sqr-sqrt
160×associate-*r*
148×unswap-sqr
107×associate-*l*
88×cbrt-prod
64×add-cbrt-cube
59×cbrt-unprod
37×add-cube-cbrt *-un-lft-identity
27×pow1 add-exp-log
24×swap-sqr
16×pow-prod-down prod-exp
13×*-commutative
6×distribute-lft-neg-in distribute-rgt-neg-in
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×distribute-lft-neg-out
2×neg-mul-1 pow1/3
Counts
4 → 243
Calls
4 calls:
2.0ms
(cbrt i)
2.0ms
(cbrt i)
52.0ms
(* (* (- (fma c b a)) (* c (* (cbrt i) (cbrt i)))) (cbrt i))
33.0ms
(* (- (fma c b a)) (* c (* (cbrt i) (cbrt i))))

series780.0ms

Counts
4 → 12
Calls
4 calls:
206.0ms
(cbrt i)
204.0ms
(cbrt i)
112.0ms
(* (* (- (fma c b a)) (* c (* (cbrt i) (cbrt i)))) (cbrt i))
257.0ms
(* (- (fma c b a)) (* c (* (cbrt i) (cbrt i))))

simplify219.0ms

Algorithm
egg-herbie
Counts
255 → 255
Iterations

Useful iterations: 1 (41.0ms)

IterNodesCost
09152517
149922061
250012061

prune1.2s

Filtered
255 candidates to 181 candidates (71.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2523255
Fresh268
Picked101
Done011
Total25510265

Merged error: 1.2b

Counts
265 → 10

localize32.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt i)
0.6b
(cbrt i)
1.7b
(* (* (- (fma c b a)) (* c (* (cbrt i) (cbrt i)))) (* (cbrt (* (cbrt i) (cbrt i))) (cbrt (cbrt i))))
3.8b
(* (- (fma c b a)) (* c (* (cbrt i) (cbrt i))))

rewrite279.0ms

Algorithm
rewrite-expression-head
Rules
2112×add-sqr-sqrt
1642×unswap-sqr
1200×cbrt-prod
243×associate-*r*
160×swap-sqr
153×cbrt-unprod
146×add-cbrt-cube
143×associate-*l*
80×*-commutative
49×add-cube-cbrt *-un-lft-identity
45×pow1 add-exp-log
30×pow-prod-down prod-exp
6×distribute-lft-neg-in distribute-rgt-neg-in
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×distribute-lft-neg-out
2×neg-mul-1 pow1/3
Counts
4 → 659
Calls
4 calls:
2.0ms
(cbrt i)
2.0ms
(cbrt i)
139.0ms
(* (* (- (fma c b a)) (* c (* (cbrt i) (cbrt i)))) (* (cbrt (* (cbrt i) (cbrt i))) (cbrt (cbrt i))))
33.0ms
(* (- (fma c b a)) (* c (* (cbrt i) (cbrt i))))

series807.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(cbrt i)
211.0ms
(cbrt i)
117.0ms
(* (* (- (fma c b a)) (* c (* (cbrt i) (cbrt i)))) (* (cbrt (* (cbrt i) (cbrt i))) (cbrt (cbrt i))))
264.0ms
(* (- (fma c b a)) (* c (* (cbrt i) (cbrt i))))

simplify212.0ms

Algorithm
egg-herbie
Counts
671 → 671
Iterations

Useful iterations: 1 (68.0ms)

IterNodesCost
0235216887
1500116073

prune2.9s

Filtered
671 candidates to 343 candidates (51.1%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New6710671
Fresh088
Picked011
Done011
Total67110681

Merged error: 1.2b

Counts
681 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i)))))
6.3b
(* (- (fma c b a)) (* c i))
6.3b
(* (- (fma c b a)) (* c i))
6.3b
(* (- (fma c b a)) (* c i))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
45×associate-*r*
44×add-sqr-sqrt
39×associate-*l*
23×add-cube-cbrt *-un-lft-identity
19×pow1 add-exp-log add-cbrt-cube
12×unswap-sqr
9×distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down prod-exp cbrt-unprod
6×*-commutative
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×distribute-lft-neg-out cbrt-prod neg-mul-1
1×pow1/3
Counts
4 → 136
Calls
4 calls:
1.0ms
(cbrt (fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i)))))
12.0ms
(* (- (fma c b a)) (* c i))
13.0ms
(* (- (fma c b a)) (* c i))
18.0ms
(* (- (fma c b a)) (* c i))

series636.0ms

Counts
4 → 12
Calls
4 calls:
343.0ms
(cbrt (fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i)))))
100.0ms
(* (- (fma c b a)) (* c i))
102.0ms
(* (- (fma c b a)) (* c i))
90.0ms
(* (- (fma c b a)) (* c i))

simplify80.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
0326925
11418843
25002822

prune823.0ms

Filtered
148 candidates to 108 candidates (73.0%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New1480148
Fresh077
Picked011
Done022
Total14810158

Merged error: 1.2b

Counts
158 → 10

regimes670.0ms

Accuracy

0% (0.9b remaining)

Error of 1.7b against oracle of 0.8b and baseline of 1.7b

bsearch0.0ms

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0238
1318
2418
3418

end0.0ms

sample1.5s

Algorithm
intervals
Results
783.0ms14980×body80valid