fmcmac/tp091r.mac


If Cut/Copy and Paste fails, then click here for download.


fmcTitle("tp091r")$
/* Source version 2 */
/* Simple APM canonicalizer version 1.3 */
/* FMCMAC backend version 1.2 */
myownabs(x) := fmc_m_abs(x)$
mu12_1 : 0.8603335890194b0$
mu12_2 : 3.4256184594817b0$
mu12_3 : 6.4372981791719b0$
mu12_4 : 9.5293344053620b0$
mu12_5 : 12.6452872238566b0$
mu12_6 : 15.7712848748159b0$
mu12_7 : 18.9024099568600b0$
mu12_8 : 22.0364967279386b0$
mu12_9 : 25.1724463266467b0$
mu12_10 : 28.3096428544520b0$
mu12_11 : 31.4477146375462b0$
mu12_12 : 34.5864242152889b0$
mu12_13 : 37.7256128277765b0$
mu12_14 : 40.8651703304881b0$
mu12_15 : 44.0050179208308b0$
mu12_16 : 47.1450977367610b0$
mu12_17 : 50.2853663377737b0$
mu12_18 : 53.4257904773947b0$
mu12_19 : 56.5663442798215b0$
mu12_20 : 59.7070073053355b0$
mu12_21 : 62.8477631944545b0$
mu12_22 : 65.9885986984904b0$
mu12_23 : 69.1295029738953b0$
mu12_24 : 72.2704670603090b0$
mu12_25 : 75.4114834888482b0$
mu12_26 : 78.5525459842429b0$
mu12_27 : 81.6936492356017b0$
mu12_28 : 84.8347887180423b0$
mu12_29 : 87.9759605524932b0$
mu12_30 : 91.1171613944647b0$
tg12_1 : tan(mu12_1)$
tg12_2 : tan(mu12_2)$
tg12_3 : tan(mu12_3)$
tg12_4 : tan(mu12_4)$
tg12_5 : tan(mu12_5)$
tg12_6 : tan(mu12_6)$
tg12_7 : tan(mu12_7)$
tg12_8 : tan(mu12_8)$
tg12_9 : tan(mu12_9)$
tg12_10 : tan(mu12_10)$
tg12_11 : tan(mu12_11)$
tg12_12 : tan(mu12_12)$
tg12_13 : tan(mu12_13)$
tg12_14 : tan(mu12_14)$
tg12_15 : tan(mu12_15)$
tg12_16 : tan(mu12_16)$
tg12_17 : tan(mu12_17)$
tg12_18 : tan(mu12_18)$
tg12_19 : tan(mu12_19)$
tg12_20 : tan(mu12_20)$
tg12_21 : tan(mu12_21)$
tg12_22 : tan(mu12_22)$
tg12_23 : tan(mu12_23)$
tg12_24 : tan(mu12_24)$
tg12_25 : tan(mu12_25)$
tg12_26 : tan(mu12_26)$
tg12_27 : tan(mu12_27)$
tg12_28 : tan(mu12_28)$
tg12_29 : tan(mu12_29)$
tg12_30 : tan(mu12_30)$
mu24_1 : (1 + mu12_1^2*(1 + tg12_1^2)) / (tg12_1 + mu12_1*(1 + tg12_1^2))$
mu24_2 : (1 + mu12_2^2*(1 + tg12_2^2)) / (tg12_2 + mu12_2*(1 + tg12_2^2))$
mu24_3 : (1 + mu12_3^2*(1 + tg12_3^2)) / (tg12_3 + mu12_3*(1 + tg12_3^2))$
mu24_4 : (1 + mu12_4^2*(1 + tg12_4^2)) / (tg12_4 + mu12_4*(1 + tg12_4^2))$
mu24_5 : (1 + mu12_5^2*(1 + tg12_5^2)) / (tg12_5 + mu12_5*(1 + tg12_5^2))$
mu24_6 : (1 + mu12_6^2*(1 + tg12_6^2)) / (tg12_6 + mu12_6*(1 + tg12_6^2))$
mu24_7 : (1 + mu12_7^2*(1 + tg12_7^2)) / (tg12_7 + mu12_7*(1 + tg12_7^2))$
mu24_8 : (1 + mu12_8^2*(1 + tg12_8^2)) / (tg12_8 + mu12_8*(1 + tg12_8^2))$
mu24_9 : (1 + mu12_9^2*(1 + tg12_9^2)) / (tg12_9 + mu12_9*(1 + tg12_9^2))$
mu24_10 : (1 + mu12_10^2*(1 + tg12_10^2)) / (tg12_10 + mu12_10*(1 + tg12_10^2))$
mu24_11 : (1 + mu12_11^2*(1 + tg12_11^2)) / (tg12_11 + mu12_11*(1 + tg12_11^2))$
mu24_12 : (1 + mu12_12^2*(1 + tg12_12^2)) / (tg12_12 + mu12_12*(1 + tg12_12^2))$
mu24_13 : (1 + mu12_13^2*(1 + tg12_13^2)) / (tg12_13 + mu12_13*(1 + tg12_13^2))$
mu24_14 : (1 + mu12_14^2*(1 + tg12_14^2)) / (tg12_14 + mu12_14*(1 + tg12_14^2))$
mu24_15 : (1 + mu12_15^2*(1 + tg12_15^2)) / (tg12_15 + mu12_15*(1 + tg12_15^2))$
mu24_16 : (1 + mu12_16^2*(1 + tg12_16^2)) / (tg12_16 + mu12_16*(1 + tg12_16^2))$
mu24_17 : (1 + mu12_17^2*(1 + tg12_17^2)) / (tg12_17 + mu12_17*(1 + tg12_17^2))$
mu24_18 : (1 + mu12_18^2*(1 + tg12_18^2)) / (tg12_18 + mu12_18*(1 + tg12_18^2))$
mu24_19 : (1 + mu12_19^2*(1 + tg12_19^2)) / (tg12_19 + mu12_19*(1 + tg12_19^2))$
mu24_20 : (1 + mu12_20^2*(1 + tg12_20^2)) / (tg12_20 + mu12_20*(1 + tg12_20^2))$
mu24_21 : (1 + mu12_21^2*(1 + tg12_21^2)) / (tg12_21 + mu12_21*(1 + tg12_21^2))$
mu24_22 : (1 + mu12_22^2*(1 + tg12_22^2)) / (tg12_22 + mu12_22*(1 + tg12_22^2))$
mu24_23 : (1 + mu12_23^2*(1 + tg12_23^2)) / (tg12_23 + mu12_23*(1 + tg12_23^2))$
mu24_24 : (1 + mu12_24^2*(1 + tg12_24^2)) / (tg12_24 + mu12_24*(1 + tg12_24^2))$
mu24_25 : (1 + mu12_25^2*(1 + tg12_25^2)) / (tg12_25 + mu12_25*(1 + tg12_25^2))$
mu24_26 : (1 + mu12_26^2*(1 + tg12_26^2)) / (tg12_26 + mu12_26*(1 + tg12_26^2))$
mu24_27 : (1 + mu12_27^2*(1 + tg12_27^2)) / (tg12_27 + mu12_27*(1 + tg12_27^2))$
mu24_28 : (1 + mu12_28^2*(1 + tg12_28^2)) / (tg12_28 + mu12_28*(1 + tg12_28^2))$
mu24_29 : (1 + mu12_29^2*(1 + tg12_29^2)) / (tg12_29 + mu12_29*(1 + tg12_29^2))$
mu24_30 : (1 + mu12_30^2*(1 + tg12_30^2)) / (tg12_30 + mu12_30*(1 + tg12_30^2))$
tg24_1 : tan(mu24_1)$
tg24_2 : tan(mu24_2)$
tg24_3 : tan(mu24_3)$
tg24_4 : tan(mu24_4)$
tg24_5 : tan(mu24_5)$
tg24_6 : tan(mu24_6)$
tg24_7 : tan(mu24_7)$
tg24_8 : tan(mu24_8)$
tg24_9 : tan(mu24_9)$
tg24_10 : tan(mu24_10)$
tg24_11 : tan(mu24_11)$
tg24_12 : tan(mu24_12)$
tg24_13 : tan(mu24_13)$
tg24_14 : tan(mu24_14)$
tg24_15 : tan(mu24_15)$
tg24_16 : tan(mu24_16)$
tg24_17 : tan(mu24_17)$
tg24_18 : tan(mu24_18)$
tg24_19 : tan(mu24_19)$
tg24_20 : tan(mu24_20)$
tg24_21 : tan(mu24_21)$
tg24_22 : tan(mu24_22)$
tg24_23 : tan(mu24_23)$
tg24_24 : tan(mu24_24)$
tg24_25 : tan(mu24_25)$
tg24_26 : tan(mu24_26)$
tg24_27 : tan(mu24_27)$
tg24_28 : tan(mu24_28)$
tg24_29 : tan(mu24_29)$
tg24_30 : tan(mu24_30)$
mu48_1 : (1 + mu24_1^2*(1 + tg24_1^2)) / (tg24_1 + mu24_1*(1 + tg24_1^2))$
mu48_2 : (1 + mu24_2^2*(1 + tg24_2^2)) / (tg24_2 + mu24_2*(1 + tg24_2^2))$
mu48_3 : (1 + mu24_3^2*(1 + tg24_3^2)) / (tg24_3 + mu24_3*(1 + tg24_3^2))$
mu48_4 : (1 + mu24_4^2*(1 + tg24_4^2)) / (tg24_4 + mu24_4*(1 + tg24_4^2))$
mu48_5 : (1 + mu24_5^2*(1 + tg24_5^2)) / (tg24_5 + mu24_5*(1 + tg24_5^2))$
mu48_6 : (1 + mu24_6^2*(1 + tg24_6^2)) / (tg24_6 + mu24_6*(1 + tg24_6^2))$
mu48_7 : (1 + mu24_7^2*(1 + tg24_7^2)) / (tg24_7 + mu24_7*(1 + tg24_7^2))$
mu48_8 : (1 + mu24_8^2*(1 + tg24_8^2)) / (tg24_8 + mu24_8*(1 + tg24_8^2))$
mu48_9 : (1 + mu24_9^2*(1 + tg24_9^2)) / (tg24_9 + mu24_9*(1 + tg24_9^2))$
mu48_10 : (1 + mu24_10^2*(1 + tg24_10^2)) / (tg24_10 + mu24_10*(1 + tg24_10^2))$
mu48_11 : (1 + mu24_11^2*(1 + tg24_11^2)) / (tg24_11 + mu24_11*(1 + tg24_11^2))$
mu48_12 : (1 + mu24_12^2*(1 + tg24_12^2)) / (tg24_12 + mu24_12*(1 + tg24_12^2))$
mu48_13 : (1 + mu24_13^2*(1 + tg24_13^2)) / (tg24_13 + mu24_13*(1 + tg24_13^2))$
mu48_14 : (1 + mu24_14^2*(1 + tg24_14^2)) / (tg24_14 + mu24_14*(1 + tg24_14^2))$
mu48_15 : (1 + mu24_15^2*(1 + tg24_15^2)) / (tg24_15 + mu24_15*(1 + tg24_15^2))$
mu48_16 : (1 + mu24_16^2*(1 + tg24_16^2)) / (tg24_16 + mu24_16*(1 + tg24_16^2))$
mu48_17 : (1 + mu24_17^2*(1 + tg24_17^2)) / (tg24_17 + mu24_17*(1 + tg24_17^2))$
mu48_18 : (1 + mu24_18^2*(1 + tg24_18^2)) / (tg24_18 + mu24_18*(1 + tg24_18^2))$
mu48_19 : (1 + mu24_19^2*(1 + tg24_19^2)) / (tg24_19 + mu24_19*(1 + tg24_19^2))$
mu48_20 : (1 + mu24_20^2*(1 + tg24_20^2)) / (tg24_20 + mu24_20*(1 + tg24_20^2))$
mu48_21 : (1 + mu24_21^2*(1 + tg24_21^2)) / (tg24_21 + mu24_21*(1 + tg24_21^2))$
mu48_22 : (1 + mu24_22^2*(1 + tg24_22^2)) / (tg24_22 + mu24_22*(1 + tg24_22^2))$
mu48_23 : (1 + mu24_23^2*(1 + tg24_23^2)) / (tg24_23 + mu24_23*(1 + tg24_23^2))$
mu48_24 : (1 + mu24_24^2*(1 + tg24_24^2)) / (tg24_24 + mu24_24*(1 + tg24_24^2))$
mu48_25 : (1 + mu24_25^2*(1 + tg24_25^2)) / (tg24_25 + mu24_25*(1 + tg24_25^2))$
mu48_26 : (1 + mu24_26^2*(1 + tg24_26^2)) / (tg24_26 + mu24_26*(1 + tg24_26^2))$
mu48_27 : (1 + mu24_27^2*(1 + tg24_27^2)) / (tg24_27 + mu24_27*(1 + tg24_27^2))$
mu48_28 : (1 + mu24_28^2*(1 + tg24_28^2)) / (tg24_28 + mu24_28*(1 + tg24_28^2))$
mu48_29 : (1 + mu24_29^2*(1 + tg24_29^2)) / (tg24_29 + mu24_29*(1 + tg24_29^2))$
mu48_30 : (1 + mu24_30^2*(1 + tg24_30^2)) / (tg24_30 + mu24_30*(1 + tg24_30^2))$
mu_1 : mu48_1$
mu_2 : mu48_2$
mu_3 : mu48_3$
mu_4 : mu48_4$
mu_5 : mu48_5$
mu_6 : mu48_6$
mu_7 : mu48_7$
mu_8 : mu48_8$
mu_9 : mu48_9$
mu_10 : mu48_10$
mu_11 : mu48_11$
mu_12 : mu48_12$
mu_13 : mu48_13$
mu_14 : mu48_14$
mu_15 : mu48_15$
mu_16 : mu48_16$
mu_17 : mu48_17$
mu_18 : mu48_18$
mu_19 : mu48_19$
mu_20 : mu48_20$
mu_21 : mu48_21$
mu_22 : mu48_22$
mu_23 : mu48_23$
mu_24 : mu48_24$
mu_25 : mu48_25$
mu_26 : mu48_26$
mu_27 : mu48_27$
mu_28 : mu48_28$
mu_29 : mu48_29$
mu_30 : mu48_30$
isign_1 : 1$
isign_2 : (-1)*isign_1$
isign_3 : (-1)*isign_2$
isign_4 : (-1)*isign_3$
isign_5 : (-1)*isign_4$
isign_6 : (-1)*isign_5$
isign_7 : (-1)*isign_6$
isign_8 : (-1)*isign_7$
isign_9 : (-1)*isign_8$
isign_10 : (-1)*isign_9$
isign_11 : (-1)*isign_10$
isign_12 : (-1)*isign_11$
isign_13 : (-1)*isign_12$
isign_14 : (-1)*isign_13$
isign_15 : (-1)*isign_14$
isign_16 : (-1)*isign_15$
isign_17 : (-1)*isign_16$
isign_18 : (-1)*isign_17$
isign_19 : (-1)*isign_18$
isign_20 : (-1)*isign_19$
isign_21 : (-1)*isign_20$
isign_22 : (-1)*isign_21$
isign_23 : (-1)*isign_22$
isign_24 : (-1)*isign_23$
isign_25 : (-1)*isign_24$
isign_26 : (-1)*isign_25$
isign_27 : (-1)*isign_26$
isign_28 : (-1)*isign_27$
isign_29 : (-1)*isign_28$
isign_30 : (-1)*isign_29$
snmu_1 : isign_1*sqrt(1/(1 + mu_1^2))$
snmu_2 : isign_2*sqrt(1/(1 + mu_2^2))$
snmu_3 : isign_3*sqrt(1/(1 + mu_3^2))$
snmu_4 : isign_4*sqrt(1/(1 + mu_4^2))$
snmu_5 : isign_5*sqrt(1/(1 + mu_5^2))$
snmu_6 : isign_6*sqrt(1/(1 + mu_6^2))$
snmu_7 : isign_7*sqrt(1/(1 + mu_7^2))$
snmu_8 : isign_8*sqrt(1/(1 + mu_8^2))$
snmu_9 : isign_9*sqrt(1/(1 + mu_9^2))$
snmu_10 : isign_10*sqrt(1/(1 + mu_10^2))$
snmu_11 : isign_11*sqrt(1/(1 + mu_11^2))$
snmu_12 : isign_12*sqrt(1/(1 + mu_12^2))$
snmu_13 : isign_13*sqrt(1/(1 + mu_13^2))$
snmu_14 : isign_14*sqrt(1/(1 + mu_14^2))$
snmu_15 : isign_15*sqrt(1/(1 + mu_15^2))$
snmu_16 : isign_16*sqrt(1/(1 + mu_16^2))$
snmu_17 : isign_17*sqrt(1/(1 + mu_17^2))$
snmu_18 : isign_18*sqrt(1/(1 + mu_18^2))$
snmu_19 : isign_19*sqrt(1/(1 + mu_19^2))$
snmu_20 : isign_20*sqrt(1/(1 + mu_20^2))$
snmu_21 : isign_21*sqrt(1/(1 + mu_21^2))$
snmu_22 : isign_22*sqrt(1/(1 + mu_22^2))$
snmu_23 : isign_23*sqrt(1/(1 + mu_23^2))$
snmu_24 : isign_24*sqrt(1/(1 + mu_24^2))$
snmu_25 : isign_25*sqrt(1/(1 + mu_25^2))$
snmu_26 : isign_26*sqrt(1/(1 + mu_26^2))$
snmu_27 : isign_27*sqrt(1/(1 + mu_27^2))$
snmu_28 : isign_28*sqrt(1/(1 + mu_28^2))$
snmu_29 : isign_29*sqrt(1/(1 + mu_29^2))$
snmu_30 : isign_30*sqrt(1/(1 + mu_30^2))$
csmu_1 : isign_1*sqrt(mu_1^2/(1 + mu_1^2))$
csmu_2 : isign_2*sqrt(mu_2^2/(1 + mu_2^2))$
csmu_3 : isign_3*sqrt(mu_3^2/(1 + mu_3^2))$
csmu_4 : isign_4*sqrt(mu_4^2/(1 + mu_4^2))$
csmu_5 : isign_5*sqrt(mu_5^2/(1 + mu_5^2))$
csmu_6 : isign_6*sqrt(mu_6^2/(1 + mu_6^2))$
csmu_7 : isign_7*sqrt(mu_7^2/(1 + mu_7^2))$
csmu_8 : isign_8*sqrt(mu_8^2/(1 + mu_8^2))$
csmu_9 : isign_9*sqrt(mu_9^2/(1 + mu_9^2))$
csmu_10 : isign_10*sqrt(mu_10^2/(1 + mu_10^2))$
csmu_11 : isign_11*sqrt(mu_11^2/(1 + mu_11^2))$
csmu_12 : isign_12*sqrt(mu_12^2/(1 + mu_12^2))$
csmu_13 : isign_13*sqrt(mu_13^2/(1 + mu_13^2))$
csmu_14 : isign_14*sqrt(mu_14^2/(1 + mu_14^2))$
csmu_15 : isign_15*sqrt(mu_15^2/(1 + mu_15^2))$
csmu_16 : isign_16*sqrt(mu_16^2/(1 + mu_16^2))$
csmu_17 : isign_17*sqrt(mu_17^2/(1 + mu_17^2))$
csmu_18 : isign_18*sqrt(mu_18^2/(1 + mu_18^2))$
csmu_19 : isign_19*sqrt(mu_19^2/(1 + mu_19^2))$
csmu_20 : isign_20*sqrt(mu_20^2/(1 + mu_20^2))$
csmu_21 : isign_21*sqrt(mu_21^2/(1 + mu_21^2))$
csmu_22 : isign_22*sqrt(mu_22^2/(1 + mu_22^2))$
csmu_23 : isign_23*sqrt(mu_23^2/(1 + mu_23^2))$
csmu_24 : isign_24*sqrt(mu_24^2/(1 + mu_24^2))$
csmu_25 : isign_25*sqrt(mu_25^2/(1 + mu_25^2))$
csmu_26 : isign_26*sqrt(mu_26^2/(1 + mu_26^2))$
csmu_27 : isign_27*sqrt(mu_27^2/(1 + mu_27^2))$
csmu_28 : isign_28*sqrt(mu_28^2/(1 + mu_28^2))$
csmu_29 : isign_29*sqrt(mu_29^2/(1 + mu_29^2))$
csmu_30 : isign_30*sqrt(mu_30^2/(1 + mu_30^2))$
snmuxcsmu_1 : mu_1/(1 + mu_1^2)$
snmuxcsmu_2 : mu_2/(1 + mu_2^2)$
snmuxcsmu_3 : mu_3/(1 + mu_3^2)$
snmuxcsmu_4 : mu_4/(1 + mu_4^2)$
snmuxcsmu_5 : mu_5/(1 + mu_5^2)$
snmuxcsmu_6 : mu_6/(1 + mu_6^2)$
snmuxcsmu_7 : mu_7/(1 + mu_7^2)$
snmuxcsmu_8 : mu_8/(1 + mu_8^2)$
snmuxcsmu_9 : mu_9/(1 + mu_9^2)$
snmuxcsmu_10 : mu_10/(1 + mu_10^2)$
snmuxcsmu_11 : mu_11/(1 + mu_11^2)$
snmuxcsmu_12 : mu_12/(1 + mu_12^2)$
snmuxcsmu_13 : mu_13/(1 + mu_13^2)$
snmuxcsmu_14 : mu_14/(1 + mu_14^2)$
snmuxcsmu_15 : mu_15/(1 + mu_15^2)$
snmuxcsmu_16 : mu_16/(1 + mu_16^2)$
snmuxcsmu_17 : mu_17/(1 + mu_17^2)$
snmuxcsmu_18 : mu_18/(1 + mu_18^2)$
snmuxcsmu_19 : mu_19/(1 + mu_19^2)$
snmuxcsmu_20 : mu_20/(1 + mu_20^2)$
snmuxcsmu_21 : mu_21/(1 + mu_21^2)$
snmuxcsmu_22 : mu_22/(1 + mu_22^2)$
snmuxcsmu_23 : mu_23/(1 + mu_23^2)$
snmuxcsmu_24 : mu_24/(1 + mu_24^2)$
snmuxcsmu_25 : mu_25/(1 + mu_25^2)$
snmuxcsmu_26 : mu_26/(1 + mu_26^2)$
snmuxcsmu_27 : mu_27/(1 + mu_27^2)$
snmuxcsmu_28 : mu_28/(1 + mu_28^2)$
snmuxcsmu_29 : mu_29/(1 + mu_29^2)$
snmuxcsmu_30 : mu_30/(1 + mu_30^2)$
aux2_1 : snmuxcsmu_1/(2*mu_1) + 1/2$
aux2_2 : snmuxcsmu_2/(2*mu_2) + 1/2$
aux2_3 : snmuxcsmu_3/(2*mu_3) + 1/2$
aux2_4 : snmuxcsmu_4/(2*mu_4) + 1/2$
aux2_5 : snmuxcsmu_5/(2*mu_5) + 1/2$
aux2_6 : snmuxcsmu_6/(2*mu_6) + 1/2$
aux2_7 : snmuxcsmu_7/(2*mu_7) + 1/2$
aux2_8 : snmuxcsmu_8/(2*mu_8) + 1/2$
aux2_9 : snmuxcsmu_9/(2*mu_9) + 1/2$
aux2_10 : snmuxcsmu_10/(2*mu_10) + 1/2$
aux2_11 : snmuxcsmu_11/(2*mu_11) + 1/2$
aux2_12 : snmuxcsmu_12/(2*mu_12) + 1/2$
aux2_13 : snmuxcsmu_13/(2*mu_13) + 1/2$
aux2_14 : snmuxcsmu_14/(2*mu_14) + 1/2$
aux2_15 : snmuxcsmu_15/(2*mu_15) + 1/2$
aux2_16 : snmuxcsmu_16/(2*mu_16) + 1/2$
aux2_17 : snmuxcsmu_17/(2*mu_17) + 1/2$
aux2_18 : snmuxcsmu_18/(2*mu_18) + 1/2$
aux2_19 : snmuxcsmu_19/(2*mu_19) + 1/2$
aux2_20 : snmuxcsmu_20/(2*mu_20) + 1/2$
aux2_21 : snmuxcsmu_21/(2*mu_21) + 1/2$
aux2_22 : snmuxcsmu_22/(2*mu_22) + 1/2$
aux2_23 : snmuxcsmu_23/(2*mu_23) + 1/2$
aux2_24 : snmuxcsmu_24/(2*mu_24) + 1/2$
aux2_25 : snmuxcsmu_25/(2*mu_25) + 1/2$
aux2_26 : snmuxcsmu_26/(2*mu_26) + 1/2$
aux2_27 : snmuxcsmu_27/(2*mu_27) + 1/2$
aux2_28 : snmuxcsmu_28/(2*mu_28) + 1/2$
aux2_29 : snmuxcsmu_29/(2*mu_29) + 1/2$
aux2_30 : snmuxcsmu_30/(2*mu_30) + 1/2$
aux4_1 : (-2)*snmu_1/mu_1 + 2*csmu_1$
aux4_2 : (-2)*snmu_2/mu_2 + 2*csmu_2$
aux4_3 : (-2)*snmu_3/mu_3 + 2*csmu_3$
aux4_4 : (-2)*snmu_4/mu_4 + 2*csmu_4$
aux4_5 : (-2)*snmu_5/mu_5 + 2*csmu_5$
aux4_6 : (-2)*snmu_6/mu_6 + 2*csmu_6$
aux4_7 : (-2)*snmu_7/mu_7 + 2*csmu_7$
aux4_8 : (-2)*snmu_8/mu_8 + 2*csmu_8$
aux4_9 : (-2)*snmu_9/mu_9 + 2*csmu_9$
aux4_10 : (-2)*snmu_10/mu_10 + 2*csmu_10$
aux4_11 : (-2)*snmu_11/mu_11 + 2*csmu_11$
aux4_12 : (-2)*snmu_12/mu_12 + 2*csmu_12$
aux4_13 : (-2)*snmu_13/mu_13 + 2*csmu_13$
aux4_14 : (-2)*snmu_14/mu_14 + 2*csmu_14$
aux4_15 : (-2)*snmu_15/mu_15 + 2*csmu_15$
aux4_16 : (-2)*snmu_16/mu_16 + 2*csmu_16$
aux4_17 : (-2)*snmu_17/mu_17 + 2*csmu_17$
aux4_18 : (-2)*snmu_18/mu_18 + 2*csmu_18$
aux4_19 : (-2)*snmu_19/mu_19 + 2*csmu_19$
aux4_20 : (-2)*snmu_20/mu_20 + 2*csmu_20$
aux4_21 : (-2)*snmu_21/mu_21 + 2*csmu_21$
aux4_22 : (-2)*snmu_22/mu_22 + 2*csmu_22$
aux4_23 : (-2)*snmu_23/mu_23 + 2*csmu_23$
aux4_24 : (-2)*snmu_24/mu_24 + 2*csmu_24$
aux4_25 : (-2)*snmu_25/mu_25 + 2*csmu_25$
aux4_26 : (-2)*snmu_26/mu_26 + 2*csmu_26$
aux4_27 : (-2)*snmu_27/mu_27 + 2*csmu_27$
aux4_28 : (-2)*snmu_28/mu_28 + 2*csmu_28$
aux4_29 : (-2)*snmu_29/mu_29 + 2*csmu_29$
aux4_30 : (-2)*snmu_30/mu_30 + 2*csmu_30$
A_1 : 2*snmu_1/(mu_1 + snmuxcsmu_1)$
A_2 : 2*snmu_2/(mu_2 + snmuxcsmu_2)$
A_3 : 2*snmu_3/(mu_3 + snmuxcsmu_3)$
A_4 : 2*snmu_4/(mu_4 + snmuxcsmu_4)$
A_5 : 2*snmu_5/(mu_5 + snmuxcsmu_5)$
A_6 : 2*snmu_6/(mu_6 + snmuxcsmu_6)$
A_7 : 2*snmu_7/(mu_7 + snmuxcsmu_7)$
A_8 : 2*snmu_8/(mu_8 + snmuxcsmu_8)$
A_9 : 2*snmu_9/(mu_9 + snmuxcsmu_9)$
A_10 : 2*snmu_10/(mu_10 + snmuxcsmu_10)$
A_11 : 2*snmu_11/(mu_11 + snmuxcsmu_11)$
A_12 : 2*snmu_12/(mu_12 + snmuxcsmu_12)$
A_13 : 2*snmu_13/(mu_13 + snmuxcsmu_13)$
A_14 : 2*snmu_14/(mu_14 + snmuxcsmu_14)$
A_15 : 2*snmu_15/(mu_15 + snmuxcsmu_15)$
A_16 : 2*snmu_16/(mu_16 + snmuxcsmu_16)$
A_17 : 2*snmu_17/(mu_17 + snmuxcsmu_17)$
A_18 : 2*snmu_18/(mu_18 + snmuxcsmu_18)$
A_19 : 2*snmu_19/(mu_19 + snmuxcsmu_19)$
A_20 : 2*snmu_20/(mu_20 + snmuxcsmu_20)$
A_21 : 2*snmu_21/(mu_21 + snmuxcsmu_21)$
A_22 : 2*snmu_22/(mu_22 + snmuxcsmu_22)$
A_23 : 2*snmu_23/(mu_23 + snmuxcsmu_23)$
A_24 : 2*snmu_24/(mu_24 + snmuxcsmu_24)$
A_25 : 2*snmu_25/(mu_25 + snmuxcsmu_25)$
A_26 : 2*snmu_26/(mu_26 + snmuxcsmu_26)$
A_27 : 2*snmu_27/(mu_27 + snmuxcsmu_27)$
A_28 : 2*snmu_28/(mu_28 + snmuxcsmu_28)$
A_29 : 2*snmu_29/(mu_29 + snmuxcsmu_29)$
A_30 : 2*snmu_30/(mu_30 + snmuxcsmu_30)$
hsum_0 : 2/15$
mfcorrhs : 0$
fmcInitialValue(x_1, 1/2)$
fmcStrongLowerBound(x_1, 1/10)$
fmcInitialValue(x_2, -1/2)$
fmcStrongUpperBound(x_2, 0)$
fmcInitialValue(x_3, 1/2)$
fmcStrongLowerBound(x_3, 1/10)$
fmcInitialValue(x_4, -1/2)$
fmcStrongLowerBound(x_4, 1/10)$
fmcInitialValue(x_5, 1/2)$
fmcStrongLowerBound(x_5, 0)$
emx_1_1 : exp(-mu_1^2*x_1^2)$
emx_1_2 : exp(-mu_2^2*x_1^2)$
emx_1_3 : exp(-mu_3^2*x_1^2)$
emx_1_4 : exp(-mu_4^2*x_1^2)$
emx_1_5 : exp(-mu_5^2*x_1^2)$
emx_1_6 : exp(-mu_6^2*x_1^2)$
emx_1_7 : exp(-mu_7^2*x_1^2)$
emx_1_8 : exp(-mu_8^2*x_1^2)$
emx_1_9 : exp(-mu_9^2*x_1^2)$
emx_1_10 : exp(-mu_10^2*x_1^2)$
emx_1_11 : exp(-mu_11^2*x_1^2)$
emx_1_12 : exp(-mu_12^2*x_1^2)$
emx_1_13 : exp(-mu_13^2*x_1^2)$
emx_1_14 : exp(-mu_14^2*x_1^2)$
emx_1_15 : exp(-mu_15^2*x_1^2)$
emx_1_16 : exp(-mu_16^2*x_1^2)$
emx_1_17 : exp(-mu_17^2*x_1^2)$
emx_1_18 : exp(-mu_18^2*x_1^2)$
emx_1_19 : exp(-mu_19^2*x_1^2)$
emx_1_20 : exp(-mu_20^2*x_1^2)$
emx_1_21 : exp(-mu_21^2*x_1^2)$
emx_1_22 : exp(-mu_22^2*x_1^2)$
emx_1_23 : exp(-mu_23^2*x_1^2)$
emx_1_24 : exp(-mu_24^2*x_1^2)$
emx_1_25 : exp(-mu_25^2*x_1^2)$
emx_1_26 : exp(-mu_26^2*x_1^2)$
emx_1_27 : exp(-mu_27^2*x_1^2)$
emx_1_28 : exp(-mu_28^2*x_1^2)$
emx_1_29 : exp(-mu_29^2*x_1^2)$
emx_1_30 : exp(-mu_30^2*x_1^2)$
emx_2_1 : exp(-mu_1^2*x_2^2)$
emx_2_2 : exp(-mu_2^2*x_2^2)$
emx_2_3 : exp(-mu_3^2*x_2^2)$
emx_2_4 : exp(-mu_4^2*x_2^2)$
emx_2_5 : exp(-mu_5^2*x_2^2)$
emx_2_6 : exp(-mu_6^2*x_2^2)$
emx_2_7 : exp(-mu_7^2*x_2^2)$
emx_2_8 : exp(-mu_8^2*x_2^2)$
emx_2_9 : exp(-mu_9^2*x_2^2)$
emx_2_10 : exp(-mu_10^2*x_2^2)$
emx_2_11 : exp(-mu_11^2*x_2^2)$
emx_2_12 : exp(-mu_12^2*x_2^2)$
emx_2_13 : exp(-mu_13^2*x_2^2)$
emx_2_14 : exp(-mu_14^2*x_2^2)$
emx_2_15 : exp(-mu_15^2*x_2^2)$
emx_2_16 : exp(-mu_16^2*x_2^2)$
emx_2_17 : exp(-mu_17^2*x_2^2)$
emx_2_18 : exp(-mu_18^2*x_2^2)$
emx_2_19 : exp(-mu_19^2*x_2^2)$
emx_2_20 : exp(-mu_20^2*x_2^2)$
emx_2_21 : exp(-mu_21^2*x_2^2)$
emx_2_22 : exp(-mu_22^2*x_2^2)$
emx_2_23 : exp(-mu_23^2*x_2^2)$
emx_2_24 : exp(-mu_24^2*x_2^2)$
emx_2_25 : exp(-mu_25^2*x_2^2)$
emx_2_26 : exp(-mu_26^2*x_2^2)$
emx_2_27 : exp(-mu_27^2*x_2^2)$
emx_2_28 : exp(-mu_28^2*x_2^2)$
emx_2_29 : exp(-mu_29^2*x_2^2)$
emx_2_30 : exp(-mu_30^2*x_2^2)$
emx_3_1 : exp(-mu_1^2*x_3^2)$
emx_3_2 : exp(-mu_2^2*x_3^2)$
emx_3_3 : exp(-mu_3^2*x_3^2)$
emx_3_4 : exp(-mu_4^2*x_3^2)$
emx_3_5 : exp(-mu_5^2*x_3^2)$
emx_3_6 : exp(-mu_6^2*x_3^2)$
emx_3_7 : exp(-mu_7^2*x_3^2)$
emx_3_8 : exp(-mu_8^2*x_3^2)$
emx_3_9 : exp(-mu_9^2*x_3^2)$
emx_3_10 : exp(-mu_10^2*x_3^2)$
emx_3_11 : exp(-mu_11^2*x_3^2)$
emx_3_12 : exp(-mu_12^2*x_3^2)$
emx_3_13 : exp(-mu_13^2*x_3^2)$
emx_3_14 : exp(-mu_14^2*x_3^2)$
emx_3_15 : exp(-mu_15^2*x_3^2)$
emx_3_16 : exp(-mu_16^2*x_3^2)$
emx_3_17 : exp(-mu_17^2*x_3^2)$
emx_3_18 : exp(-mu_18^2*x_3^2)$
emx_3_19 : exp(-mu_19^2*x_3^2)$
emx_3_20 : exp(-mu_20^2*x_3^2)$
emx_3_21 : exp(-mu_21^2*x_3^2)$
emx_3_22 : exp(-mu_22^2*x_3^2)$
emx_3_23 : exp(-mu_23^2*x_3^2)$
emx_3_24 : exp(-mu_24^2*x_3^2)$
emx_3_25 : exp(-mu_25^2*x_3^2)$
emx_3_26 : exp(-mu_26^2*x_3^2)$
emx_3_27 : exp(-mu_27^2*x_3^2)$
emx_3_28 : exp(-mu_28^2*x_3^2)$
emx_3_29 : exp(-mu_29^2*x_3^2)$
emx_3_30 : exp(-mu_30^2*x_3^2)$
emx_4_1 : exp(-mu_1^2*x_4^2)$
emx_4_2 : exp(-mu_2^2*x_4^2)$
emx_4_3 : exp(-mu_3^2*x_4^2)$
emx_4_4 : exp(-mu_4^2*x_4^2)$
emx_4_5 : exp(-mu_5^2*x_4^2)$
emx_4_6 : exp(-mu_6^2*x_4^2)$
emx_4_7 : exp(-mu_7^2*x_4^2)$
emx_4_8 : exp(-mu_8^2*x_4^2)$
emx_4_9 : exp(-mu_9^2*x_4^2)$
emx_4_10 : exp(-mu_10^2*x_4^2)$
emx_4_11 : exp(-mu_11^2*x_4^2)$
emx_4_12 : exp(-mu_12^2*x_4^2)$
emx_4_13 : exp(-mu_13^2*x_4^2)$
emx_4_14 : exp(-mu_14^2*x_4^2)$
emx_4_15 : exp(-mu_15^2*x_4^2)$
emx_4_16 : exp(-mu_16^2*x_4^2)$
emx_4_17 : exp(-mu_17^2*x_4^2)$
emx_4_18 : exp(-mu_18^2*x_4^2)$
emx_4_19 : exp(-mu_19^2*x_4^2)$
emx_4_20 : exp(-mu_20^2*x_4^2)$
emx_4_21 : exp(-mu_21^2*x_4^2)$
emx_4_22 : exp(-mu_22^2*x_4^2)$
emx_4_23 : exp(-mu_23^2*x_4^2)$
emx_4_24 : exp(-mu_24^2*x_4^2)$
emx_4_25 : exp(-mu_25^2*x_4^2)$
emx_4_26 : exp(-mu_26^2*x_4^2)$
emx_4_27 : exp(-mu_27^2*x_4^2)$
emx_4_28 : exp(-mu_28^2*x_4^2)$
emx_4_29 : exp(-mu_29^2*x_4^2)$
emx_4_30 : exp(-mu_30^2*x_4^2)$
emx_5_1 : exp(-mu_1^2*x_5^2)$
emx_5_2 : exp(-mu_2^2*x_5^2)$
emx_5_3 : exp(-mu_3^2*x_5^2)$
emx_5_4 : exp(-mu_4^2*x_5^2)$
emx_5_5 : exp(-mu_5^2*x_5^2)$
emx_5_6 : exp(-mu_6^2*x_5^2)$
emx_5_7 : exp(-mu_7^2*x_5^2)$
emx_5_8 : exp(-mu_8^2*x_5^2)$
emx_5_9 : exp(-mu_9^2*x_5^2)$
emx_5_10 : exp(-mu_10^2*x_5^2)$
emx_5_11 : exp(-mu_11^2*x_5^2)$
emx_5_12 : exp(-mu_12^2*x_5^2)$
emx_5_13 : exp(-mu_13^2*x_5^2)$
emx_5_14 : exp(-mu_14^2*x_5^2)$
emx_5_15 : exp(-mu_15^2*x_5^2)$
emx_5_16 : exp(-mu_16^2*x_5^2)$
emx_5_17 : exp(-mu_17^2*x_5^2)$
emx_5_18 : exp(-mu_18^2*x_5^2)$
emx_5_19 : exp(-mu_19^2*x_5^2)$
emx_5_20 : exp(-mu_20^2*x_5^2)$
emx_5_21 : exp(-mu_21^2*x_5^2)$
emx_5_22 : exp(-mu_22^2*x_5^2)$
emx_5_23 : exp(-mu_23^2*x_5^2)$
emx_5_24 : exp(-mu_24^2*x_5^2)$
emx_5_25 : exp(-mu_25^2*x_5^2)$
emx_5_26 : exp(-mu_26^2*x_5^2)$
emx_5_27 : exp(-mu_27^2*x_5^2)$
emx_5_28 : exp(-mu_28^2*x_5^2)$
emx_5_29 : exp(-mu_29^2*x_5^2)$
emx_5_30 : exp(-mu_30^2*x_5^2)$
rhoaux_5_1 : 1*emx_1_1*emx_2_1*emx_3_1*emx_4_1*emx_5_1 - 2*emx_2_1*emx_3_1*emx_4_1*emx_5_1 +
2*emx_3_1*emx_4_1*emx_5_1 - 2*emx_4_1*emx_5_1 + 2*emx_5_1 - 1$
rhoaux_5_2 : 1*emx_1_2*emx_2_2*emx_3_2*emx_4_2*emx_5_2 - 2*emx_2_2*emx_3_2*emx_4_2*emx_5_2 +
2*emx_3_2*emx_4_2*emx_5_2 - 2*emx_4_2*emx_5_2 + 2*emx_5_2 - 1$
rhoaux_5_3 : 1*emx_1_3*emx_2_3*emx_3_3*emx_4_3*emx_5_3 - 2*emx_2_3*emx_3_3*emx_4_3*emx_5_3 +
2*emx_3_3*emx_4_3*emx_5_3 - 2*emx_4_3*emx_5_3 + 2*emx_5_3 - 1$
rhoaux_5_4 : 1*emx_1_4*emx_2_4*emx_3_4*emx_4_4*emx_5_4 - 2*emx_2_4*emx_3_4*emx_4_4*emx_5_4 +
2*emx_3_4*emx_4_4*emx_5_4 - 2*emx_4_4*emx_5_4 + 2*emx_5_4 - 1$
rhoaux_5_5 : 1*emx_1_5*emx_2_5*emx_3_5*emx_4_5*emx_5_5 - 2*emx_2_5*emx_3_5*emx_4_5*emx_5_5 +
2*emx_3_5*emx_4_5*emx_5_5 - 2*emx_4_5*emx_5_5 + 2*emx_5_5 - 1$
rhoaux_5_6 : 1*emx_1_6*emx_2_6*emx_3_6*emx_4_6*emx_5_6 - 2*emx_2_6*emx_3_6*emx_4_6*emx_5_6 +
2*emx_3_6*emx_4_6*emx_5_6 - 2*emx_4_6*emx_5_6 + 2*emx_5_6 - 1$
rhoaux_5_7 : 1*emx_1_7*emx_2_7*emx_3_7*emx_4_7*emx_5_7 - 2*emx_2_7*emx_3_7*emx_4_7*emx_5_7 +
2*emx_3_7*emx_4_7*emx_5_7 - 2*emx_4_7*emx_5_7 + 2*emx_5_7 - 1$
rhoaux_5_8 : 1*emx_1_8*emx_2_8*emx_3_8*emx_4_8*emx_5_8 - 2*emx_2_8*emx_3_8*emx_4_8*emx_5_8 +
2*emx_3_8*emx_4_8*emx_5_8 - 2*emx_4_8*emx_5_8 + 2*emx_5_8 - 1$
rhoaux_5_9 : 1*emx_1_9*emx_2_9*emx_3_9*emx_4_9*emx_5_9 - 2*emx_2_9*emx_3_9*emx_4_9*emx_5_9 +
2*emx_3_9*emx_4_9*emx_5_9 - 2*emx_4_9*emx_5_9 + 2*emx_5_9 - 1$
rhoaux_5_10 : 1*emx_1_10*emx_2_10*emx_3_10*emx_4_10*emx_5_10 - 2*emx_2_10*emx_3_10*emx_4_10*emx_5_10 +
2*emx_3_10*emx_4_10*emx_5_10 - 2*emx_4_10*emx_5_10 + 2*emx_5_10 - 1$
rhoaux_5_11 : 1*emx_1_11*emx_2_11*emx_3_11*emx_4_11*emx_5_11 - 2*emx_2_11*emx_3_11*emx_4_11*emx_5_11 +
2*emx_3_11*emx_4_11*emx_5_11 - 2*emx_4_11*emx_5_11 + 2*emx_5_11 - 1$
rhoaux_5_12 : 1*emx_1_12*emx_2_12*emx_3_12*emx_4_12*emx_5_12 - 2*emx_2_12*emx_3_12*emx_4_12*emx_5_12 +
2*emx_3_12*emx_4_12*emx_5_12 - 2*emx_4_12*emx_5_12 + 2*emx_5_12 - 1$
rhoaux_5_13 : 1*emx_1_13*emx_2_13*emx_3_13*emx_4_13*emx_5_13 - 2*emx_2_13*emx_3_13*emx_4_13*emx_5_13 +
2*emx_3_13*emx_4_13*emx_5_13 - 2*emx_4_13*emx_5_13 + 2*emx_5_13 - 1$
rhoaux_5_14 : 1*emx_1_14*emx_2_14*emx_3_14*emx_4_14*emx_5_14 - 2*emx_2_14*emx_3_14*emx_4_14*emx_5_14 +
2*emx_3_14*emx_4_14*emx_5_14 - 2*emx_4_14*emx_5_14 + 2*emx_5_14 - 1$
rhoaux_5_15 : 1*emx_1_15*emx_2_15*emx_3_15*emx_4_15*emx_5_15 - 2*emx_2_15*emx_3_15*emx_4_15*emx_5_15 +
2*emx_3_15*emx_4_15*emx_5_15 - 2*emx_4_15*emx_5_15 + 2*emx_5_15 - 1$
rhoaux_5_16 : 1*emx_1_16*emx_2_16*emx_3_16*emx_4_16*emx_5_16 - 2*emx_2_16*emx_3_16*emx_4_16*emx_5_16 +
2*emx_3_16*emx_4_16*emx_5_16 - 2*emx_4_16*emx_5_16 + 2*emx_5_16 - 1$
rhoaux_5_17 : 1*emx_1_17*emx_2_17*emx_3_17*emx_4_17*emx_5_17 - 2*emx_2_17*emx_3_17*emx_4_17*emx_5_17 +
2*emx_3_17*emx_4_17*emx_5_17 - 2*emx_4_17*emx_5_17 + 2*emx_5_17 - 1$
rhoaux_5_18 : 1*emx_1_18*emx_2_18*emx_3_18*emx_4_18*emx_5_18 - 2*emx_2_18*emx_3_18*emx_4_18*emx_5_18 +
2*emx_3_18*emx_4_18*emx_5_18 - 2*emx_4_18*emx_5_18 + 2*emx_5_18 - 1$
rhoaux_5_19 : 1*emx_1_19*emx_2_19*emx_3_19*emx_4_19*emx_5_19 - 2*emx_2_19*emx_3_19*emx_4_19*emx_5_19 +
2*emx_3_19*emx_4_19*emx_5_19 - 2*emx_4_19*emx_5_19 + 2*emx_5_19 - 1$
rhoaux_5_20 : 1*emx_1_20*emx_2_20*emx_3_20*emx_4_20*emx_5_20 - 2*emx_2_20*emx_3_20*emx_4_20*emx_5_20 +
2*emx_3_20*emx_4_20*emx_5_20 - 2*emx_4_20*emx_5_20 + 2*emx_5_20 - 1$
rhoaux_5_21 : 1*emx_1_21*emx_2_21*emx_3_21*emx_4_21*emx_5_21 - 2*emx_2_21*emx_3_21*emx_4_21*emx_5_21 +
2*emx_3_21*emx_4_21*emx_5_21 - 2*emx_4_21*emx_5_21 + 2*emx_5_21 - 1$
rhoaux_5_22 : 1*emx_1_22*emx_2_22*emx_3_22*emx_4_22*emx_5_22 - 2*emx_2_22*emx_3_22*emx_4_22*emx_5_22 +
2*emx_3_22*emx_4_22*emx_5_22 - 2*emx_4_22*emx_5_22 + 2*emx_5_22 - 1$
rhoaux_5_23 : 1*emx_1_23*emx_2_23*emx_3_23*emx_4_23*emx_5_23 - 2*emx_2_23*emx_3_23*emx_4_23*emx_5_23 +
2*emx_3_23*emx_4_23*emx_5_23 - 2*emx_4_23*emx_5_23 + 2*emx_5_23 - 1$
rhoaux_5_24 : 1*emx_1_24*emx_2_24*emx_3_24*emx_4_24*emx_5_24 - 2*emx_2_24*emx_3_24*emx_4_24*emx_5_24 +
2*emx_3_24*emx_4_24*emx_5_24 - 2*emx_4_24*emx_5_24 + 2*emx_5_24 - 1$
rhoaux_5_25 : 1*emx_1_25*emx_2_25*emx_3_25*emx_4_25*emx_5_25 - 2*emx_2_25*emx_3_25*emx_4_25*emx_5_25 +
2*emx_3_25*emx_4_25*emx_5_25 - 2*emx_4_25*emx_5_25 + 2*emx_5_25 - 1$
rhoaux_5_26 : 1*emx_1_26*emx_2_26*emx_3_26*emx_4_26*emx_5_26 - 2*emx_2_26*emx_3_26*emx_4_26*emx_5_26 +
2*emx_3_26*emx_4_26*emx_5_26 - 2*emx_4_26*emx_5_26 + 2*emx_5_26 - 1$
rhoaux_5_27 : 1*emx_1_27*emx_2_27*emx_3_27*emx_4_27*emx_5_27 - 2*emx_2_27*emx_3_27*emx_4_27*emx_5_27 +
2*emx_3_27*emx_4_27*emx_5_27 - 2*emx_4_27*emx_5_27 + 2*emx_5_27 - 1$
rhoaux_5_28 : 1*emx_1_28*emx_2_28*emx_3_28*emx_4_28*emx_5_28 - 2*emx_2_28*emx_3_28*emx_4_28*emx_5_28 +
2*emx_3_28*emx_4_28*emx_5_28 - 2*emx_4_28*emx_5_28 + 2*emx_5_28 - 1$
rhoaux_5_29 : 1*emx_1_29*emx_2_29*emx_3_29*emx_4_29*emx_5_29 - 2*emx_2_29*emx_3_29*emx_4_29*emx_5_29 +
2*emx_3_29*emx_4_29*emx_5_29 - 2*emx_4_29*emx_5_29 + 2*emx_5_29 - 1$
rhoaux_5_30 : 1*emx_1_30*emx_2_30*emx_3_30*emx_4_30*emx_5_30 - 2*emx_2_30*emx_3_30*emx_4_30*emx_5_30 +
2*emx_3_30*emx_4_30*emx_5_30 - 2*emx_4_30*emx_5_30 + 2*emx_5_30 - 1$
rho_1 : (-1)*rhoaux_5_1/mu_1^2$
rho_2 : (-1)*rhoaux_5_2/mu_2^2$
rho_3 : (-1)*rhoaux_5_3/mu_3^2$
rho_4 : (-1)*rhoaux_5_4/mu_4^2$
rho_5 : (-1)*rhoaux_5_5/mu_5^2$
rho_6 : (-1)*rhoaux_5_6/mu_6^2$
rho_7 : (-1)*rhoaux_5_7/mu_7^2$
rho_8 : (-1)*rhoaux_5_8/mu_8^2$
rho_9 : (-1)*rhoaux_5_9/mu_9^2$
rho_10 : (-1)*rhoaux_5_10/mu_10^2$
rho_11 : (-1)*rhoaux_5_11/mu_11^2$
rho_12 : (-1)*rhoaux_5_12/mu_12^2$
rho_13 : (-1)*rhoaux_5_13/mu_13^2$
rho_14 : (-1)*rhoaux_5_14/mu_14^2$
rho_15 : (-1)*rhoaux_5_15/mu_15^2$
rho_16 : (-1)*rhoaux_5_16/mu_16^2$
rho_17 : (-1)*rhoaux_5_17/mu_17^2$
rho_18 : (-1)*rhoaux_5_18/mu_18^2$
rho_19 : (-1)*rhoaux_5_19/mu_19^2$
rho_20 : (-1)*rhoaux_5_20/mu_20^2$
rho_21 : (-1)*rhoaux_5_21/mu_21^2$
rho_22 : (-1)*rhoaux_5_22/mu_22^2$
rho_23 : (-1)*rhoaux_5_23/mu_23^2$
rho_24 : (-1)*rhoaux_5_24/mu_24^2$
rho_25 : (-1)*rhoaux_5_25/mu_25^2$
rho_26 : (-1)*rhoaux_5_26/mu_26^2$
rho_27 : (-1)*rhoaux_5_27/mu_27^2$
rho_28 : (-1)*rhoaux_5_28/mu_28^2$
rho_29 : (-1)*rhoaux_5_29/mu_29^2$
rho_30 : (-1)*rhoaux_5_30/mu_30^2$
aux1_1 : A_1^2*rhoaux_5_1^2$
aux1_2 : A_2^2*rhoaux_5_2^2$
aux1_3 : A_3^2*rhoaux_5_3^2$
aux1_4 : A_4^2*rhoaux_5_4^2$
aux1_5 : A_5^2*rhoaux_5_5^2$
aux1_6 : A_6^2*rhoaux_5_6^2$
aux1_7 : A_7^2*rhoaux_5_7^2$
aux1_8 : A_8^2*rhoaux_5_8^2$
aux1_9 : A_9^2*rhoaux_5_9^2$
aux1_10 : A_10^2*rhoaux_5_10^2$
aux1_11 : A_11^2*rhoaux_5_11^2$
aux1_12 : A_12^2*rhoaux_5_12^2$
aux1_13 : A_13^2*rhoaux_5_13^2$
aux1_14 : A_14^2*rhoaux_5_14^2$
aux1_15 : A_15^2*rhoaux_5_15^2$
aux1_16 : A_16^2*rhoaux_5_16^2$
aux1_17 : A_17^2*rhoaux_5_17^2$
aux1_18 : A_18^2*rhoaux_5_18^2$
aux1_19 : A_19^2*rhoaux_5_19^2$
aux1_20 : A_20^2*rhoaux_5_20^2$
aux1_21 : A_21^2*rhoaux_5_21^2$
aux1_22 : A_22^2*rhoaux_5_22^2$
aux1_23 : A_23^2*rhoaux_5_23^2$
aux1_24 : A_24^2*rhoaux_5_24^2$
aux1_25 : A_25^2*rhoaux_5_25^2$
aux1_26 : A_26^2*rhoaux_5_26^2$
aux1_27 : A_27^2*rhoaux_5_27^2$
aux1_28 : A_28^2*rhoaux_5_28^2$
aux1_29 : A_29^2*rhoaux_5_29^2$
aux1_30 : A_30^2*rhoaux_5_30^2$
aux3_1 : A_1*rho_1$
aux3_2 : A_2*rho_2$
aux3_3 : A_3*rho_3$
aux3_4 : A_4*rho_4$
aux3_5 : A_5*rho_5$
aux3_6 : A_6*rho_6$
aux3_7 : A_7*rho_7$
aux3_8 : A_8*rho_8$
aux3_9 : A_9*rho_9$
aux3_10 : A_10*rho_10$
aux3_11 : A_11*rho_11$
aux3_12 : A_12*rho_12$
aux3_13 : A_13*rho_13$
aux3_14 : A_14*rho_14$
aux3_15 : A_15*rho_15$
aux3_16 : A_16*rho_16$
aux3_17 : A_17*rho_17$
aux3_18 : A_18*rho_18$
aux3_19 : A_19*rho_19$
aux3_20 : A_20*rho_20$
aux3_21 : A_21*rho_21$
aux3_22 : A_22*rho_22$
aux3_23 : A_23*rho_23$
aux3_24 : A_24*rho_24$
aux3_25 : A_25*rho_25$
aux3_26 : A_26*rho_26$
aux3_27 : A_27*rho_27$
aux3_28 : A_28*rho_28$
aux3_29 : A_29*rho_29$
aux3_30 : A_30*rho_30$
hsum_1 : hsum_0 + aux1_1*aux2_1 + aux3_1*aux4_1$
hsum_2 : hsum_1 + aux1_2*aux2_2 + aux3_2*aux4_2$
hsum_3 : hsum_2 + aux1_3*aux2_3 + aux3_3*aux4_3$
hsum_4 : hsum_3 + aux1_4*aux2_4 + aux3_4*aux4_4$
hsum_5 : hsum_4 + aux1_5*aux2_5 + aux3_5*aux4_5$
hsum_6 : hsum_5 + aux1_6*aux2_6 + aux3_6*aux4_6$
hsum_7 : hsum_6 + aux1_7*aux2_7 + aux3_7*aux4_7$
hsum_8 : hsum_7 + aux1_8*aux2_8 + aux3_8*aux4_8$
hsum_9 : hsum_8 + aux1_9*aux2_9 + aux3_9*aux4_9$
hsum_10 : hsum_9 + aux1_10*aux2_10 + aux3_10*aux4_10$
hsum_11 : hsum_10 + aux1_11*aux2_11 + aux3_11*aux4_11$
hsum_12 : hsum_11 + aux1_12*aux2_12 + aux3_12*aux4_12$
hsum_13 : hsum_12 + aux1_13*aux2_13 + aux3_13*aux4_13$
hsum_14 : hsum_13 + aux1_14*aux2_14 + aux3_14*aux4_14$
hsum_15 : hsum_14 + aux1_15*aux2_15 + aux3_15*aux4_15$
hsum_16 : hsum_15 + aux1_16*aux2_16 + aux3_16*aux4_16$
hsum_17 : hsum_16 + aux1_17*aux2_17 + aux3_17*aux4_17$
hsum_18 : hsum_17 + aux1_18*aux2_18 + aux3_18*aux4_18$
hsum_19 : hsum_18 + aux1_19*aux2_19 + aux3_19*aux4_19$
hsum_20 : hsum_19 + aux1_20*aux2_20 + aux3_20*aux4_20$
hsum_21 : hsum_20 + aux1_21*aux2_21 + aux3_21*aux4_21$
hsum_22 : hsum_21 + aux1_22*aux2_22 + aux3_22*aux4_22$
hsum_23 : hsum_22 + aux1_23*aux2_23 + aux3_23*aux4_23$
hsum_24 : hsum_23 + aux1_24*aux2_24 + aux3_24*aux4_24$
hsum_25 : hsum_24 + aux1_25*aux2_25 + aux3_25*aux4_25$
hsum_26 : hsum_25 + aux1_26*aux2_26 + aux3_26*aux4_26$
hsum_27 : hsum_26 + aux1_27*aux2_27 + aux3_27*aux4_27$
hsum_28 : hsum_27 + aux1_28*aux2_28 + aux3_28*aux4_28$
hsum_29 : hsum_28 + aux1_29*aux2_29 + aux3_29*aux4_29$
hsum_30 : hsum_29 + aux1_30*aux2_30 + aux3_30*aux4_30$
h : hsum_30$
mfcorrr : (-1)*x_2 + (x_3 - 8/10)^2 + x_5$
myminfun : x_1^2 + x_2^2 + x_3^2 + x_4^2 + x_5^2 + mfcorrr$
myabsdevnod0_0 : myownabs(myminfun - 1.362656814889885b0)$
myreldevnod0_0 : myownabs(myminfun/1.362656814889885b0 - 1)$
myabsdevnod0_1 : myownabs(x_1 - 0.717050023543273b0)$
myreldevnod0_1 : myownabs(x_1/0.717050023543273b0 - 1)$
myabsdevnod0_2 : myownabs(x_2)$
myreldevnod0_2 : myownabs(x_2)$
myabsdevnod0_3 : myownabs(x_3 - 0.8b0)$
myreldevnod0_3 : myownabs(x_3/0.8b0 - 1)$
myabsdevnod0_4 : myownabs(x_4 - 0.456613708320804b0)$
myreldevnod0_4 : myownabs(x_4/0.456613708320804b0 - 1)$
myabsdevnod0_5 : myownabs(x_5)$
myreldevnod0_5 : myownabs(x_5)$
myabsdevnod1_0 : (1/2)*(myownabs(myabsdevnod0_0 - myabsdevnod0_1) + (myabsdevnod0_0 + myabsdevnod0_1))$
myreldevnod1_0 : (1/2)*(myownabs(myreldevnod0_0 - myreldevnod0_1) + (myreldevnod0_0 + myreldevnod0_1))$
myabsdevnod1_2 : (1/2)*(myownabs(myabsdevnod0_2 - myabsdevnod0_3) + (myabsdevnod0_2 + myabsdevnod0_3))$
myreldevnod1_2 : (1/2)*(myownabs(myreldevnod0_2 - myreldevnod0_3) + (myreldevnod0_2 + myreldevnod0_3))$
myabsdevnod1_4 : (1/2)*(myownabs(myabsdevnod0_4 - myabsdevnod0_5) + (myabsdevnod0_4 + myabsdevnod0_5))$
myreldevnod1_4 : (1/2)*(myownabs(myreldevnod0_4 - myreldevnod0_5) + (myreldevnod0_4 + myreldevnod0_5))$
myabsdevnod2_0 : (1/2)*(myownabs(myabsdevnod1_0 - myabsdevnod1_2) + (myabsdevnod1_0 + myabsdevnod1_2))$
myreldevnod2_0 : (1/2)*(myownabs(myreldevnod1_0 - myreldevnod1_2) + (myreldevnod1_0 + myreldevnod1_2))$
myabsdevnod2_4 : myabsdevnod1_4$
myreldevnod2_4 : myreldevnod1_4$
myabsdevnod3_0 : (1/2)*(myownabs(myabsdevnod2_0 - myabsdevnod2_4) + (myabsdevnod2_0 + myabsdevnod2_4))$
myreldevnod3_0 : (1/2)*(myownabs(myreldevnod2_0 - myreldevnod2_4) + (myreldevnod2_0 + myreldevnod2_4))$
zmyabsdevmax : myabsdevnod3_0$
zmyreldevmax : myreldevnod3_0$
obj : myminfun$
fmcMinimum(obj)$
fmcInequality(ci_1, 0.0001b0 - h)$
fmcEscortFloat(x_1, x_1)$
fmcEscortFloat(x_2, x_2)$
fmcEscortFloat(x_3, x_3)$
fmcEscortFloat(x_4, x_4)$
fmcEscortFloat(x_5, x_5)$
fmcEscortFloat('myminfun, myminfun)$
fmcEscortFloat('zmyabsdevmax, zmyabsdevmax)$
fmcEscortFloat('zmyreldevmax, zmyreldevmax)$
fmcControlMinimum(1, 0)$
/* End Model */

Stephan K.H. Seidl