Logistic distribution

Time bar (total: 1.7s)

analyze44.0ms (2.7%)

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 35 to 18 computations (48.6% saved)

sample1.4s (84.8%)

Results
1.4s8256×body256valid
Bogosity

preprocess207.0ms (12.6%)

Algorithm
1×egg-herbie
Rules
898×distribute-lft-in
786×distribute-rgt-in
746×*-commutative
732×associate-/r*
710×fma-def
Problems
249×No Errors
5×(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))
2×(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
043782
1157770
2428723
31277713
43860713
57851713
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (*.f32 (*.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))))
(neg.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s))))))
(neg.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (*.f32 (*.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (*.f32 (*.f32 x (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))))
Outputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (*.f32 (*.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))) (*.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (/.f32 (exp.f32 (*.f32 1 (/.f32 (fabs.f32 x) s))) (neg.f32 s)) (*.f32 (+.f32 1 (exp.f32 (*.f32 1 (/.f32 (fabs.f32 x) s)))) (+.f32 1 (exp.f32 (*.f32 1 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) s))) (neg.f32 (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s))))
(/.f32 (/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (-.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s)))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s) (-.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s)))))
(neg.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s))))))
(/.f32 (neg.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (neg.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (/.f32 -1 (exp.f32 (/.f32 (fabs.f32 x) s))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (/.f32 -1 (*.f32 (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)))) (exp.f32 (/.f32 (fabs.f32 x) s)))) (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))))
(/.f32 (/.f32 -1 (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) s)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (exp.f32 (/.f32 (fabs.f32 x) s))))
(neg.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (*.f32 (*.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (neg.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))) (*.f32 (neg.f32 s) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (/.f32 (neg.f32 (exp.f32 (*.f32 1 (/.f32 (fabs.f32 x) s)))) (neg.f32 s)) (*.f32 (+.f32 1 (exp.f32 (*.f32 1 (/.f32 (fabs.f32 x) s)))) (+.f32 1 (exp.f32 (*.f32 1 (/.f32 (fabs.f32 x) s))))))
(/.f32 (*.f32 1 (/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s))) (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) s))))
(/.f32 (/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)) (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) s))))
(/.f32 (/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 1 (exp.f32 (/.f32 (fabs.f32 x) s)))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (*.f32 (*.f32 x (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (*.f32 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))) (*.f32 x (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))))))
(/.f32 (/.f32 (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))) x) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (*.f32 (+.f32 x (/.f32 x (exp.f32 (/.f32 (fabs.f32 s) x)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))))
(/.f32 (exp.f32 (neg.f32 (/.f32 (fabs.f32 s) x))) (*.f32 (+.f32 x (/.f32 x (exp.f32 (/.f32 (fabs.f32 s) x)))) (+.f32 1 (exp.f32 (neg.f32 (/.f32 (fabs.f32 s) x))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (+.f32 x (*.f32 (/.f32 x (exp.f32 (/.f32 (fabs.f32 s) x))) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) 2))))
Symmetry

(abs x)

Compiler

Compiled 85 to 26 computations (69.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...