Details

Time bar (total: 2.8s)

analyze422.0ms (15%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%50%50%2
0%50%50%3
0%37.5%62.5%4
0%31.2%68.8%5
0%28.1%71.9%6
0%26.5%73.5%7
0%25.8%74.2%8
0%25.4%74.6%9
0%25.2%74.8%10
0%25.1%74.9%11
0%25%75%12
0%25%75%13
0%25%75%14
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample1.1s (39.4%)

Results
927.0ms8256×body128valid
1.0ms6×body128invalid
Compiler

Compiled 15 to 9 computations (40% saved)

simplify167.0ms (5.9%)

Algorithm
1×egg-herbie
Rules
1887×fma-neg_binary64
921×unsub-neg_binary64
788×associate-+l+_binary64
692×fma-def_binary64
383×associate-+r+_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0510
1710
21210
31910
42610
54310
66910
79410
814010
926110
1049510
11123710
12215810
13201210
14213110
15217910
16218910
17218910
18330110
19330910
20336110
21336110
22388510
23499510
24499410

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.2b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 21 to 12 computations (42.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(log.f64 (log.f64 x))
✓0.2b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

series706.0ms (25.1%)

Counts
2 → 16
Calls

2 calls:

368.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
338.0ms
(log.f64 (log.f64 x))

rewrite9.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64
19×pow1_binary64
17×add-sqr-sqrt_binary64
17×log-pow_binary64
16×prod-diff_binary64
Counts
2 → 64
Calls

2 calls:

5.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.0ms
(log.f64 (log.f64 x))

simplify135.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
574×fma-neg_binary64
388×unsub-neg_binary64
356×neg-sub0_binary64
331×neg-mul-1_binary64
289×associate-*l*_binary64
Counts
80 → 66
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0941346
1172931
2477801
32027799
43623793
54612793
64902793
74940793
84827793

prune32.0ms (1.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New65166
Fresh000
Picked101
Done000
Total66167
Error
0b
Counts
67 → 1
Alt Table
StatusErrorProgram
▶0b
(log.f64 (/.f64 x (log.f64 x)))
Compiler

Compiled 1052 to 270 computations (74.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 x (log.f64 x))

series36.0ms (1.3%)

Counts
1 → 8
Calls

1 calls:

36.0ms
(/.f64 x (log.f64 x))

rewrite4.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
12×times-frac_binary64
10×*-un-lft-identity_binary64
10×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
5×pow1_binary64
Counts
1 → 33
Calls

1 calls:

2.0ms
(/.f64 x (log.f64 x))

simplify58.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
593×fma-neg_binary64
536×div-sub_binary64
375×distribute-rgt-in_binary64
345×sub-neg_binary64
340×distribute-lft-in_binary64
Counts
41 → 35
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
061492
1104456
2211426
3390426
41503426
53684426
64924426

prune13.0ms (0.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New35035
Fresh000
Picked011
Done000
Total35136
Error
0b
Counts
36 → 1
Alt Table
StatusErrorProgram
✓0b
(log.f64 (/.f64 x (log.f64 x)))
Compiler

Compiled 386 to 148 computations (61.7% saved)

regimes76.0ms (2.7%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
16 → 1
Compiler

Compiled 1380 to 584 computations (57.7% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
058
158

end30.0ms (1.1%)

Compiler

Compiled 18 to 12 computations (33.3% saved)

Profiling

Loading profile data...