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 */