Details

Time bar (total: 3.4s)

analyze280.0ms (8.3%)

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
25%74.9%0.1%4
25%74.9%0.1%5
37.4%62.4%0.1%6
43.7%56.2%0.1%7
43.7%56.2%0.1%8
53%40.6%6.4%9
57.7%32.8%9.5%10
57.7%32.8%9.5%11
63.2%22.6%14.2%12
65.9%17.6%16.5%13
65.9%17.6%16.5%14
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample2.1s (62.6%)

Infinites
12.1% of outputs are infinite.
Results
898.0ms6107×body128valid
616.0ms965×body1024valid
271.0ms731×body512valid
106.0ms446×body256valid
104.0ms1011×body128invalid
6.0ms7×body2048valid
Compiler

Compiled 50 to 32 computations (36% saved)

simplify48.0ms (1.4%)

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
11.5b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶11.5b
(+.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))
✓7.0b
(pow.f64 (/.f64 y (+.f64 y z)) y)

series143.0ms (4.3%)

Counts
3 → 84
Calls

3 calls:

100.0ms
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
33.0ms
(pow.f64 (/.f64 y (+.f64 y z)) y)
10.0ms
(/.f64 y (+.f64 y z))

rewrite29.0ms (0.9%)

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:

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

simplify88.0ms (2.6%)

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

prune137.0ms (4.1%)

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
▶9.9b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
12.3b
(+.f64 x (/.f64 1 y))
✓11.5b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
Compiler

Compiled 6539 to 2863 computations (56.2% saved)

localize5.0ms (0.2%)

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)

series19.0ms (0.6%)

Counts
2 → 44
Calls

2 calls:

12.0ms
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
7.0ms
(/.f64 (exp.f64 (neg.f64 z)) y)

rewrite10.0ms (0.3%)

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)

simplify103.0ms (3.1%)

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 (1.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New81081
Fresh011
Picked011
Done011
Total81384
Error
0.0b
Counts
84 → 3
Alt Table
StatusErrorProgram
✓9.9b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
▶12.3b
(+.f64 x (/.f64 1 y))
✓11.5b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
Compiler

Compiled 1155 to 390 computations (66.2% saved)

localize7.0ms (0.2%)

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.2%)

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))

simplify92.0ms (2.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.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New28028
Fresh000
Picked011
Done022
Total28331
Error
0.0b
Counts
31 → 3
Alt Table
StatusErrorProgram
✓9.9b
(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))
✓12.3b
(+.f64 x (/.f64 1 y))
✓11.5b
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
Compiler

Compiled 324 to 217 computations (33% saved)

regimes126.0ms (3.8%)

Accuracy

Total 0.4b remaining (94.7%)

Threshold costs 0.4b (94.7%)

Counts
7 → 3
Compiler

Compiled 482 to 317 computations (34.2% saved)

bsearch42.0ms (1.2%)

Steps
ItersRangePoint
5
8.352645123044778e-30
3.027844432563723e-29
2.9538523048018434e-29
10
-19.611086892055088
-2.605323674394201e-11
-1.1242647605221334
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
01832
12832
23032
33132
43032

end51.0ms (1.5%)

Compiler

Compiled 80 to 55 computations (31.3% saved)

Profiling

Loading profile data...