Details

Time bar (total: 1.8s)

sample69.0ms

Algorithm
intervals
Results
15.0ms28×body1280valid
13.0ms210×body80valid
10.0ms32×body640valid
6.0ms124×body80nan
4.0ms17×body320valid
1.0ms7×body160valid

simplify38.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0492811
1492811

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 5.6b

Counts
2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (pow (/ y (+ y z)) y) y)
0.0b
(/ y (+ y z))
0.0b
(+ x (/ (pow (/ y (+ y z)) y) y))
6.6b
(pow (/ y (+ y z)) y)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
121×*-un-lft-identity
90×unpow-prod-down
81×add-sqr-sqrt add-cube-cbrt
25×associate-/l*
20×distribute-lft-out
17×add-exp-log
12×associate-/r/
8×add-cbrt-cube
7×flip3-+ div-exp associate-/r* flip-+ div-inv
6×add-log-exp
5×pow1 sqr-pow
4×pow-exp
3×pow-unpow
2×cbrt-undiv pow-to-exp frac-2neg clear-num
1×+-commutative pow-pow sum-log
Counts
4 → 184
Calls
4 calls:
10.0ms
(/ (pow (/ y (+ y z)) y) y)
5.0ms
(/ y (+ y z))
22.0ms
(+ x (/ (pow (/ y (+ y z)) y) y))
7.0ms
(pow (/ y (+ y z)) y)

series67.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ (pow (/ y (+ y z)) y) y)
5.0ms
(/ y (+ y z))
23.0ms
(+ x (/ (pow (/ y (+ y z)) y) y))
18.0ms
(pow (/ y (+ y z)) y)

simplify50.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
053703114

prune215.0ms

Filtered
147 candidates to 196 candidates (-33.3%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1906196
Fresh000
Picked101
Done000
Total1916197

Merged error: 0.2b

Counts
197 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (+ y z))
0.0b
(+ x (* (pow (/ y (+ y z)) y) (/ 1 y)))
6.6b
(pow (/ y (+ y z)) y)

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
24×times-frac
21×add-sqr-sqrt add-cube-cbrt
18×unpow-prod-down
8×add-exp-log
7×distribute-lft-out
5×add-cbrt-cube add-log-exp
4×pow1 associate-/r* associate-/r/
3×pow-unpow flip3-+ flip-+ associate-/l*
2×div-exp pow-exp div-inv
1×cbrt-undiv +-commutative pow-to-exp pow-pow frac-2neg clear-num sum-log sqr-pow
Counts
3 → 77
Calls
3 calls:
5.0ms
(/ y (+ y z))
2.0ms
(+ x (* (pow (/ y (+ y z)) y) (/ 1 y)))
6.0ms
(pow (/ y (+ y z)) y)

series43.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ y (+ y z))
20.0ms
(+ x (* (pow (/ y (+ y z)) y) (/ 1 y)))
18.0ms
(pow (/ y (+ y z)) y)

simplify56.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049571080
149571080

prune108.0ms

Filtered
64 candidates to 86 candidates (-34.4%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New86086
Fresh055
Picked011
Done000
Total86692

Merged error: 0.2b

Counts
92 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (/ (pow (/ y (+ y z)) y) y))
6.6b
(pow (/ y (+ y z)) y)
6.6b
(pow (/ y (+ y z)) y)
6.6b
(pow (/ y (+ y z)) y)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
117×*-un-lft-identity
108×unpow-prod-down
81×add-sqr-sqrt add-cube-cbrt
70×cbrt-prod
18×distribute-lft-out
13×add-exp-log
12×associate-/r/
9×pow-unpow
7×pow1 div-inv
6×flip3-+ pow-exp flip-+ sqr-pow
4×add-cbrt-cube add-log-exp
3×pow-to-exp pow-pow div-exp
1×cbrt-div pow1/3
Counts
4 → 178
Calls
4 calls:
13.0ms
(cbrt (/ (pow (/ y (+ y z)) y) y))
7.0ms
(pow (/ y (+ y z)) y)
6.0ms
(pow (/ y (+ y z)) y)
6.0ms
(pow (/ y (+ y z)) y)

series97.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(cbrt (/ (pow (/ y (+ y z)) y) y))
18.0ms
(pow (/ y (+ y z)) y)
18.0ms
(pow (/ y (+ y z)) y)
18.0ms
(pow (/ y (+ y z)) y)

simplify67.0ms

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049723782
149723782

prune240.0ms

Filtered
143 candidates to 190 candidates (-32.9%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1891190
Fresh044
Picked101
Done011
Total1906196

Merged error: 0.2b

Counts
196 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt y)
6.6b
(pow (/ y (+ y z)) y)
6.6b
(pow (/ y (+ y z)) y)
6.6b
(pow (/ y (+ y z)) y)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
54×unpow-prod-down
50×*-un-lft-identity
36×times-frac
32×add-sqr-sqrt add-cube-cbrt
13×add-exp-log
9×pow-unpow distribute-lft-out
7×pow1
6×pow-exp associate-/r/
4×add-cbrt-cube add-log-exp
3×cbrt-prod pow-to-exp pow-pow flip3-+ div-exp flip-+ div-inv sqr-pow
1×pow1/3
Counts
4 → 110
Calls
4 calls:
1.0ms
(cbrt y)
6.0ms
(pow (/ y (+ y z)) y)
7.0ms
(pow (/ y (+ y z)) y)
6.0ms
(pow (/ y (+ y z)) y)

series77.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt y)
21.0ms
(pow (/ y (+ y z)) y)
17.0ms
(pow (/ y (+ y z)) y)
18.0ms
(pow (/ y (+ y z)) y)

simplify69.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049491802
149491802

prune129.0ms

Filtered
88 candidates to 122 candidates (-38.6%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1220122
Fresh044
Picked011
Done011
Total1226128

Merged error: 0.2b

Counts
128 → 6

regimes201.0ms

bsearch62.0ms

Steps
ItersRangePoint
8
-1.2946721603137682e-17
-5.815503813048762e-22
-2.5323652634334058e-18

Profiling

Loading profile data...