expm1 (example 3.7)

Time bar (total: 1.3s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%74.6%25.4%0%0%0%0
100%74.6%0%25.4%0%0%0%1
Compiler

Compiled 8 to 6 computations (25% saved)

sample1.2s (89.7%)

Results
529.0ms2691×body1024valid
288.0ms2742×body256infinite
195.0ms1484×body512valid
85.0ms1050×body256valid
72.0ms289×body2048valid
Bogosity

preprocess64.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
1258×fma-neg
876×associate-*r*
868×unswap-sqr
826×*-commutative
650×associate-*l*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01014
12114
22714
33514
45814
510914
625314
770314
8264614
9666714
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (exp.f64 x) 1)
(-.f64 (exp.f64 (neg.f64 x)) 1)
Outputs
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)
(-.f64 (exp.f64 (neg.f64 x)) 1)
(expm1.f64 (neg.f64 x))
Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×1-exp
2×expm1-def
2×sub-neg
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
075
1135
2145
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(-.f64 (exp.f64 x) 1)
Outputs
(-.f64 (exp.f64 x) 1)
(expm1.f64 x)

eval0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Accurracy
100.0%
Counts
3 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(expm1.f64 x)
▶100.0%
(expm1.f64 x)
Compiler

Compiled 6 to 4 computations (33.3% saved)

localize13.0ms (1%)

Compiler

Compiled 5 to 3 computations (40% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune2.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accurracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(expm1.f64 x)
Compiler

Compiled 10 to 7 computations (30% saved)

regimes7.0ms (0.6%)

Accuracy

Total -38.4b remaining (-∞%)

Threshold costs -38.4b (-∞%)

Counts
2 → 1
Calls
Call 1
Inputs
(expm1.f64 x)
(-.f64 (exp.f64 x) 1)
Outputs
(expm1.f64 x)
Calls

3 calls:

3.0ms
x
2.0ms
(exp.f64 x)
2.0ms
(-.f64 (exp.f64 x) 1)
Results
AccuracySegmentsBranch
100.0%1x
100.0%1(-.f64 (exp.f64 x) 1)
100.0%1(exp.f64 x)
Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify4.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
045
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(expm1.f64 x)
Outputs
(expm1.f64 x)
Compiler

Compiled 3 to 2 computations (33.3% saved)

soundness13.0ms (1%)

Rules
2×1-exp
2×expm1-def
2×sub-neg
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
075
1135
2145
Stop Event
1×saturated
Compiler

Compiled 7 to 5 computations (28.6% saved)

end0.0ms (0%)

preprocess28.0ms (2.1%)

Compiler

Compiled 44 to 32 computations (27.3% saved)

Profiling

Loading profile data...