Details

Time bar (total: 2.3s)

analyze7.0ms (0.3%)

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.6s (67.1%)

Alt Table
StatusErrorProgram
▶42.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.5s8256×body128valid
Compiler

Compiled 136 to 89 computations (34.6% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 (*.f64 i i) (*.f64 i i))
✓12.6b
(/.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))
✓39.0b
(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))

series13.0ms (0.5%)

Counts
3 → 36
Calls

3 calls:

7.0ms
(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i)))
3.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))
2.0ms
(*.f64 (*.f64 i i) (*.f64 i i))

rewrite88.0ms (3.8%)

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:

85.0ms
(*.f64 (*.f64 i i) (*.f64 i i))
85.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))
85.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

prune96.0ms (4.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1562158
Fresh000
Picked101
Done000
Total1572159
Error
0.0b
Counts
159 → 2
Alt Table
StatusErrorProgram
35.1b
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
▶13.0b
(/.f64 (*.f64 1/4 (pow.f64 i 2)) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 3510 to 2570 computations (26.8% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

series6.0ms (0.2%)

Counts
2 → 12
Calls

2 calls:

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

rewrite89.0ms (3.8%)

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
2 → 63
Calls

2 calls:

85.0ms
(*.f64 1/4 (pow.f64 i 2))
85.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
01126
124624
2289524
3489224
4512024
000
100

prune54.0ms (2.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New74175
Fresh011
Picked101
Done000
Total75277
Error
0b
Counts
77 → 2
Alt Table
StatusErrorProgram
35.1b
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
▶13.0b
(/.f64 (pow.f64 (*.f64 i 1/2) 2) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 1334 to 963 computations (27.8% saved)

localize9.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

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

rewrite56.0ms (2.4%)

Algorithm
2×batch-egg-rewrite
Rules
573×log-prod_binary64
448×prod-diff_binary64
237×fma-def_binary64
191×fma-neg_binary64
189×log1p-udef_binary64
Counts
1 → 46
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
124617
2279117
3551217
000
100

prune41.0ms (1.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New58058
Fresh011
Picked011
Done000
Total58260
Error
0b
Counts
60 → 2
Alt Table
StatusErrorProgram
▶35.1b
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
✓13.0b
(/.f64 (pow.f64 (*.f64 i 1/2) 2) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 1072 to 845 computations (21.2% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 1 (pow.f64 i 2))
✓0.4b
(*.f64 1/64 (/.f64 1 (pow.f64 i 2)))

series6.0ms (0.2%)

Counts
2 → 12
Calls

2 calls:

4.0ms
(*.f64 1/64 (/.f64 1 (pow.f64 i 2)))
2.0ms
(/.f64 1 (pow.f64 i 2))

rewrite41.0ms (1.8%)

Algorithm
2×batch-egg-rewrite
Rules
588×log1p-expm1-u_binary64
588×expm1-log1p-u_binary64
283×log-prod_binary64
172×pow2_binary64
121×expm1-udef_binary64
Counts
2 → 53
Calls

2 calls:

40.0ms
(/.f64 1 (pow.f64 i 2))
40.0ms
(*.f64 1/64 (/.f64 1 (pow.f64 i 2)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
116811
2159511
3487311
000
100

prune37.0ms (1.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New65065
Fresh000
Picked011
Done011
Total65267
Error
0b
Counts
67 → 2
Alt Table
StatusErrorProgram
✓35.1b
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
✓13.0b
(/.f64 (pow.f64 (*.f64 i 1/2) 2) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 675 to 540 computations (20% saved)

regimes122.0ms (5.3%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
51 → 2
Compiler

Compiled 1532 to 1163 computations (24.1% saved)

bsearch8.0ms (0.4%)

Steps
ItersRangePoint
3
2.4836999747385797
55940.76400384031
15556.696512906221
Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02439
12839
22839

end63.0ms (2.7%)

Compiler

Compiled 80 to 66 computations (17.5% saved)

Profiling

Loading profile data...