Details

Time bar (total: 7.6s)

analyze1.7s (22.5%)

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)

sample150.0ms (2%)

Algorithm
1×intervals
Results
90.0ms132×body1024valid
22.0ms64×body512valid
16.0ms15×body2048valid
5.0ms26×body256valid
5.0ms256×pre128true
2.0ms19×body128valid
Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify10.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

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 50 to 38 computations (24% 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))

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

series18.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

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

simplify57.0ms (0.8%)

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 → 59
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01821544
14921488
217111276
349111276

prune42.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New57259
Fresh101
Picked011
Done000
Total58361
Error
0b
Counts
61 → 3
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 1 (/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
0.5b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
Compiler

Compiled 1668 to 1040 computations (37.6% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite17.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
84×times-frac_binary64
52×*-un-lft-identity_binary64
52×add-sqr-sqrt_binary64
52×add-cube-cbrt_binary64
16×associate-/r*_binary64
Counts
2 → 107
Calls

2 calls:

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

series36.0ms (0.5%)

Counts
2 → 24
Calls

2 calls:

19.0ms
(/.f64 1 (/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
17.0ms
(/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

simplify147.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
592×fma-def_binary64
289×sub-neg_binary64
267×associate-/r*_binary64
251×unswap-sqr_binary64
217×associate-+r+_binary64
Counts
131 → 229
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03304281
19003951
232703703
348893703
449393703

prune117.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2290229
Fresh011
Picked011
Done011
Total2293232
Error
0b
Counts
232 → 3
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 1 (/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
▶0.5b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
Compiler

Compiled 4887 to 2691 computations (44.9% 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))

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

series8.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

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

simplify75.0ms (1%)

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 → 38
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
029352
149321
2138319
3637267
43429267
54342267
64956267
74797267

prune23.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New38038
Fresh000
Picked011
Done022
Total38341
Error
0b
Counts
41 → 3
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 1 (/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓0.5b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
Compiler

Compiled 454 to 309 computations (31.9% saved)

regimes42.0ms (0.6%)

Accuracy

Total 0.0b remaining (85.6%)

Threshold costs 0.0b (85.6%)

Compiler

Compiled 540 to 414 computations (23.3% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
1×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
11214
21414
31514
41514

end0.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample5.1s (67.3%)

Algorithm
1×intervals
Results
2.8s3961×body1024valid
778.0ms423×body2048valid
710.0ms2014×body512valid
184.0ms1014×body256valid
151.0ms8000×pre128true
47.0ms588×body128valid
Compiler

Compiled 57 to 43 computations (24.6% saved)

Profiling

Loading profile data...