Details

Time bar (total: 5.1s)

sample21.0ms

Algorithm
intervals
Results
8.0ms335×body80valid

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0163
1363
2803
31233
41413
51433
61433

prune5.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: 5.6b

Counts
2 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- x z))
5.4b
(* t (* y (- x z)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
55×distribute-rgt-in distribute-lft-in
54×prod-diff
48×*-un-lft-identity
44×add-cube-cbrt
24×associate-*r*
9×pow1 add-exp-log associate-*l* add-cbrt-cube
6×sub-neg associate-*r/
5×unswap-sqr
4×pow-prod-down prod-exp cbrt-unprod
3×*-commutative
2×expm1-log1p-u flip3-- flip-- log1p-expm1-u distribute-lft-out-- add-log-exp difference-of-squares
Counts
2 → 127
Calls
2 calls:
8.0ms
(* y (- x z))
12.0ms
(* t (* y (- x z)))

series81.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(* y (- x z))
41.0ms
(* t (* y (- x z)))

simplify57.0ms

Algorithm
egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
04401149
12048728
25002728

prune155.0ms

Filtered
133 candidates to 53 candidates (39.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1249133
Fresh101
Picked101
Done000
Total1269135

Merged error: 0b

Counts
135 → 9

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* t (* x y)) (* t (* (- z) y)))
5.8b
(* t (* x y))
5.9b
(* t (* (- z) y))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
86×associate-*r*
43×add-sqr-sqrt
42×*-un-lft-identity
40×associate-*l*
22×add-cube-cbrt fma-def
14×distribute-lft-out
13×pow1 add-exp-log add-cbrt-cube
12×unswap-sqr
10×*-commutative
7×distribute-rgt-out
6×pow-prod-down prod-exp cbrt-unprod
5×distribute-rgt-neg-in add-log-exp
3×distribute-lft-neg-out distribute-lft-neg-in expm1-log1p-u distribute-rgt-neg-out log1p-expm1-u
1×+-commutative neg-mul-1 flip3-+ unsub-neg sum-log flip-+
Counts
3 → 132
Calls
3 calls:
42.0ms
(+ (* t (* x y)) (* t (* (- z) y)))
8.0ms
(* t (* x y))
17.0ms
(* t (* (- z) y))

series112.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(+ (* t (* x y)) (* t (* (- z) y)))
28.0ms
(* t (* x y))
27.0ms
(* t (* (- z) y))

simplify81.0ms

Algorithm
egg-herbie
Counts
141 → 141
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
0438507
12116435
25001430

prune298.0ms

Filtered
141 candidates to 100 candidates (70.9%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1392141
Fresh358
Picked011
Done000
Total1428150

Merged error: 0b

Counts
150 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt x)
0.5b
(cbrt x)
0.5b
(cbrt x)
5.4b
(* t (+ (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1)))) (* y (fma (- z) 1 z))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
14×associate-*r*
13×add-sqr-sqrt
11×add-cube-cbrt associate-*l*
10×distribute-rgt-in distribute-lft-in
9×cbrt-prod
8×fma-udef distribute-lft-out
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u associate-+l+ associate-+r+ log1p-expm1-u add-log-exp
3×pow1/3 *-commutative
2×+-commutative associate-*r/
1×distribute-rgt-out flip3-+ pow-prod-down prod-exp cbrt-unprod flip-+ unswap-sqr
Counts
4 → 82
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
19.0ms
(* t (+ (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1)))) (* y (fma (- z) 1 z))))

series1.3s

Counts
4 → 12
Calls
4 calls:
170.0ms
(cbrt x)
184.0ms
(cbrt x)
173.0ms
(cbrt x)
794.0ms
(* t (+ (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1)))) (* y (fma (- z) 1 z))))

simplify54.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0309697
11503561
25001483

prune357.0ms

Filtered
94 candidates to 70 candidates (74.5%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New94094
Fresh066
Picked011
Done011
Total948102

Merged error: 0b

Counts
102 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
2.7b
(* (cbrt t) (* y (- x z)))
2.9b
(* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
298×add-sqr-sqrt
176×distribute-rgt-in distribute-lft-in
137×unswap-sqr
108×prod-diff
102×*-un-lft-identity
98×add-cube-cbrt
82×add-cbrt-cube
81×cbrt-unprod
80×cbrt-prod
73×associate-*r*
51×associate-*l*
30×pow1 add-exp-log
18×pow-prod-down prod-exp
16×swap-sqr
12×sub-neg
11×*-commutative
10×associate-*r/
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-- pow1/3 flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 352
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
14.0ms
(* (cbrt t) (* y (- x z)))
42.0ms
(* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z))))

series637.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt t)
177.0ms
(cbrt t)
196.0ms
(* (cbrt t) (* y (- x z)))
80.0ms
(* (* (cbrt t) (cbrt t)) (* (cbrt t) (* y (- x z))))

simplify88.0ms

Algorithm
egg-herbie
Counts
364 → 364
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
015425284
150013500

prune533.0ms

Filtered
364 candidates to 158 candidates (43.4%)
Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New3640364
Fresh055
Picked011
Done022
Total3648372

Merged error: 0b

Counts
372 → 8

regimes185.0ms

Accuracy

45.6% (3.8b remaining)

Error of 3.9b against oracle of 0.0b and baseline of 7.1b

bsearch54.0ms

Steps
ItersRangePoint
9
4.672283484095096e+93
9.161777305501048e+99
4.757542503275314e+93
2
-4.01576310432622e+163
-3.578987153160813e+163
-3.6335841470564894e+163

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0319
1399
2439
3439

end0.0ms

sample757.0ms

Algorithm
intervals
Results
475.0ms10532×body80valid