Hyperbolic secant

Time bar (total: 1.2s)

analyze0.0ms (0%)

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 10 to 8 computations (20% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-div: 0.0ms (0% of total)
ival-exp: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)
ival-neg: 0.0ms (0% of total)

sample853.0ms (70.8%)

Results
642.0ms8256×0valid
Precisions
Click to see histograms. Total time spent on operations: 380.0ms
ival-exp: 177.0ms (46.6% of total)
ival-div: 98.0ms (25.8% of total)
ival-add: 52.0ms (13.7% of total)
ival-neg: 39.0ms (10.3% of total)
const: 10.0ms (2.6% of total)
backward-pass: 3.0ms (0.8% of total)
Bogosity

preprocess179.0ms (14.8%)

Algorithm
1×egg-herbie
Rules
40×fma-neg
40×fma-define
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)

explain84.0ms (6.9%)

FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-x
00-0-(exp.f64 (neg.f64 x))
00-0-(neg.f64 x)
00-0-(exp.f64 x)
00-0-(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
00-0-#s(literal 2 binary64)
00-0-(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
Results
56.0ms512×0valid
Compiler

Compiled 59 to 25 computations (57.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.0ms
ival-exp: 7.0ms (42% of total)
ival-div: 4.0ms (24% of total)
ival-add: 3.0ms (18% of total)
ival-neg: 2.0ms (12% of total)
const: 1.0ms (6% of total)
backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

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 9 to 7 computations (22.2% saved)

localize50.0ms (4.1%)

Results
41.0ms256×0valid
Compiler

Compiled 25 to 9 computations (64% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-exp: 3.0ms (36.7% of total)
ival-div: 2.0ms (24.4% of total)
ival-add: 1.0ms (12.2% of total)
ival-neg: 1.0ms (12.2% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
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.2%)

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%)

Stop Event
1×done
Compiler

Compiled 9 to 7 computations (22.2% saved)

preprocess36.0ms (2.9%)

Remove

(abs x)

Compiler

Compiled 72 to 56 computations (22.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...