exp2 (problem 3.3.7)

Time bar (total: 8.1s)

analyze11.0ms (0.1%)

Memory
-12.2MiB live, 3.6MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%50.4%49.6%0%0%0%0
100%50.4%0%49.6%0%0%0%1
Compiler

Compiled 20 to 17 computations (15% saved)

sample8.0s (98.9%)

Memory
9.0MiB live, 1 720.0MiB allocated
Samples
2.2s5 709×2valid-sollya
2.0s5 709×2valid-baseline
1.9s5 709×2valid-rival
449.0ms2 383×1valid-baseline
276.0ms2 383×1valid-rival
248.0ms2 383×1valid-sollya
9.0ms164×0valid-baseline
9.0ms164×0valid-sollya
8.0ms164×0valid-rival
Bogosity

preprocess52.0ms (0.6%)

Memory
4.3MiB live, 19.5MiB allocated
Algorithm
1×egg-herbie
Rules
113×fmm-def
65×fma-define
36×sub-neg
25×associate--r+
24×cancel-sign-sub-inv
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
017128
145128
2105124
3248124
4465124
5604124
6637124
7642124
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (-.f64 (exp.f64 x) #s(literal 2 binary64)) (exp.f64 (neg.f64 x)))
(+.f64 (-.f64 (exp.f64 x) #s(literal 2 binary64)) (exp.f64 (neg.f64 x)))
(+.f64 (-.f64 (exp.f64 (neg.f64 x)) #s(literal 2 binary64)) (exp.f64 (neg.f64 (neg.f64 x))))
(neg.f64 (+.f64 (-.f64 (exp.f64 (neg.f64 x)) #s(literal 2 binary64)) (exp.f64 (neg.f64 (neg.f64 x)))))
Outputs
(+.f64 (-.f64 (exp.f64 x) #s(literal 2 binary64)) (exp.f64 (neg.f64 x)))
(+.f64 (+.f64 (exp.f64 x) #s(literal -2 binary64)) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) #s(literal -2 binary64)))
(+.f64 (-.f64 (exp.f64 x) #s(literal 2 binary64)) (exp.f64 (neg.f64 x)))
(+.f64 (+.f64 (exp.f64 x) #s(literal -2 binary64)) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) #s(literal -2 binary64)))
(+.f64 (-.f64 (exp.f64 (neg.f64 x)) #s(literal 2 binary64)) (exp.f64 (neg.f64 (neg.f64 x))))
(+.f64 (+.f64 (exp.f64 x) #s(literal -2 binary64)) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (+.f64 (exp.f64 (neg.f64 x)) #s(literal -2 binary64)))
(neg.f64 (+.f64 (-.f64 (exp.f64 (neg.f64 x)) #s(literal 2 binary64)) (exp.f64 (neg.f64 (neg.f64 x)))))
(neg.f64 (-.f64 (exp.f64 (neg.f64 x)) (-.f64 #s(literal 2 binary64) (exp.f64 x))))
(-.f64 (neg.f64 (exp.f64 x)) (+.f64 (exp.f64 (neg.f64 x)) #s(literal -2 binary64)))
(-.f64 (-.f64 #s(literal 2 binary64) (exp.f64 (neg.f64 x))) (exp.f64 x))
(-.f64 (-.f64 #s(literal 2 binary64) (exp.f64 x)) (exp.f64 (neg.f64 x)))
Symmetry

(abs x)

Compiler

Compiled 9 to 7 computations (22.2% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB 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
58.0%
(+.f64 (-.f64 (exp.f64 x) #s(literal 2 binary64)) (exp.f64 (neg.f64 x)))
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
11931
22431
32731
42831
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (-.f64 (exp.f64 x) #s(literal 2 binary64)) (exp.f64 (neg.f64 x)))
Outputs
(+.f64 (-.f64 (exp.f64 x) #s(literal 2 binary64)) (exp.f64 (neg.f64 x)))

soundness0.0ms (0%)

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

Compiled 9 to 7 computations (22.2% saved)

preprocess27.0ms (0.3%)

Memory
-1.6MiB live, 31.7MiB allocated
Compiler

Compiled 96 to 70 computations (27.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...