Details

Time bar (total: 5.6s)

analyze1.1s (19.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%74.6%25.4%0
0%74.6%25.4%1
0%74.6%25.4%2
0%74.6%25.4%3
0%74.6%25.4%4
0%74.6%25.4%5
0%74.6%25.4%6
0%74.6%25.4%7
0%74.6%25.4%8
0%74.6%25.4%9
0%74.6%25.4%10
0%74.6%25.4%11
0%74.6%25.4%12
0%74.6%25.4%13
0%74.6%25.4%14
Compiler

Compiled 8 to 6 computations (25% saved)

sample4.3s (76%)

Results
1.8s4110×body8192exit
1.4s4092×body1024valid
509.0ms2093×body512valid
219.0ms1014×body256valid
174.0ms452×body2048valid
57.0ms605×body128valid
Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify6.0ms (0.1%)

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
58.1b
(-.f64 (exp.f64 x) 1)
▶0.0b
(expm1.f64 x)
Compiler

Compiled 23 to 17 computations (26.1% saved)

localize2.0ms (0%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(expm1.f64 x)

series2.0ms (0%)

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)

simplify80.0ms (1.4%)

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

prune9.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Compiled 144 to 84 computations (41.7% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0%)

Counts
1 → 4
Calls

1 calls:

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

rewrite5.0ms (0.1%)

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:

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

simplify42.0ms (0.7%)

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

prune22.0ms (0.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Compiled 630 to 412 computations (34.6% saved)

regimes14.0ms (0.2%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Counts
3 → 1
Compiler

Compiled 50 to 35 computations (30% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
133

end36.0ms (0.6%)

Compiler

Compiled 14 to 10 computations (28.6% saved)

Profiling

Loading profile data...