Details

Time bar (total: 5.0s)

analyze1.2s (24.8%)

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)

sample2.8s (55.6%)

Results
1.2s6356×body128valid
679.0ms932×body1024valid
281.0ms623×body512valid
206.0ms1533×body128invalid
118.0ms190×body1024invalid
107.0ms224×body512invalid
101.0ms340×body256valid
53.0ms151×body256invalid
5.0ms5×body2048valid
Compiler

Compiled 50 to 32 computations (36% saved)

simplify54.0ms (1.1%)

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)

series174.0ms (3.5%)

Counts
3 → 84
Calls

3 calls:

124.0ms
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
37.0ms
(pow.f64 (/.f64 y (+.f64 y z)) y)
12.0ms
(/.f64 y (+.f64 y z))

rewrite34.0ms (0.7%)

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:

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

simplify105.0ms (2.1%)

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

prune152.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))
✓5.0b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
11.4b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) 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))

simplify94.0ms (1.9%)

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

prune19.0ms (0.4%)

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))
✓5.0b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
▶11.4b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) 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)

series20.0ms (0.4%)

Counts
2 → 44
Calls

2 calls:

11.0ms
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
8.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)

simplify98.0ms (2%)

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

prune39.0ms (0.8%)

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))
✓5.0b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
✓11.4b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
Compiler

Compiled 1147 to 384 computations (66.5% saved)

regimes73.0ms (1.5%)

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)

bsearch31.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

end50.0ms (1%)

Compiler

Compiled 70 to 47 computations (32.9% saved)

Profiling

Loading profile data...