# NLP written by GAMS Convert at 03/25/24 11:25:34
#
# Equation counts
#     Total        E        G        L        N        X        C        B
#         5        0        0        5        0        0        0        0
#
# Variable counts
#                  x        b        i      s1s      s2s       sc       si
#     Total     cont   binary  integer     sos1     sos2    scont     sint
#        50       50        0        0        0        0        0        0
# FX      0
#
# Nonzero counts
#     Total    const       NL
#       249        0      249
#
# Reformulation has removed 1 variable and 1 equation

from pyomo.environ import *

model = m = ConcreteModel()

m.x1 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x2 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x3 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x4 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x5 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x6 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x7 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x8 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x9 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x10 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x11 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x12 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x13 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x14 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x15 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x16 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x17 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x18 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x19 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x20 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x21 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x22 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x23 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x24 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x25 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x26 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x27 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x28 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x29 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x30 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x31 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x32 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x33 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x34 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x35 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x36 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x37 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x38 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x39 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x40 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x41 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x42 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x43 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x44 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x45 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x46 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x47 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x48 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x49 = Var(within=Reals, bounds=(0,10), initialize=0)
m.x50 = Var(within=Reals, bounds=(0,10), initialize=0)

m.obj = Objective(sense=maximize, expr= -m.x1 - 20 * m.x2 - 7 * m.x3 - 13 *
    m.x5 - 2 * m.x6 - 15 * m.x7 - 10 * m.x8 - 15 * m.x10 - 20 * m.x11 - 13 *
    m.x12 - 18 * m.x13 - 11 * m.x14 - 10 * m.x15 - 6 * m.x16 - 16 * m.x17 - 20
    * m.x18 - 12 * m.x19 - 6 * m.x20 - 16 * m.x21 - 4 * m.x22 - 15 * m.x23 - 17
    * m.x24 - 17 * m.x25 - 13 * m.x27 - 7 * m.x28 - 6 * m.x29 - 16 * m.x30 -
    16 * m.x31 - 14 * m.x32 - 13 * m.x33 - 15 * m.x34 - 10 * m.x35 - 20 * m.x36
    - 10 * m.x37 - 5 * m.x38 - 18 * m.x39 - 15 * m.x40 - m.x41 - 10 * m.x43 -
    7 * m.x44 - 12 * m.x45 - 5 * m.x46 - 11 * m.x47 - 18 * m.x48 - 13 * m.x49
    - 15 * m.x50)

m.e1 = Constraint(expr= -2.9 * m.x1 * exp(-0.0010000000000000002 * m.x1**3) -
    2.1 * m.x2 * exp(-0.0010000000000000002 * m.x2**3) - 1.7 * m.x3 * exp(-
    0.010000000000000002 * m.x3**2) - 9.2 * m.x4 * exp(-0.0010000000000000002
    * m.x4**3) - 5.7 * m.x5 * exp(-0.010000000000000002 * m.x5**2) - 0.9 *
    m.x6 * exp(-0.0010000000000000002 * m.x6**3) - 7.5 * m.x7 * exp(-
    0.010000000000000002 * m.x7**2) - 3.6 * m.x8 * exp(-0.1 * m.x8) - 2.1 *
    m.x9 * exp(-0.1 * m.x9) - 4.9 * m.x10 * exp(-0.0010000000000000002 * m.x10
    **3) - 0.9 * m.x11 * exp(-0.010000000000000002 * m.x11**2) - 5.6 * m.x12 *
    exp(-0.1 * m.x12) - 9.3 * m.x13 * exp(-0.0010000000000000002 * m.x13**3) -
    3.5 * m.x14 * exp(-0.010000000000000002 * m.x14**2) - 3.1 * m.x15 * exp(
    -0.1 * m.x15) - 6.1 * m.x16 * exp(-0.1 * m.x16) - 3.9 * m.x17 * exp(-0.1 *
    m.x17) - 6.6 * m.x18 * exp(-0.010000000000000002 * m.x18**2) - 8.4 * m.x19
    * exp(-0.0010000000000000002 * m.x19**3) - 2.5 * m.x20 * exp(-
    0.0010000000000000002 * m.x20**3) - 5.4 * m.x21 * exp(-0.1 * m.x21) - 5.2 *
    m.x22 * exp(-0.0010000000000000002 * m.x22**3) - 1.9 * m.x23 * exp(-
    0.0010000000000000002 * m.x23**3) - 5.5 * m.x24 * exp(-0.010000000000000002
    * m.x24**2) - 5.5 * m.x25 * exp(-0.1 * m.x25) - 4.9 * m.x26 * exp(-
    0.0010000000000000002 * m.x26**3) - 0.5 * m.x27 * exp(-0.1 * m.x27) - 6.7 *
    m.x28 * exp(-0.1 * m.x28) - 4.5 * m.x29 * exp(-0.1 * m.x29) - 0.4 * m.x30
    * exp(-0.010000000000000002 * m.x30**2) - 7.1 * m.x31 * exp(-0.1 * m.x31)
    - 1.5 * m.x32 * exp(-0.010000000000000002 * m.x32**2) - 2.4 * m.x33 * exp(
    -0.010000000000000002 * m.x33**2) - 3.3 * m.x34 * exp(-0.010000000000000002
    * m.x34**2) - 3.2 * m.x35 * exp(-0.0010000000000000002 * m.x35**3) - 9.2 *
    m.x36 * exp(-0.010000000000000002 * m.x36**2) - 3 * m.x37 * exp(-
    0.0010000000000000002 * m.x37**3) - 6.9 * m.x38 * exp(-0.1 * m.x38) - 0.4 *
    m.x39 * exp(-0.1 * m.x39) - 2.3 * m.x40 * exp(-0.0010000000000000002 *
    m.x40**3) - 3.1 * m.x41 * exp(-0.0010000000000000002 * m.x41**3) - 3.6 *
    m.x42 * exp(-0.0010000000000000002 * m.x42**3) - 7.4 * m.x43 * exp(-
    0.010000000000000002 * m.x43**2) - 8.9 * m.x44 * exp(-0.010000000000000002
    * m.x44**2) - 5.8 * m.x45 * exp(-0.0010000000000000002 * m.x45**3) - 0.3 *
    m.x46 * exp(-0.1 * m.x46) - 9 * m.x47 * exp(-0.0010000000000000002 * m.x47
    **3) - 1.4 * m.x48 * exp(-0.1 * m.x48) - 2.7 * m.x49 * exp(-
    0.0010000000000000002 * m.x49**3) - 4.8 * m.x50 * exp(-0.1 * m.x50)
    <= -500)
m.e2 = Constraint(expr= -2.1 * m.x1 * exp(-0.0010000000000000002 * m.x1**3) -
    8.3 * m.x2 * exp(-0.0010000000000000002 * m.x2**3) - 9 * m.x3 * exp(-0.1 *
    m.x3) - 5.6 * m.x4 * exp(-0.1 * m.x4) - 3 * m.x5 * exp(-
    0.010000000000000002 * m.x5**2) - 6.4 * m.x6 * exp(-0.1 * m.x6) - 7.7 *
    m.x7 * exp(-0.0010000000000000002 * m.x7**3) - 4.4 * m.x8 * exp(-0.1 * m.x8)
    - 1.3 * m.x9 * exp(-0.1 * m.x9) - 5.8 * m.x10 * exp(-0.010000000000000002
    * m.x10**2) - 8.6 * m.x11 * exp(-0.010000000000000002 * m.x11**2) - 1.1 *
    m.x12 * exp(-0.010000000000000002 * m.x12**2) - 3.1 * m.x13 * exp(-
    0.0010000000000000002 * m.x13**3) - 7.4 * m.x14 * exp(-0.010000000000000002
    * m.x14**2) - 4.2 * m.x15 * exp(-0.1 * m.x15) - 5.6 * m.x16 * exp(-
    0.010000000000000002 * m.x16**2) - 2.6 * m.x17 * exp(-0.1 * m.x17) - 6.5 *
    m.x18 * exp(-0.1 * m.x18) - 4.6 * m.x19 * exp(-0.0010000000000000002 *
    m.x19**3) - 4.3 * m.x20 * exp(-0.010000000000000002 * m.x20**2) - 7.8 *
    m.x21 * exp(-0.010000000000000002 * m.x21**2) - 3.4 * m.x22 * exp(-
    0.010000000000000002 * m.x22**2) - 1.6 * m.x23 * exp(-0.010000000000000002
    * m.x23**2) - 1.2 * m.x24 * exp(-0.0010000000000000002 * m.x24**3) - 8.7 *
    m.x25 * exp(-0.1 * m.x25) - 0.8 * m.x26 * exp(-0.1 * m.x26) - 5 * m.x27 *
    exp(-0.010000000000000002 * m.x27**2) - 3.7 * m.x28 * exp(-
    0.0010000000000000002 * m.x28**3) - 3.1 * m.x29 * exp(-0.010000000000000002
    * m.x29**2) - 0.7 * m.x30 * exp(-0.0010000000000000002 * m.x30**3) - 4.6 *
    m.x31 * exp(-0.0010000000000000002 * m.x31**3) - 3 * m.x32 * exp(-
    0.010000000000000002 * m.x32**2) - 9.1 * m.x33 * exp(-0.0010000000000000002
    * m.x33**3) - 0.3 * m.x34 * exp(-0.010000000000000002 * m.x34**2) - 4.3 *
    m.x35 * exp(-0.1 * m.x35) - 2.1 * m.x36 * exp(-0.1 * m.x36) - 2.4 * m.x37
    * exp(-0.010000000000000002 * m.x37**2) - 6 * m.x38 * exp(-
    0.010000000000000002 * m.x38**2) - 8.1 * m.x39 * exp(-0.010000000000000002
    * m.x39**2) - 9.5 * m.x40 * exp(-0.1 * m.x40) - 6.9 * m.x41 * exp(-
    0.0010000000000000002 * m.x41**3) - 9.4 * m.x42 * exp(-0.010000000000000002
    * m.x42**2) - 4.3 * m.x43 * exp(-0.0010000000000000002 * m.x43**3) - 8.8 *
    m.x44 * exp(-0.010000000000000002 * m.x44**2) - 6.7 * m.x45 * exp(-0.1 *
    m.x45) - 9.6 * m.x46 * exp(-0.010000000000000002 * m.x46**2) - 6.6 * m.x47
    * exp(-0.0010000000000000002 * m.x47**3) - 2.6 * m.x48 * exp(-0.1 * m.x48)
    - 2.1 * m.x49 * exp(-0.0010000000000000002 * m.x49**3) - 6.1 * m.x50 * exp
    (-0.1 * m.x50) <= -651)
m.e3 = Constraint(expr= -9.3 * m.x1 * exp(-0.1 * m.x1) - 0.8 * m.x2 * exp(-0.1
    * m.x2) - 6.7 * m.x3 * exp(-0.1 * m.x3) - 2.8 * m.x4 * exp(-0.1 * m.x4) -
    8.7 * m.x5 * exp(-0.010000000000000002 * m.x5**2) - 7.8 * m.x6 * exp(-
    0.010000000000000002 * m.x6**2) - 2.2 * m.x7 * exp(-0.0010000000000000002
    * m.x7**3) - 5.6 * m.x8 * exp(-0.1 * m.x8) - 6.6 * m.x9 * exp(-
    0.010000000000000002 * m.x9**2) - 4.8 * m.x10 * exp(-0.1 * m.x10) - m.x11
    * exp(-0.1 * m.x11) - 1.9 * m.x12 * exp(-0.0010000000000000002 * m.x12**3)
    - 8.3 * m.x13 * exp(-0.1 * m.x13) - 6 * m.x14 * exp(-0.0010000000000000002
    * m.x14**3) - 3.7 * m.x15 * exp(-0.010000000000000002 * m.x15**2) - 6.4 *
    m.x16 * exp(-0.010000000000000002 * m.x16**2) - 4.8 * m.x17 * exp(-
    0.010000000000000002 * m.x17**2) - 9.2 * m.x18 * exp(-0.1 * m.x18) - 8.8 *
    m.x19 * exp(-0.0010000000000000002 * m.x19**3) - 7.3 * m.x20 * exp(-
    0.010000000000000002 * m.x20**2) - 9.8 * m.x21 * exp(-0.0010000000000000002
    * m.x21**3) - 6.3 * m.x22 * exp(-0.0010000000000000002 * m.x22**3) - 1.9 *
    m.x23 * exp(-0.1 * m.x23) - 1.3 * m.x24 * exp(-0.0010000000000000002 *
    m.x24**3) - 1.8 * m.x25 * exp(-0.010000000000000002 * m.x25**2) - 5.5 *
    m.x26 * exp(-0.1 * m.x26) - 5.2 * m.x27 * exp(-0.010000000000000002 * m.x27
    **2) - 5.1 * m.x28 * exp(-0.0010000000000000002 * m.x28**3) - 1.6 * m.x29
    * exp(-0.010000000000000002 * m.x29**2) - 0.6 * m.x30 * exp(-
    0.0010000000000000002 * m.x30**3) - 9 * m.x31 * exp(-0.0010000000000000002
    * m.x31**3) - 4.3 * m.x32 * exp(-0.010000000000000002 * m.x32**2) - 5.3 *
    m.x33 * exp(-0.1 * m.x33) - 1.8 * m.x34 * exp(-0.010000000000000002 * m.x34
    **2) - 0.4 * m.x35 * exp(-0.1 * m.x35) - 7.8 * m.x36 * exp(-
    0.010000000000000002 * m.x36**2) - 4.2 * m.x37 * exp(-0.0010000000000000002
    * m.x37**3) - 1.1 * m.x38 * exp(-0.0010000000000000002 * m.x38**3) - 8.3 *
    m.x39 * exp(-0.0010000000000000002 * m.x39**3) - 5.9 * m.x40 * exp(-
    0.0010000000000000002 * m.x40**3) - 4.7 * m.x41 * exp(-
    0.0010000000000000002 * m.x41**3) - 9 * m.x42 * exp(-0.1 * m.x42) - 6.5 *
    m.x43 * exp(-0.1 * m.x43) - 3.6 * m.x44 * exp(-0.010000000000000002 * m.x44
    **2) - 3.6 * m.x45 * exp(-0.1 * m.x45) - 5.8 * m.x46 * exp(-
    0.010000000000000002 * m.x46**2) - 0.2 * m.x47 * exp(-0.0010000000000000002
    * m.x47**3) - 6.3 * m.x48 * exp(-0.010000000000000002 * m.x48**2) - 6 *
    m.x49 * exp(-0.1 * m.x49) - 8.3 * m.x50 * exp(-0.1 * m.x50) <= -615)
m.e4 = Constraint(expr= -4.8 * m.x1 * exp(-0.0010000000000000002 * m.x1**3) -
    0.9 * m.x2 * exp(-0.1 * m.x2) - 9.1 * m.x3 * exp(-0.010000000000000002 *
    m.x3**2) - 4.6 * m.x4 * exp(-0.010000000000000002 * m.x4**2) - 6.7 * m.x5
    * exp(-0.0010000000000000002 * m.x5**3) - 1.1 * m.x6 * exp(-0.1 * m.x6) -
    7.6 * m.x7 * exp(-0.0010000000000000002 * m.x7**3) - 4.7 * m.x8 * exp(-
    0.010000000000000002 * m.x8**2) - 8.6 * m.x9 * exp(-0.010000000000000002 *
    m.x9**2) - 4.6 * m.x10 * exp(-0.0010000000000000002 * m.x10**3) - 8.5 *
    m.x11 * exp(-0.0010000000000000002 * m.x11**3) - 0.3 * m.x12 * exp(-
    0.0010000000000000002 * m.x12**3) - 3.8 * m.x13 * exp(-0.1 * m.x13) - 1.9 *
    m.x14 * exp(-0.1 * m.x14) - 3.6 * m.x15 * exp(-0.1 * m.x15) - 5 * m.x16 *
    exp(-0.010000000000000002 * m.x16**2) - 6.9 * m.x17 * exp(-
    0.010000000000000002 * m.x17**2) - 5.7 * m.x18 * exp(-0.010000000000000002
    * m.x18**2) - 0.2 * m.x19 * exp(-0.0010000000000000002 * m.x19**3) - 2.5 *
    m.x20 * exp(-0.0010000000000000002 * m.x20**3) - 1.2 * m.x22 * exp(-
    0.010000000000000002 * m.x22**2) - 3.9 * m.x23 * exp(-0.010000000000000002
    * m.x23**2) - 5.5 * m.x24 * exp(-0.010000000000000002 * m.x24**2) - 2.6 *
    m.x25 * exp(-0.1 * m.x25) - 5 * m.x26 * exp(-0.1 * m.x26) - 2.1 * m.x27 *
    exp(-0.1 * m.x27) - 8.3 * m.x28 * exp(-0.1 * m.x28) - 1.1 * m.x29 * exp(-
    0.010000000000000002 * m.x29**2) - 8.3 * m.x30 * exp(-0.1 * m.x30) - 9 *
    m.x31 * exp(-0.010000000000000002 * m.x31**2) - 9.4 * m.x32 * exp(-
    0.010000000000000002 * m.x32**2) - 8 * m.x33 * exp(-0.0010000000000000002
    * m.x33**3) - 1.3 * m.x34 * exp(-0.1 * m.x34) - 0.6 * m.x35 * exp(-
    0.0010000000000000002 * m.x35**3) - 5.5 * m.x36 * exp(-0.1 * m.x36) - 7.6 *
    m.x37 * exp(-0.010000000000000002 * m.x37**2) - 7.6 * m.x38 * exp(-
    0.0010000000000000002 * m.x38**3) - 3.2 * m.x39 * exp(-
    0.0010000000000000002 * m.x39**3) - 1.6 * m.x40 * exp(-
    0.0010000000000000002 * m.x40**3) - 4 * m.x41 * exp(-0.010000000000000002
    * m.x41**2) - 8.1 * m.x42 * exp(-0.1 * m.x42) - 1.3 * m.x43 * exp(-
    0.010000000000000002 * m.x43**2) - 3.6 * m.x44 * exp(-0.1 * m.x44) - 1.8 *
    m.x45 * exp(-0.010000000000000002 * m.x45**2) - 4.4 * m.x46 * exp(-
    0.010000000000000002 * m.x46**2) - 5.4 * m.x47 * exp(-0.010000000000000002
    * m.x47**2) - 3.7 * m.x48 * exp(-0.1 * m.x48) - 10 * m.x49 * exp(-0.1 *
    m.x49) - 0.5 * m.x50 * exp(-0.1 * m.x50) <= -788)
m.e5 = Constraint(expr= -7.5 * m.x1 * exp(-0.1 * m.x1) - 5.7 * m.x2 * exp(-
    0.010000000000000002 * m.x2**2) - 7.9 * m.x3 * exp(-0.0010000000000000002
    * m.x3**3) - 4 * m.x4 * exp(-0.0010000000000000002 * m.x4**3) - 8.9 * m.x5
    * exp(-0.010000000000000002 * m.x5**2) - 2.1 * m.x6 * exp(-
    0.010000000000000002 * m.x6**2) - 6.4 * m.x7 * exp(-0.1 * m.x7) - 9 * m.x8
    * exp(-0.1 * m.x8) - 2.4 * m.x9 * exp(-0.010000000000000002 * m.x9**2) -
    6.6 * m.x10 * exp(-0.010000000000000002 * m.x10**2) - 5.4 * m.x11 * exp(-
    0.0010000000000000002 * m.x11**3) - 7.3 * m.x12 * exp(-0.010000000000000002
    * m.x12**2) - 5.9 * m.x13 * exp(-0.010000000000000002 * m.x13**2) - 0.7 *
    m.x14 * exp(-0.1 * m.x14) - 7.7 * m.x15 * exp(-0.0010000000000000002 *
    m.x15**3) - 6.8 * m.x16 * exp(-0.0010000000000000002 * m.x16**3) - 1.7 *
    m.x17 * exp(-0.0010000000000000002 * m.x17**3) - 5.5 * m.x18 * exp(-0.1 *
    m.x18) - 9.3 * m.x19 * exp(-0.0010000000000000002 * m.x19**3) - 7.2 * m.x20
    * exp(-0.010000000000000002 * m.x20**2) - 8.5 * m.x21 * exp(-0.1 * m.x21)
    - 8.6 * m.x22 * exp(-0.0010000000000000002 * m.x22**3) - 0.1 * m.x23 * exp
    (-0.010000000000000002 * m.x23**2) - 3.1 * m.x24 * exp(-
    0.010000000000000002 * m.x24**2) - 3.5 * m.x25 * exp(-0.010000000000000002
    * m.x25**2) - 7.8 * m.x26 * exp(-0.0010000000000000002 * m.x26**3) - 8.5 *
    m.x27 * exp(-0.010000000000000002 * m.x27**2) - 0.9 * m.x28 * exp(-
    0.0010000000000000002 * m.x28**3) - 7.9 * m.x29 * exp(-
    0.0010000000000000002 * m.x29**3) - 8 * m.x30 * exp(-0.0010000000000000002
    * m.x30**3) - 2.5 * m.x31 * exp(-0.010000000000000002 * m.x31**2) - 8.1 *
    m.x32 * exp(-0.010000000000000002 * m.x32**2) - 6 * m.x33 * exp(-
    0.010000000000000002 * m.x33**2) - 5.8 * m.x34 * exp(-0.010000000000000002
    * m.x34**2) - 0.7 * m.x35 * exp(-0.1 * m.x35) - 2.1 * m.x36 * exp(-
    0.0010000000000000002 * m.x36**3) - 9.6 * m.x37 * exp(-0.010000000000000002
    * m.x37**2) - 9.3 * m.x38 * exp(-0.1 * m.x38) - 7.1 * m.x39 * exp(-0.1 *
    m.x39) - 4.7 * m.x40 * exp(-0.0010000000000000002 * m.x40**3) - 8.7 * m.x41
    * exp(-0.1 * m.x41) - 9.3 * m.x42 * exp(-0.010000000000000002 * m.x42**2)
    - 1.5 * m.x43 * exp(-0.010000000000000002 * m.x43**2) - 1.4 * m.x44 * exp(
    -0.010000000000000002 * m.x44**2) - 8 * m.x45 * exp(-0.010000000000000002
    * m.x45**2) - 1.8 * m.x46 * exp(-0.0010000000000000002 * m.x46**3) - 6.2 *
    m.x47 * exp(-0.010000000000000002 * m.x47**2) - 6.8 * m.x48 * exp(-
    0.010000000000000002 * m.x48**2) - 8.8 * m.x49 * exp(-0.010000000000000002
    * m.x49**2) - 2.5 * m.x50 * exp(-0.010000000000000002 * m.x50**2) <= -984)
