Logistic distribution

Time bar (total: 2.2s)

analyze58.0ms (2.6%)

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)

Precisions
Click to see histograms. Total time spent on operations: 15.0ms
Operation ival-add, time spent: 3.0ms, 19.0% of total-time
Operation ival-mult, time spent: 3.0ms, 19.0% of total-time
Operation ival-div, time spent: 2.0ms, 13.0% of total-time
Operation ival-exp, time spent: 2.0ms, 13.0% of total-time
Operation ival-<=, time spent: 2.0ms, 13.0% of total-time
Operation ival-neg, time spent: 2.0ms, 13.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 6.0% of total-time
Operation const, time spent: 1.0ms, 6.0% of total-time
Operation ival-and, time spent: 0.0ms, 0.0% of total-time

sample1.8s (82.8%)

Results
1.7s8255×256valid
0.0ms1×256valid
Precisions
Click to see histograms. Total time spent on operations: 644.0ms
Operation ival-div, time spent: 143.0ms, 22.0% of total-time
Operation ival-mult, time spent: 134.0ms, 21.0% of total-time
Operation ival-add, time spent: 101.0ms, 16.0% of total-time
Operation ival-<=, time spent: 80.0ms, 12.0% of total-time
Operation ival-exp, time spent: 75.0ms, 12.0% of total-time
Operation ival-fabs, time spent: 38.0ms, 6.0% of total-time
Operation ival-neg, time spent: 38.0ms, 6.0% of total-time
Operation const, time spent: 23.0ms, 4.0% of total-time
Operation ival-and, time spent: 12.0ms, 2.0% of total-time
Bogosity

preprocess321.0ms (14.6%)

Algorithm
1×egg-herbie
Rules
693×div-sub
658×fma-neg
519×fma-define
453×times-frac
284×associate-/r*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
043782
1156734
2497717
31530711
44457711
57634711
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (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 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 #s(literal 1 binary32) (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 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 #s(literal 1 binary32) (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 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 #s(literal 1 binary32) (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 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 #s(literal 1 binary32) (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 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))))
Outputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 s (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 s (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 s (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s)))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (*.f32 (*.f32 (neg.f32 s) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))) (*.f32 (neg.f32 s) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (neg.f32 s) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (neg.f32 (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s))))
(/.f32 (/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s) (-.f32 #s(literal -1 binary32) (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 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 (neg.f32 x))) s))))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (neg.f32 (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s)))) (neg.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))))))))
(/.f32 (/.f32 (exp.f32 (/.f32 (fabs.f32 x) (neg.f32 s))) (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s))))) (+.f32 #s(literal -1 binary32) (/.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (+.f32 s (/.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)))) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (fma.f32 s (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) s) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 (neg.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 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s))))) (+.f32 #s(literal 1 binary32) (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 (neg.f32 s) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) (neg.f32 s)))))))
(/.f32 (neg.f32 (exp.f32 (/.f32 (fabs.f32 x) s))) (*.f32 (neg.f32 s) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s))))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s))) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)))
(/.f32 (/.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (fma.f32 s (exp.f32 (/.f32 (fabs.f32 x) s)) s)) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 x) s))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (*.f32 (*.f32 x (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x)) (*.f32 x (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 s)) x))))))
(/.f32 (/.f32 (/.f32 (exp.f32 (/.f32 (fabs.f32 s) (neg.f32 x))) x) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 s) (neg.f32 x))))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 s) (neg.f32 x)))))
(/.f32 (exp.f32 (/.f32 (fabs.f32 s) (neg.f32 x))) (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (fabs.f32 s) (neg.f32 x)))) (+.f32 x (/.f32 x (exp.f32 (/.f32 (fabs.f32 s) x))))))
Symmetry

(abs x)

Compiler

Compiled 131 to 29 computations (77.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.0ms
Operation ival-add, time spent: 11.0ms, 36.0% of total-time
Operation ival-mult, time spent: 9.0ms, 30.0% of total-time
Operation ival-div, time spent: 4.0ms, 13.0% of total-time
Operation const, time spent: 2.0ms, 7.0% of total-time
Operation ival-exp, time spent: 2.0ms, 7.0% of total-time
Operation ival-neg, time spent: 1.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...