Details

Time bar (total: 2.7s)

analyze71.0ms (2.7%)

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)

sample76.0ms (2.8%)

Algorithm
1×intervals
Results
36.0ms130×body1024valid
7.0ms13×body2048valid
7.0ms49×body512valid
5.0ms256×pre128true
4.0ms40×body256valid
1.0ms24×body128valid
Compiler

Compiled 14 to 11 computations (21.4% saved)

simplify14.0ms (0.5%)

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

prune6.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(expm1.f64 x)
Compiler

Compiled 13 to 9 computations (30.8% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(expm1.f64 x)

series4.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

4.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:

1.0ms
(expm1.f64 x)

simplify122.0ms (4.5%)

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

prune17.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New18119
Fresh000
Picked011
Done000
Total18220
Error
0b
Counts
20 → 2
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 x)
▶38.5b
(cbrt.f64 (pow.f64 (expm1.f64 x) 3))
Compiler

Compiled 146 to 86 computations (41.1% saved)

localize12.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(expm1.f64 x)
✓0.0b
(pow.f64 (expm1.f64 x) 3)
✓38.5b
(cbrt.f64 (pow.f64 (expm1.f64 x) 3))

series15.0ms (0.6%)

Counts
2 → 24
Calls

2 calls:

12.0ms
(pow.f64 (expm1.f64 x) 3)
3.0ms
(cbrt.f64 (pow.f64 (expm1.f64 x) 3))

rewrite11.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64
8×*-un-lft-identity_binary64
8×add-sqr-sqrt_binary64
8×add-cube-cbrt_binary64
6×cube-prod_binary64
Counts
2 → 48
Calls

2 calls:

5.0ms
(pow.f64 (expm1.f64 x) 3)
3.0ms
(cbrt.f64 (pow.f64 (expm1.f64 x) 3))

simplify107.0ms (4%)

Algorithm
1×egg-herbie
Rules
793×fma-def_binary64
462×exp-prod_binary64
379×associate-*l*_binary64
368×log-prod_binary64
299×associate-*r*_binary64
Counts
72 → 70
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
084564
1165537
2456521
31892515
44173512
54854512
64927512

prune63.0ms (2.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New89089
Fresh000
Picked011
Done011
Total89291
Error
0b
Counts
91 → 2
Alt Table
StatusErrorProgram
✓0.0b
(expm1.f64 x)
✓38.5b
(cbrt.f64 (pow.f64 (expm1.f64 x) 3))
Compiler

Compiled 876 to 557 computations (36.4% saved)

regimes32.0ms (1.2%)

Accuracy

Total 0.0b remaining (37.5%)

Threshold costs 0.0b (37.5%)

Counts
5 → 1
Compiler

Compiled 98 to 65 computations (33.7% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
133

end1.0ms (0%)

Compiler

Compiled 3 to 2 computations (33.3% saved)

sample2.1s (79.3%)

Algorithm
1×intervals
Results
991.0ms3980×body1024valid
267.0ms1979×body512valid
147.0ms8001×pre128true
121.0ms424×body2048valid
86.0ms1019×body256valid
24.0ms598×body128valid
0.0ms1×body128invalid
Compiler

Compiled 21 to 16 computations (23.8% saved)

Profiling

Loading profile data...