Details

Time bar (total: 2.7s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%74.6%25.4%0
0%74.6%25.4%1
37.3%37.3%25.4%2
37.3%18.7%44%3
46.7%9.3%44%4
46.7%4.7%48.7%5
49%2.3%48.7%6
49%1.2%49.8%7
49.6%0.6%49.8%8
49.9%0.3%49.8%9
49.9%0.1%50%10
49.9%0.1%50.1%11
49.9%0%50.1%12
49.9%0%50.1%13
49.9%0%50.1%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample2.2s (82.5%)

Results
1.3s4064×body1024valid
508.0ms2133×body512valid
151.0ms1061×body256valid
134.0ms401×body2048valid
49.0ms597×body128valid
0.0ms1×body128invalid
Compiler

Compiled 21 to 16 computations (23.8% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×sub-neg_binary64
1×1-exp_binary64
1×expm1-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
053
1113
2123
3103

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(expm1.f64 x)
58.9b
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 23 to 17 computations (26.1% saved)

localize1.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(expm1.f64 x)

series4.0ms (0.2%)

Counts
1 → 12
Calls

1 calls:

4.0ms
(expm1.f64 x)

rewrite73.0ms (2.7%)

Algorithm
2×batch-egg-rewrite
Rules
404×log1p-udef_binary64
233×log1p-expm1-u_binary64
233×expm1-log1p-u_binary64
231×add-sqr-sqrt_binary64
215×add-cbrt-cube_binary64
Counts
1 → 40
Calls

1 calls:

72.0ms
(expm1.f64 x)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
1563
26213
348173
453953
000
100

simplify69.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
892×fma-def_binary64
804×unswap-sqr_binary64
614×associate-/l/_binary64
499×distribute-lft-out_binary64
390×*-commutative_binary64
Counts
52 → 47
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
02170
15470
211370
328464
478763
5192863
6292663
7313063
8377163
9531163

prune17.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New47047
Fresh011
Picked011
Done000
Total47249
Error
0b
Counts
49 → 2
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 x)
▶58.9b
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 399 to 217 computations (45.6% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓5.9b
(-.f64 (exp.f64 x) 1)

series2.0ms (0.1%)

Counts
1 → 4
Calls

1 calls:

2.0ms
(-.f64 (exp.f64 x) 1)

rewrite72.0ms (2.7%)

Algorithm
2×batch-egg-rewrite
Rules
427×log1p-expm1-u_binary64
427×expm1-log1p-u_binary64
358×pow1_binary64
264×unpow-prod-down_binary64
246×prod-diff_binary64
Counts
1 → 51
Calls

1 calls:

71.0ms
(-.f64 (exp.f64 x) 1)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
053
1993
210913
347113
449523
000
100

simplify149.0ms (5.6%)

Algorithm
1×egg-herbie
Rules
892×fma-def_binary64
804×unswap-sqr_binary64
656×sqr-pow_binary64
599×*-commutative_binary64
521×distribute-lft-out_binary64
Counts
55 → 58
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01846
14646
210646
327540
477339
5189539
6284239
7289439
8310339
9334639
10380039
11393339
12367039
13402239
14454439
15488139
16486939

prune19.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New58058
Fresh000
Picked011
Done011
Total58260
Error
0b
Counts
60 → 2
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 x)
✓58.9b
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 521 to 280 computations (46.3% saved)

regimes14.0ms (0.5%)

Accuracy

Total 0.0b remaining (80%)

Threshold costs 0.0b (80%)

Counts
3 → 1
Compiler

Compiled 50 to 35 computations (30% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
133

end32.0ms (1.2%)

Compiler

Compiled 14 to 10 computations (28.6% saved)

Profiling

Loading profile data...