Details

Time bar (total: 1.3s)

analyze5.0ms (0.4%)

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

Compiled 9 to 8 computations (11.1% saved)

sample963.0ms (71.6%)

Results
935.0ms8256×body128valid
0.0ms3×body128invalid
Compiler

Compiled 26 to 23 computations (11.5% saved)

simplify6.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
4×sub-neg_binary64
3×+-commutative_binary64
2×fma-def_binary64
1×*-commutative_binary64
1×associate-+l-_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11411
21711
31911
42311
52711
63211
Stop Event
1×saturated
Counts
1 → 2

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.2b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.2b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
Compiler

Compiled 31 to 27 computations (12.9% saved)

localize5.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(log.f64 (-.f64 (/.f64 1 x) 1))

series2.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

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

rewrite56.0ms (4.1%)

Algorithm
1×batch-egg-rewrite
Rules
543×log1p-expm1-u_binary64
543×expm1-log1p-u_binary64
251×log-prod_binary64
147×pow2_binary64
102×expm1-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
11269
215739
Stop Event
1×node limit
Counts
1 → 36
Calls

1 calls:

55.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))

simplify25.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
411×fma-def_binary64
337×sub-neg_binary64
280×distribute-rgt-neg-in_binary64
246×distribute-lft-neg-in_binary64
193×times-frac_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
035166
196164
2273164
3924159
43092159
Stop Event
1×node limit
Counts
48 → 51

prune28.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New50151
Fresh000
Picked011
Done000
Total50252
Error
0b
Counts
52 → 2
Alt Table
StatusErrorProgram
▶0.5b
(neg.f64 (neg.f64 (+.f64 (log.f64 x) x)))
✓0.2b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
Compiler

Compiled 667 to 558 computations (16.3% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.4%)

Counts
1 → 9
Calls

1 calls:

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

rewrite33.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
466×log1p-expm1-u_binary64
466×expm1-log1p-u_binary64
455×prod-diff_binary64
206×log-prod_binary64
155×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
046
1876
212266
Stop Event
1×node limit
Counts
1 → 47
Calls

1 calls:

32.0ms
(+.f64 (log.f64 x) x)

simplify30.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
885×fma-neg_binary64
522×distribute-rgt-in_binary64
378×fma-def_binary64
261×unsub-neg_binary64
252×sub-neg_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01353
12641
24841
312041
427741
571941
6184341
7384141
8464741
Stop Event
1×node limit
Counts
56 → 52

prune33.0ms (2.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New52052
Fresh000
Picked011
Done011
Total52254
Error
0b
Counts
54 → 2
Alt Table
StatusErrorProgram
✓0.5b
(neg.f64 (neg.f64 (+.f64 (log.f64 x) x)))
✓0.2b
(neg.f64 (log.f64 (-.f64 (/.f64 1 x) 1)))
Compiler

Compiled 635 to 347 computations (45.4% saved)

regimes62.0ms (4.6%)

Accuracy

Total 0.0b remaining (72.1%)

Threshold costs 0.0b (72.1%)

Counts
4 → 1
Compiler

Compiled 184 to 149 computations (19% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
11411
21711
31811
Stop Event
1×saturated

end83.0ms (6.2%)

Compiler

Compiled 31 to 26 computations (16.1% saved)

Profiling

Loading profile data...