Details

Time bar (total: 2.0s)

analyze4.0ms (0.2%)

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)

sample912.0ms (46.4%)

Results
885.0ms8256×body128valid
0.0ms1×body128invalid
Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0510
1510

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 21 to 12 computations (42.9% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series549.0ms (27.9%)

Counts
2 → 16
Calls

2 calls:

292.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
256.0ms
(log.f64 (log.f64 x))

rewrite117.0ms (6%)

Algorithm
2×batch-egg-rewrite
Rules
523×log1p-expm1-u_binary64
523×expm1-log1p-u_binary64
431×fma-neg_binary64
349×fma-def_binary64
290×prod-diff_binary64
Counts
2 → 122
Calls

2 calls:

115.0ms
(log.f64 (log.f64 x))
115.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0513
111613
2150413
3488313
4486313
5500913
000
100

simplify101.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
590×rules-20_binary64
584×log-div_binary64
513×rules-21_binary64
481×rules-15-rev_binary64
335×rules-15_binary64
Counts
138 → 128
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
017224
135200
266128
3142120
4575120
51743120
63867120
74677120
85063120

prune47.0ms (2.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1271128
Fresh000
Picked101
Done000
Total1281129
Error
0b
Counts
129 → 1
Alt Table
StatusErrorProgram
▶0b
(log.f64 (/.f64 x (log.f64 x)))
Compiler

Compiled 2107 to 572 computations (72.9% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series34.0ms (1.7%)

Counts
1 → 8
Calls

1 calls:

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

rewrite80.0ms (4.1%)

Algorithm
2×batch-egg-rewrite
Rules
642×log1p-udef_binary64
354×log1p-expm1-u_binary64
354×expm1-log1p-u_binary64
280×fma-neg_binary64
275×pow1_binary64
Counts
1 → 51
Calls

1 calls:

79.0ms
(/.f64 x (log.f64 x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
046
1876
210756
346846
459656
000
100

simplify30.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
483×fma-neg_binary64
459×fma-def_binary64
368×rules-11_binary64
304×rules-6_binary64
260×rules-6-rev_binary64
Counts
59 → 54
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01388
12580
23472
35448
48748
531848
683448
711448

prune25.0ms (1.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New54054
Fresh000
Picked011
Done000
Total54155
Error
0b
Counts
55 → 1
Alt Table
StatusErrorProgram
✓0b
(log.f64 (/.f64 x (log.f64 x)))
Compiler

Compiled 580 to 263 computations (54.7% saved)

regimes16.0ms (0.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
2 → 1
Compiler

Compiled 63 to 38 computations (39.7% saved)

simplify1.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
058
158

end33.0ms (1.7%)

Compiler

Compiled 18 to 12 computations (33.3% saved)

Profiling

Loading profile data...