Details

Time bar (total: 5.5s)

analyze1.3s (24.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
0%99.9%0.1%8
2.3%91.3%6.4%9
3.5%87%9.5%10
4.1%86.4%9.5%11
18.4%66.6%15%12
20.5%61.8%17.7%13
21.9%60.4%17.7%14
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample3.2s (57.8%)

Results
1.1s6356×body128valid
1.0s932×body1024valid
318.0ms623×body512valid
212.0ms1533×body128invalid
136.0ms190×body1024invalid
115.0ms340×body256valid
103.0ms224×body512invalid
43.0ms151×body256invalid
8.0ms5×body2048valid
Compiler

Compiled 50 to 32 computations (36% saved)

simplify49.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
851×fma-def_binary64
522×unswap-sqr_binary64
335×fma-neg_binary64
256×associate-*l*_binary64
216×associate-*r*_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01120
11916
22816
35616
411916
528016
667216
7228416
8439816
9495316

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
5.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶5.0b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
Compiler

Compiled 55 to 31 computations (43.6% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
✓0.0b
(/.f64 y (+.f64 y z))
✓5.4b
(pow.f64 (/.f64 y (+.f64 y z)) y)

series163.0ms (3%)

Counts
3 → 84
Calls

3 calls:

115.0ms
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
39.0ms
(pow.f64 (/.f64 y (+.f64 y z)) y)
9.0ms
(/.f64 y (+.f64 y z))

rewrite33.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
38×*-un-lft-identity_binary64
24×times-frac_binary64
22×add-sqr-sqrt_binary64
22×add-cube-cbrt_binary64
18×unpow-prod-down_binary64
Counts
3 → 87
Calls

3 calls:

18.0ms
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
5.0ms
(pow.f64 (/.f64 y (+.f64 y z)) y)
5.0ms
(/.f64 y (+.f64 y z))

simplify94.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
310×fma-def_binary64
259×times-frac_binary64
255×associate-+r+_binary64
246×associate-*r*_binary64
205×associate-+l+_binary64
Counts
171 → 225
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04325061
113074883
250524883

prune168.0ms (3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2232225
Fresh000
Picked011
Done000
Total2233226
Error
0.0b
Counts
226 → 3
Alt Table
StatusErrorProgram
▶2.6b
(+.f64 x (/.f64 1 y))
11.4b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
✓5.0b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
Compiler

Compiled 6539 to 2863 computations (56.2% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (/.f64 1 y))

series4.0ms (0.1%)

Counts
1 → 24
Calls

1 calls:

4.0ms
(+.f64 x (/.f64 1 y))

rewrite5.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64
3×add-log-exp_binary64
3×fma-def_binary64
2×distribute-lft-out_binary64
2×add-sqr-sqrt_binary64
Counts
1 → 18
Calls

1 calls:

4.0ms
(+.f64 x (/.f64 1 y))

simplify93.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
572×unswap-sqr_binary64
448×fma-neg_binary64
321×fma-def_binary64
284×distribute-rgt-in_binary64
282×associate-+l+_binary64
Counts
42 → 28
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
030322
188302
2189299
3419299
41068299
52246299
63475299
74871299
84894299
94906299

prune14.0ms (0.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New28028
Fresh011
Picked011
Done011
Total28331
Error
0.0b
Counts
31 → 3
Alt Table
StatusErrorProgram
✓2.6b
(+.f64 x (/.f64 1 y))
▶11.4b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
✓5.0b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
Compiler

Compiled 334 to 224 computations (32.9% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
✓0.0b
(/.f64 (exp.f64 (neg.f64 z)) y)

series22.0ms (0.4%)

Counts
2 → 44
Calls

2 calls:

13.0ms
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
9.0ms
(/.f64 (exp.f64 (neg.f64 z)) y)

rewrite11.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
13×*-un-lft-identity_binary64
11×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
9×times-frac_binary64
4×add-cbrt-cube_binary64
Counts
2 → 48
Calls

2 calls:

5.0ms
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
4.0ms
(/.f64 (exp.f64 (neg.f64 z)) y)

simplify102.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
559×associate-/l*_binary64
517×fma-neg_binary64
466×fma-def_binary64
340×associate-/l/_binary64
311×associate-*l/_binary64
Counts
92 → 81
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01051172
12401134
25851126
315431124
443961117
548901117
649781117

prune38.0ms (0.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New81081
Fresh000
Picked011
Done022
Total81384
Error
0.0b
Counts
84 → 3
Alt Table
StatusErrorProgram
✓2.6b
(+.f64 x (/.f64 1 y))
✓11.4b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
✓5.0b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
Compiler

Compiled 1147 to 384 computations (66.5% saved)

regimes72.0ms (1.3%)

Accuracy

Total 0.8b remaining (98.7%)

Threshold costs 0.8b (98.7%)

Counts
8 → 2
Compiler

Compiled 542 to 352 computations (35.1% saved)

bsearch32.0ms (0.6%)

Steps
ItersRangePoint
9
8.569843854683783e-20
7.598235323923815e-7
6.849148383170328e-8
Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
1×*-commutative_binary64
1×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01524
12224
22424
32524
42424

end59.0ms (1.1%)

Compiler

Compiled 70 to 47 computations (32.9% saved)

Profiling

Loading profile data...