Details

Time bar (total: 4.7s)

analyze44.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)

sample83.0ms (1.8%)

Algorithm
1×intervals
Results
33.0ms69×body1024valid
17.0ms42×body512valid
15.0ms128×body128valid
4.0ms5×body2048valid
2.0ms12×body256valid
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify25.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 → 2
Iterations

Useful iterations: 1 (0.0ms)

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

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
30.7b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶30.7b
(-.f64 (log1p.f64 N) (log.f64 N))
Compiler

Compiled 25 to 16 computations (36% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓2.3b
(-.f64 (log1p.f64 N) (log.f64 N))

rewrite35.0ms (0.7%)

Algorithm
1×rewrite-expression-head
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:

28.0ms
(-.f64 (log1p.f64 N) (log.f64 N))

series10.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

10.0ms
(-.f64 (log1p.f64 N) (log.f64 N))

simplify129.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
1160×fma-neg_binary64
429×distribute-rgt-in_binary64
321×distribute-lft-in_binary64
304×cancel-sign-sub-inv_binary64
249×fma-def_binary64
Counts
60 → 88
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
099790
1240780
2674766
31816763
44432751
54970751
64808751

prune99.0ms (2.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New86288
Fresh000
Picked101
Done000
Total87289
Error
0.0b
Counts
89 → 2
Alt Table
StatusErrorProgram
▶30.6b
(log.f64 (/.f64 (+.f64 1 N) N))
31.1b
(fma.f64 (pow.f64 N -2) -1/2 (/.f64 1 N))
Compiler

Compiled 1167 to 416 computations (64.4% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (+.f64 1 N) N)
✓2.2b
(log.f64 (/.f64 (+.f64 1 N) N))

rewrite56.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
24×add-cube-cbrt_binary64
11×pow1_binary64
10×add-exp-log_binary64
10×add-cbrt-cube_binary64
8×add-sqr-sqrt_binary64
Counts
2 → 89
Calls

2 calls:

25.0ms
(/.f64 (+.f64 1 N) N)
21.0ms
(log.f64 (/.f64 (+.f64 1 N) N))

series19.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

12.0ms
(/.f64 (+.f64 1 N) N)
7.0ms
(log.f64 (/.f64 (+.f64 1 N) N))

simplify125.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
475×associate-/l*_binary64
429×fma-neg_binary64
397×fma-def_binary64
364×associate-/r*_binary64
212×distribute-rgt-in_binary64
Counts
113 → 175
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01241297
13131172
210541055
34475998
44958998

prune123.0ms (2.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1732175
Fresh101
Picked101
Done000
Total1752177
Error
0.0b
Counts
177 → 2
Alt Table
StatusErrorProgram
▶0.0b
(neg.f64 (neg.f64 (log1p.f64 (/.f64 1 N))))
15.7b
(*.f64 (cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))) (cbrt.f64 (log1p.f64 (/.f64 1 N))))
Compiler

Compiled 1789 to 1293 computations (27.7% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite21.0ms (0.4%)

Algorithm
1×rewrite-expression-head
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:

17.0ms
(log1p.f64 (/.f64 1 N))

series6.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

6.0ms
(log1p.f64 (/.f64 1 N))

simplify119.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
736×fma-neg_binary64
510×cancel-sign-sub-inv_binary64
415×times-frac_binary64
285×associate-/l/_binary64
261×div-sub_binary64
Counts
41 → 54
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
050375
1115360
2253360
3627357
41726357
54334357
64670357
74873357

prune40.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New54054
Fresh011
Picked011
Done000
Total54256
Error
0.0b
Counts
56 → 2
Alt Table
StatusErrorProgram
✓0.0b
(neg.f64 (neg.f64 (log1p.f64 (/.f64 1 N))))
▶15.7b
(*.f64 (cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))) (cbrt.f64 (log1p.f64 (/.f64 1 N))))
Compiler

Compiled 477 to 384 computations (19.5% saved)

localize19.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.4b
(*.f64 (cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))) (cbrt.f64 (log1p.f64 (/.f64 1 N))))
✓0.4b
(*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))
✓0.6b
(cbrt.f64 (log1p.f64 (/.f64 1 N)))
✓15.9b
(cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N))))

rewrite106.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Rules
22×pow1_binary64
22×add-cube-cbrt_binary64
18×add-sqr-sqrt_binary64
17×pow1/3_binary64
16×add-exp-log_binary64
Counts
4 → 143
Calls

4 calls:

27.0ms
(*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))
26.0ms
(*.f64 (cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))) (cbrt.f64 (log1p.f64 (/.f64 1 N))))
24.0ms
(cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N))))
18.0ms
(cbrt.f64 (log1p.f64 (/.f64 1 N)))

series54.0ms (1.2%)

Counts
4 → 48
Calls

4 calls:

22.0ms
(cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N))))
19.0ms
(cbrt.f64 (log1p.f64 (/.f64 1 N)))
7.0ms
(*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))
6.0ms
(*.f64 (cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))) (cbrt.f64 (log1p.f64 (/.f64 1 N))))

simplify210.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
830×fma-def_binary64
499×cancel-sign-sub-inv_binary64
451×fma-neg_binary64
188×sub-neg_binary64
184×associate-*r*_binary64
Counts
191 → 308
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02672915
16952480
221532323
342742269
448532269
549072269

prune331.0ms (7.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New3071308
Fresh000
Picked011
Done011
Total3073310
Error
0b
Counts
310 → 3
Alt Table
StatusErrorProgram
16.5b
(*.f64 (cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))) (exp.f64 (log.f64 (cbrt.f64 (log1p.f64 (/.f64 1 N))))))
✓0.0b
(neg.f64 (neg.f64 (log1p.f64 (/.f64 1 N))))
✓15.7b
(*.f64 (cbrt.f64 (*.f64 (log1p.f64 (/.f64 1 N)) (log1p.f64 (/.f64 1 N)))) (cbrt.f64 (log1p.f64 (/.f64 1 N))))
Compiler

Compiled 4840 to 3912 computations (19.2% saved)

regimes168.0ms (3.6%)

Accuracy

Total 0.0b remaining (14.7%)

Threshold costs 0.0b (14.7%)

Compiler

Compiled 1178 to 990 computations (16% saved)

simplify5.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
056
176
266

end1.0ms (0%)

Compiler

Compiled 5 to 4 computations (20% saved)

sample2.8s (60.3%)

Algorithm
1×intervals
Results
1.2s1988×body1024valid
529.0ms4257×body128valid
352.0ms1012×body512valid
199.0ms247×body2048valid
101.0ms496×body256valid
Compiler

Compiled 58 to 48 computations (17.2% saved)

Profiling

Loading profile data...