Details

Time bar (total: 2.5s)

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

Results
1.3s4144×body1024valid
468.0ms2085×body512valid
162.0ms443×body2048valid
155.0ms1040×body256valid
54.0ms544×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

prune4.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)
59.2b
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 23 to 17 computations (26.1% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(expm1.f64 x)

series2.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

2.0ms
(expm1.f64 x)

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
2×log1p-expm1-u_binary64
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
Counts
1 → 11
Calls

1 calls:

0.0ms
(expm1.f64 x)

simplify94.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
993×fma-def_binary64
492×distribute-lft-out_binary64
416×*-commutative_binary64
392×unsub-neg_binary64
329×associate-+l+_binary64
Counts
23 → 19
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
031129
164122
2141122
3350116
4938115
52439115
63798115
74689115
84982115
94916115

prune8.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New19019
Fresh011
Picked011
Done000
Total19221
Error
0b
Counts
21 → 2
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 x)
▶59.2b
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 144 to 84 computations (41.7% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.1%)

Counts
1 → 4
Calls

1 calls:

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

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64
9×prod-diff_binary64
9×add-cube-cbrt_binary64
3×cancel-sign-sub-inv_binary64
Counts
1 → 33
Calls

1 calls:

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

simplify40.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
454×fma-def_binary64
384×associate-*l*_binary64
359×associate-+l+_binary64
338×associate-+r+_binary64
320×distribute-lft-out_binary64
Counts
37 → 53
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
057409
1113229
2231226
3657218
42112218
55103218

prune21.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New53053
Fresh000
Picked011
Done011
Total53255
Error
0b
Counts
55 → 2
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 x)
✓59.2b
(-.f64 (exp.f64 x) 1)
Compiler

Compiled 630 to 412 computations (34.6% saved)

regimes13.0ms (0.5%)

Accuracy

Total 0.0b remaining (75%)

Threshold costs 0.0b (75%)

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

end35.0ms (1.4%)

Compiler

Compiled 14 to 10 computations (28.6% saved)

Profiling

Loading profile data...