Details

Time bar (total: 5.8s)

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)

sample4.8s (81.3%)

Results
2.6s4189×body1024valid
772.0ms2030×body512valid
420.0ms360×body2048valid
309.0ms1002×body256valid
216.0ms675×body128valid
Compiler

Compiled 41 to 35 computations (14.6% saved)

simplify461.0ms (7.9%)

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 2 expressions with local error:

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

series7.0ms (0.1%)

Counts
2 → 24
Calls

2 calls:

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

rewrite7.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
12×*-un-lft-identity_binary64
12×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
9×prod-diff_binary64
6×add-log-exp_binary64
Counts
2 → 44
Calls

2 calls:

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

simplify72.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
747×fma-neg_binary64
400×fma-def_binary64
350×distribute-rgt-in_binary64
341×cancel-sign-sub-inv_binary64
295×associate-*l*_binary64
Counts
68 → 95
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01421139
1331882
2884815
32627811
44368810
54894810

prune50.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New93295
Fresh000
Picked101
Done000
Total94296
Error
0b
Counts
96 → 2
Alt Table
StatusErrorProgram
40.7b
(*.f64 1/2 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)))
▶0.4b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
Compiler

Compiled 1679 to 836 computations (50.2% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series6.0ms (0.1%)

Counts
2 → 12
Calls

2 calls:

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

rewrite8.0ms (0.1%)

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

2 calls:

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

simplify94.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
541×associate-*l*_binary64
505×associate-*r*_binary64
426×log-prod_binary64
346×exp-prod_binary64
345×swap-sqr_binary64
Counts
55 → 53
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
071631
1124568
2338568
31827568
43510538
54563538
64948538
74981538

prune34.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New53053
Fresh011
Picked011
Done000
Total53255
Error
0b
Counts
55 → 2
Alt Table
StatusErrorProgram
▶40.7b
(*.f64 1/2 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)))
✓0.4b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
Compiler

Compiled 840 to 673 computations (19.9% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(log1p.f64 x)
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)
✓40.7b
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3))

series10.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

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

rewrite11.0ms (0.2%)

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)

simplify80.0ms (1.4%)

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

prune95.0ms (1.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2040204
Fresh000
Picked011
Done011
Total2042206
Error
0b
Counts
206 → 2
Alt Table
StatusErrorProgram
✓40.7b
(*.f64 1/2 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))) 3)))
✓0.4b
(*.f64 1/2 (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
Compiler

Compiled 3969 to 2255 computations (43.2% saved)

regimes73.0ms (1.2%)

Accuracy

Total 0.0b remaining (7.5%)

Threshold costs 0.0b (7.5%)

Counts
22 → 1
Compiler

Compiled 1032 to 810 computations (21.5% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
4×*-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
01013
11913
22413
32713
42813
52713

end51.0ms (0.9%)

Compiler

Compiled 41 to 33 computations (19.5% saved)

Profiling

Loading profile data...