Details

Time bar (total: 4.2s)

analyze5.0ms (0.1%)

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

Compiled 14 to 12 computations (14.3% saved)

sample3.8s (90.3%)

Results
2.4s4113×body1024valid
779.0ms2085×body512valid
325.0ms408×body2048valid
251.0ms1052×body256valid
75.0ms598×body128valid
Compiler

Compiled 41 to 35 computations (14.6% saved)

simplify23.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
387×fma-neg_binary64
250×rules-42_binary64
246×fma-def_binary64
235×rules-40_binary64
221×rules-41_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01115
15814
213114
337214
489014
5914

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
49.8b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶49.8b
(*.f64 1/2 (-.f64 (log1p.f64 x) (log.f64 (-.f64 1 x))))
57.6b
(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
Compiler

Compiled 68 to 56 computations (17.6% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (log1p.f64 x) (log.f64 (-.f64 1 x)))
✓5.3b
(log.f64 (-.f64 1 x))

series6.0ms (0.1%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(-.f64 (log1p.f64 x) (log.f64 (-.f64 1 x)))
3.0ms
(log.f64 (-.f64 1 x))

rewrite53.0ms (1.3%)

Algorithm
2×batch-egg-rewrite
Rules
691×expm1-log1p-u_binary64
690×log1p-expm1-u_binary64
475×prod-diff_binary64
77×egg-rr
69×add-sqr-sqrt_binary64
Counts
2 → 77
Calls

2 calls:

51.0ms
(-.f64 (log1p.f64 x) (log.f64 (-.f64 1 x)))
51.0ms
(log.f64 (-.f64 1 x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
116017
2195417
3532617
000
100

simplify41.0ms (1%)

Algorithm
1×egg-herbie
Rules
671×rules-41_binary64
671×rules-43_binary64
670×rules-40_binary64
670×rules-42_binary64
387×rules-21_binary64
Counts
101 → 120
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
081393
1555385
22346385
34991385

prune64.0ms (1.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1191120
Fresh101
Picked101
Done000
Total1211122
Error
0b
Counts
122 → 1
Alt Table
StatusErrorProgram
▶0b
(*.f64 1/2 (fma.f64 2/5 (pow.f64 x 5) (fma.f64 2 (fma.f64 1/3 (pow.f64 x 3) x) (*.f64 2/7 (pow.f64 x 7)))))
Compiler

Compiled 2142 to 1614 computations (24.6% saved)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 2/7 (pow.f64 x 7))

series4.0ms (0.1%)

Counts
1 → 0
Calls

1 calls:

4.0ms
(*.f64 2/7 (pow.f64 x 7))

rewrite41.0ms (1%)

Algorithm
2×batch-egg-rewrite
Rules
515×log1p-expm1-u_binary64
515×expm1-log1p-u_binary64
352×fma-neg_binary64
244×log-prod_binary64
175×fma-def_binary64
Counts
1 → 34
Calls

1 calls:

40.0ms
(*.f64 2/7 (pow.f64 x 7))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11417
215597
348817
000
100

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune31.0ms (0.7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New34034
Fresh000
Picked011
Done000
Total34135
Error
0b
Counts
35 → 1
Alt Table
StatusErrorProgram
✓0b
(*.f64 1/2 (fma.f64 2/5 (pow.f64 x 5) (fma.f64 2 (fma.f64 1/3 (pow.f64 x 3) x) (*.f64 2/7 (pow.f64 x 7)))))
Compiler

Compiled 884 to 730 computations (17.4% saved)

regimes58.0ms (1.4%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
17 → 1
Compiler

Compiled 1104 to 878 computations (20.5% saved)

simplify1.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01828
11828

end57.0ms (1.4%)

Compiler

Compiled 63 to 51 computations (19% saved)

Profiling

Loading profile data...