Logistic function

Time bar (total: 1.4s)

analyze41.0ms (2.9%)

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)

sample1.2s (83.8%)

Results
1.2s8256×body256valid
Bogosity

preprocess186.0ms (13.3%)

Algorithm
1×egg-herbie
Rules
1130×sqr-pow
1014×associate-*r/
662×associate-*l*
658×associate--r-
594×associate-/r/
Problems
250×No Errors
5×(exp.f32 (/.f32 (neg.f32 x) s))
1×(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
030215
161215
2119215
3266215
4845215
51563215
62572215
74878215
87334215
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 33 to 13 computations (60.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...