Hyperbolic secant

Time bar (total: 4.6s)

analyze15.0ms (0.3%)

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

Compiled 20 to 17 computations (15% saved)

sample4.5s (97.8%)

Memory
22.1MiB live, 1 027.1MiB allocated
Samples
1.1s8 209×0valid-sollya
471.0ms8 209×0valid-baseline
428.0ms8 209×0valid-rival
3.0ms47×0valid-rival+baseline-zero
Precisions
Click to see Rival histograms. Total time spent on operations: 268.0ms
ival-exp: 122.0ms (45.6% of total)
ival-div: 55.0ms (20.5% of total)
ival-neg: 39.0ms (14.6% of total)
ival-add: 38.0ms (14.2% of total)
ival-true: 7.0ms (2.6% of total)
...in/eval/compile.rkt:76:19: 3.0ms (1.1% of total)
ival-assert: 3.0ms (1.1% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 260.0ms
ival-exp: 116.0ms (44.7% of total)
ival-div: 58.0ms (22.3% of total)
ival-add: 40.0ms (15.4% of total)
ival-neg: 35.0ms (13.5% of total)
const: 11.0ms (4.2% of total)
Bogosity

preprocess54.0ms (1.2%)

Memory
-10.5MiB live, 20.0MiB allocated
Algorithm
1×egg-herbie
Rules
40×fma-define
40×fmm-def
24×sub-neg
14×distribute-lft-neg-in
14×cancel-sign-sub-inv
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
017124
135124
267124
3113124
4170124
5231124
6286124
7302124
8309124
9320124
10332124
11334124
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))))
(neg.f64 (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x))))))
Outputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(neg.f64 (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x))))))
(/.f64 #s(literal -2 binary64) (+.f64 (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.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
100.0%
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (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
2×+-commutative
1×sub-neg
1×*-commutative
1×neg-sub0
1×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
11731
21931
32031
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
Outputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

soundness0.0ms (0%)

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

Compiled 9 to 7 computations (22.2% saved)

preprocess28.0ms (0.6%)

Memory
6.8MiB live, 25.2MiB allocated
Remove

(abs x)

Compiler

Compiled 72 to 56 computations (22.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...