Details

Time bar (total: 2.0s)

analyze7.0ms (0.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
0%50%50%2
0%50%50%3
37.5%12.5%50%4
43.7%6.2%50%5
46.9%3.1%50%6
48.4%1.6%50%7
49.2%0.8%50%8
49.6%0.4%50%9
49.8%0.2%50%10
49.9%0.1%50%11
49.9%0%50%12
50%0%50%13
50%0%50%14
Compiler

Compiled 29 to 19 computations (34.5% saved)

sample1.3s (63.7%)

Alt Table
StatusErrorProgram
▶46.2b
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Results
1.2s8256×body128valid
Compiler

Compiled 136 to 89 computations (34.6% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (*.f64 i i) (*.f64 i i))
✓14.8b
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
✓42.4b
(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))

series10.0ms (0.5%)

Counts
3 → 36
Calls

3 calls:

4.0ms
(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))
4.0ms
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
3.0ms
(*.f64 (*.f64 i i) (*.f64 i i))

rewrite86.0ms (4.4%)

Algorithm
2×batch-egg-rewrite
Rules
508×prod-diff_binary64
200×log1p-udef_binary64
199×expm1-udef_binary64
151×times-frac_binary64
122×egg-rr
Counts
3 → 122
Calls

3 calls:

84.0ms
(*.f64 (*.f64 i i) (*.f64 i i))
84.0ms
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
84.0ms
(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01151
125540
2354240
3499840
000
100

prune94.0ms (4.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1553158
Fresh000
Picked101
Done000
Total1563159
Error
0b
Counts
159 → 3
Alt Table
StatusErrorProgram
31.4b
(neg.f64 (+.f64 (pow.f64 i 4) (*.f64 1/4 (pow.f64 i 2))))
▶15.3b
(/.f64 (*.f64 1/4 (pow.f64 i 2)) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
32.3b
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
Compiler

Compiled 3532 to 2588 computations (26.7% saved)

localize8.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓14.8b
(/.f64 (*.f64 1/4 (pow.f64 i 2)) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))

series4.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

4.0ms
(/.f64 (*.f64 1/4 (pow.f64 i 2)) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))

rewrite81.0ms (4.1%)

Algorithm
2×batch-egg-rewrite
Rules
595×prod-diff_binary64
237×fma-def_binary64
195×fma-neg_binary64
190×log1p-udef_binary64
189×expm1-udef_binary64
Counts
1 → 50
Calls

1 calls:

80.0ms
(/.f64 (*.f64 1/4 (pow.f64 i 2)) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
124617
2289517
3489217
4512017
000
100

prune46.0ms (2.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New61162
Fresh112
Picked011
Done000
Total62365
Error
0b
Counts
65 → 3
Alt Table
StatusErrorProgram
▶15.4b
(*.f64 1/4 (/.f64 1 (/.f64 (fma.f64 i (*.f64 i 4) -1) (*.f64 i i))))
32.3b
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
✓15.3b
(/.f64 (*.f64 1/4 (pow.f64 i 2)) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 1120 to 805 computations (28.1% saved)

localize9.0ms (0.5%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 1 (/.f64 (fma.f64 i (*.f64 i 4) -1) (*.f64 i i)))
✓14.8b
(/.f64 (fma.f64 i (*.f64 i 4) -1) (*.f64 i i))

series6.0ms (0.3%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(/.f64 1 (/.f64 (fma.f64 i (*.f64 i 4) -1) (*.f64 i i)))
3.0ms
(/.f64 (fma.f64 i (*.f64 i 4) -1) (*.f64 i i))

rewrite52.0ms (2.6%)

Algorithm
2×batch-egg-rewrite
Rules
883×log1p-expm1-u_binary64
883×expm1-log1p-u_binary64
94×add-sqr-sqrt_binary64
90×add-cbrt-cube_binary64
89×add-log-exp_binary64
Counts
2 → 75
Calls

2 calls:

50.0ms
(/.f64 1 (/.f64 (fma.f64 i (*.f64 i 4) -1) (*.f64 i i)))
50.0ms
(/.f64 (fma.f64 i (*.f64 i 4) -1) (*.f64 i i))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01031
120428
2231028
3545928
000
100

prune64.0ms (3.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New98199
Fresh101
Picked101
Done011
Total1002102
Error
0b
Counts
102 → 2
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 1/4 (/.f64 1 (-.f64 4 (/.f64 1 (pow.f64 i 2)))))
✓15.3b
(/.f64 (*.f64 1/4 (pow.f64 i 2)) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 1748 to 1307 computations (25.2% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 1 (-.f64 4 (/.f64 1 (pow.f64 i 2))))
✓0.8b
(/.f64 1 (pow.f64 i 2))

series5.0ms (0.3%)

Counts
2 → 12
Calls

2 calls:

3.0ms
(/.f64 1 (-.f64 4 (/.f64 1 (pow.f64 i 2))))
2.0ms
(/.f64 1 (pow.f64 i 2))

rewrite43.0ms (2.2%)

Algorithm
2×batch-egg-rewrite
Rules
813×log1p-expm1-u_binary64
813×expm1-log1p-u_binary64
89×add-sqr-sqrt_binary64
87×add-log-exp_binary64
86×add-cbrt-cube_binary64
Counts
2 → 51
Calls

2 calls:

42.0ms
(/.f64 1 (-.f64 4 (/.f64 1 (pow.f64 i 2))))
42.0ms
(/.f64 1 (pow.f64 i 2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
119914
2210414
3494814
000
100

prune42.0ms (2.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New63063
Fresh000
Picked011
Done011
Total63265
Error
0b
Counts
65 → 2
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 1/4 (/.f64 1 (-.f64 4 (/.f64 1 (pow.f64 i 2)))))
✓15.3b
(/.f64 (*.f64 1/4 (pow.f64 i 2)) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 865 to 765 computations (11.6% saved)

regimes80.0ms (4%)

Accuracy

Total 0.4b remaining (98.6%)

Threshold costs 0.4b (98.6%)

Counts
42 → 1
Compiler

Compiled 1230 to 943 computations (23.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×*-commutative_binary64
2×sub-neg_binary64
1×distribute-neg-frac_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01116
11616
22216
32416
42516
52316

end60.0ms (3.1%)

Compiler

Compiled 52 to 46 computations (11.5% saved)

Profiling

Loading profile data...