Details

Time bar (total: 2.1s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%50%50%2
25%25%50%3
25%12.5%62.5%4
25%6.2%68.8%5
25%3.1%71.9%6
25%1.6%73.5%7
25%0.8%74.2%8
25%0.4%74.6%9
25%0.2%74.8%10
25%0.1%74.9%11
25%0%75%12
25%0%75%13
25%0%75%14
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample985.0ms (46.3%)

Results
804.0ms8256×body128valid
0.0ms5×body128invalid
Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify160.0ms (7.5%)

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

prune1.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.0b
(log.f64 (log.f64 x))
✓0.2b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

series613.0ms (28.8%)

Counts
2 → 16
Calls

2 calls:

314.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
299.0ms
(log.f64 (log.f64 x))

rewrite9.0ms (0.4%)

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:

4.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
2.0ms
(log.f64 (log.f64 x))

simplify131.0ms (6.2%)

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

prune31.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New65166
Fresh000
Picked011
Done000
Total65267
Error
0b
Counts
67 → 2
Alt Table
StatusErrorProgram
▶0.0b
(log.f64 (/.f64 x (log.f64 x)))
✓0.2b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 1059 to 274 computations (74.1% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series33.0ms (1.6%)

Counts
1 → 8
Calls

1 calls:

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

rewrite4.0ms (0.2%)

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

simplify52.0ms (2.4%)

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

prune15.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New35035
Fresh000
Picked011
Done011
Total35237
Error
0b
Counts
37 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
✓0.2b
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Compiler

Compiled 393 to 152 computations (61.3% saved)

regimes46.0ms (2.1%)

Accuracy

Total 0.0b remaining (88.9%)

Threshold costs 0.0b (88.9%)

Counts
9 → 1
Compiler

Compiled 818 to 348 computations (57.5% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
058
158

end33.0ms (1.6%)

Compiler

Compiled 25 to 16 computations (36% saved)

Profiling

Loading profile data...