Details

Time bar (total: 2.9s)

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)

sample182.0ms (6.4%)

Algorithm
1×intervals
Results
12.0ms256×body128valid
Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify159.0ms (5.6%)

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

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series657.0ms (23.1%)

Counts
2 → 16
Calls

2 calls:

333.0ms
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
324.0ms
(log.f64 (log.f64 x))

rewrite10.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:

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

simplify133.0ms (4.7%)

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

prune38.0ms (1.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New64266
Fresh000
Picked101
Done000
Total65267
Error
0b
Counts
67 → 2
Alt Table
StatusErrorProgram
▶0.0b
(log.f64 (/.f64 x (log.f64 x)))
0.3b
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
Compiler

Compiled 1068 to 280 computations (73.8% 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))

series327.0ms (11.5%)

Counts
2 → 20
Calls

2 calls:

293.0ms
(log.f64 (/.f64 x (log.f64 x)))
35.0ms
(/.f64 x (log.f64 x))

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
24×times-frac_binary64
19×*-un-lft-identity_binary64
19×add-sqr-sqrt_binary64
19×add-cube-cbrt_binary64
16×log-prod_binary64
Counts
2 → 62
Calls

2 calls:

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

simplify129.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
753×fma-neg_binary64
652×times-frac_binary64
280×associate-/l*_binary64
275×distribute-rgt-in_binary64
268×associate-/l/_binary64
Counts
82 → 72
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0981046
1170985
2371933
3982931
43948931
54737931
64972931
74989931
84981931

prune30.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New72072
Fresh011
Picked011
Done000
Total72274
Error
0b
Counts
74 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
▶0.3b
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
Compiler

Compiled 849 to 281 computations (66.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(log.f64 (log.f64 x))
✓0.3b
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))

series329.0ms (11.6%)

Counts
1 → 12
Calls

1 calls:

329.0ms
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))

rewrite7.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
8×pow1_binary64
7×log-prod_binary64
7×log-pow_binary64
6×distribute-lft-out_binary64
Counts
1 → 33
Calls

1 calls:

5.0ms
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))

simplify146.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
600×unsub-neg_binary64
592×times-frac_binary64
326×sub-neg_binary64
311×div-sub_binary64
285×fma-neg_binary64
Counts
45 → 43
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
065494
1167456
2398452
31253450
42940448
54625448
64242448
74711448
84977448
94966448
104881448

prune24.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New63063
Fresh000
Picked011
Done011
Total63265
Error
0b
Counts
65 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
✓0.3b
(+.f64 (log.f64 x) (neg.f64 (log.f64 (log.f64 x))))
Compiler

Compiled 802 to 256 computations (68.1% saved)

regimes77.0ms (2.7%)

Accuracy

Total 0.0b remaining (89.3%)

Threshold costs 0.0b (89.3%)

Counts
17 → 1
Compiler

Compiled 1321 to 594 computations (55% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
058
158

end0.0ms (0%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

sample574.0ms (20.1%)

Algorithm
1×intervals
Results
369.0ms8000×body128valid
0.0ms3×body128nan
Compiler

Compiled 29 to 19 computations (34.5% saved)

Profiling

Loading profile data...