Details

Time bar (total: 2.6s)

analyze6.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 13 to 11 computations (15.4% saved)

sample1.2s (47.7%)

Results
470.0ms2051×body512valid
439.0ms4718×body128valid
162.0ms1037×body256valid
135.0ms450×body1024valid
Compiler

Compiled 38 to 32 computations (15.8% saved)

simplify10.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
39×fma-def_binary64
32×fma-neg_binary64
14×cancel-sign-sub-inv_binary64
13×sub-neg_binary64
10×distribute-rgt-in_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0816
11616
22116
32916
43716
55516
68016
79716
811416
912416
1012816
1113016
1211616

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
13.1b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶13.1b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
Compiler

Compiled 47 to 39 computations (17% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series7.0ms (0.3%)

Counts
3 → 36
Calls

3 calls:

3.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
2.0ms
(/.f64 1 (-.f64 x 1))
2.0ms
(/.f64 1 (+.f64 x 1))

rewrite104.0ms (4%)

Algorithm
2×batch-egg-rewrite
Rules
867×prod-diff_binary64
441×fma-def_binary64
272×fma-neg_binary64
200×egg-rr
162×expm1-udef_binary64
Counts
3 → 200
Calls

3 calls:

98.0ms
(/.f64 1 (+.f64 x 1))
98.0ms
(/.f64 1 (-.f64 x 1))
98.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0830
119230
2253730
3491030
4493830
000
100

simplify63.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
748×unswap-sqr_binary64
435×associate-*l*_binary64
355×fma-neg_binary64
344×associate-/r*_binary64
301×associate-*r*_binary64
Counts
236 → 241
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
065575
1197543
2573540
31610537
44128537
55539537

prune202.0ms (7.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2383241
Fresh000
Picked011
Done000
Total2384242
Error
0.2b
Counts
242 → 4
Alt Table
StatusErrorProgram
12.7b
(/.f64 (-.f64 (-.f64 x 1) (+.f64 1 x)) (fma.f64 x x -1))
✓13.1b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
30.7b
(-.f64 (/.f64 -2 (*.f64 x x)) (/.f64 2 (pow.f64 x 4)))
▶12.7b
(/.f64 (/.f64 (-.f64 (-.f64 x 1) (+.f64 1 x)) (+.f64 1 x)) (-.f64 x 1))
Compiler

Compiled 6112 to 4974 computations (18.6% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series6.0ms (0.2%)

Counts
3 → 36
Calls

3 calls:

3.0ms
(/.f64 (/.f64 (-.f64 (-.f64 x 1) (+.f64 1 x)) (+.f64 1 x)) (-.f64 x 1))
2.0ms
(/.f64 (-.f64 (-.f64 x 1) (+.f64 1 x)) (+.f64 1 x))
1.0ms
(-.f64 (-.f64 x 1) (+.f64 1 x))

rewrite95.0ms (3.7%)

Algorithm
2×batch-egg-rewrite
Rules
915×prod-diff_binary64
246×egg-rr
177×log1p-udef_binary64
102×add-sqr-sqrt_binary64
100×log1p-expm1-u_binary64
Counts
3 → 246
Calls

3 calls:

90.0ms
(/.f64 (-.f64 (-.f64 x 1) (+.f64 1 x)) (+.f64 1 x))
90.0ms
(/.f64 (/.f64 (-.f64 (-.f64 x 1) (+.f64 1 x)) (+.f64 1 x)) (-.f64 x 1))
90.0ms
(-.f64 (-.f64 x 1) (+.f64 1 x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0848
120134
2314134
3518734
000
100

simplify75.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
453×times-frac_binary64
453×fma-neg_binary64
428×div-sub_binary64
355×unswap-sqr_binary64
339×associate-/r*_binary64
Counts
282 → 275
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
055421
1178401
2514392
31549387
44295387
54931387
65471387

prune209.0ms (8.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2723275
Fresh202
Picked101
Done011
Total2754279
Error
0.0b
Counts
279 → 4
Alt Table
StatusErrorProgram
30.8b
(/.f64 -2 (*.f64 x x))
12.7b
(/.f64 (-.f64 x (+.f64 2 x)) (fma.f64 x x -1))
✓13.1b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
▶0.1b
(/.f64 (/.f64 -2 (+.f64 1 x)) (-.f64 x 1))
Compiler

Compiled 7660 to 5437 computations (29% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 -2 (+.f64 1 x))
✓0.1b
(/.f64 (/.f64 -2 (+.f64 1 x)) (-.f64 x 1))

series6.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(/.f64 -2 (+.f64 1 x))
3.0ms
(/.f64 (/.f64 -2 (+.f64 1 x)) (-.f64 x 1))

rewrite85.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
421×log-prod_binary64
385×prod-diff_binary64
207×fma-def_binary64
195×log-div_binary64
158×expm1-udef_binary64
Counts
2 → 72
Calls

2 calls:

83.0ms
(/.f64 -2 (+.f64 1 x))
83.0ms
(/.f64 (/.f64 -2 (+.f64 1 x)) (-.f64 x 1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0820
118715
2248015
3496115
4536315
000
100

simplify72.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
453×times-frac_binary64
453×fma-neg_binary64
428×div-sub_binary64
355×unswap-sqr_binary64
339×associate-/r*_binary64
Counts
96 → 101
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
055409
1178389
2514380
31549375
44295375
54931375
65471375

prune64.0ms (2.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New983101
Fresh202
Picked011
Done101
Total1014105
Error
0.0b
Counts
105 → 4
Alt Table
StatusErrorProgram
23.9b
(/.f64 (*.f64 (/.f64 -2 (+.f64 1 (pow.f64 x 3))) (fma.f64 x (-.f64 x 1) 1)) (-.f64 x 1))
26.1b
(*.f64 (/.f64 (/.f64 -2 (+.f64 1 x)) (+.f64 (pow.f64 x 3) -1)) (fma.f64 x x (+.f64 1 x)))
▶0.3b
(/.f64 -2 (fma.f64 x x -1))
✓0.1b
(/.f64 (/.f64 -2 (+.f64 1 x)) (-.f64 x 1))
Compiler

Compiled 1504 to 1198 computations (20.3% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 -2 (fma.f64 x x -1))

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(/.f64 -2 (fma.f64 x x -1))

rewrite71.0ms (2.7%)

Algorithm
2×batch-egg-rewrite
Rules
502×log1p-expm1-u_binary64
502×expm1-log1p-u_binary64
260×unpow-prod-down_binary64
229×log-prod_binary64
145×pow2_binary64
Counts
1 → 39
Calls

1 calls:

70.0ms
(/.f64 -2 (fma.f64 x x -1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11228
213208
349418
450558
000
100

simplify62.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
675×fma-def_binary64
414×unswap-sqr_binary64
344×distribute-neg-frac_binary64
327×div-sub_binary64
243×associate-*l*_binary64
Counts
51 → 54
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
038227
1116209
2328206
3957203
42990200
54474200
64946200

prune35.0ms (1.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New54054
Fresh022
Picked011
Done011
Total54458
Error
0.0b
Counts
58 → 4
Alt Table
StatusErrorProgram
23.9b
(/.f64 (*.f64 (/.f64 -2 (+.f64 1 (pow.f64 x 3))) (fma.f64 x (-.f64 x 1) 1)) (-.f64 x 1))
26.1b
(*.f64 (/.f64 (/.f64 -2 (+.f64 1 x)) (+.f64 (pow.f64 x 3) -1)) (fma.f64 x x (+.f64 1 x)))
✓0.3b
(/.f64 -2 (fma.f64 x x -1))
✓0.1b
(/.f64 (/.f64 -2 (+.f64 1 x)) (-.f64 x 1))
Compiler

Compiled 745 to 584 computations (21.6% saved)

regimes77.0ms (3%)

Accuracy

Total 0.1b remaining (80.1%)

Threshold costs 0.1b (80.1%)

Counts
44 → 1
Compiler

Compiled 1306 to 1046 computations (19.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11413
21513
31313

end79.0ms (3.1%)

Compiler

Compiled 75 to 58 computations (22.7% saved)

Profiling

Loading profile data...