using JuMP, EAGO

                     m = Model()

                     EAGO.register_eago_operators!(m)

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

                     @variable(m, -13.266290625856113 <= q <= 11.094199160852137)

                     add_NL_constraint(m, :(1/(1 + exp(-(-0.2977454197977769 + 0.7722469146312885*1/(1 + exp(-(0.9100824262656433 + 0.0704650714228956*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.8966302258455006*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.7890296052704904*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4])))))))))) + 0.5815923034237733*1/(1 + exp(-(-0.15598180224250147 + 0.7627892034632455*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.6806349200893864*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + -0.163059274878961*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4])))))))))) + -0.731486602090937*1/(1 + exp(-(-0.9577813343303001 + 0.660774759467007*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + -0.16269598559087406*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.9308521240523335*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))))))))) + 1/(1 + exp(-(0.23088458854123672 + 0.9025271253252471*1/(1 + exp(-(0.9100824262656433 + 0.0704650714228956*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.8966302258455006*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.7890296052704904*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4])))))))))) + 0.9612479731086991*1/(1 + exp(-(-0.15598180224250147 + 0.7627892034632455*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.6806349200893864*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + -0.163059274878961*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4])))))))))) + 0.9633061422344626*1/(1 + exp(-(-0.9577813343303001 + 0.660774759467007*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + -0.16269598559087406*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.9308521240523335*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))))))))) + 1/(1 + exp(-(-0.8299198997441475 + 0.7709117851978275*1/(1 + exp(-(0.9100824262656433 + 0.0704650714228956*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.8966302258455006*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.7890296052704904*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4])))))))))) + 0.5338511667423695*1/(1 + exp(-(-0.15598180224250147 + 0.7627892034632455*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.6806349200893864*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + -0.163059274878961*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4])))))))))) + 0.3695524647159538*1/(1 + exp(-(-0.9577813343303001 + 0.660774759467007*1/(1 + exp(-(-0.7110372864748489 + -0.3189000958940382*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.039301419137926175*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.19790129907631693*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + -0.16269598559087406*1/(1 + exp(-(0.7299768289984225 + 0.7045346620386517*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.8068588624409387*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + 0.8888276792068996*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))) + 0.9308521240523335*1/(1 + exp(-(-0.5099367345236407 + -0.3810722083004521*1/(1 + exp(-(0.8606897861111369 + 0.08970944375635792*$(x[1]) + 0.5451334799438907*$(x[2]) + -0.8811882246809297*$(x[3]) + -0.4223772070829366*$(x[4])))) + 0.4850891682061631*1/(1 + exp(-(0.47662806300654736 + 0.5011612847792533*$(x[1]) + 0.5521868073085425*$(x[2]) + 0.45455279409713745*$(x[3]) + -0.33071846313642217*$(x[4])))) + -0.158929561309892*1/(1 + exp(-(-0.45543581836352764 + -0.399986773274851*$(x[1]) + -0.07747330631488092*$(x[2]) + -0.8376058727182878*$(x[3]) + 0.18120897903061906*$(x[4]))))))))))))) - $q <= 0.0))

                     @objective(m, Min, q)

                     return m

                    