Details

Time bar (total: 3.1s)

analyze21.0ms (0.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%25%25%3
50%0%50%4
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample47.0ms (1.5%)

Algorithm
1×intervals
Results
19.0ms59×body1024valid
9.0ms134×body128valid
6.0ms39×body512valid
4.0ms10×body2048valid
1.0ms14×body256valid
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify13.0ms (0.4%)

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

Useful iterations: 1 (0.0ms)

IterNodesCost
0711
1128
2178
3248
4318
5488
6738
7938
81108
91208
101248
111268
121128

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
29.6b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶29.6b
(-.f64 (log1p.f64 N) (log.f64 N))
Compiler

Compiled 18 to 12 computations (33.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

1.4b
(-.f64 (log1p.f64 N) (log.f64 N))

rewrite28.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
29.1b
Rules
14×*-un-lft-identity_binary64
13×add-sqr-sqrt_binary64
12×prod-diff_binary64
11×add-cube-cbrt_binary64
6×pow1_binary64
Counts
1 → 39
Calls

1 calls:

4.0ms
(-.f64 (log1p.f64 N) (log.f64 N))
Compiler

Compiled 558 to 133 computations (76.2% saved)

series19.0ms (0.6%)

Error
0.0b
Counts
1 → 12
Calls

1 calls:

11.0ms
(-.f64 (log1p.f64 N) (log.f64 N))
Compiler

Compiled 261 to 208 computations (20.3% saved)

simplify120.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
435×fma-neg_binary64
299×fma-def_binary64
276×associate-*l*_binary64
252×associate-/r*_binary64
244×cancel-sign-sub-inv_binary64
Counts
51 → 35
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0102928
1214635
2600575
32045572
44184572
54526572
64942572
74836572

prune17.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New32335
Fresh000
Picked011
Done000
Total32436
Error
0.0b
Counts
36 → 4
Alt Table
StatusErrorProgram
✓29.6b
(-.f64 (log1p.f64 N) (log.f64 N))
29.7b
(/.f64 (-.f64 (pow.f64 (log1p.f64 N) 3) (pow.f64 (log.f64 N) 3)) (fma.f64 (log.f64 N) (log.f64 N) (*.f64 (log1p.f64 N) (+.f64 (log.f64 N) (log1p.f64 N)))))
▶29.6b
(log.f64 (/.f64 (+.f64 N 1) N))
32.3b
(-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N)))
Compiler

Compiled 279 to 139 computations (50.2% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 N 1) N)
1.6b
(log.f64 (/.f64 (+.f64 N 1) N))

rewrite39.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
33×*-un-lft-identity_binary64
24×times-frac_binary64
19×add-sqr-sqrt_binary64
19×add-cube-cbrt_binary64
16×log-prod_binary64
Counts
2 → 64
Calls

2 calls:

4.0ms
(/.f64 (+.f64 N 1) N)
3.0ms
(log.f64 (/.f64 (+.f64 N 1) N))
Compiler

Compiled 727 to 502 computations (30.9% saved)

series22.0ms (0.7%)

Error
0.0b
Counts
2 → 18
Calls

2 calls:

11.0ms
(log.f64 (/.f64 (+.f64 N 1) N))
6.0ms
(/.f64 (+.f64 N 1) N)
Compiler

Compiled 326 to 264 computations (19% saved)

simplify105.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
810×fma-def_binary64
426×distribute-rgt-in_binary64
410×fma-neg_binary64
395×associate-/l/_binary64
364×distribute-lft-in_binary64
Counts
82 → 49
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01191190
12621104
26591082
318471075
445041037
550251037

prune19.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New48149
Fresh202
Picked011
Done101
Total51253
Error
0b
Counts
53 → 2
Alt Table
StatusErrorProgram
▶0.5b
(expm1.f64 (log1p.f64 (log1p.f64 (/.f64 1 N))))
✓29.6b
(log.f64 (/.f64 (+.f64 N 1) N))
Compiler

Compiled 446 to 326 computations (26.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(log1p.f64 (log1p.f64 (/.f64 1 N)))
0.6b
(expm1.f64 (log1p.f64 (log1p.f64 (/.f64 1 N))))

rewrite11.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
3×expm1-log1p-u_binary64
2×*-un-lft-identity_binary64
2×add-sqr-sqrt_binary64
2×add-cube-cbrt_binary64
2×add-cbrt-cube_binary64
Counts
2 → 22
Calls

2 calls:

0.0ms
(log1p.f64 (log1p.f64 (/.f64 1 N)))
0.0ms
(expm1.f64 (log1p.f64 (log1p.f64 (/.f64 1 N))))
Compiler

Compiled 228 to 197 computations (13.6% saved)

series41.0ms (1.3%)

Error
0b
Counts
2 → 24
Calls

2 calls:

17.0ms
(expm1.f64 (log1p.f64 (log1p.f64 (/.f64 1 N))))
14.0ms
(log1p.f64 (log1p.f64 (/.f64 1 N)))
Compiler

Compiled 895 to 692 computations (22.7% saved)

simplify76.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
756×div-sub_binary64
513×fma-neg_binary64
273×sub-neg_binary64
195×associate-+l+_binary64
166×associate--l+_binary64
Counts
46 → 29
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
095855
1246743
2736688
32787682
44836682
56519682

prune12.0ms (0.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New29029
Fresh000
Picked011
Done011
Total29231
Error
0b
Counts
31 → 2
Alt Table
StatusErrorProgram
0.5b
(expm1.f64 (log1p.f64 (log1p.f64 (/.f64 1 N))))
29.6b
(log.f64 (/.f64 (+.f64 N 1) N))
Compiler

Compiled 309 to 203 computations (34.3% saved)

regimes53.0ms (1.7%)

Accuracy

Total -0.0b remaining (-1.5%)

Threshold costs -0.0b (-1.5%)

Compiler

Compiled 860 to 452 computations (47.4% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
176
266

end0.0ms (0%)

Compiler

Compiled 5 to 4 computations (20% saved)

sample2.4s (78.6%)

Algorithm
1×intervals
Results
909.0ms2031×body1024valid
553.0ms4295×body128valid
374.0ms980×body512valid
198.0ms241×body2048valid
80.0ms453×body256valid
Compiler

Compiled 29 to 23 computations (20.7% saved)

Profiling

Loading profile data...