using JuMP, EAGO

                     m = Model()

                     EAGO.register_eago_operators!(m)

                     @variable(m, -1 <= x[i=1:4] <= 1)

                     @variable(m, -12.548880784274985 <= q <= 15.06837792907793)

                     add_NL_constraint(m, :(1/(1 + exp(-(0.4386422028907555 + 0.03049853723546203*1/(1 + exp(-(-0.33806544253006265 + -0.5419050015026476*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + -0.12420368558845318*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + 0.008939690927983968*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4]))))))) + -0.7963936693468932*1/(1 + exp(-(0.35455126051631725 + -0.3141650319667155*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + 0.26311214619974344*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + -0.4178451532515153*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4]))))))) + -0.19871150900740808*1/(1 + exp(-(-0.9712553762218641 + -0.9788234903921222*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + -0.6598676192535482*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + 0.7900118209668339*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4])))))))))) + 1/(1 + exp(-(0.039843038969352484 + 0.2885956651060697*1/(1 + exp(-(-0.33806544253006265 + -0.5419050015026476*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + -0.12420368558845318*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + 0.008939690927983968*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4]))))))) + 0.8477392827604406*1/(1 + exp(-(0.35455126051631725 + -0.3141650319667155*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + 0.26311214619974344*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + -0.4178451532515153*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4]))))))) + -0.38122333260621444*1/(1 + exp(-(-0.9712553762218641 + -0.9788234903921222*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + -0.6598676192535482*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + 0.7900118209668339*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4])))))))))) + 1/(1 + exp(-(0.5234531332153054 + -0.26529753551452195*1/(1 + exp(-(-0.33806544253006265 + -0.5419050015026476*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + -0.12420368558845318*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + 0.008939690927983968*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4]))))))) + 0.29155449146294243*1/(1 + exp(-(0.35455126051631725 + -0.3141650319667155*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + 0.26311214619974344*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + -0.4178451532515153*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4]))))))) + -0.357141816330512*1/(1 + exp(-(-0.9712553762218641 + -0.9788234903921222*1/(1 + exp(-(0.3281182697751017 + -0.8099128015858463*$(x[1]) + 0.13317347784439315*$(x[2]) + 0.4405761556905756*$(x[3]) + 0.9454727306320025*$(x[4])))) + -0.6598676192535482*1/(1 + exp(-(-0.11273025364322331 + 0.7707180324977863*$(x[1]) + -0.4030548048256195*$(x[2]) + 0.6515536701116291*$(x[3]) + -0.7265975512301988*$(x[4])))) + 0.7900118209668339*1/(1 + exp(-(-0.1658555453462811 + -0.8928983125267513*$(x[1]) + 0.8779481001349092*$(x[2]) + -0.7642847980322278*$(x[3]) + -0.7283572839362114*$(x[4])))))))))) - $q <= 0.0))

                     @objective(m, Min, q)

                     return m

                    