Details

Time bar (total: 4.9s)

sample59.0ms

Algorithm
intervals
Results
15.0ms29×body1280valid
12.0ms216×body80valid
8.0ms25×body640valid
5.0ms25×body320valid
5.0ms102×body80nan
1.0ms10×body160valid

simplify114.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0187
1277
2547
31097
43077
57777
641457
750027

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 7.6b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
93×*-un-lft-identity
90×log-prod
72×times-frac
57×add-sqr-sqrt
55×add-cube-cbrt
36×distribute-rgt-in distribute-lft-in exp-sum
19×distribute-lft-out
12×associate-/r/
11×add-exp-log
8×pow1 add-cbrt-cube
6×flip3-+ flip-+ div-inv add-log-exp
4×associate-*r* associate-/r*
3×associate-*l* associate-/l*
2×div-exp rem-log-exp log-pow
1×cbrt-undiv log-div exp-prod exp-to-pow frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod rem-exp-log unswap-sqr
Counts
4 → 163
Calls
4 calls:
5.0ms
(/ y (+ z y))
7.0ms
(exp (* y (log (/ y (+ z y)))))
8.0ms
(* y (log (/ y (+ z y))))
5.0ms
(log (/ y (+ z y)))

series400.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ y (+ z y))
237.0ms
(exp (* y (log (/ y (+ z y)))))
69.0ms
(* y (log (/ y (+ z y))))
51.0ms
(log (/ y (+ z y)))

simplify77.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
05241242
120381155
250011146

prune306.0ms

Filtered
175 candidates to 100 candidates (57.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1723175
Fresh000
Picked101
Done000
Total1733176

Merged error: 0.0b

Counts
176 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (pow (exp y) (log (/ y (+ z y)))) y)
0.0b
(/ y (+ z y))
0.5b
(pow (exp y) (log (/ y (+ z y))))
9.3b
(log (/ y (+ z y)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
159×times-frac
142×*-un-lft-identity
108×log-prod
98×add-sqr-sqrt add-cube-cbrt
90×unpow-prod-up
28×associate-/l*
22×distribute-lft-out
15×unpow-prod-down
14×associate-/r/
13×add-exp-log
8×add-cbrt-cube div-inv
7×pow1 flip3-+ associate-/r* flip-+
5×div-exp sqr-pow
4×pow-unpow pow-pow add-log-exp
3×log-div exp-prod
2×cbrt-undiv pow-to-exp frac-2neg rem-log-exp pow-exp clear-num log-pow pow-sub
1×associate-/l/
Counts
4 → 220
Calls
4 calls:
12.0ms
(/ (pow (exp y) (log (/ y (+ z y)))) y)
5.0ms
(/ y (+ z y))
8.0ms
(pow (exp y) (log (/ y (+ z y))))
5.0ms
(log (/ y (+ z y)))

series501.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(/ (pow (exp y) (log (/ y (+ z y)))) y)
38.0ms
(/ y (+ z y))
318.0ms
(pow (exp y) (log (/ y (+ z y))))
45.0ms
(log (/ y (+ z y)))

simplify87.0ms

Algorithm
egg-herbie
Counts
232 → 232
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
06692280
127942231
250012195

prune524.0ms

Filtered
232 candidates to 170 candidates (73.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2320232
Fresh022
Picked011
Done000
Total2323235

Merged error: 0.0b

Counts
235 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (/ (exp (* -1 z)) y))
0.0b
(/ (exp (* -1 z)) y)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×add-sqr-sqrt add-cube-cbrt
9×times-frac
4×add-cbrt-cube add-log-exp
3×add-exp-log associate-/r* associate-/l*
2×pow1
1×cbrt-undiv +-commutative exp-neg frac-2neg mul-1-neg flip3-+ div-exp clear-num sum-log flip-+ div-inv associate-/l/ distribute-lft-out
Counts
2 → 40
Calls
2 calls:
6.0ms
(+ x (/ (exp (* -1 z)) y))
4.0ms
(/ (exp (* -1 z)) y)

series42.0ms

Counts
2 → 6
Calls
2 calls:
20.0ms
(+ x (/ (exp (* -1 z)) y))
22.0ms
(/ (exp (* -1 z)) y)

simplify61.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
0176274
1464258
21971255
35003255

prune76.0ms

Filtered
46 candidates to 35 candidates (76.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New46046
Fresh011
Picked011
Done011
Total46349

Merged error: 0.0b

Counts
49 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ z y))
0.6b
(cbrt (+ z y))
0.6b
(cbrt (+ z y))
36.2b
(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
50×add-exp-log
20×prod-exp
15×div-exp rem-log-exp
13×*-un-lft-identity
12×cbrt-prod
7×pow1 add-sqr-sqrt add-cube-cbrt
6×cbrt-div
4×rec-exp 1-exp add-cbrt-cube add-log-exp
3×log-div flip3-+ pow1/3 flip-+ distribute-lft-out
2×log-pow
1×frac-times log-prod associate-*r/ pow-prod-down associate-*l/
Counts
4 → 70
Calls
4 calls:
3.0ms
(cbrt (+ z y))
3.0ms
(cbrt (+ z y))
3.0ms
(cbrt (+ z y))
22.0ms
(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

series450.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(cbrt (+ z y))
126.0ms
(cbrt (+ z y))
122.0ms
(cbrt (+ z y))
81.0ms
(log (* (/ 1 (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ y (cbrt (+ z y)))))

simplify65.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 3 (59.0ms)

IterNodesCost
0188452
1578403
22365364
35003360

prune258.0ms

Filtered
82 candidates to 71 candidates (86.6%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New82082
Fresh000
Picked011
Done022
Total82385

Merged error: 0.0b

Counts
85 → 3

regimes57.0ms

Accuracy

44.3% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 1.2b

bsearch48.0ms

Steps
ItersRangePoint
6
-7.909803076663203e+33
-1.5793211998374e+33
-4.4456982498363334e+33

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02311
12311

end0.0ms

sample1.7s

Algorithm
intervals
Results
389.0ms769×body1280valid
383.0ms6534×body80valid
294.0ms944×body640valid
134.0ms2985×body80nan
117.0ms565×body320valid
40.0ms304×body160valid

Profiling

Loading profile data...