Details

Time bar (total: 3.2s)

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)

sample886.0ms (27.8%)

Results
811.0ms8256×body128valid
0.0ms6×body128invalid
Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify66.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
1835×fma-neg_binary64
684×fma-def_binary64
317×unsub-neg_binary64
293×distribute-rgt-in_binary64
245×distribute-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0510
1710
21210
31910
42810
54510
68310
712410
820110
939510
1083310
11218910
12424710
13473710
14491110
15496610
16497610
17497610
Stop Event
1×node limit
Counts
1 → 1

prune1.0ms (0%)

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.1%)

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

series509.0ms (15.9%)

Counts
2 → 16
Calls

2 calls:

265.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
243.0ms
(log.f64 (log.f64 x))

rewrite43.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
560×log1p-expm1-u_binary64
560×expm1-log1p-u_binary64
359×prod-diff_binary64
167×fma-def_binary64
110×egg-rr
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0513
110713
2146313
Stop Event
1×node limit
Counts
2 → 110
Calls

2 calls:

41.0ms
(log.f64 (log.f64 x))
41.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

simplify55.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
1648×fma-def_binary64
625×fma-neg_binary64
583×distribute-rgt-in_binary64
397×distribute-lft-in_binary64
316×unsub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
017216
141136
287120
3256120
4688120
51585120
62866120
73700120
83915120
94529120
104807120
114914120
Stop Event
1×node limit
Counts
126 → 116

prune69.0ms (2.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1142116
Fresh000
Picked101
Done000
Total1152117
Error
0b
Counts
117 → 2
Alt Table
StatusErrorProgram
▶0.0b
(log.f64 (/.f64 x (log.f64 x)))
0.2b
(-.f64 (log.f64 x) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2))
Compiler

Compiled 1735 to 564 computations (67.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series278.0ms (8.7%)

Counts
2 → 20
Calls

2 calls:

237.0ms
(log.f64 (/.f64 x (log.f64 x)))
41.0ms
(/.f64 x (log.f64 x))

rewrite44.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
476×log1p-expm1-u_binary64
476×expm1-log1p-u_binary64
336×unpow-prod-down_binary64
257×log-prod_binary64
143×egg-rr
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0514
110014
2129514
Stop Event
1×node limit
Counts
2 → 143
Calls

2 calls:

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

simplify31.0ms (1%)

Algorithm
1×egg-herbie
Rules
442×div-sub_binary64
390×fma-neg_binary64
355×fma-def_binary64
284×distribute-rgt-in_binary64
234×times-frac_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
023224
146200
288192
3253168
4624168
51567168
64077168
Stop Event
1×node limit
Counts
163 → 149

prune68.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1490149
Fresh011
Picked011
Done000
Total1492151
Error
0b
Counts
151 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
▶0.2b
(-.f64 (log.f64 x) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2))
Compiler

Compiled 2063 to 843 computations (59.1% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(log.f64 (log.f64 x))
✓0.1b
(sqrt.f64 (log.f64 (log.f64 x)))
✓0.2b
(-.f64 (log.f64 x) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2))
✓0.5b
(pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2)

series766.0ms (24%)

Counts
3 → 32
Calls

3 calls:

275.0ms
(-.f64 (log.f64 x) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2))
249.0ms
(sqrt.f64 (log.f64 (log.f64 x)))
243.0ms
(pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2)

rewrite53.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
670×log1p-expm1-u_binary64
670×expm1-log1p-u_binary64
373×prod-diff_binary64
113×egg-rr
72×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0822
116920
2185520
Stop Event
1×node limit
Counts
3 → 113
Calls

3 calls:

51.0ms
(sqrt.f64 (log.f64 (log.f64 x)))
51.0ms
(-.f64 (log.f64 x) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2))
51.0ms
(pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2)

simplify54.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
651×fma-neg_binary64
579×distribute-rgt-in_binary64
509×fma-def_binary64
413×distribute-lft-in_binary64
316×unsub-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
022268
147236
296236
3276236
4717236
51649236
63011236
73837236
84044236
94642236
104919236
Stop Event
1×node limit
Counts
145 → 121

prune71.0ms (2.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1460146
Fresh000
Picked011
Done011
Total1462148
Error
0b
Counts
148 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
✓0.2b
(-.f64 (log.f64 x) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2))
Compiler

Compiled 2858 to 957 computations (66.5% saved)

regimes132.0ms (4.1%)

Accuracy

Total 0.0b remaining (90.5%)

Threshold costs 0.0b (90.5%)

Counts
43 → 1
Compiler

Compiled 1545 to 1061 computations (31.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
1913
Stop Event
1×saturated

end40.0ms (1.2%)

Compiler

Compiled 34 to 25 computations (26.5% saved)

Profiling

Loading profile data...