Logistic function

Time bar (total: 3.2s)

analyze46.0ms (1.4%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%24.7%75.3%0%0%0%0
0%0%24.7%75.3%0%0%0%1
0%0%24.7%75.3%0%0%0%2
50%12.4%12.4%75.3%0%0%0%3
50%12.4%12.4%75.3%0%0%0%4
75%18.5%6.2%75.3%0%0%0%5
75%18.5%6.2%75.3%0%0%0%6
87.5%21.6%3.1%75.3%0%0%0%7
87.5%21.6%3.1%75.3%0%0%0%8
93.7%23.2%1.5%75.3%0%0%0%9
93.7%23.2%1.5%75.3%0%0%0%10
96.9%23.9%0.8%75.3%0%0%0%11
96.9%23.9%0.8%75.3%0%0%0%12
Compiler

Compiled 18 to 14 computations (22.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
Operation ival-div, time spent: 3.0ms, 31.0% of total-time
Operation ival-exp, time spent: 2.0ms, 21.0% of total-time
Operation ival-<=, time spent: 2.0ms, 21.0% of total-time
Operation ival-add, time spent: 1.0ms, 10.0% of total-time
Operation ival-neg, time spent: 1.0ms, 10.0% of total-time
Operation const, time spent: 1.0ms, 10.0% of total-time
Operation ival-and, time spent: 0.0ms, 0.0% of total-time

sample1.6s (49.5%)

Results
1.5s8255×0valid
0.0ms1×0valid
Precisions
Click to see histograms. Total time spent on operations: 556.0ms
Operation ival-add, time spent: 165.0ms, 30.0% of total-time
Operation ival-div, time spent: 141.0ms, 25.0% of total-time
Operation ival-<=, time spent: 86.0ms, 15.0% of total-time
Operation ival-exp, time spent: 68.0ms, 12.0% of total-time
Operation ival-neg, time spent: 57.0ms, 10.0% of total-time
Operation const, time spent: 28.0ms, 5.0% of total-time
Operation ival-and, time spent: 13.0ms, 2.0% of total-time
Bogosity

preprocess825.0ms (25.7%)

Algorithm
1×egg-herbie
Rules
536×sqr-pow
464×exp-prod
415×associate-*r/
402×fma-def
398×fma-neg
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-x
00-0-(/.f32 (neg.f32 x) s)
00-0-(neg.f32 x)
00-0-(exp.f32 (/.f32 (neg.f32 x) s))
00-0-(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))
00-0-(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
00-0-1
00-0-s
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
030215
161215
2121215
3267215
4720215
51364215
62364215
74530215
86271215
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s)))))
(neg.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s)))))
(neg.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s))))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 s) x))))
Outputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 x (neg.f32 s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 x (neg.f32 s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 x s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 x s))))
(neg.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s)))))
(/.f32 -1 (+.f32 1 (exp.f32 (/.f32 x s))))
(neg.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s))))))
(/.f32 -1 (+.f32 1 (exp.f32 (/.f32 x s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 s) x))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 s (neg.f32 x)))))
Compiler

Compiled 77 to 35 computations (54.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 326.0ms
Operation ival-exp, time spent: 163.0ms, 50.0% of total-time
Operation ival-add, time spent: 92.0ms, 28.0% of total-time
Operation ival-div, time spent: 46.0ms, 14.0% of total-time
Operation ival-neg, time spent: 15.0ms, 5.0% of total-time
Operation const, time spent: 10.0ms, 3.0% of total-time

eval1.0ms (0%)

Compiler

Compiled 20 to 16 computations (20% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.8%
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
Compiler

Compiled 11 to 9 computations (18.2% saved)

localize726.0ms (22.6%)

Compiler

Compiled 33 to 13 computations (60.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 153.0ms
Operation ival-exp, time spent: 76.0ms, 50.0% of total-time
Operation ival-add, time spent: 42.0ms, 28.0% of total-time
Operation ival-div, time spent: 22.0ms, 14.0% of total-time
Operation ival-neg, time spent: 7.0ms, 5.0% of total-time
Operation const, time spent: 5.0ms, 3.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
99.8%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.8%
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
Compiler

Compiled 22 to 18 computations (18.2% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×1-exp
3×+-commutative
2×sub-neg
2×neg-mul-1
2×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01433
12533
22933
33233
43333
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
Outputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
Compiler

Compiled 11 to 9 computations (18.2% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess20.0ms (0.6%)

Compiler

Compiled 44 to 36 computations (18.2% saved)

Profiling

Loading profile data...