Details

Time bar (total: 7.7s)

analyze1.8s (23.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
0%50%50%2
0%50%50%3
0%50%50%4
3.1%46.8%50%5
4.7%45.3%50%6
5.5%44.5%50%7
5.9%44.1%50%8
6%43.9%50%9
6.1%43.8%50%10
6.2%43.8%50%11
6.2%43.7%50%12
6.2%43.7%50%13
6.2%43.7%50%14
Compiler

Compiled 17 to 13 computations (23.5% saved)

sample170.0ms (2.2%)

Algorithm
1×intervals
Results
90.0ms126×body1024valid
26.0ms71×body512valid
15.0ms17×body2048valid
5.0ms256×pre128true
5.0ms26×body256valid
1.0ms16×body128valid
Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify9.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
8×sub-neg_binary64
6×fma-def_binary64
5×+-commutative_binary64
4×associate-+l-_binary64
3×associate--r+_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0811
11410
21910
32510
43210
54210
65310
76610
87010
95310

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
Compiler

Compiled 30 to 22 computations (26.7% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

series18.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

18.0ms
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

rewrite3.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×*-un-lft-identity_binary64
9×times-frac_binary64
9×add-sqr-sqrt_binary64
9×add-cube-cbrt_binary64
3×associate-/r*_binary64
Counts
1 → 29
Calls

1 calls:

2.0ms
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

simplify50.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
742×associate-/r*_binary64
289×fma-def_binary64
234×times-frac_binary64
195×distribute-rgt-in_binary64
154×associate-/l/_binary64
Counts
41 → 55
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01821544
14921488
217111276
349111276

prune49.0ms (0.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New53255
Fresh000
Picked101
Done000
Total54256
Error
0b
Counts
56 → 2
Alt Table
StatusErrorProgram
▶0.0b
(log1p.f64 (expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))
0.2b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
Compiler

Compiled 1661 to 1035 computations (37.7% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)))
0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
✓0.0b
(log1p.f64 (expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))

series71.0ms (0.9%)

Counts
2 → 24
Calls

2 calls:

53.0ms
(expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)))
17.0ms
(log1p.f64 (expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))

rewrite2.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
3×log1p-expm1-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
(expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)))
0.0ms
(log1p.f64 (expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))

simplify94.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
370×associate-/r*_binary64
301×sub-neg_binary64
290×associate-+r+_binary64
232×+-commutative_binary64
221×times-frac_binary64
Counts
46 → 77
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03233891
110573698
244783692
351913692

prune179.0ms (2.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1320132
Fresh011
Picked011
Done000
Total1322134
Error
0b
Counts
134 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log1p.f64 (expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))
▶0.2b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
Compiler

Compiled 6712 to 4871 computations (27.4% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x))

series3.0ms (0%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x))

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x))

simplify71.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
962×distribute-lft-in_binary64
962×distribute-rgt-in_binary64
451×fma-def_binary64
244×associate-+r+_binary64
244×associate-+l+_binary64
Counts
22 → 26
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
029352
149321
2138319
3637267
43429267
54342267
64956267
74797267

prune21.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New26026
Fresh000
Picked011
Done011
Total26228
Error
0b
Counts
28 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log1p.f64 (expm1.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))))
✓0.2b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
Compiler

Compiled 447 to 304 computations (32% saved)

regimes57.0ms (0.7%)

Accuracy

Total 0.0b remaining (66.1%)

Threshold costs 0.0b (66.1%)

Counts
31 → 1
Compiler

Compiled 632 to 484 computations (23.4% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
1×/-rgt-identity_binary64
1×sub-neg_binary64
1×neg-sub0_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11310
21510
31610
41510

end0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample5.1s (66.2%)

Algorithm
1×intervals
Results
3.1s3987×body1024valid
702.0ms1959×body512valid
581.0ms399×body2048valid
194.0ms1042×body256valid
151.0ms8000×pre128true
57.0ms613×body128valid
Compiler

Compiled 48 to 36 computations (25% saved)

Profiling

Loading profile data...