Hyperbolic sine

Time bar (total: 7.9s)

analyze17.0ms (0.2%)

Memory
-16.2MiB live, 4.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 20 to 17 computations (15% saved)

sample7.8s (98.7%)

Memory
-126.7MiB live, 1 630.6MiB allocated
Samples
1.3s4 014×1valid-baseline
830.0ms4 014×1valid-rival
666.0ms4 014×1valid-sollya
207.0ms4 021×0valid-rival+baseline-inf
117.0ms220×0valid-sollya
16.0ms220×0valid-baseline
13.0ms220×0valid-rival
0.0ms1×0valid-rival-only-inf
Precisions
Click to see Rival histograms. Total time spent on operations: 844.0ms
ival-exp: 587.0ms (69.6% of total)
ival-div: 84.0ms (10% of total)
ival-sub: 58.0ms (6.9% of total)
ival-neg: 58.0ms (6.9% of total)
adjust: 43.0ms (5.1% of total)
ival-true: 7.0ms (0.8% of total)
...in/eval/compile.rkt:76:19: 3.0ms (0.4% of total)
ival-assert: 3.0ms (0.4% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 1.2s
ival-exp: 673.0ms (55.4% of total)
ival-sub: 282.0ms (23.2% of total)
ival-div: 148.0ms (12.2% of total)
ival-neg: 87.0ms (7.2% of total)
const: 25.0ms (2.1% of total)
Bogosity

preprocess59.0ms (0.8%)

Memory
-11.0MiB live, 19.6MiB allocated
Algorithm
1×egg-herbie
Rules
96×fma-define
95×fmm-def
27×sub-neg
23×distribute-neg-frac
19×distribute-lft-neg-in
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
017124
145124
298124
3199124
4413116
5621116
6695116
7696116
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) #s(literal 2 binary64))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) #s(literal 2 binary64)))
Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) #s(literal -1/2 binary64))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) (exp.f64 x)))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) #s(literal -1/2 binary64))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) (exp.f64 x)))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) #s(literal 2 binary64))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) #s(literal 2 binary64))
(fma.f64 (exp.f64 x) #s(literal -1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(neg.f64 (/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))) #s(literal 2 binary64)))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) #s(literal -1/2 binary64))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal -1/2 binary64) (exp.f64 x)))
Symmetry

(negabs x)

Compiler

Compiled 9 to 7 computations (22.2% 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
58.8%
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
11831
22331
32631
42731
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))
Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 2 binary64))

soundness0.0ms (0%)

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

Compiled 9 to 7 computations (22.2% saved)

preprocess25.0ms (0.3%)

Memory
5.4MiB live, 22.7MiB allocated
Remove

(negabs x)

Compiler

Compiled 72 to 56 computations (22.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...