Details

Time bar (total: 3.8s)

analyze177.0ms (4.7%)

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)

sample20.0ms (0.5%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify161.0ms (4.3%)

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

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)

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

series737.0ms (19.6%)

Counts
2 → 16
Calls

2 calls:

373.0ms
(log.f64 (log.f64 x))
364.0ms
(-.f64 (log.f64 x) (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:

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

simplify139.0ms (3.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

prune49.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) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
Compiler

Compiled 1072 to 286 computations (73.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series362.0ms (9.6%)

Counts
2 → 20
Calls

2 calls:

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

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

simplify132.0ms (3.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

prune45.0ms (1.2%)

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) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
Compiler

Compiled 853 to 287 computations (66.4% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series849.0ms (22.6%)

Counts
3 → 28
Calls

3 calls:

420.0ms
(log.f64 (neg.f64 (log.f64 (/.f64 1 x))))
410.0ms
(-.f64 (log.f64 x) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
19.0ms
(log.f64 (/.f64 1 x))

rewrite20.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
48×log-prod_binary64
31×*-un-lft-identity_binary64
30×log-pow_binary64
29×add-sqr-sqrt_binary64
28×pow1_binary64
Counts
3 → 119
Calls

3 calls:

6.0ms
(-.f64 (log.f64 x) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
4.0ms
(log.f64 (neg.f64 (log.f64 (/.f64 1 x))))
2.0ms
(log.f64 (/.f64 1 x))

simplify156.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
929×fma-neg_binary64
521×times-frac_binary64
397×cancel-sign-sub-inv_binary64
331×fma-def_binary64
306×associate-*l*_binary64
Counts
147 → 158
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01432376
12521737
26611538
325101501
440731491
547751491
647991464
748511464

prune78.0ms (2.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1580158
Fresh000
Picked011
Done011
Total1582160
Error
0b
Counts
160 → 2
Alt Table
StatusErrorProgram
✓0.0b
(log.f64 (/.f64 x (log.f64 x)))
✓0.3b
(-.f64 (log.f64 x) (log.f64 (neg.f64 (log.f64 (/.f64 1 x)))))
Compiler

Compiled 2646 to 1692 computations (36.1% saved)

regimes130.0ms (3.5%)

Accuracy

Total 0.0b remaining (87.7%)

Threshold costs 0.0b (87.7%)

Counts
35 → 1
Compiler

Compiled 1625 to 963 computations (40.7% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
1×sub-neg_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11313
21513
31613
41513

end1.0ms (0%)

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample661.0ms (17.6%)

Algorithm
1×intervals
Results
417.0ms8000×body128valid
0.0ms2×body128nan
Compiler

Compiled 34 to 25 computations (26.5% saved)

Profiling

Loading profile data...