Details

Time bar (total: 4.9s)

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

sample578.0ms (11.8%)

Algorithm
1×intervals
Results
62.0ms143×body1024valid
12.0ms48×body512valid
6.0ms10×body2048valid
5.0ms36×body256valid
1.0ms19×body128valid
Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify471.0ms (9.6%)

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

3 alts after pruning (3 fresh and 0 done)

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

Compiled 65 to 53 computations (18.5% saved)

localize5.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:

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

simplify109.0ms (2.2%)

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

prune31.0ms (0.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New61263
Fresh101
Picked101
Done000
Total63265
Error
0b
Counts
65 → 2
Alt Table
StatusErrorProgram
▶0.4b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
59.0b
(*.f64 1/2 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))
Compiler

Compiled 1193 to 549 computations (54% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts
1 → 0
Calls

1 calls:

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

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

simplify78.0ms (1.6%)

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

prune24.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New38038
Fresh011
Picked011
Done000
Total38240
Error
0b
Counts
40 → 2
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
▶59.0b
(*.f64 1/2 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))
Compiler

Compiled 626 to 500 computations (20.1% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓7.0b
(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))

rewrite11.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
36×*-un-lft-identity_binary64
30×log-prod_binary64
24×times-frac_binary64
24×add-sqr-sqrt_binary64
12×add-cube-cbrt_binary64
Counts
1 → 43
Calls

1 calls:

6.0ms
(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))

simplify80.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
745×fma-def_binary64
657×times-frac_binary64
475×associate-*l*_binary64
448×fma-neg_binary64
312×associate-*r*_binary64
Counts
55 → 69
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01261132
12521059
25291010
310101006
418731004
538561004
650011004

prune34.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New69069
Fresh000
Picked011
Done011
Total69271
Error
0b
Counts
71 → 2
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
✓59.0b
(*.f64 1/2 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))
Compiler

Compiled 1259 to 958 computations (23.9% saved)

regimes40.0ms (0.8%)

Accuracy

Total -0.0b remaining (-634.1%)

Threshold costs -0.0b (-634.1%)

Counts
11 → 1
Compiler

Compiled 532 to 434 computations (18.4% 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

end0.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample3.4s (69.2%)

Algorithm
1×intervals
Results
1.9s4062×body1024valid
517.0ms1983×body512valid
320.0ms961×body256valid
301.0ms387×body2048valid
43.0ms607×body128valid
Compiler

Compiled 46 to 38 computations (17.4% saved)

Profiling

Loading profile data...