Details

Time bar (total: 2.5s)

analyze23.0ms (0.9%)

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)

sample48.0ms (1.9%)

Algorithm
1×intervals
Results
21.0ms59×body1024valid
9.0ms139×body128valid
7.0ms37×body512valid
2.0ms5×body2048valid
2.0ms16×body256valid
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify13.0ms (0.5%)

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
28.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶28.2b
(-.f64 (log1p.f64 N) (log.f64 N))
Compiler

Compiled 18 to 12 computations (33.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite50.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
27.8b
Rules
13×add-cube-cbrt_binary64
9×pow1_binary64
6×add-sqr-sqrt_binary64
5×flip3--_binary64
5×log-pow_binary64
Counts
1 → 48
Calls

1 calls:

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

Compiled 747 to 219 computations (70.7% saved)

series18.0ms (0.7%)

Error
0.1b
Counts
1 → 11
Calls

1 calls:

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

Compiled 245 to 197 computations (19.6% saved)

simplify103.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
561×fma-neg_binary64
421×distribute-rgt-in_binary64
315×distribute-lft-in_binary64
273×cancel-sign-sub-inv_binary64
236×associate-/r*_binary64
Counts
59 → 37
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
096768
1230760
2632746
31674746
44315734
54870676
64770676

prune20.0ms (0.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New35237
Fresh000
Picked101
Done000
Total36238
Error
0.0b
Counts
38 → 2
Alt Table
StatusErrorProgram
0.5b
(*.f64 (sqrt.f64 (log1p.f64 (/.f64 1 N))) (sqrt.f64 (log1p.f64 (/.f64 1 N))))
▶0.0b
(+.f64 (log1p.f64 (/.f64 1 N)) 0)
Compiler

Compiled 429 to 252 computations (41.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite21.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
5×add-cube-cbrt_binary64
4×pow1_binary64
4×add-sqr-sqrt_binary64
4×expm1-log1p-u_binary64
3×add-cbrt-cube_binary64
Counts
1 → 29
Calls

1 calls:

8.0ms
(log1p.f64 (/.f64 1 N))
Compiler

Compiled 236 to 203 computations (14% saved)

series14.0ms (0.5%)

Error
0.0b
Counts
1 → 11
Calls

1 calls:

10.0ms
(log1p.f64 (/.f64 1 N))
Compiler

Compiled 283 to 235 computations (17% saved)

simplify79.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
481×div-sub_binary64
465×fma-def_binary64
415×times-frac_binary64
387×fma-neg_binary64
325×cancel-sign-sub-inv_binary64
Counts
40 → 12
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
047353
1105340
2211340
3486340
41329340
54368340
64591340
75101340

prune6.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New12012
Fresh011
Picked011
Done000
Total12214
Error
0.0b
Counts
14 → 2
Alt Table
StatusErrorProgram
▶0.5b
(*.f64 (sqrt.f64 (log1p.f64 (/.f64 1 N))) (sqrt.f64 (log1p.f64 (/.f64 1 N))))
✓0.0b
(+.f64 (log1p.f64 (/.f64 1 N)) 0)
Compiler

Compiled 135 to 104 computations (23% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(log1p.f64 (/.f64 1 N))
0.1b
(sqrt.f64 (log1p.f64 (/.f64 1 N)))
0.1b
(sqrt.f64 (log1p.f64 (/.f64 1 N)))
0.5b
(*.f64 (sqrt.f64 (log1p.f64 (/.f64 1 N))) (sqrt.f64 (log1p.f64 (/.f64 1 N))))

rewrite116.0ms (4.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
29×add-sqr-sqrt_binary64
24×add-cube-cbrt_binary64
23×pow1/2_binary64
15×rem-sqrt-square_binary64
14×pow1_binary64
Counts
4 → 150
Calls

4 calls:

15.0ms
(*.f64 (sqrt.f64 (log1p.f64 (/.f64 1 N))) (sqrt.f64 (log1p.f64 (/.f64 1 N))))
12.0ms
(log1p.f64 (/.f64 1 N))
10.0ms
(sqrt.f64 (log1p.f64 (/.f64 1 N)))
9.0ms
(sqrt.f64 (log1p.f64 (/.f64 1 N)))
Compiler

Compiled 1770 to 1498 computations (15.4% saved)

series53.0ms (2.1%)

Error
0.0b
Counts
4 → 32
Calls

4 calls:

12.0ms
(sqrt.f64 (log1p.f64 (/.f64 1 N)))
11.0ms
(log1p.f64 (/.f64 1 N))
10.0ms
(sqrt.f64 (log1p.f64 (/.f64 1 N)))
9.0ms
(*.f64 (sqrt.f64 (log1p.f64 (/.f64 1 N))) (sqrt.f64 (log1p.f64 (/.f64 1 N))))
Compiler

Compiled 1226 to 890 computations (27.4% saved)

simplify100.0ms (4%)

Algorithm
1×egg-herbie
Rules
723×unswap-sqr_binary64
367×fma-neg_binary64
338×fma-def_binary64
337×times-frac_binary64
303×log-prod_binary64
Counts
182 → 77
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01071646
12091544
25231493
316101481
446301481
552191481

prune31.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New77077
Fresh000
Picked011
Done011
Total77279
Error
0.0b
Counts
79 → 2
Alt Table
StatusErrorProgram
0.5b
(*.f64 (sqrt.f64 (log1p.f64 (/.f64 1 N))) (sqrt.f64 (log1p.f64 (/.f64 1 N))))
0.0b
(+.f64 (log1p.f64 (/.f64 1 N)) 0)
Compiler

Compiled 743 to 555 computations (25.3% saved)

regimes136.0ms (5.5%)

Accuracy

Total 0.0b remaining (10.1%)

Threshold costs 0.0b (10.1%)

Compiler

Compiled 1296 to 782 computations (39.7% 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)

sample1.6s (65.8%)

Algorithm
1×intervals
Results
698.0ms2062×body1024valid
299.0ms4176×body128valid
190.0ms989×body512valid
113.0ms268×body2048valid
86.0ms505×body256valid
Compiler

Compiled 34 to 28 computations (17.6% saved)

Profiling

Loading profile data...