Details

Time bar (total: 9.3s)

sample2.7s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 22.558594%

Guaranteed chance to sample good point: 36.160151%

Results
14.0ms26×body1280valid
12.0ms199×body80valid
5.0ms15×body640valid
3.0ms13×body320valid
2.0ms7×body640invalid
1.0ms5×body320invalid
1.0ms2×body1280invalid
1.0ms17×body80nan
1.0ms9×body80invalid
0.0ms3×body160valid
0.0ms2×body160invalid

simplify112.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0187
1277
2547
31097
43077
57777
641457
750027

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 7.0b

Counts
2 → 1

localize11.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.0b
(log (/ y (+ z y)))

rewrite54.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×associate-*r* 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 → 288
Calls
4 calls:
14.0ms
(/ (exp (* y (log (/ y (+ z y))))) y)
8.0ms
(/ y (+ z y))
8.0ms
(* y (log (/ y (+ z y))))
6.0ms
(log (/ y (+ z y)))

series58.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(/ (exp (* y (log (/ y (+ z y))))) y)
5.0ms
(/ y (+ z y))
14.0ms
(* y (log (/ y (+ z y))))
12.0ms
(log (/ y (+ z y)))

simplify104.0ms

Algorithm
egg-herbie
Counts
300 → 300
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
09773146
136462706
250012693

prune294.0ms

Filtered
172 candidates to 300 candidates (-74.4%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2946300
Fresh000
Picked101
Done000
Total2956301

Merged error: 0.0b

Counts
301 → 6

localize5.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune18.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New000
Fresh055
Picked011
Done000
Total066

Merged error: 0.0b

Counts
6 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1 (/ y (pow (/ y (+ z y)) y)))
0.0b
(/ y (pow (/ y (+ z y)) y))
0.0b
(/ y (+ z y))
5.8b
(pow (/ y (+ z y)) y)

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
756×times-frac
462×*-un-lft-identity
352×add-sqr-sqrt add-cube-cbrt
306×unpow-prod-down
96×associate-/r*
55×distribute-lft-out
49×add-exp-log
37×associate-/r/
32×div-exp
24×div-inv
18×flip3-+ flip-+
17×sqr-pow
13×add-cbrt-cube
10×pow-exp
9×associate-/l*
6×pow1
5×cbrt-undiv pow-to-exp rec-exp 1-exp
4×add-log-exp
3×pow-unpow frac-2neg clear-num
1×pow-flip pow-pow inv-pow
Counts
4 → 485
Calls
4 calls:
22.0ms
(/ 1 (/ y (pow (/ y (+ z y)) y)))
10.0ms
(/ y (pow (/ y (+ z y)) y))
5.0ms
(/ y (+ z y))
7.0ms
(pow (/ y (+ z y)) y)

series78.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(/ 1 (/ y (pow (/ y (+ z y)) y)))
26.0ms
(/ y (pow (/ y (+ z y)) y))
11.0ms
(/ y (+ z y))
18.0ms
(pow (/ y (+ z y)) y)

simplify98.0ms

Algorithm
egg-herbie
Counts
497 → 497
Iterations

Useful iterations: 1 (38.0ms)

IterNodesCost
017875753
150015531

prune466.0ms

Filtered
306 candidates to 497 candidates (-62.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New4961497
Fresh404
Picked011
Done011
Total5003503

Merged error: 0.0b

Counts
503 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (/ y (pow (/ y (+ z y)) y)) 3)
0.0b
(/ y (+ z y))
5.8b
(pow (/ y (+ z y)) y)
38.1b
(cbrt (pow (/ y (pow (/ y (+ z y)) y)) 3))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
432×times-frac
374×unpow-prod-down
310×*-un-lft-identity
224×add-sqr-sqrt add-cube-cbrt
146×cbrt-prod
140×cube-prod
43×distribute-lft-out
28×associate-/r/
18×add-exp-log div-inv
15×sqr-pow
14×flip3-+ flip-+
9×pow-exp add-cbrt-cube
7×div-exp
6×pow1 pow-unpow
4×associate-/r* add-log-exp
3×pow-to-exp associate-/l*
2×cbrt-undiv cube-div cube-mult pow-pow unpow3 rem-cube-cbrt
1×cbrt-div frac-2neg pow1/3 clear-num rem-cbrt-cube
Counts
4 → 385
Calls
4 calls:
16.0ms
(pow (/ y (pow (/ y (+ z y)) y)) 3)
5.0ms
(/ y (+ z y))
7.0ms
(pow (/ y (+ z y)) y)
20.0ms
(cbrt (pow (/ y (pow (/ y (+ z y)) y)) 3))

series104.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(pow (/ y (pow (/ y (+ z y)) y)) 3)
11.0ms
(/ y (+ z y))
18.0ms
(pow (/ y (+ z y)) y)
29.0ms
(cbrt (pow (/ y (pow (/ y (+ z y)) y)) 3))

simplify96.0ms

Algorithm
egg-herbie
Counts
397 → 397
Iterations

Useful iterations: 1 (39.0ms)

IterNodesCost
019494681
150024571

prune362.0ms

Filtered
183 candidates to 397 candidates (-116.9%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New3970397
Fresh000
Picked011
Done022
Total3973400

Merged error: 0.0b

Counts
400 → 3

regimes143.0ms

Accuracy

29.3% (1.4b remaining)

Error of 1.7b against oracle of 0.3b and baseline of 2.3b

bsearch107.0ms

Steps
ItersRangePoint
8
2.2847961991916852e+120
8.143017887042675e+124
2.3230132494492458e+120
8
4.993007278522912e+42
2.401775055309167e+45
5.42870392260987e+42

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02917
12917

end0.0ms

sample4.3s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 22.558594%

Guaranteed chance to sample good point: 36.160151%

Results
378.0ms6057×body80valid
333.0ms645×body1280valid
232.0ms716×body640valid
84.0ms385×body320valid
72.0ms234×body640invalid
56.0ms114×body1280invalid
35.0ms167×body320invalid
32.0ms552×body80nan
27.0ms197×body160valid
18.0ms268×body80invalid
14.0ms105×body160invalid

Profiling

Loading profile data...