Details

Time bar (total: 6.0s)

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)

sample5.0s (83.2%)

Results
2.8s4131×body1024valid
906.0ms2058×body512valid
354.0ms430×body2048valid
252.0ms1023×body256valid
186.0ms614×body128valid
Compiler

Compiled 41 to 35 computations (14.6% saved)

simplify463.0ms (7.7%)

Algorithm
1×egg-herbie
Rules
7982×fma-neg_binary64
642×unsub-neg_binary64
573×distribute-neg-in_binary64
572×distribute-rgt-in_binary64
535×distribute-rgt-out--_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01115
12013
22813
34313
46713
59513
613613
723413
842913
963613
1082713
1191813
12109313
13118313
14127213
15163013
16213513
17221713
18241813
19243813
20255813
21255813
22295413
23300413
24313013
25316213
26321013
27323013
28323813
29323813
30323813
31357413
32355813
33385613
34401413
35410013
36412613
37414213
38415413
39419013
40420213
41420613
42420613
431100413

prune4.0ms (0.1%)

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 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
Compiler

Compiled 39 to 31 computations (20.5% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

4.0ms
(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

rewrite5.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
11×add-sqr-sqrt_binary64
9×prod-diff_binary64
9×add-cube-cbrt_binary64
5×add-log-exp_binary64
Counts
1 → 33
Calls

1 calls:

3.0ms
(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

simplify114.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
424×unsub-neg_binary64
332×unswap-sqr_binary64
325×times-frac_binary64
317×sqr-pow_binary64
315×distribute-rgt-in_binary64
Counts
45 → 63
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0104900
1223663
2571600
31725600
43147600
54384600
64805600
74516600
84840600

prune30.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New61263
Fresh000
Picked011
Done000
Total61364
Error
0b
Counts
64 → 3
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
✓0.0b
(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
39.0b
(*.f64 1/2 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)))
Compiler

Compiled 1204 to 558 computations (53.7% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0%)

Counts
1 → 0
Calls

1 calls:

3.0ms
(*.f64 2/3 (pow.f64 x 3))

rewrite5.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
12×associate-*r*_binary64
12×add-sqr-sqrt_binary64
6×add-exp-log_binary64
5×*-un-lft-identity_binary64
5×add-cube-cbrt_binary64
Counts
1 → 33
Calls

1 calls:

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

simplify79.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
513×associate-*l*_binary64
478×associate-*r*_binary64
457×fma-def_binary64
349×log-prod_binary64
311×cube-prod_binary64
Counts
33 → 38
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
058354
1108314
2300314
31642314
42725284
54358284
64937284
74923284

prune27.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New38038
Fresh011
Picked011
Done011
Total38341
Error
0b
Counts
41 → 3
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
✓0.0b
(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
▶39.0b
(*.f64 1/2 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)))
Compiler

Compiled 637 to 509 computations (20.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))
✓0.0b
(pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)
✓39.0b
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3))

series11.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

7.0ms
(pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)
4.0ms
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3))

rewrite9.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
16×*-un-lft-identity_binary64
16×add-sqr-sqrt_binary64
16×cbrt-prod_binary64
10×cube-prod_binary64
10×unpow-prod-down_binary64
Counts
2 → 60
Calls

2 calls:

3.0ms
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3))
3.0ms
(pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)

simplify77.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
508×associate-*l*_binary64
460×fma-def_binary64
458×associate-*r*_binary64
255×exp-prod_binary64
253×distribute-rgt-in_binary64
Counts
84 → 109
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01541679
13981568
211261543
344581543
450791543

prune72.0ms (1.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1720172
Fresh000
Picked011
Done022
Total1723175
Error
0b
Counts
175 → 3
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
✓0.0b
(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓39.0b
(*.f64 1/2 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)))
Compiler

Compiled 3398 to 1882 computations (44.6% saved)

regimes31.0ms (0.5%)

Accuracy

Total 0.0b remaining (75.5%)

Threshold costs 0.0b (75.5%)

Counts
7 → 1
Compiler

Compiled 412 to 298 computations (27.7% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11513
22013
32313
42413
52413

end54.0ms (0.9%)

Compiler

Compiled 50 to 40 computations (20% saved)

Profiling

Loading profile data...