using JuMP, EAGO

                     m = Model()

                     EAGO.register_eago_operators!(m)

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

                     @variable(m, -20.345339284625858 <= q <= 16.479136897808104)

                     add_NL_constraint(m, :(1/(1 + exp(-(0.24719801624822457 + 0.29438950671798914*1/(1 + exp(-(0.7291821855933653 + 0.701331929085816*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.07780867500186073*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.19203457942980284*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + -0.7065670431246684*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + -0.7293079760660532*1/(1 + exp(-(0.05096633991424904 + 0.31501139336769945*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + -0.3152903616610754*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.8990116916055966*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + 0.8373103942919853*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + 0.8601808654748551*1/(1 + exp(-(0.18255055897839467 + -0.7759686413687503*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.7813463540455929*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + 0.215367127826533*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + 0.9673448256726829*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + 0.9720568561360068*1/(1 + exp(-(0.5199334546165302 + 0.4081309459110076*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.6995024782698374*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.3131098472642604*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + -0.4135863095985335*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2])))))))))) + 1/(1 + exp(-(-0.49402133773229506 + 0.2465550492028581*1/(1 + exp(-(0.7291821855933653 + 0.701331929085816*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.07780867500186073*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.19203457942980284*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + -0.7065670431246684*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + 0.17626257051164496*1/(1 + exp(-(0.05096633991424904 + 0.31501139336769945*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + -0.3152903616610754*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.8990116916055966*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + 0.8373103942919853*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + 0.8688281780619751*1/(1 + exp(-(0.18255055897839467 + -0.7759686413687503*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.7813463540455929*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + 0.215367127826533*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + 0.9673448256726829*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + 0.3904178182819744*1/(1 + exp(-(0.5199334546165302 + 0.4081309459110076*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.6995024782698374*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.3131098472642604*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + -0.4135863095985335*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2])))))))))) + 1/(1 + exp(-(-0.6759660684871824 + 0.9311431633625067*1/(1 + exp(-(0.7291821855933653 + 0.701331929085816*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.07780867500186073*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.19203457942980284*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + -0.7065670431246684*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + -0.2015839225926066*1/(1 + exp(-(0.05096633991424904 + 0.31501139336769945*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + -0.3152903616610754*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.8990116916055966*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + 0.8373103942919853*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + 0.01676614484829253*1/(1 + exp(-(0.18255055897839467 + -0.7759686413687503*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.7813463540455929*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + 0.215367127826533*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + 0.9673448256726829*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + -0.07861065087286123*1/(1 + exp(-(0.5199334546165302 + 0.4081309459110076*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.6995024782698374*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.3131098472642604*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + -0.4135863095985335*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2])))))))))) + 1/(1 + exp(-(-0.08101830092609674 + 0.5708385401734484*1/(1 + exp(-(0.7291821855933653 + 0.701331929085816*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.07780867500186073*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.19203457942980284*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + -0.7065670431246684*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + -0.9629021826429458*1/(1 + exp(-(0.05096633991424904 + 0.31501139336769945*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + -0.3152903616610754*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.8990116916055966*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + 0.8373103942919853*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + 0.4780289946412233*1/(1 + exp(-(0.18255055897839467 + -0.7759686413687503*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.7813463540455929*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + 0.215367127826533*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + 0.9673448256726829*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2]))))))) + -0.25224290978348307*1/(1 + exp(-(0.5199334546165302 + 0.4081309459110076*1/(1 + exp(-(-0.7470183626892886 + -0.6899614176169906*$(x[1]) + -0.2208825424587011*$(x[2])))) + 0.6995024782698374*1/(1 + exp(-(-0.11062111710238876 + 0.5516588711870343*$(x[1]) + 0.9886940321128486*$(x[2])))) + -0.3131098472642604*1/(1 + exp(-(-0.28538228970678503 + -0.152956579710676*$(x[1]) + -0.25273256901725194*$(x[2])))) + -0.4135863095985335*1/(1 + exp(-(0.7652671472719401 + -0.8637339388616145*$(x[1]) + -0.2539724731598083*$(x[2])))))))))) - $q <= 0.0))

                     @objective(m, Min, q)

                     return m

                    