Details

Time bar (total: 5.6s)

sample61.0ms

Algorithm
intervals
Results
16.0ms30×body1280valid
12.0ms202×body80valid
10.0ms32×body640valid
5.0ms100×body80nan
3.0ms15×body320valid
1.0ms8×body160valid

simplify114.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 6 (28.0ms)

IterNodesCost
0187
1277
2547
31117
43147
58017
642176
750016

prune9.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: 4.0b

Counts
2 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (exp (* y (log (/ y (+ z y))))) y)
0.0b
(/ y (+ z y))
0.1b
(* y (log (/ y (+ z y))))
9.8b
(log (/ y (+ z y)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
261×times-frac
221×*-un-lft-identity
198×log-prod
149×add-sqr-sqrt
147×add-cube-cbrt
144×exp-sum
90×distribute-rgt-in distribute-lft-in
42×associate-/l*
37×distribute-lft-out
24×associate-/r/
13×div-inv
12×add-exp-log flip3-+ flip-+
10×add-cbrt-cube
8×pow1
7×associate-/r*
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×div-exp associate-*l*
2×cbrt-undiv frac-2neg rem-log-exp clear-num log-pow
1×log-div pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 296
Calls
4 calls:
18.0ms
(/ (exp (* y (log (/ y (+ z y))))) y)
5.0ms
(/ y (+ z y))
8.0ms
(* y (log (/ y (+ z y))))
5.0ms
(log (/ y (+ z y)))

series308.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(/ (exp (* y (log (/ y (+ z y))))) y)
54.0ms
(/ y (+ z y))
73.0ms
(* y (log (/ y (+ z y))))
54.0ms
(log (/ y (+ z y)))

simplify95.0ms

Algorithm
egg-herbie
Counts
308 → 308
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
08363073
128862638
250022622

prune590.0ms

Filtered
308 candidates to 180 candidates (58.4%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New3044308
Fresh101
Picked101
Done000
Total3064310

Merged error: 0b

Counts
310 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
4.6b
(log (/ (cbrt y) (cbrt (+ z y))))
5.9b
(log (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
61×log-prod
51×cbrt-prod
46×*-un-lft-identity
43×times-frac
34×add-sqr-sqrt add-cube-cbrt
20×add-exp-log
14×cbrt-div
10×associate-/r/
7×flip3-+ rem-log-exp flip-+
6×pow1 distribute-lft-out
5×div-exp
4×expm1-log1p-u frac-times prod-exp add-cbrt-cube log1p-expm1-u add-log-exp
2×log-div pow1/3 associate-*r/ associate-*l/ log-pow div-inv
Counts
4 → 116
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
7.0ms
(log (/ (cbrt y) (cbrt (+ z y))))
14.0ms
(log (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))))

series514.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(cbrt y)
177.0ms
(cbrt y)
73.0ms
(log (/ (cbrt y) (cbrt (+ z y))))
86.0ms
(log (/ (* (cbrt y) (cbrt y)) (* (cbrt (+ z y)) (cbrt (+ z y)))))

simplify101.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 3 (82.0ms)

IterNodesCost
04481200
111201128
236201084
350011070

prune687.0ms

Filtered
128 candidates to 106 candidates (82.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1280128
Fresh033
Picked011
Done000
Total1284132

Merged error: 0b

Counts
132 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (/ (exp 0) y))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity
3×fma-def add-log-exp
2×add-sqr-sqrt add-cube-cbrt
1×pow1 add-exp-log +-commutative expm1-log1p-u flip3-+ sum-log add-cbrt-cube flip-+ log1p-expm1-u distribute-lft-out
Counts
1 → 17
Calls
1 calls:
6.0ms
(+ x (/ (exp 0) y))

series14.0ms

Counts
1 → 3
Calls
1 calls:
14.0ms
(+ x (/ (exp 0) y))

simplify54.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 3 (20.0ms)

IterNodesCost
08482
127267
278665
3196864
4500164

prune40.0ms

Filtered
20 candidates to 17 candidates (85.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New20020
Fresh022
Picked011
Done011
Total20424

Merged error: 0b

Counts
24 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
6.5b
(pow (/ y (+ z y)) y)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
18×unpow-prod-down
16×add-sqr-sqrt add-cube-cbrt
12×times-frac
9×cbrt-prod
7×add-exp-log
5×pow1
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow-unpow pow1/3 distribute-lft-out
2×pow-exp associate-/r/
1×pow-to-exp pow-pow flip3-+ div-exp flip-+ div-inv sqr-pow
Counts
4 → 74
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
7.0ms
(pow (/ y (+ z y)) y)

series753.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(cbrt y)
174.0ms
(cbrt y)
173.0ms
(cbrt y)
231.0ms
(pow (/ y (+ z y)) y)

simplify38.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0310383
11139367
25001356

prune207.0ms

Filtered
86 candidates to 69 candidates (80.2%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New86086
Fresh011
Picked011
Done022
Total86490

Merged error: 0b

Counts
90 → 4

regimes67.0ms

Accuracy

65.4% (0.7b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 2.2b

bsearch43.0ms

Steps
ItersRangePoint
9
1.0438552020633666e-13
1.578317661697433e-06
8.999795371098391e-07

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0207
1207

end0.0ms

sample1.7s

Algorithm
intervals
Results
402.0ms6507×body80valid
394.0ms769×body1280valid
299.0ms917×body640valid
139.0ms3044×body80nan
125.0ms584×body320valid
42.0ms317×body160valid