Details

Time bar (total: 6.1s)

sample52.0ms

Algorithm
intervals
Results
13.0ms29×body1280valid
9.0ms198×body80valid
9.0ms35×body640valid
3.0ms89×body80nan
2.0ms13×body320valid
1.0ms12×body160valid

simplify110.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 6 (27.0ms)

IterNodesCost
0187
1277
2547
31117
43147
58017
642176
750016

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.6b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
90×log-prod
79×*-un-lft-identity
60×times-frac
49×add-sqr-sqrt
47×add-cube-cbrt
36×distribute-rgt-in distribute-lft-in exp-sum
16×distribute-lft-out
10×associate-/r/
9×add-exp-log
8×pow1 add-log-exp
6×flip3-+ add-cbrt-cube flip-+
5×div-inv
4×expm1-log1p-u associate-*r* log1p-expm1-u
3×fma-def associate-*l*
2×rem-log-exp log-pow
1×+-commutative log-div exp-prod exp-to-pow div-exp pow-prod-down prod-exp sum-log *-commutative cbrt-unprod rem-exp-log unswap-sqr
Counts
4 → 153
Calls
4 calls:
63.0ms
(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
9.0ms
(exp (* y (log (/ y (+ z y)))))
13.0ms
(* y (log (/ y (+ z y))))
4.0ms
(log (/ y (+ z y)))

series425.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
228.0ms
(exp (* y (log (/ y (+ z y)))))
79.0ms
(* y (log (/ y (+ z y))))
47.0ms
(log (/ y (+ z y)))

simplify55.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
05821288
119931191
250021169

prune361.0ms

Filtered
165 candidates to 98 candidates (59.4%)
Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
4.0b
(log (/ (cbrt y) (cbrt (+ z y))))
4.0b
(log (/ (cbrt y) (cbrt (+ z y))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
96×cbrt-prod log-prod
84×*-un-lft-identity times-frac
60×add-sqr-sqrt add-cube-cbrt
12×distribute-lft-out
10×add-exp-log
6×pow1
4×expm1-log1p-u cbrt-div rem-log-exp associate-/r/ add-cbrt-cube log1p-expm1-u add-log-exp
2×log-div flip3-+ pow1/3 div-exp log-pow flip-+ div-inv
Counts
4 → 148
Calls
4 calls:
0.0ms
(cbrt y)
0.0ms
(cbrt y)
6.0ms
(log (/ (cbrt y) (cbrt (+ z y))))
6.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

series501.0ms

Counts
4 → 12
Calls
4 calls:
177.0ms
(cbrt y)
176.0ms
(cbrt y)
74.0ms
(log (/ (cbrt y) (cbrt (+ z y))))
73.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

simplify81.0ms

Algorithm
egg-herbie
Counts
160 → 160
Iterations

Useful iterations: 3 (61.0ms)

IterNodesCost
03171502
17721456
223701424
350021350

prune578.0ms

Filtered
160 candidates to 110 candidates (68.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (sqrt (/ y (+ z y))) y)
0.7b
(pow (sqrt (/ y (+ z y))) y)
5.7b
(sqrt (/ y (+ z y)))
5.7b
(sqrt (/ y (+ z y)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod
64×*-un-lft-identity
50×times-frac
46×add-sqr-sqrt
42×unpow-prod-down
40×add-cube-cbrt
12×distribute-lft-out
10×pow1
8×associate-/r/
6×add-exp-log pow-unpow pow-pow
4×expm1-log1p-u rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ log1p-expm1-u div-inv add-log-exp
2×pow-to-exp sqrt-div pow-exp sqrt-pow2 sqr-pow
Counts
4 → 144
Calls
4 calls:
8.0ms
(pow (sqrt (/ y (+ z y))) y)
9.0ms
(pow (sqrt (/ y (+ z y))) y)
7.0ms
(sqrt (/ y (+ z y)))
6.0ms
(sqrt (/ y (+ z y)))

series628.0ms

Counts
4 → 12
Calls
4 calls:
254.0ms
(pow (sqrt (/ y (+ z y))) y)
253.0ms
(pow (sqrt (/ y (+ z y))) y)
60.0ms
(sqrt (/ y (+ z y)))
60.0ms
(sqrt (/ y (+ z y)))

simplify47.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
03681112
113301036
250021022

prune495.0ms

Filtered
156 candidates to 114 candidates (73.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
9.8b
(log (/ y (+ z y)))
9.8b
(log (/ y (+ z y)))
9.8b
(log (/ y (+ z y)))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
54×log-prod
49×*-un-lft-identity
36×times-frac
29×add-sqr-sqrt add-cube-cbrt
13×add-exp-log
10×distribute-lft-out
7×pow1
6×rem-log-exp associate-/r/
4×cbrt-prod expm1-log1p-u flip3-+ add-cbrt-cube flip-+ log1p-expm1-u add-log-exp
3×log-div div-exp log-pow div-inv
2×cbrt-div
1×pow1/3
Counts
4 → 109
Calls
4 calls:
66.0ms
(cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
3.0ms
(log (/ y (+ z y)))
4.0ms
(log (/ y (+ z y)))
4.0ms
(log (/ y (+ z y)))

series372.0ms

Counts
4 → 12
Calls
4 calls:
222.0ms
(cbrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y)))
52.0ms
(log (/ y (+ z y)))
46.0ms
(log (/ y (+ z y)))
52.0ms
(log (/ y (+ z y)))

simplify86.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 3 (77.0ms)

IterNodesCost
0339889
1856832
23273805
35001800

prune465.0ms

Filtered
121 candidates to 92 candidates (76.0%)
Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes120.0ms

Accuracy

0% (1.1b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 1.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02016
12016

end0.0ms

sample1.5s

Algorithm
intervals
Results
368.0ms806×body1280valid
324.0ms6528×body80valid
252.0ms929×body640valid
105.0ms3013×body80nan
100.0ms572×body320valid
35.0ms320×body160valid