Details

Time bar (total: 3.7s)

sample15.0ms

Algorithm
intervals
Results
6.0ms311×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0113
1243
2523
3883
41023
51023

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.1b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(- 1.0 (* y z))
3.0b
(* x (- 1.0 (* y z)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
108×prod-diff
98×add-sqr-sqrt
76×*-un-lft-identity
68×add-cube-cbrt
38×distribute-rgt-in distribute-lft-in
34×associate-*r*
32×associate-*l*
12×unswap-sqr
10×*-commutative
4×pow1 add-exp-log add-cbrt-cube distribute-lft-out-- add-log-exp difference-of-squares
3×sub-neg fma-neg
2×expm1-log1p-u flip3-- associate-*r/ flip-- log1p-expm1-u
1×diff-log pow-prod-down prod-exp cbrt-unprod
Counts
2 → 159
Calls
2 calls:
8.0ms
(- 1.0 (* y z))
12.0ms
(* x (- 1.0 (* y z)))

series76.0ms

Counts
2 → 6
Calls
2 calls:
22.0ms
(- 1.0 (* y z))
53.0ms
(* x (- 1.0 (* y z)))

simplify64.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
04582031
116791292
250011234

prune120.0ms

Filtered
165 candidates to 50 candidates (69.7%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1569165
Fresh000
Picked101
Done000
Total1579166

Merged error: 2.0b

Counts
166 → 9

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z y)))
3.0b
(* x (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z y))))
51.4b
(fma (- z) y (* z y))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
5×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
4×fma-udef
3×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 42
Calls
3 calls:
1.0ms
(fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z y)))
3.0ms
(* x (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z y))))
1.0ms
(fma (- z) y (* z y))

series225.0ms

Counts
3 → 9
Calls
3 calls:
86.0ms
(fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z y)))
113.0ms
(* x (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* z y))))
26.0ms
(fma (- z) y (* z y))

simplify65.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 3 (51.0ms)

IterNodesCost
0113408
1432339
21721321
35001276

prune127.0ms

Filtered
51 candidates to 41 candidates (19.6%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New49251
Fresh358
Picked011
Done000
Total52860

Merged error: 2.0b

Counts
60 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.8b
(pow (cbrt z) 3)
0.8b
(pow (cbrt z) 3)
3.0b
(* x (+ (- 1.0 (* (cbrt z) (* y (* (cbrt z) (cbrt z))))) (* y (+ (- (pow (cbrt z) 3)) (pow (cbrt z) 3)))))

rewrite221.0ms

Algorithm
rewrite-expression-head
Rules
825×add-sqr-sqrt
471×associate-*r*
454×associate-+l+
450×prod-diff
379×unswap-sqr
291×cbrt-prod
263×*-un-lft-identity
247×add-cube-cbrt
237×distribute-rgt-in distribute-lft-in
98×associate-*l*
72×swap-sqr
37×*-commutative
12×unpow-prod-down
10×associate-*r/
8×pow1 add-exp-log associate-+r+ add-cbrt-cube
6×+-commutative pow-unpow distribute-lft-out
4×expm1-log1p-u pow-pow frac-add log1p-expm1-u distribute-lft-out-- add-log-exp rem-cube-cbrt
3×flip3-+ pow1/3 flip-+
2×pow-to-exp sub-neg flip3-- unpow3 pow-exp flip-- sqr-pow
1×pow-prod-down prod-exp cbrt-unprod
Counts
4 → 563
Calls
4 calls:
1.0ms
(cbrt z)
2.0ms
(pow (cbrt z) 3)
3.0ms
(pow (cbrt z) 3)
150.0ms
(* x (+ (- 1.0 (* (cbrt z) (* y (* (cbrt z) (cbrt z))))) (* y (+ (- (pow (cbrt z) 3)) (pow (cbrt z) 3)))))

series719.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt z)
225.0ms
(pow (cbrt z) 3)
227.0ms
(pow (cbrt z) 3)
83.0ms
(* x (+ (- 1.0 (* (cbrt z) (* y (* (cbrt z) (cbrt z))))) (* y (+ (- (pow (cbrt z) 3)) (pow (cbrt z) 3)))))

simplify232.0ms

Algorithm
egg-herbie
Counts
575 → 575
Iterations

Useful iterations: 1 (60.0ms)

IterNodesCost
0271224574
1500219113

prune620.0ms

Filtered
575 candidates to 141 candidates (75.5%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New5723575
Fresh246
Picked101
Done011
Total5758583

Merged error: 2.0b

Counts
583 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 1.0 x) (* x (* z y)))
5.5b
(* x (* z y))
51.4b
(fma (* -1 z) y (* z y))
51.4b
(fma (* -1 z) y (* z y))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
295×add-sqr-sqrt
265×associate-*r*
264×prod-diff
151×associate-*l*
146×*-un-lft-identity
137×add-cube-cbrt
84×unswap-sqr
52×*-commutative
12×fma-neg
9×pow1 add-exp-log add-cbrt-cube
6×add-log-exp difference-of-squares
5×distribute-lft-out--
4×expm1-log1p-u log1p-expm1-u
3×pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-out-- fma-udef
1×sub-neg flip3-- diff-log flip--
Counts
4 → 356
Calls
4 calls:
32.0ms
(- (* 1.0 x) (* x (* z y)))
8.0ms
(* x (* z y))
1.0ms
(fma (* -1 z) y (* z y))
1.0ms
(fma (* -1 z) y (* z y))

series150.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(- (* 1.0 x) (* x (* z y)))
27.0ms
(* x (* z y))
32.0ms
(fma (* -1 z) y (* z y))
25.0ms
(fma (* -1 z) y (* z y))

simplify138.0ms

Algorithm
egg-herbie
Counts
368 → 368
Iterations

Useful iterations: 2 (94.0ms)

IterNodesCost
09615992
130014104
250013448

prune307.0ms

Filtered
368 candidates to 102 candidates (72.3%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New3662368
Fresh246
Picked101
Done011
Total3697376

Merged error: 2.0b

Counts
376 → 7

regimes97.0ms

Accuracy

0% (1.0b remaining)

Error of 3.4b against oracle of 2.4b and baseline of 3.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02113
12313
22313

end0.0ms

sample386.0ms

Algorithm
intervals
Results
195.0ms9621×body80valid