Kahan's exp quotient

Time bar (total: 4.6s)

analyze16.0ms (0.4%)

Memory
-11.2MiB live, 4.6MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
50%50%50%0%0%0%0%2
75%75%25%0%0%0%0%3
87.5%87.5%12.5%0%0%0%0%4
93.8%93.7%6.2%0%0%0%0%5
96.9%96.8%3.1%0%0%0%0%6
98.4%98.4%1.6%0%0%0%0%7
99.2%99.2%0.8%0%0%0%0%8
99.6%99.6%0.4%0%0%0%0%9
99.8%99.8%0.2%0%0%0%0%10
99.9%99.9%0.1%0%0%0%0%11
100%99.9%0%0%0%0%0%12
Compiler

Compiled 16 to 13 computations (18.8% saved)

sample4.5s (97.3%)

Memory
29.0MiB live, 1 061.5MiB allocated
Samples
897.0ms4 017×1valid-baseline
535.0ms4 017×1valid-rival
159.0ms2 215×0valid-sollya
104.0ms2 215×0valid-baseline
102.0ms4 017×1valid-sollya
95.0ms2 215×0valid-rival
85.0ms2 024×0valid-rival+baseline-inf
Precisions
Click to see Rival histograms. Total time spent on operations: 523.0ms
ival-exp: 311.0ms (59.5% of total)
ival-div: 92.0ms (17.6% of total)
ival-sub: 65.0ms (12.4% of total)
adjust: 37.0ms (7.1% of total)
ival-true: 8.0ms (1.5% of total)
...in/eval/compile.rkt:76:19: 6.0ms (1.1% of total)
ival-assert: 4.0ms (0.8% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 643.0ms
ival-exp: 344.0ms (53.5% of total)
ival-div: 161.0ms (25% of total)
ival-sub: 112.0ms (17.4% of total)
const: 26.0ms (4% of total)
Bogosity

preprocess80.0ms (1.7%)

Memory
4.0MiB live, 19.3MiB allocated
Algorithm
1×egg-herbie
Rules
318×fma-define
191×fmm-def
111×times-frac
97×div-sub
64×distribute-rgt-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01588
14380
28880
324080
463080
597180
6134180
7158580
8165680
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (exp.f64 x) #s(literal 1 binary64)) x)
(/.f64 (-.f64 (exp.f64 x) #s(literal 1 binary64)) x)
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) #s(literal 1 binary64)) (neg.f64 x))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) #s(literal 1 binary64)) (neg.f64 x)))
Outputs
(/.f64 (-.f64 (exp.f64 x) #s(literal 1 binary64)) x)
(/.f64 (expm1.f64 x) x)
(/.f64 (-.f64 (exp.f64 x) #s(literal 1 binary64)) x)
(/.f64 (expm1.f64 x) x)
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) #s(literal 1 binary64)) (neg.f64 x))
(/.f64 (expm1.f64 (neg.f64 x)) (neg.f64 x))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) #s(literal 1 binary64)) (neg.f64 x)))
(/.f64 (expm1.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(/.f64 (expm1.f64 (neg.f64 x)) x)
Compiler

Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
47.7%
(/.f64 (-.f64 (exp.f64 x) #s(literal 1 binary64)) x)
Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify2.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Rules
3×1-exp
2×unsub-neg
2×sub-neg
2×+-commutative
2×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
11723
22123
32423
42723
53023
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (exp.f64 x) #s(literal 1 binary64)) x)
Outputs
(/.f64 (-.f64 (exp.f64 x) #s(literal 1 binary64)) x)
(/.f64 (+.f64 (exp.f64 x) #s(literal -1 binary64)) x)

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 7 to 5 computations (28.6% saved)

preprocess24.0ms (0.5%)

Memory
-0.9MiB live, 30.3MiB allocated
Compiler

Compiled 74 to 44 computations (40.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...