## ams_version=1.0 Model Main_kriging_peaks_red030 { Variable x1; Variable x2; Variable objvar; Constraint e1 { Definition: { 1.70327473357547*(0.0377862851255559*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr((-0.388770057297588) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.0954107225698604 - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((-0.388770057297588) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.0954107225698604 - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr((- 0.388770057297588) - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.0954107225698604 - 0.166666666666667*x2))) + 0.0109802834996097*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr(0.363858827199432 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.183898783136516 - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr( 0.363858827199432 - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.183898783136516 - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr(0.363858827199432 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.183898783136516 - 0.166666666666667*x2))) - 0.00247095708560322*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((- 0.404809280490364) - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.487881605457913 - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr((-0.404809280490364) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.487881605457913 - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr((-0.404809280490364) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.487881605457913 - 0.166666666666667*x2))) - 0.00863137678697887*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr(0.230646280982898 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.258257413555802) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr(0.230646280982898 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.258257413555802) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr( 0.230646280982898 - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.258257413555802) - 0.166666666666667*x2))) - 0.0426402643306017*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((-0.179761212621321) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.281703064648647) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((- 0.179761212621321) - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.281703064648647) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr((-0.179761212621321) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.281703064648647) - 0.166666666666667*x2))) + 0.0329541013851422*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr( 0.37059458573363 - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.301085894330831 - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr(0.37059458573363 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.301085894330831 - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr(0.37059458573363 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.301085894330831 - 0.166666666666667*x2))) - 0.0101854174405717*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr((-0.458435854020719) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.159793606686887 - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((-0.458435854020719) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.159793606686887 - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr((- 0.458435854020719) - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.159793606686887 - 0.166666666666667*x2))) - 0.238112023839818*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr(0.301433475166551 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.0976077173072188) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr( 0.301433475166551 - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.0976077173072188) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr(0.301433475166551 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.0976077173072188) - 0.166666666666667*x2))) - 0.137616498009308*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((- 0.0808655453781928) - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.0209743388744684 - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr((-0.0808655453781928) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.0209743388744684 - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr((-0.0808655453781928) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.0209743388744684 - 0.166666666666667*x2))) + 0.0197537725332181*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr(0.417201570287689 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.344577905208669 - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr(0.417201570287689 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.344577905208669 - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr( 0.417201570287689 - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.344577905208669 - 0.166666666666667*x2))) - 0.387338449566282*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((-0.0474495115676595) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.0345290896581875) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((- 0.0474495115676595) - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.0345290896581875) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr((-0.0474495115676595) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.0345290896581875) - 0.166666666666667*x2))) - 0.0354836253102756*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((- 0.118913851966317) - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.471558913298767) - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr((-0.118913851966317) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.471558913298767) - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr((-0.118913851966317) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.471558913298767) - 0.166666666666667*x2))) - 0.354793561793949*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr(0.164445710060874 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.215687166073911 - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr(0.164445710060874 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.215687166073911 - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr( 0.164445710060874 - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.215687166073911 - 0.166666666666667*x2))) + 0.235619142707833*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((-0.14216290604526) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.057803528332154 - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((- 0.14216290604526) - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.057803528332154 - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr((-0.14216290604526) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.057803528332154 - 0.166666666666667*x2))) - 0.180184382909917*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((- 0.209262561689916) - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.284795849934872 - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr((-0.209262561689916) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.284795849934872 - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr((-0.209262561689916) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.284795849934872 - 0.166666666666667*x2))) - 0.0187216593054939*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr((-0.315454840517351) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.428235127551464) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((-0.315454840517351) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.428235127551464) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr((- 0.315454840517351) - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.428235127551464) - 0.166666666666667*x2))) + 0.0482917132480993*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr(0.0227175523502599 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.162641033566093) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr( 0.0227175523502599 - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.162641033566093) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr(0.0227175523502599 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.162641033566093) - 0.166666666666667*x2))) - 0.030643742948902*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((- 0.254371702106301) - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.393221856773031) - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr((-0.254371702106301) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.393221856773031) - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr((-0.254371702106301) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.393221856773031) - 0.166666666666667*x2))) - 0.00421991578602876*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr(0.448138629452501 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.117836115520705) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr(0.448138629452501 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.117836115520705) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr( 0.448138629452501 - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.117836115520705) - 0.166666666666667*x2))) + 0.6484753341733*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr(0.0565108353075588 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.227817045121909) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr( 0.0565108353075588 - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.227817045121909) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr(0.0565108353075588 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.227817045121909) - 0.166666666666667*x2))) - 0.016576230553694*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((- 0.477619818593827) - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.110730424339593 - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr((-0.477619818593827) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.110730424339593 - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr((-0.477619818593827) - 0.166666666666667*x1) + 32.7180515537385*sqr(0.110730424339593 - 0.166666666666667*x2))) + 0.0274666267179964*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr((-0.00209482449703213) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.439795553204386) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((-0.00209482449703213) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.439795553204386) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr((- 0.00209482449703213) - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.439795553204386) - 0.166666666666667*x2))) - 0.0633057832782454*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr(0.292485426296965 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.348061674089151) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr( 0.292485426296965 - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.348061674089151) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr(0.292485426296965 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.348061674089151) - 0.166666666666667*x2))) - 0.104894965105221*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr( 0.170655556838736 - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.376936461235205 - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr(0.170655556838736 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.376936461235205 - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr(0.170655556838736 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.376936461235205 - 0.166666666666667*x2))) - 0.0254209661646174*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr((-0.292026817763947) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.168826707824519) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((-0.292026817763947) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.168826707824519) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr((- 0.292026817763947) - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.168826707824519) - 0.166666666666667*x2))) + 0.00365601748771598*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr(0.466799636494498 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.403623280335378 - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr( 0.466799636494498 - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.403623280335378 - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr(0.466799636494498 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.403623280335378 - 0.166666666666667*x2))) - 0.109257824853306*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr( 0.23547573937596 - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.250945430575571 - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr(0.23547573937596 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.250945430575571 - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr(0.23547573937596 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.250945430575571 - 0.166666666666667*x2))) + 0.480286507430443*(1 + 2.23606797749979*sqrt( 28.8031207707063*sqr(0.110566185432721 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.301154017333651) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr(0.110566185432721 - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.301154017333651) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt(28.8031207707063*sqr( 0.110566185432721 - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.301154017333651) - 0.166666666666667*x2))) + 0.105196793968471*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr((-0.358055339376858) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.0107111341783262) - 0.166666666666667*x2)) + 1.66666666666667*(28.8031207707063*sqr((- 0.358055339376858) - 0.166666666666667*x1) + 32.7180515537385*sqr((- 0.0107111341783262) - 0.166666666666667*x2)))*exp(-2.23606797749979*sqrt( 28.8031207707063*sqr((-0.358055339376858) - 0.166666666666667*x1) + 32.7180515537385*sqr((-0.0107111341783262) - 0.166666666666667*x2))) - 0.0375716901420036*(1 + 2.23606797749979*sqrt(28.8031207707063*sqr( 0.0785585414434151 - 0.166666666666667*x1) + 32.7180515537385*sqr( 0.462551216897219 - 0.166666666666667*x2)) + 1.66666666666667*( 28.8031207707063*sqr(0.0785585414434151 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.462551216897219 - 0.166666666666667*x2)))*exp(- 2.23606797749979*sqrt(28.8031207707063*sqr(0.0785585414434151 - 0.166666666666667*x1) + 32.7180515537385*sqr(0.462551216897219 - 0.166666666666667*x2)))) + objvar = -0.104337166479966 } } Procedure MainInitialization { Body: { x1.lower := -3; x1.upper := 3; x2.lower := -3; x2.upper := 3; } } MathematicalProgram kriging_peaks_red030 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kriging_peaks_red030; } } Procedure MainTermination { Body: { return 1; } } }