fmcTitle("tp057")$ /* Source version 1 */ /* Simple APM canonicalizer version 1.3 */ /* FMCMAC backend version 1.2 */ myownabs(x) := fmc_m_abs(x)$ a_1 : 8$ a_2 : 8$ a_3 : 10$ a_4 : 10$ a_5 : 10$ a_6 : 10$ a_7 : 12$ a_8 : 12$ a_9 : 12$ a_10 : 12$ a_11 : 14$ a_12 : 14$ a_13 : 14$ a_14 : 16$ a_15 : 16$ a_16 : 16$ a_17 : 18$ a_18 : 18$ a_19 : 20$ a_20 : 20$ a_21 : 20$ a_22 : 22$ a_23 : 22$ a_24 : 22$ a_25 : 24$ a_26 : 24$ a_27 : 24$ a_28 : 26$ a_29 : 26$ a_30 : 26$ a_31 : 28$ a_32 : 28$ a_33 : 30$ a_34 : 30$ a_35 : 30$ a_36 : 32$ a_37 : 32$ a_38 : 34$ a_39 : 36$ a_40 : 36$ a_41 : 38$ a_42 : 38$ a_43 : 40$ a_44 : 42$ b_1 : 0.49b0$ b_2 : 0.49b0$ b_3 : 0.48b0$ b_4 : 0.47b0$ b_5 : 0.48b0$ b_6 : 0.47b0$ b_7 : 0.46b0$ b_8 : 0.46b0$ b_9 : 0.45b0$ b_10 : 0.43b0$ b_11 : 0.45b0$ b_12 : 0.43b0$ b_13 : 0.43b0$ b_14 : 0.44b0$ b_15 : 0.43b0$ b_16 : 0.43b0$ b_17 : 0.46b0$ b_18 : 0.45b0$ b_19 : 0.42b0$ b_20 : 0.42b0$ b_21 : 0.43b0$ b_22 : 0.41b0$ b_23 : 0.41b0$ b_24 : 0.40b0$ b_25 : 0.42b0$ b_26 : 0.40b0$ b_27 : 0.40b0$ b_28 : 0.41b0$ b_29 : 0.40b0$ b_30 : 0.41b0$ b_31 : 0.41b0$ b_32 : 0.40b0$ b_33 : 0.40b0$ b_34 : 0.40b0$ b_35 : 0.38b0$ b_36 : 0.41b0$ b_37 : 0.40b0$ b_38 : 0.40b0$ b_39 : 0.41b0$ b_40 : 0.38b0$ b_41 : 0.40b0$ b_42 : 0.40b0$ b_43 : 0.39b0$ b_44 : 0.39b0$ fmcInitialValue(x_1, 0.42b0)$ fmcStrongLowerBound(x_1, 0.4b0)$ fmcInitialValue(x_2, 5)$ fmcStrongLowerBound(x_2, -4)$ aux_1 : b_1 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_1 - 8))$ aux_2 : b_2 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_2 - 8))$ aux_3 : b_3 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_3 - 8))$ aux_4 : b_4 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_4 - 8))$ aux_5 : b_5 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_5 - 8))$ aux_6 : b_6 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_6 - 8))$ aux_7 : b_7 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_7 - 8))$ aux_8 : b_8 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_8 - 8))$ aux_9 : b_9 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_9 - 8))$ aux_10 : b_10 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_10 - 8))$ aux_11 : b_11 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_11 - 8))$ aux_12 : b_12 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_12 - 8))$ aux_13 : b_13 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_13 - 8))$ aux_14 : b_14 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_14 - 8))$ aux_15 : b_15 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_15 - 8))$ aux_16 : b_16 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_16 - 8))$ aux_17 : b_17 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_17 - 8))$ aux_18 : b_18 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_18 - 8))$ aux_19 : b_19 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_19 - 8))$ aux_20 : b_20 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_20 - 8))$ aux_21 : b_21 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_21 - 8))$ aux_22 : b_22 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_22 - 8))$ aux_23 : b_23 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_23 - 8))$ aux_24 : b_24 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_24 - 8))$ aux_25 : b_25 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_25 - 8))$ aux_26 : b_26 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_26 - 8))$ aux_27 : b_27 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_27 - 8))$ aux_28 : b_28 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_28 - 8))$ aux_29 : b_29 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_29 - 8))$ aux_30 : b_30 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_30 - 8))$ aux_31 : b_31 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_31 - 8))$ aux_32 : b_32 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_32 - 8))$ aux_33 : b_33 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_33 - 8))$ aux_34 : b_34 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_34 - 8))$ aux_35 : b_35 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_35 - 8))$ aux_36 : b_36 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_36 - 8))$ aux_37 : b_37 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_37 - 8))$ aux_38 : b_38 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_38 - 8))$ aux_39 : b_39 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_39 - 8))$ aux_40 : b_40 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_40 - 8))$ aux_41 : b_41 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_41 - 8))$ aux_42 : b_42 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_42 - 8))$ aux_43 : b_43 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_43 - 8))$ aux_44 : b_44 - x_1 - (0.49b0 - x_1)*exp(-x_2*(a_44 - 8))$ s_1 : (aux_1)^2$ s_2 : s_1 + (aux_2)^2$ s_3 : s_2 + (aux_3)^2$ s_4 : s_3 + (aux_4)^2$ s_5 : s_4 + (aux_5)^2$ s_6 : s_5 + (aux_6)^2$ s_7 : s_6 + (aux_7)^2$ s_8 : s_7 + (aux_8)^2$ s_9 : s_8 + (aux_9)^2$ s_10 : s_9 + (aux_10)^2$ s_11 : s_10 + (aux_11)^2$ s_12 : s_11 + (aux_12)^2$ s_13 : s_12 + (aux_13)^2$ s_14 : s_13 + (aux_14)^2$ s_15 : s_14 + (aux_15)^2$ s_16 : s_15 + (aux_16)^2$ s_17 : s_16 + (aux_17)^2$ s_18 : s_17 + (aux_18)^2$ s_19 : s_18 + (aux_19)^2$ s_20 : s_19 + (aux_20)^2$ s_21 : s_20 + (aux_21)^2$ s_22 : s_21 + (aux_22)^2$ s_23 : s_22 + (aux_23)^2$ s_24 : s_23 + (aux_24)^2$ s_25 : s_24 + (aux_25)^2$ s_26 : s_25 + (aux_26)^2$ s_27 : s_26 + (aux_27)^2$ s_28 : s_27 + (aux_28)^2$ s_29 : s_28 + (aux_29)^2$ s_30 : s_29 + (aux_30)^2$ s_31 : s_30 + (aux_31)^2$ s_32 : s_31 + (aux_32)^2$ s_33 : s_32 + (aux_33)^2$ s_34 : s_33 + (aux_34)^2$ s_35 : s_34 + (aux_35)^2$ s_36 : s_35 + (aux_36)^2$ s_37 : s_36 + (aux_37)^2$ s_38 : s_37 + (aux_38)^2$ s_39 : s_38 + (aux_39)^2$ s_40 : s_39 + (aux_40)^2$ s_41 : s_40 + (aux_41)^2$ s_42 : s_41 + (aux_42)^2$ s_43 : s_42 + (aux_43)^2$ s_44 : s_43 + (aux_44)^2$ mf : s_44$ myminfun : mf$ myabsdevnod0_0 : myownabs(myminfun - 0.02845966972298671b0)$ myreldevnod0_0 : myownabs(myminfun/0.02845966972298671b0 - 1)$ myabsdevnod0_1 : myownabs(x_1 - 0.4199526507578012b0)$ myreldevnod0_1 : myownabs(x_1/0.4199526507578012b0 - 1)$ myabsdevnod0_2 : myownabs(x_2 - 1.284845193624845b0)$ myreldevnod0_2 : myownabs(x_2/1.284845193624845b0 - 1)$ 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 : myabsdevnod0_2$ myreldevnod1_2 : myreldevnod0_2$ 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))$ zmyabsdevmax : myabsdevnod2_0$ zmyreldevmax : myreldevnod2_0$ obj : myminfun$ fmcMinimum(obj)$ fmcInequality(ci_1, 0.49b0*x_2 - x_1*x_2 - 0.09b0)$ fmcEscortFloat(x_1, x_1)$ fmcEscortFloat(x_2, x_2)$ fmcEscortFloat('myminfun, myminfun)$ fmcEscortFloat('zmyabsdevmax, zmyabsdevmax)$ fmcEscortFloat('zmyreldevmax, zmyreldevmax)$ fmcControlMinimum(1, 0)$ /* End Model */