
(FPCore (x y z)
:precision binary64
(let* ((t_0
(/
(+
(*
0.87758255
(+ (* 0.9950042 (/ x 1.5)) (* -0.099833414 (/ y 1.5))))
(* 0.47942555 (/ z 1.0)))
0.3))
(t_1 (pow t_0 2.0))
(t_2 (fabs t_0))
(t_3 (* t_2 0.2207437))
(t_4 (* t_2 1.2493271))
(t_5 (* t_2 1.0522937))
(t_6
(sqrt
(+
(pow (- t_2 0.4) 2.0)
(+
(pow
(/
(-
(-
(+ (* (/ y 1.5) 2.0808594) (* (/ z 1.0) 2.3650744))
(* (/ x 1.5) 1.089751))
0.92795134)
0.7)
2.0)
(pow
(/
(-
0.0625
(-
(* (/ z 1.0) 1.7215275)
(+ (* (/ y 1.5) 2.5876334) (* (/ x 1.5) 1.2048262))))
1.5)
2.0)))))
(t_7 (* t_2 0.19866933))
(t_8 (* (/ z 1.0) 0.35865277))
(t_9
(/
(+
(+ (* (/ z 1.0) 0.06207773) (* (/ x 1.5) 0.06583953))
(* (/ y 1.5) 0.99589735))
0.3))
(t_10 (* t_9 1.1111112))
(t_11 (- t_10 0.8888889))
(t_12 (- t_9 0.8))
(t_13 (- t_9 1.0))
(t_14 (- t_10 0.22222221))
(t_15
(-
(+ (* (/ z 1.0) 0.96114874) (* (/ y 1.5) 3.5451903))
(* (/ x 1.5) 0.17200887)))
(t_16 (+ (* (/ y 1.5) 4.247789) (* (/ x 1.5) 0.6231172)))
(t_17 (- (+ t_5 (- (+ t_8 0.5239333) t_16))))
(t_18
(/
(-
(+
(-
(+ (* (/ z 1.0) 0.5766893) (* (/ y 1.5) 2.1271143))
(* (/ x 1.5) 0.10320534))
(* t_2 0.7495963))
1.115259)
0.6))
(t_19
(/
(-
(* (/ z 1.0) 0.8753842)
(+ (* (/ x 1.5) 0.4828974) (* (/ y 1.5) 0.022641014)))
0.3))
(t_20 (* t_19 0.2207437))
(t_21 (- (+ (* t_2 0.48241276) (* t_19 0.7513133)) 0.5854049))
(t_22 (* t_19 0.9800666))
(t_23 (/ (- (+ t_22 1.0807292) t_7) 0.9))
(t_24 (- t_19 1.0))
(t_25 (- (+ (* t_19 0.33768892) 0.55581105) (* t_2 0.5259193)))
(t_26 (- t_19 2.19))
(t_27
(/
(- (+ (* t_19 0.19866933) (* t_2 0.9800666)) 0.8012642)
0.9))
(t_28 (pow t_27 2.0))
(t_29 (- (- t_9 (/ 0.1 t_19)) -0.7))
(t_30
(-
1.0
(*
0.5
(exp
(-
(/
(sqrt (+ (+ t_1 (pow t_24 2.0)) (pow t_12 2.0)))
1.0))))))
(t_31 (+ (* t_24 t_30) 1.5))
(t_32 (+ 0.8 (* t_12 t_30)))
(t_33 (* t_0 t_30))
(t_34
(+
1.0
(*
2.0
(exp
(-
(/
(sqrt
(+ (+ (pow t_33 2.0) (pow t_31 2.0)) (pow t_32 2.0)))
1.0))))))
(t_35 (+ 0.30833334 (* t_9 0.8333333)))
(t_36 (* t_2 1.0234011))
(t_37
(*
1.5
(exp
(-
(/
(sqrt (+ t_28 (+ (pow t_23 2.0) (pow t_14 2.0))))
1.0)))))
(t_38 (sin t_37))
(t_39 (/ (- t_2 0.25) 0.9))
(t_40 (* t_19 1.6334443))
(t_41 (cos t_37))
(t_42 (- (+ (* (- t_38) t_23) (* t_41 t_14)) -1.0))
(t_43 (- (* t_9 0.625) 1.09375))
(t_44
(+
1.0
(*
1.2
(exp
(-
(/
(sqrt
(+ (pow t_21 2.0) (+ (pow t_25 2.0) (pow t_43 2.0))))
0.5))))))
(t_45 (* t_21 t_44))
(t_46 (pow (* t_25 t_44) 2.0))
(t_47 (pow (- (* t_43 t_44) -0.5) 2.0))
(t_48 (* t_19 1.0234011))
(t_49 (* t_2 1.0889629))
(t_50 (pow t_18 2.0))
(t_51
(-
1.0
(*
1.5
(exp
(-
(/
(sqrt
(+ (pow t_39 2.0) (+ (pow t_26 2.0) (pow t_35 2.0))))
0.15))))))
(t_52 (* t_26 t_51))
(t_53 (- (* t_39 t_51) 0.2))
(t_54 (- (* t_35 t_51) 0.35))
(t_55 (* t_2 0.33111554))
(t_56
(/
(- (+ (* t_19 0.921061) 1.2962569) (* t_2 0.38941833))
0.9))
(t_57 (- t_19 2.0))
(t_58 (* t_2 0.43268704))
(t_59 (* t_19 0.43268704))
(t_60
(-
1.0
(exp
(-
(/
(sqrt (+ (+ t_1 (pow t_57 2.0)) (pow t_13 2.0)))
0.5)))))
(t_61 (* t_0 t_60))
(t_62 (- (* t_13 t_60) -1.0))
(t_63 (- (* t_57 t_60) 1.0))
(t_64
(-
1.0
(*
2.0
(exp
(-
(/
(sqrt
(+ (pow t_63 2.0) (+ (pow t_61 2.0) (pow t_62 2.0))))
0.5))))))
(t_65
(sqrt
(+
(pow (- (* t_63 t_64) -1.0) 2.0)
(+ (pow (* t_61 t_64) 2.0) (pow (* t_62 t_64) 2.0)))))
(t_66 (- (+ (* t_41 t_23) (* t_38 t_14)) -1.5))
(t_67
(+
1.0
(*
4.0
(exp
(-
(/
(sqrt (+ (pow t_42 2.0) (+ t_28 (pow t_66 2.0))))
0.5))))))
(t_68 (* t_19 1.0889629))
(t_69 (/ (- (+ 0.9244498 t_22) t_7) 0.6))
(t_70
(*
1.5
(exp
(-
(/
(sqrt (+ t_50 (+ (pow t_17 2.0) (pow t_69 2.0))))
1.0)))))
(t_71 (sin t_70))
(t_72 (cos t_70))
(t_73 (- (+ (* (- t_71) t_69) (* t_72 t_17)) -1.0))
(t_74 (- (+ (* t_72 t_69) (* t_71 t_17)) -1.5))
(t_75
(+
1.0
(*
4.0
(exp
(-
(/
(sqrt (+ (pow t_73 2.0) (+ t_50 (pow t_74 2.0))))
0.5))))))
(t_76
(-
1.0
(exp
(-
(/
(sqrt
(+ (+ (pow t_53 2.0) (pow t_52 2.0)) (pow t_54 2.0)))
0.15)))))
(t_77
(/
(- (+ (* t_19 0.38941833) (* t_2 0.921061)) 0.75479674)
0.9))
(t_78 (pow t_77 2.0))
(t_79
(*
1.5
(exp
(-
(/
(sqrt (+ t_78 (+ (pow t_56 2.0) (pow t_11 2.0))))
1.0)))))
(t_80 (sin t_79))
(t_81 (cos t_79))
(t_82 (- (+ (* t_81 t_56) (* t_80 t_11)) -1.5))
(t_83 (- (+ (* (- t_80) t_56) (* t_81 t_11)) -1.0))
(t_84
(+
1.0
(*
4.0
(exp
(-
(/
(sqrt (+ (pow t_83 2.0) (+ t_78 (pow t_82 2.0))))
0.5)))))))
(fmin
(/
(-
(log
(+
(exp
(*
-11.0
(-
(/
(-
(log
(+
(exp
(*
-30.555555
(/
(-
(log
(+
(exp
(*
-11.0
(/
(-
(log
(+
(exp
(*
-11.0
(-
(/
(-
(log
(+
(exp
(*
-16.0
(/
(-
(log
(+
(exp
(*
-5.612245
(-
(sqrt
(+
(+
t_1
(pow (- t_19 -0.4) 2.0))
(pow (- t_9 0.1) 2.0)))
1.4)))
(exp
(*
-5.612245
(-
(sqrt
(+
(+
(pow (* t_33 t_34) 2.0)
(pow
(- (* t_31 t_34) 2.0)
2.0))
(pow
(- (* t_32 t_34) -0.2)
2.0)))
0.9))))))
5.612245)))
(exp
(*
-16.0
(-
(/
(-
(log
(+
(exp
(*
-5.612245
(-
(-
(sqrt
(+
(+
(pow (- t_45 -0.5) 2.0)
t_46)
t_47))
0.5))))
(exp
(*
-5.612245
(-
(sqrt
(+
(pow (+ 0.3 t_45) 2.0)
(+ t_46 t_47)))
0.2))))))
5.612245)))))))
16.0))))
(exp (* -11.0 (- t_6 0.2))))))
11.0)))
(exp (* -11.0 (- t_65 0.3))))))
11.0)))
(exp
(*
-30.555555
(fmax
(fmax
(fmax (- -1.5 t_0) (- t_0 1.5))
(fmax (- 0.5 t_19) (- t_19 3.0)))
(fmax (- t_29) t_29)))))))
30.555555))))
(exp
(*
-11.0
(fmin
(fmin
(fmax
(-
(sqrt
(+
(pow (/ (* t_18 t_75) 0.8) 2.0)
(+
(pow (- (* t_74 t_75) 1.5) 2.0)
(pow (* t_73 t_75) 2.0))))
0.7)
(fmax
(fmax
(- (+ t_15 t_4) 2.8587651)
(fmax
(- 0.858765 (+ t_4 t_15))
(- (+ 0.54074955 t_40) t_55)))
(fmax
(- (+ t_5 (- t_8 t_16)) 1.4760667)
(fmax t_17 (- t_55 (+ 2.5407495 t_40))))))
(fmax
(-
(sqrt
(+
(pow (/ (* t_77 t_84) 0.8) 2.0)
(+
(pow (- (* t_82 t_84) 1.5) 2.0)
(pow (* t_83 t_84) 2.0))))
0.7)
(fmax
(fmax
(- (+ t_36 (+ 0.16133696 t_59)))
(- (+ t_59 t_36) 1.8386631))
(fmax
(fmax (- (* (+ t_9 1.0) 1.1111112)) t_11)
(fmax
(- (+ 0.44028544 t_48) t_58)
(- t_58 (+ 2.4402854 t_48)))))))
(fmax
(-
(sqrt
(+
(pow (/ (* t_27 t_67) 0.8) 2.0)
(+
(pow (- (* t_66 t_67) 1.5) 2.0)
(pow (* t_42 t_67) 2.0))))
0.7)
(fmax
(fmax
(- (+ t_49 (+ 0.1097064 t_20)))
(- (+ t_20 t_49) 1.8902936))
(fmax
(fmax (- (+ 1.7777778 t_10)) t_14)
(fmax
(- (+ 0.20081031 t_68) t_3)
(- t_3 (+ 2.2008104 t_68))))))))))))
11.0)
(fmin
(- t_6 0.25)
(-
(/
(-
(log
(+
(exp (* -30.555555 (- (- t_65 0.4))))
(exp
(*
-30.555555
(-
(sqrt
(+
(+
(pow (- (* t_53 t_76) -0.2) 2.0)
(pow (* t_52 t_76) 2.0))
(pow (- (* t_54 t_76) -0.1) 2.0)))
0.14))))))
30.555555))))))double code(double x, double y, double z) {
double t_0 = ((0.87758255 * ((0.9950042 * (x / 1.5)) + (-0.099833414 * (y / 1.5)))) + (0.47942555 * (z / 1.0))) / 0.3;
double t_1 = pow(t_0, 2.0);
double t_2 = fabs(t_0);
double t_3 = t_2 * 0.2207437;
double t_4 = t_2 * 1.2493271;
double t_5 = t_2 * 1.0522937;
double t_6 = sqrt((pow((t_2 - 0.4), 2.0) + (pow(((((((y / 1.5) * 2.0808594) + ((z / 1.0) * 2.3650744)) - ((x / 1.5) * 1.089751)) - 0.92795134) / 0.7), 2.0) + pow(((0.0625 - (((z / 1.0) * 1.7215275) - (((y / 1.5) * 2.5876334) + ((x / 1.5) * 1.2048262)))) / 1.5), 2.0))));
double t_7 = t_2 * 0.19866933;
double t_8 = (z / 1.0) * 0.35865277;
double t_9 = ((((z / 1.0) * 0.06207773) + ((x / 1.5) * 0.06583953)) + ((y / 1.5) * 0.99589735)) / 0.3;
double t_10 = t_9 * 1.1111112;
double t_11 = t_10 - 0.8888889;
double t_12 = t_9 - 0.8;
double t_13 = t_9 - 1.0;
double t_14 = t_10 - 0.22222221;
double t_15 = (((z / 1.0) * 0.96114874) + ((y / 1.5) * 3.5451903)) - ((x / 1.5) * 0.17200887);
double t_16 = ((y / 1.5) * 4.247789) + ((x / 1.5) * 0.6231172);
double t_17 = -(t_5 + ((t_8 + 0.5239333) - t_16));
double t_18 = ((((((z / 1.0) * 0.5766893) + ((y / 1.5) * 2.1271143)) - ((x / 1.5) * 0.10320534)) + (t_2 * 0.7495963)) - 1.115259) / 0.6;
double t_19 = (((z / 1.0) * 0.8753842) - (((x / 1.5) * 0.4828974) + ((y / 1.5) * 0.022641014))) / 0.3;
double t_20 = t_19 * 0.2207437;
double t_21 = ((t_2 * 0.48241276) + (t_19 * 0.7513133)) - 0.5854049;
double t_22 = t_19 * 0.9800666;
double t_23 = ((t_22 + 1.0807292) - t_7) / 0.9;
double t_24 = t_19 - 1.0;
double t_25 = ((t_19 * 0.33768892) + 0.55581105) - (t_2 * 0.5259193);
double t_26 = t_19 - 2.19;
double t_27 = (((t_19 * 0.19866933) + (t_2 * 0.9800666)) - 0.8012642) / 0.9;
double t_28 = pow(t_27, 2.0);
double t_29 = (t_9 - (0.1 / t_19)) - -0.7;
double t_30 = 1.0 - (0.5 * exp(-(sqrt(((t_1 + pow(t_24, 2.0)) + pow(t_12, 2.0))) / 1.0)));
double t_31 = (t_24 * t_30) + 1.5;
double t_32 = 0.8 + (t_12 * t_30);
double t_33 = t_0 * t_30;
double t_34 = 1.0 + (2.0 * exp(-(sqrt(((pow(t_33, 2.0) + pow(t_31, 2.0)) + pow(t_32, 2.0))) / 1.0)));
double t_35 = 0.30833334 + (t_9 * 0.8333333);
double t_36 = t_2 * 1.0234011;
double t_37 = 1.5 * exp(-(sqrt((t_28 + (pow(t_23, 2.0) + pow(t_14, 2.0)))) / 1.0));
double t_38 = sin(t_37);
double t_39 = (t_2 - 0.25) / 0.9;
double t_40 = t_19 * 1.6334443;
double t_41 = cos(t_37);
double t_42 = ((-t_38 * t_23) + (t_41 * t_14)) - -1.0;
double t_43 = (t_9 * 0.625) - 1.09375;
double t_44 = 1.0 + (1.2 * exp(-(sqrt((pow(t_21, 2.0) + (pow(t_25, 2.0) + pow(t_43, 2.0)))) / 0.5)));
double t_45 = t_21 * t_44;
double t_46 = pow((t_25 * t_44), 2.0);
double t_47 = pow(((t_43 * t_44) - -0.5), 2.0);
double t_48 = t_19 * 1.0234011;
double t_49 = t_2 * 1.0889629;
double t_50 = pow(t_18, 2.0);
double t_51 = 1.0 - (1.5 * exp(-(sqrt((pow(t_39, 2.0) + (pow(t_26, 2.0) + pow(t_35, 2.0)))) / 0.15)));
double t_52 = t_26 * t_51;
double t_53 = (t_39 * t_51) - 0.2;
double t_54 = (t_35 * t_51) - 0.35;
double t_55 = t_2 * 0.33111554;
double t_56 = (((t_19 * 0.921061) + 1.2962569) - (t_2 * 0.38941833)) / 0.9;
double t_57 = t_19 - 2.0;
double t_58 = t_2 * 0.43268704;
double t_59 = t_19 * 0.43268704;
double t_60 = 1.0 - exp(-(sqrt(((t_1 + pow(t_57, 2.0)) + pow(t_13, 2.0))) / 0.5));
double t_61 = t_0 * t_60;
double t_62 = (t_13 * t_60) - -1.0;
double t_63 = (t_57 * t_60) - 1.0;
double t_64 = 1.0 - (2.0 * exp(-(sqrt((pow(t_63, 2.0) + (pow(t_61, 2.0) + pow(t_62, 2.0)))) / 0.5)));
double t_65 = sqrt((pow(((t_63 * t_64) - -1.0), 2.0) + (pow((t_61 * t_64), 2.0) + pow((t_62 * t_64), 2.0))));
double t_66 = ((t_41 * t_23) + (t_38 * t_14)) - -1.5;
double t_67 = 1.0 + (4.0 * exp(-(sqrt((pow(t_42, 2.0) + (t_28 + pow(t_66, 2.0)))) / 0.5)));
double t_68 = t_19 * 1.0889629;
double t_69 = ((0.9244498 + t_22) - t_7) / 0.6;
double t_70 = 1.5 * exp(-(sqrt((t_50 + (pow(t_17, 2.0) + pow(t_69, 2.0)))) / 1.0));
double t_71 = sin(t_70);
double t_72 = cos(t_70);
double t_73 = ((-t_71 * t_69) + (t_72 * t_17)) - -1.0;
double t_74 = ((t_72 * t_69) + (t_71 * t_17)) - -1.5;
double t_75 = 1.0 + (4.0 * exp(-(sqrt((pow(t_73, 2.0) + (t_50 + pow(t_74, 2.0)))) / 0.5)));
double t_76 = 1.0 - exp(-(sqrt(((pow(t_53, 2.0) + pow(t_52, 2.0)) + pow(t_54, 2.0))) / 0.15));
double t_77 = (((t_19 * 0.38941833) + (t_2 * 0.921061)) - 0.75479674) / 0.9;
double t_78 = pow(t_77, 2.0);
double t_79 = 1.5 * exp(-(sqrt((t_78 + (pow(t_56, 2.0) + pow(t_11, 2.0)))) / 1.0));
double t_80 = sin(t_79);
double t_81 = cos(t_79);
double t_82 = ((t_81 * t_56) + (t_80 * t_11)) - -1.5;
double t_83 = ((-t_80 * t_56) + (t_81 * t_11)) - -1.0;
double t_84 = 1.0 + (4.0 * exp(-(sqrt((pow(t_83, 2.0) + (t_78 + pow(t_82, 2.0)))) / 0.5)));
return fmin((-log((exp((-11.0 * -(-log((exp((-30.555555 * (-log((exp((-11.0 * (-log((exp((-11.0 * -(-log((exp((-16.0 * (-log((exp((-5.612245 * (sqrt(((t_1 + pow((t_19 - -0.4), 2.0)) + pow((t_9 - 0.1), 2.0))) - 1.4))) + exp((-5.612245 * (sqrt(((pow((t_33 * t_34), 2.0) + pow(((t_31 * t_34) - 2.0), 2.0)) + pow(((t_32 * t_34) - -0.2), 2.0))) - 0.9))))) / 5.612245))) + exp((-16.0 * -(-log((exp((-5.612245 * -(sqrt(((pow((t_45 - -0.5), 2.0) + t_46) + t_47)) - 0.5))) + exp((-5.612245 * (sqrt((pow((0.3 + t_45), 2.0) + (t_46 + t_47))) - 0.2))))) / 5.612245))))) / 16.0))) + exp((-11.0 * (t_6 - 0.2))))) / 11.0))) + exp((-11.0 * (t_65 - 0.3))))) / 11.0))) + exp((-30.555555 * fmax(fmax(fmax((-1.5 - t_0), (t_0 - 1.5)), fmax((0.5 - t_19), (t_19 - 3.0))), fmax(-t_29, t_29)))))) / 30.555555))) + exp((-11.0 * fmin(fmin(fmax((sqrt((pow(((t_18 * t_75) / 0.8), 2.0) + (pow(((t_74 * t_75) - 1.5), 2.0) + pow((t_73 * t_75), 2.0)))) - 0.7), fmax(fmax(((t_15 + t_4) - 2.8587651), fmax((0.858765 - (t_4 + t_15)), ((0.54074955 + t_40) - t_55))), fmax(((t_5 + (t_8 - t_16)) - 1.4760667), fmax(t_17, (t_55 - (2.5407495 + t_40)))))), fmax((sqrt((pow(((t_77 * t_84) / 0.8), 2.0) + (pow(((t_82 * t_84) - 1.5), 2.0) + pow((t_83 * t_84), 2.0)))) - 0.7), fmax(fmax(-(t_36 + (0.16133696 + t_59)), ((t_59 + t_36) - 1.8386631)), fmax(fmax(-((t_9 + 1.0) * 1.1111112), t_11), fmax(((0.44028544 + t_48) - t_58), (t_58 - (2.4402854 + t_48))))))), fmax((sqrt((pow(((t_27 * t_67) / 0.8), 2.0) + (pow(((t_66 * t_67) - 1.5), 2.0) + pow((t_42 * t_67), 2.0)))) - 0.7), fmax(fmax(-(t_49 + (0.1097064 + t_20)), ((t_20 + t_49) - 1.8902936)), fmax(fmax(-(1.7777778 + t_10), t_14), fmax(((0.20081031 + t_68) - t_3), (t_3 - (2.2008104 + t_68))))))))))) / 11.0), fmin((t_6 - 0.25), -(-log((exp((-30.555555 * -(t_65 - 0.4))) + exp((-30.555555 * (sqrt(((pow(((t_53 * t_76) - -0.2), 2.0) + pow((t_52 * t_76), 2.0)) + pow(((t_54 * t_76) - -0.1), 2.0))) - 0.14))))) / 30.555555)));
}
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(x, y, z)
use fmin_fmax_functions
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: t_0
real(8) :: t_1
real(8) :: t_10
real(8) :: t_11
real(8) :: t_12
real(8) :: t_13
real(8) :: t_14
real(8) :: t_15
real(8) :: t_16
real(8) :: t_17
real(8) :: t_18
real(8) :: t_19
real(8) :: t_2
real(8) :: t_20
real(8) :: t_21
real(8) :: t_22
real(8) :: t_23
real(8) :: t_24
real(8) :: t_25
real(8) :: t_26
real(8) :: t_27
real(8) :: t_28
real(8) :: t_29
real(8) :: t_3
real(8) :: t_30
real(8) :: t_31
real(8) :: t_32
real(8) :: t_33
real(8) :: t_34
real(8) :: t_35
real(8) :: t_36
real(8) :: t_37
real(8) :: t_38
real(8) :: t_39
real(8) :: t_4
real(8) :: t_40
real(8) :: t_41
real(8) :: t_42
real(8) :: t_43
real(8) :: t_44
real(8) :: t_45
real(8) :: t_46
real(8) :: t_47
real(8) :: t_48
real(8) :: t_49
real(8) :: t_5
real(8) :: t_50
real(8) :: t_51
real(8) :: t_52
real(8) :: t_53
real(8) :: t_54
real(8) :: t_55
real(8) :: t_56
real(8) :: t_57
real(8) :: t_58
real(8) :: t_59
real(8) :: t_6
real(8) :: t_60
real(8) :: t_61
real(8) :: t_62
real(8) :: t_63
real(8) :: t_64
real(8) :: t_65
real(8) :: t_66
real(8) :: t_67
real(8) :: t_68
real(8) :: t_69
real(8) :: t_7
real(8) :: t_70
real(8) :: t_71
real(8) :: t_72
real(8) :: t_73
real(8) :: t_74
real(8) :: t_75
real(8) :: t_76
real(8) :: t_77
real(8) :: t_78
real(8) :: t_79
real(8) :: t_8
real(8) :: t_80
real(8) :: t_81
real(8) :: t_82
real(8) :: t_83
real(8) :: t_84
real(8) :: t_9
t_0 = ((0.87758255d0 * ((0.9950042d0 * (x / 1.5d0)) + ((-0.099833414d0) * (y / 1.5d0)))) + (0.47942555d0 * (z / 1.0d0))) / 0.3d0
t_1 = t_0 ** 2.0d0
t_2 = abs(t_0)
t_3 = t_2 * 0.2207437d0
t_4 = t_2 * 1.2493271d0
t_5 = t_2 * 1.0522937d0
t_6 = sqrt((((t_2 - 0.4d0) ** 2.0d0) + ((((((((y / 1.5d0) * 2.0808594d0) + ((z / 1.0d0) * 2.3650744d0)) - ((x / 1.5d0) * 1.089751d0)) - 0.92795134d0) / 0.7d0) ** 2.0d0) + (((0.0625d0 - (((z / 1.0d0) * 1.7215275d0) - (((y / 1.5d0) * 2.5876334d0) + ((x / 1.5d0) * 1.2048262d0)))) / 1.5d0) ** 2.0d0))))
t_7 = t_2 * 0.19866933d0
t_8 = (z / 1.0d0) * 0.35865277d0
t_9 = ((((z / 1.0d0) * 0.06207773d0) + ((x / 1.5d0) * 0.06583953d0)) + ((y / 1.5d0) * 0.99589735d0)) / 0.3d0
t_10 = t_9 * 1.1111112d0
t_11 = t_10 - 0.8888889d0
t_12 = t_9 - 0.8d0
t_13 = t_9 - 1.0d0
t_14 = t_10 - 0.22222221d0
t_15 = (((z / 1.0d0) * 0.96114874d0) + ((y / 1.5d0) * 3.5451903d0)) - ((x / 1.5d0) * 0.17200887d0)
t_16 = ((y / 1.5d0) * 4.247789d0) + ((x / 1.5d0) * 0.6231172d0)
t_17 = -(t_5 + ((t_8 + 0.5239333d0) - t_16))
t_18 = ((((((z / 1.0d0) * 0.5766893d0) + ((y / 1.5d0) * 2.1271143d0)) - ((x / 1.5d0) * 0.10320534d0)) + (t_2 * 0.7495963d0)) - 1.115259d0) / 0.6d0
t_19 = (((z / 1.0d0) * 0.8753842d0) - (((x / 1.5d0) * 0.4828974d0) + ((y / 1.5d0) * 0.022641014d0))) / 0.3d0
t_20 = t_19 * 0.2207437d0
t_21 = ((t_2 * 0.48241276d0) + (t_19 * 0.7513133d0)) - 0.5854049d0
t_22 = t_19 * 0.9800666d0
t_23 = ((t_22 + 1.0807292d0) - t_7) / 0.9d0
t_24 = t_19 - 1.0d0
t_25 = ((t_19 * 0.33768892d0) + 0.55581105d0) - (t_2 * 0.5259193d0)
t_26 = t_19 - 2.19d0
t_27 = (((t_19 * 0.19866933d0) + (t_2 * 0.9800666d0)) - 0.8012642d0) / 0.9d0
t_28 = t_27 ** 2.0d0
t_29 = (t_9 - (0.1d0 / t_19)) - (-0.7d0)
t_30 = 1.0d0 - (0.5d0 * exp(-(sqrt(((t_1 + (t_24 ** 2.0d0)) + (t_12 ** 2.0d0))) / 1.0d0)))
t_31 = (t_24 * t_30) + 1.5d0
t_32 = 0.8d0 + (t_12 * t_30)
t_33 = t_0 * t_30
t_34 = 1.0d0 + (2.0d0 * exp(-(sqrt((((t_33 ** 2.0d0) + (t_31 ** 2.0d0)) + (t_32 ** 2.0d0))) / 1.0d0)))
t_35 = 0.30833334d0 + (t_9 * 0.8333333d0)
t_36 = t_2 * 1.0234011d0
t_37 = 1.5d0 * exp(-(sqrt((t_28 + ((t_23 ** 2.0d0) + (t_14 ** 2.0d0)))) / 1.0d0))
t_38 = sin(t_37)
t_39 = (t_2 - 0.25d0) / 0.9d0
t_40 = t_19 * 1.6334443d0
t_41 = cos(t_37)
t_42 = ((-t_38 * t_23) + (t_41 * t_14)) - (-1.0d0)
t_43 = (t_9 * 0.625d0) - 1.09375d0
t_44 = 1.0d0 + (1.2d0 * exp(-(sqrt(((t_21 ** 2.0d0) + ((t_25 ** 2.0d0) + (t_43 ** 2.0d0)))) / 0.5d0)))
t_45 = t_21 * t_44
t_46 = (t_25 * t_44) ** 2.0d0
t_47 = ((t_43 * t_44) - (-0.5d0)) ** 2.0d0
t_48 = t_19 * 1.0234011d0
t_49 = t_2 * 1.0889629d0
t_50 = t_18 ** 2.0d0
t_51 = 1.0d0 - (1.5d0 * exp(-(sqrt(((t_39 ** 2.0d0) + ((t_26 ** 2.0d0) + (t_35 ** 2.0d0)))) / 0.15d0)))
t_52 = t_26 * t_51
t_53 = (t_39 * t_51) - 0.2d0
t_54 = (t_35 * t_51) - 0.35d0
t_55 = t_2 * 0.33111554d0
t_56 = (((t_19 * 0.921061d0) + 1.2962569d0) - (t_2 * 0.38941833d0)) / 0.9d0
t_57 = t_19 - 2.0d0
t_58 = t_2 * 0.43268704d0
t_59 = t_19 * 0.43268704d0
t_60 = 1.0d0 - exp(-(sqrt(((t_1 + (t_57 ** 2.0d0)) + (t_13 ** 2.0d0))) / 0.5d0))
t_61 = t_0 * t_60
t_62 = (t_13 * t_60) - (-1.0d0)
t_63 = (t_57 * t_60) - 1.0d0
t_64 = 1.0d0 - (2.0d0 * exp(-(sqrt(((t_63 ** 2.0d0) + ((t_61 ** 2.0d0) + (t_62 ** 2.0d0)))) / 0.5d0)))
t_65 = sqrt(((((t_63 * t_64) - (-1.0d0)) ** 2.0d0) + (((t_61 * t_64) ** 2.0d0) + ((t_62 * t_64) ** 2.0d0))))
t_66 = ((t_41 * t_23) + (t_38 * t_14)) - (-1.5d0)
t_67 = 1.0d0 + (4.0d0 * exp(-(sqrt(((t_42 ** 2.0d0) + (t_28 + (t_66 ** 2.0d0)))) / 0.5d0)))
t_68 = t_19 * 1.0889629d0
t_69 = ((0.9244498d0 + t_22) - t_7) / 0.6d0
t_70 = 1.5d0 * exp(-(sqrt((t_50 + ((t_17 ** 2.0d0) + (t_69 ** 2.0d0)))) / 1.0d0))
t_71 = sin(t_70)
t_72 = cos(t_70)
t_73 = ((-t_71 * t_69) + (t_72 * t_17)) - (-1.0d0)
t_74 = ((t_72 * t_69) + (t_71 * t_17)) - (-1.5d0)
t_75 = 1.0d0 + (4.0d0 * exp(-(sqrt(((t_73 ** 2.0d0) + (t_50 + (t_74 ** 2.0d0)))) / 0.5d0)))
t_76 = 1.0d0 - exp(-(sqrt((((t_53 ** 2.0d0) + (t_52 ** 2.0d0)) + (t_54 ** 2.0d0))) / 0.15d0))
t_77 = (((t_19 * 0.38941833d0) + (t_2 * 0.921061d0)) - 0.75479674d0) / 0.9d0
t_78 = t_77 ** 2.0d0
t_79 = 1.5d0 * exp(-(sqrt((t_78 + ((t_56 ** 2.0d0) + (t_11 ** 2.0d0)))) / 1.0d0))
t_80 = sin(t_79)
t_81 = cos(t_79)
t_82 = ((t_81 * t_56) + (t_80 * t_11)) - (-1.5d0)
t_83 = ((-t_80 * t_56) + (t_81 * t_11)) - (-1.0d0)
t_84 = 1.0d0 + (4.0d0 * exp(-(sqrt(((t_83 ** 2.0d0) + (t_78 + (t_82 ** 2.0d0)))) / 0.5d0)))
code = fmin((-log((exp(((-11.0d0) * -(-log((exp(((-30.555555d0) * (-log((exp(((-11.0d0) * (-log((exp(((-11.0d0) * -(-log((exp(((-16.0d0) * (-log((exp(((-5.612245d0) * (sqrt(((t_1 + ((t_19 - (-0.4d0)) ** 2.0d0)) + ((t_9 - 0.1d0) ** 2.0d0))) - 1.4d0))) + exp(((-5.612245d0) * (sqrt(((((t_33 * t_34) ** 2.0d0) + (((t_31 * t_34) - 2.0d0) ** 2.0d0)) + (((t_32 * t_34) - (-0.2d0)) ** 2.0d0))) - 0.9d0))))) / 5.612245d0))) + exp(((-16.0d0) * -(-log((exp(((-5.612245d0) * -(sqrt(((((t_45 - (-0.5d0)) ** 2.0d0) + t_46) + t_47)) - 0.5d0))) + exp(((-5.612245d0) * (sqrt((((0.3d0 + t_45) ** 2.0d0) + (t_46 + t_47))) - 0.2d0))))) / 5.612245d0))))) / 16.0d0))) + exp(((-11.0d0) * (t_6 - 0.2d0))))) / 11.0d0))) + exp(((-11.0d0) * (t_65 - 0.3d0))))) / 11.0d0))) + exp(((-30.555555d0) * fmax(fmax(fmax(((-1.5d0) - t_0), (t_0 - 1.5d0)), fmax((0.5d0 - t_19), (t_19 - 3.0d0))), fmax(-t_29, t_29)))))) / 30.555555d0))) + exp(((-11.0d0) * fmin(fmin(fmax((sqrt(((((t_18 * t_75) / 0.8d0) ** 2.0d0) + ((((t_74 * t_75) - 1.5d0) ** 2.0d0) + ((t_73 * t_75) ** 2.0d0)))) - 0.7d0), fmax(fmax(((t_15 + t_4) - 2.8587651d0), fmax((0.858765d0 - (t_4 + t_15)), ((0.54074955d0 + t_40) - t_55))), fmax(((t_5 + (t_8 - t_16)) - 1.4760667d0), fmax(t_17, (t_55 - (2.5407495d0 + t_40)))))), fmax((sqrt(((((t_77 * t_84) / 0.8d0) ** 2.0d0) + ((((t_82 * t_84) - 1.5d0) ** 2.0d0) + ((t_83 * t_84) ** 2.0d0)))) - 0.7d0), fmax(fmax(-(t_36 + (0.16133696d0 + t_59)), ((t_59 + t_36) - 1.8386631d0)), fmax(fmax(-((t_9 + 1.0d0) * 1.1111112d0), t_11), fmax(((0.44028544d0 + t_48) - t_58), (t_58 - (2.4402854d0 + t_48))))))), fmax((sqrt(((((t_27 * t_67) / 0.8d0) ** 2.0d0) + ((((t_66 * t_67) - 1.5d0) ** 2.0d0) + ((t_42 * t_67) ** 2.0d0)))) - 0.7d0), fmax(fmax(-(t_49 + (0.1097064d0 + t_20)), ((t_20 + t_49) - 1.8902936d0)), fmax(fmax(-(1.7777778d0 + t_10), t_14), fmax(((0.20081031d0 + t_68) - t_3), (t_3 - (2.2008104d0 + t_68))))))))))) / 11.0d0), fmin((t_6 - 0.25d0), -(-log((exp(((-30.555555d0) * -(t_65 - 0.4d0))) + exp(((-30.555555d0) * (sqrt((((((t_53 * t_76) - (-0.2d0)) ** 2.0d0) + ((t_52 * t_76) ** 2.0d0)) + (((t_54 * t_76) - (-0.1d0)) ** 2.0d0))) - 0.14d0))))) / 30.555555d0)))
end function
public static double code(double x, double y, double z) {
double t_0 = ((0.87758255 * ((0.9950042 * (x / 1.5)) + (-0.099833414 * (y / 1.5)))) + (0.47942555 * (z / 1.0))) / 0.3;
double t_1 = Math.pow(t_0, 2.0);
double t_2 = Math.abs(t_0);
double t_3 = t_2 * 0.2207437;
double t_4 = t_2 * 1.2493271;
double t_5 = t_2 * 1.0522937;
double t_6 = Math.sqrt((Math.pow((t_2 - 0.4), 2.0) + (Math.pow(((((((y / 1.5) * 2.0808594) + ((z / 1.0) * 2.3650744)) - ((x / 1.5) * 1.089751)) - 0.92795134) / 0.7), 2.0) + Math.pow(((0.0625 - (((z / 1.0) * 1.7215275) - (((y / 1.5) * 2.5876334) + ((x / 1.5) * 1.2048262)))) / 1.5), 2.0))));
double t_7 = t_2 * 0.19866933;
double t_8 = (z / 1.0) * 0.35865277;
double t_9 = ((((z / 1.0) * 0.06207773) + ((x / 1.5) * 0.06583953)) + ((y / 1.5) * 0.99589735)) / 0.3;
double t_10 = t_9 * 1.1111112;
double t_11 = t_10 - 0.8888889;
double t_12 = t_9 - 0.8;
double t_13 = t_9 - 1.0;
double t_14 = t_10 - 0.22222221;
double t_15 = (((z / 1.0) * 0.96114874) + ((y / 1.5) * 3.5451903)) - ((x / 1.5) * 0.17200887);
double t_16 = ((y / 1.5) * 4.247789) + ((x / 1.5) * 0.6231172);
double t_17 = -(t_5 + ((t_8 + 0.5239333) - t_16));
double t_18 = ((((((z / 1.0) * 0.5766893) + ((y / 1.5) * 2.1271143)) - ((x / 1.5) * 0.10320534)) + (t_2 * 0.7495963)) - 1.115259) / 0.6;
double t_19 = (((z / 1.0) * 0.8753842) - (((x / 1.5) * 0.4828974) + ((y / 1.5) * 0.022641014))) / 0.3;
double t_20 = t_19 * 0.2207437;
double t_21 = ((t_2 * 0.48241276) + (t_19 * 0.7513133)) - 0.5854049;
double t_22 = t_19 * 0.9800666;
double t_23 = ((t_22 + 1.0807292) - t_7) / 0.9;
double t_24 = t_19 - 1.0;
double t_25 = ((t_19 * 0.33768892) + 0.55581105) - (t_2 * 0.5259193);
double t_26 = t_19 - 2.19;
double t_27 = (((t_19 * 0.19866933) + (t_2 * 0.9800666)) - 0.8012642) / 0.9;
double t_28 = Math.pow(t_27, 2.0);
double t_29 = (t_9 - (0.1 / t_19)) - -0.7;
double t_30 = 1.0 - (0.5 * Math.exp(-(Math.sqrt(((t_1 + Math.pow(t_24, 2.0)) + Math.pow(t_12, 2.0))) / 1.0)));
double t_31 = (t_24 * t_30) + 1.5;
double t_32 = 0.8 + (t_12 * t_30);
double t_33 = t_0 * t_30;
double t_34 = 1.0 + (2.0 * Math.exp(-(Math.sqrt(((Math.pow(t_33, 2.0) + Math.pow(t_31, 2.0)) + Math.pow(t_32, 2.0))) / 1.0)));
double t_35 = 0.30833334 + (t_9 * 0.8333333);
double t_36 = t_2 * 1.0234011;
double t_37 = 1.5 * Math.exp(-(Math.sqrt((t_28 + (Math.pow(t_23, 2.0) + Math.pow(t_14, 2.0)))) / 1.0));
double t_38 = Math.sin(t_37);
double t_39 = (t_2 - 0.25) / 0.9;
double t_40 = t_19 * 1.6334443;
double t_41 = Math.cos(t_37);
double t_42 = ((-t_38 * t_23) + (t_41 * t_14)) - -1.0;
double t_43 = (t_9 * 0.625) - 1.09375;
double t_44 = 1.0 + (1.2 * Math.exp(-(Math.sqrt((Math.pow(t_21, 2.0) + (Math.pow(t_25, 2.0) + Math.pow(t_43, 2.0)))) / 0.5)));
double t_45 = t_21 * t_44;
double t_46 = Math.pow((t_25 * t_44), 2.0);
double t_47 = Math.pow(((t_43 * t_44) - -0.5), 2.0);
double t_48 = t_19 * 1.0234011;
double t_49 = t_2 * 1.0889629;
double t_50 = Math.pow(t_18, 2.0);
double t_51 = 1.0 - (1.5 * Math.exp(-(Math.sqrt((Math.pow(t_39, 2.0) + (Math.pow(t_26, 2.0) + Math.pow(t_35, 2.0)))) / 0.15)));
double t_52 = t_26 * t_51;
double t_53 = (t_39 * t_51) - 0.2;
double t_54 = (t_35 * t_51) - 0.35;
double t_55 = t_2 * 0.33111554;
double t_56 = (((t_19 * 0.921061) + 1.2962569) - (t_2 * 0.38941833)) / 0.9;
double t_57 = t_19 - 2.0;
double t_58 = t_2 * 0.43268704;
double t_59 = t_19 * 0.43268704;
double t_60 = 1.0 - Math.exp(-(Math.sqrt(((t_1 + Math.pow(t_57, 2.0)) + Math.pow(t_13, 2.0))) / 0.5));
double t_61 = t_0 * t_60;
double t_62 = (t_13 * t_60) - -1.0;
double t_63 = (t_57 * t_60) - 1.0;
double t_64 = 1.0 - (2.0 * Math.exp(-(Math.sqrt((Math.pow(t_63, 2.0) + (Math.pow(t_61, 2.0) + Math.pow(t_62, 2.0)))) / 0.5)));
double t_65 = Math.sqrt((Math.pow(((t_63 * t_64) - -1.0), 2.0) + (Math.pow((t_61 * t_64), 2.0) + Math.pow((t_62 * t_64), 2.0))));
double t_66 = ((t_41 * t_23) + (t_38 * t_14)) - -1.5;
double t_67 = 1.0 + (4.0 * Math.exp(-(Math.sqrt((Math.pow(t_42, 2.0) + (t_28 + Math.pow(t_66, 2.0)))) / 0.5)));
double t_68 = t_19 * 1.0889629;
double t_69 = ((0.9244498 + t_22) - t_7) / 0.6;
double t_70 = 1.5 * Math.exp(-(Math.sqrt((t_50 + (Math.pow(t_17, 2.0) + Math.pow(t_69, 2.0)))) / 1.0));
double t_71 = Math.sin(t_70);
double t_72 = Math.cos(t_70);
double t_73 = ((-t_71 * t_69) + (t_72 * t_17)) - -1.0;
double t_74 = ((t_72 * t_69) + (t_71 * t_17)) - -1.5;
double t_75 = 1.0 + (4.0 * Math.exp(-(Math.sqrt((Math.pow(t_73, 2.0) + (t_50 + Math.pow(t_74, 2.0)))) / 0.5)));
double t_76 = 1.0 - Math.exp(-(Math.sqrt(((Math.pow(t_53, 2.0) + Math.pow(t_52, 2.0)) + Math.pow(t_54, 2.0))) / 0.15));
double t_77 = (((t_19 * 0.38941833) + (t_2 * 0.921061)) - 0.75479674) / 0.9;
double t_78 = Math.pow(t_77, 2.0);
double t_79 = 1.5 * Math.exp(-(Math.sqrt((t_78 + (Math.pow(t_56, 2.0) + Math.pow(t_11, 2.0)))) / 1.0));
double t_80 = Math.sin(t_79);
double t_81 = Math.cos(t_79);
double t_82 = ((t_81 * t_56) + (t_80 * t_11)) - -1.5;
double t_83 = ((-t_80 * t_56) + (t_81 * t_11)) - -1.0;
double t_84 = 1.0 + (4.0 * Math.exp(-(Math.sqrt((Math.pow(t_83, 2.0) + (t_78 + Math.pow(t_82, 2.0)))) / 0.5)));
return fmin((-Math.log((Math.exp((-11.0 * -(-Math.log((Math.exp((-30.555555 * (-Math.log((Math.exp((-11.0 * (-Math.log((Math.exp((-11.0 * -(-Math.log((Math.exp((-16.0 * (-Math.log((Math.exp((-5.612245 * (Math.sqrt(((t_1 + Math.pow((t_19 - -0.4), 2.0)) + Math.pow((t_9 - 0.1), 2.0))) - 1.4))) + Math.exp((-5.612245 * (Math.sqrt(((Math.pow((t_33 * t_34), 2.0) + Math.pow(((t_31 * t_34) - 2.0), 2.0)) + Math.pow(((t_32 * t_34) - -0.2), 2.0))) - 0.9))))) / 5.612245))) + Math.exp((-16.0 * -(-Math.log((Math.exp((-5.612245 * -(Math.sqrt(((Math.pow((t_45 - -0.5), 2.0) + t_46) + t_47)) - 0.5))) + Math.exp((-5.612245 * (Math.sqrt((Math.pow((0.3 + t_45), 2.0) + (t_46 + t_47))) - 0.2))))) / 5.612245))))) / 16.0))) + Math.exp((-11.0 * (t_6 - 0.2))))) / 11.0))) + Math.exp((-11.0 * (t_65 - 0.3))))) / 11.0))) + Math.exp((-30.555555 * fmax(fmax(fmax((-1.5 - t_0), (t_0 - 1.5)), fmax((0.5 - t_19), (t_19 - 3.0))), fmax(-t_29, t_29)))))) / 30.555555))) + Math.exp((-11.0 * fmin(fmin(fmax((Math.sqrt((Math.pow(((t_18 * t_75) / 0.8), 2.0) + (Math.pow(((t_74 * t_75) - 1.5), 2.0) + Math.pow((t_73 * t_75), 2.0)))) - 0.7), fmax(fmax(((t_15 + t_4) - 2.8587651), fmax((0.858765 - (t_4 + t_15)), ((0.54074955 + t_40) - t_55))), fmax(((t_5 + (t_8 - t_16)) - 1.4760667), fmax(t_17, (t_55 - (2.5407495 + t_40)))))), fmax((Math.sqrt((Math.pow(((t_77 * t_84) / 0.8), 2.0) + (Math.pow(((t_82 * t_84) - 1.5), 2.0) + Math.pow((t_83 * t_84), 2.0)))) - 0.7), fmax(fmax(-(t_36 + (0.16133696 + t_59)), ((t_59 + t_36) - 1.8386631)), fmax(fmax(-((t_9 + 1.0) * 1.1111112), t_11), fmax(((0.44028544 + t_48) - t_58), (t_58 - (2.4402854 + t_48))))))), fmax((Math.sqrt((Math.pow(((t_27 * t_67) / 0.8), 2.0) + (Math.pow(((t_66 * t_67) - 1.5), 2.0) + Math.pow((t_42 * t_67), 2.0)))) - 0.7), fmax(fmax(-(t_49 + (0.1097064 + t_20)), ((t_20 + t_49) - 1.8902936)), fmax(fmax(-(1.7777778 + t_10), t_14), fmax(((0.20081031 + t_68) - t_3), (t_3 - (2.2008104 + t_68))))))))))) / 11.0), fmin((t_6 - 0.25), -(-Math.log((Math.exp((-30.555555 * -(t_65 - 0.4))) + Math.exp((-30.555555 * (Math.sqrt(((Math.pow(((t_53 * t_76) - -0.2), 2.0) + Math.pow((t_52 * t_76), 2.0)) + Math.pow(((t_54 * t_76) - -0.1), 2.0))) - 0.14))))) / 30.555555)));
}
def code(x, y, z): t_0 = ((0.87758255 * ((0.9950042 * (x / 1.5)) + (-0.099833414 * (y / 1.5)))) + (0.47942555 * (z / 1.0))) / 0.3 t_1 = math.pow(t_0, 2.0) t_2 = math.fabs(t_0) t_3 = t_2 * 0.2207437 t_4 = t_2 * 1.2493271 t_5 = t_2 * 1.0522937 t_6 = math.sqrt((math.pow((t_2 - 0.4), 2.0) + (math.pow(((((((y / 1.5) * 2.0808594) + ((z / 1.0) * 2.3650744)) - ((x / 1.5) * 1.089751)) - 0.92795134) / 0.7), 2.0) + math.pow(((0.0625 - (((z / 1.0) * 1.7215275) - (((y / 1.5) * 2.5876334) + ((x / 1.5) * 1.2048262)))) / 1.5), 2.0)))) t_7 = t_2 * 0.19866933 t_8 = (z / 1.0) * 0.35865277 t_9 = ((((z / 1.0) * 0.06207773) + ((x / 1.5) * 0.06583953)) + ((y / 1.5) * 0.99589735)) / 0.3 t_10 = t_9 * 1.1111112 t_11 = t_10 - 0.8888889 t_12 = t_9 - 0.8 t_13 = t_9 - 1.0 t_14 = t_10 - 0.22222221 t_15 = (((z / 1.0) * 0.96114874) + ((y / 1.5) * 3.5451903)) - ((x / 1.5) * 0.17200887) t_16 = ((y / 1.5) * 4.247789) + ((x / 1.5) * 0.6231172) t_17 = -(t_5 + ((t_8 + 0.5239333) - t_16)) t_18 = ((((((z / 1.0) * 0.5766893) + ((y / 1.5) * 2.1271143)) - ((x / 1.5) * 0.10320534)) + (t_2 * 0.7495963)) - 1.115259) / 0.6 t_19 = (((z / 1.0) * 0.8753842) - (((x / 1.5) * 0.4828974) + ((y / 1.5) * 0.022641014))) / 0.3 t_20 = t_19 * 0.2207437 t_21 = ((t_2 * 0.48241276) + (t_19 * 0.7513133)) - 0.5854049 t_22 = t_19 * 0.9800666 t_23 = ((t_22 + 1.0807292) - t_7) / 0.9 t_24 = t_19 - 1.0 t_25 = ((t_19 * 0.33768892) + 0.55581105) - (t_2 * 0.5259193) t_26 = t_19 - 2.19 t_27 = (((t_19 * 0.19866933) + (t_2 * 0.9800666)) - 0.8012642) / 0.9 t_28 = math.pow(t_27, 2.0) t_29 = (t_9 - (0.1 / t_19)) - -0.7 t_30 = 1.0 - (0.5 * math.exp(-(math.sqrt(((t_1 + math.pow(t_24, 2.0)) + math.pow(t_12, 2.0))) / 1.0))) t_31 = (t_24 * t_30) + 1.5 t_32 = 0.8 + (t_12 * t_30) t_33 = t_0 * t_30 t_34 = 1.0 + (2.0 * math.exp(-(math.sqrt(((math.pow(t_33, 2.0) + math.pow(t_31, 2.0)) + math.pow(t_32, 2.0))) / 1.0))) t_35 = 0.30833334 + (t_9 * 0.8333333) t_36 = t_2 * 1.0234011 t_37 = 1.5 * math.exp(-(math.sqrt((t_28 + (math.pow(t_23, 2.0) + math.pow(t_14, 2.0)))) / 1.0)) t_38 = math.sin(t_37) t_39 = (t_2 - 0.25) / 0.9 t_40 = t_19 * 1.6334443 t_41 = math.cos(t_37) t_42 = ((-t_38 * t_23) + (t_41 * t_14)) - -1.0 t_43 = (t_9 * 0.625) - 1.09375 t_44 = 1.0 + (1.2 * math.exp(-(math.sqrt((math.pow(t_21, 2.0) + (math.pow(t_25, 2.0) + math.pow(t_43, 2.0)))) / 0.5))) t_45 = t_21 * t_44 t_46 = math.pow((t_25 * t_44), 2.0) t_47 = math.pow(((t_43 * t_44) - -0.5), 2.0) t_48 = t_19 * 1.0234011 t_49 = t_2 * 1.0889629 t_50 = math.pow(t_18, 2.0) t_51 = 1.0 - (1.5 * math.exp(-(math.sqrt((math.pow(t_39, 2.0) + (math.pow(t_26, 2.0) + math.pow(t_35, 2.0)))) / 0.15))) t_52 = t_26 * t_51 t_53 = (t_39 * t_51) - 0.2 t_54 = (t_35 * t_51) - 0.35 t_55 = t_2 * 0.33111554 t_56 = (((t_19 * 0.921061) + 1.2962569) - (t_2 * 0.38941833)) / 0.9 t_57 = t_19 - 2.0 t_58 = t_2 * 0.43268704 t_59 = t_19 * 0.43268704 t_60 = 1.0 - math.exp(-(math.sqrt(((t_1 + math.pow(t_57, 2.0)) + math.pow(t_13, 2.0))) / 0.5)) t_61 = t_0 * t_60 t_62 = (t_13 * t_60) - -1.0 t_63 = (t_57 * t_60) - 1.0 t_64 = 1.0 - (2.0 * math.exp(-(math.sqrt((math.pow(t_63, 2.0) + (math.pow(t_61, 2.0) + math.pow(t_62, 2.0)))) / 0.5))) t_65 = math.sqrt((math.pow(((t_63 * t_64) - -1.0), 2.0) + (math.pow((t_61 * t_64), 2.0) + math.pow((t_62 * t_64), 2.0)))) t_66 = ((t_41 * t_23) + (t_38 * t_14)) - -1.5 t_67 = 1.0 + (4.0 * math.exp(-(math.sqrt((math.pow(t_42, 2.0) + (t_28 + math.pow(t_66, 2.0)))) / 0.5))) t_68 = t_19 * 1.0889629 t_69 = ((0.9244498 + t_22) - t_7) / 0.6 t_70 = 1.5 * math.exp(-(math.sqrt((t_50 + (math.pow(t_17, 2.0) + math.pow(t_69, 2.0)))) / 1.0)) t_71 = math.sin(t_70) t_72 = math.cos(t_70) t_73 = ((-t_71 * t_69) + (t_72 * t_17)) - -1.0 t_74 = ((t_72 * t_69) + (t_71 * t_17)) - -1.5 t_75 = 1.0 + (4.0 * math.exp(-(math.sqrt((math.pow(t_73, 2.0) + (t_50 + math.pow(t_74, 2.0)))) / 0.5))) t_76 = 1.0 - math.exp(-(math.sqrt(((math.pow(t_53, 2.0) + math.pow(t_52, 2.0)) + math.pow(t_54, 2.0))) / 0.15)) t_77 = (((t_19 * 0.38941833) + (t_2 * 0.921061)) - 0.75479674) / 0.9 t_78 = math.pow(t_77, 2.0) t_79 = 1.5 * math.exp(-(math.sqrt((t_78 + (math.pow(t_56, 2.0) + math.pow(t_11, 2.0)))) / 1.0)) t_80 = math.sin(t_79) t_81 = math.cos(t_79) t_82 = ((t_81 * t_56) + (t_80 * t_11)) - -1.5 t_83 = ((-t_80 * t_56) + (t_81 * t_11)) - -1.0 t_84 = 1.0 + (4.0 * math.exp(-(math.sqrt((math.pow(t_83, 2.0) + (t_78 + math.pow(t_82, 2.0)))) / 0.5))) return fmin((-math.log((math.exp((-11.0 * -(-math.log((math.exp((-30.555555 * (-math.log((math.exp((-11.0 * (-math.log((math.exp((-11.0 * -(-math.log((math.exp((-16.0 * (-math.log((math.exp((-5.612245 * (math.sqrt(((t_1 + math.pow((t_19 - -0.4), 2.0)) + math.pow((t_9 - 0.1), 2.0))) - 1.4))) + math.exp((-5.612245 * (math.sqrt(((math.pow((t_33 * t_34), 2.0) + math.pow(((t_31 * t_34) - 2.0), 2.0)) + math.pow(((t_32 * t_34) - -0.2), 2.0))) - 0.9))))) / 5.612245))) + math.exp((-16.0 * -(-math.log((math.exp((-5.612245 * -(math.sqrt(((math.pow((t_45 - -0.5), 2.0) + t_46) + t_47)) - 0.5))) + math.exp((-5.612245 * (math.sqrt((math.pow((0.3 + t_45), 2.0) + (t_46 + t_47))) - 0.2))))) / 5.612245))))) / 16.0))) + math.exp((-11.0 * (t_6 - 0.2))))) / 11.0))) + math.exp((-11.0 * (t_65 - 0.3))))) / 11.0))) + math.exp((-30.555555 * fmax(fmax(fmax((-1.5 - t_0), (t_0 - 1.5)), fmax((0.5 - t_19), (t_19 - 3.0))), fmax(-t_29, t_29)))))) / 30.555555))) + math.exp((-11.0 * fmin(fmin(fmax((math.sqrt((math.pow(((t_18 * t_75) / 0.8), 2.0) + (math.pow(((t_74 * t_75) - 1.5), 2.0) + math.pow((t_73 * t_75), 2.0)))) - 0.7), fmax(fmax(((t_15 + t_4) - 2.8587651), fmax((0.858765 - (t_4 + t_15)), ((0.54074955 + t_40) - t_55))), fmax(((t_5 + (t_8 - t_16)) - 1.4760667), fmax(t_17, (t_55 - (2.5407495 + t_40)))))), fmax((math.sqrt((math.pow(((t_77 * t_84) / 0.8), 2.0) + (math.pow(((t_82 * t_84) - 1.5), 2.0) + math.pow((t_83 * t_84), 2.0)))) - 0.7), fmax(fmax(-(t_36 + (0.16133696 + t_59)), ((t_59 + t_36) - 1.8386631)), fmax(fmax(-((t_9 + 1.0) * 1.1111112), t_11), fmax(((0.44028544 + t_48) - t_58), (t_58 - (2.4402854 + t_48))))))), fmax((math.sqrt((math.pow(((t_27 * t_67) / 0.8), 2.0) + (math.pow(((t_66 * t_67) - 1.5), 2.0) + math.pow((t_42 * t_67), 2.0)))) - 0.7), fmax(fmax(-(t_49 + (0.1097064 + t_20)), ((t_20 + t_49) - 1.8902936)), fmax(fmax(-(1.7777778 + t_10), t_14), fmax(((0.20081031 + t_68) - t_3), (t_3 - (2.2008104 + t_68))))))))))) / 11.0), fmin((t_6 - 0.25), -(-math.log((math.exp((-30.555555 * -(t_65 - 0.4))) + math.exp((-30.555555 * (math.sqrt(((math.pow(((t_53 * t_76) - -0.2), 2.0) + math.pow((t_52 * t_76), 2.0)) + math.pow(((t_54 * t_76) - -0.1), 2.0))) - 0.14))))) / 30.555555)))
function code(x, y, z) t_0 = Float64(Float64(Float64(0.87758255 * Float64(Float64(0.9950042 * Float64(x / 1.5)) + Float64(-0.099833414 * Float64(y / 1.5)))) + Float64(0.47942555 * Float64(z / 1.0))) / 0.3) t_1 = t_0 ^ 2.0 t_2 = abs(t_0) t_3 = Float64(t_2 * 0.2207437) t_4 = Float64(t_2 * 1.2493271) t_5 = Float64(t_2 * 1.0522937) t_6 = sqrt(Float64((Float64(t_2 - 0.4) ^ 2.0) + Float64((Float64(Float64(Float64(Float64(Float64(Float64(y / 1.5) * 2.0808594) + Float64(Float64(z / 1.0) * 2.3650744)) - Float64(Float64(x / 1.5) * 1.089751)) - 0.92795134) / 0.7) ^ 2.0) + (Float64(Float64(0.0625 - Float64(Float64(Float64(z / 1.0) * 1.7215275) - Float64(Float64(Float64(y / 1.5) * 2.5876334) + Float64(Float64(x / 1.5) * 1.2048262)))) / 1.5) ^ 2.0)))) t_7 = Float64(t_2 * 0.19866933) t_8 = Float64(Float64(z / 1.0) * 0.35865277) t_9 = Float64(Float64(Float64(Float64(Float64(z / 1.0) * 0.06207773) + Float64(Float64(x / 1.5) * 0.06583953)) + Float64(Float64(y / 1.5) * 0.99589735)) / 0.3) t_10 = Float64(t_9 * 1.1111112) t_11 = Float64(t_10 - 0.8888889) t_12 = Float64(t_9 - 0.8) t_13 = Float64(t_9 - 1.0) t_14 = Float64(t_10 - 0.22222221) t_15 = Float64(Float64(Float64(Float64(z / 1.0) * 0.96114874) + Float64(Float64(y / 1.5) * 3.5451903)) - Float64(Float64(x / 1.5) * 0.17200887)) t_16 = Float64(Float64(Float64(y / 1.5) * 4.247789) + Float64(Float64(x / 1.5) * 0.6231172)) t_17 = Float64(-Float64(t_5 + Float64(Float64(t_8 + 0.5239333) - t_16))) t_18 = Float64(Float64(Float64(Float64(Float64(Float64(Float64(z / 1.0) * 0.5766893) + Float64(Float64(y / 1.5) * 2.1271143)) - Float64(Float64(x / 1.5) * 0.10320534)) + Float64(t_2 * 0.7495963)) - 1.115259) / 0.6) t_19 = Float64(Float64(Float64(Float64(z / 1.0) * 0.8753842) - Float64(Float64(Float64(x / 1.5) * 0.4828974) + Float64(Float64(y / 1.5) * 0.022641014))) / 0.3) t_20 = Float64(t_19 * 0.2207437) t_21 = Float64(Float64(Float64(t_2 * 0.48241276) + Float64(t_19 * 0.7513133)) - 0.5854049) t_22 = Float64(t_19 * 0.9800666) t_23 = Float64(Float64(Float64(t_22 + 1.0807292) - t_7) / 0.9) t_24 = Float64(t_19 - 1.0) t_25 = Float64(Float64(Float64(t_19 * 0.33768892) + 0.55581105) - Float64(t_2 * 0.5259193)) t_26 = Float64(t_19 - 2.19) t_27 = Float64(Float64(Float64(Float64(t_19 * 0.19866933) + Float64(t_2 * 0.9800666)) - 0.8012642) / 0.9) t_28 = t_27 ^ 2.0 t_29 = Float64(Float64(t_9 - Float64(0.1 / t_19)) - -0.7) t_30 = Float64(1.0 - Float64(0.5 * exp(Float64(-Float64(sqrt(Float64(Float64(t_1 + (t_24 ^ 2.0)) + (t_12 ^ 2.0))) / 1.0))))) t_31 = Float64(Float64(t_24 * t_30) + 1.5) t_32 = Float64(0.8 + Float64(t_12 * t_30)) t_33 = Float64(t_0 * t_30) t_34 = Float64(1.0 + Float64(2.0 * exp(Float64(-Float64(sqrt(Float64(Float64((t_33 ^ 2.0) + (t_31 ^ 2.0)) + (t_32 ^ 2.0))) / 1.0))))) t_35 = Float64(0.30833334 + Float64(t_9 * 0.8333333)) t_36 = Float64(t_2 * 1.0234011) t_37 = Float64(1.5 * exp(Float64(-Float64(sqrt(Float64(t_28 + Float64((t_23 ^ 2.0) + (t_14 ^ 2.0)))) / 1.0)))) t_38 = sin(t_37) t_39 = Float64(Float64(t_2 - 0.25) / 0.9) t_40 = Float64(t_19 * 1.6334443) t_41 = cos(t_37) t_42 = Float64(Float64(Float64(Float64(-t_38) * t_23) + Float64(t_41 * t_14)) - -1.0) t_43 = Float64(Float64(t_9 * 0.625) - 1.09375) t_44 = Float64(1.0 + Float64(1.2 * exp(Float64(-Float64(sqrt(Float64((t_21 ^ 2.0) + Float64((t_25 ^ 2.0) + (t_43 ^ 2.0)))) / 0.5))))) t_45 = Float64(t_21 * t_44) t_46 = Float64(t_25 * t_44) ^ 2.0 t_47 = Float64(Float64(t_43 * t_44) - -0.5) ^ 2.0 t_48 = Float64(t_19 * 1.0234011) t_49 = Float64(t_2 * 1.0889629) t_50 = t_18 ^ 2.0 t_51 = Float64(1.0 - Float64(1.5 * exp(Float64(-Float64(sqrt(Float64((t_39 ^ 2.0) + Float64((t_26 ^ 2.0) + (t_35 ^ 2.0)))) / 0.15))))) t_52 = Float64(t_26 * t_51) t_53 = Float64(Float64(t_39 * t_51) - 0.2) t_54 = Float64(Float64(t_35 * t_51) - 0.35) t_55 = Float64(t_2 * 0.33111554) t_56 = Float64(Float64(Float64(Float64(t_19 * 0.921061) + 1.2962569) - Float64(t_2 * 0.38941833)) / 0.9) t_57 = Float64(t_19 - 2.0) t_58 = Float64(t_2 * 0.43268704) t_59 = Float64(t_19 * 0.43268704) t_60 = Float64(1.0 - exp(Float64(-Float64(sqrt(Float64(Float64(t_1 + (t_57 ^ 2.0)) + (t_13 ^ 2.0))) / 0.5)))) t_61 = Float64(t_0 * t_60) t_62 = Float64(Float64(t_13 * t_60) - -1.0) t_63 = Float64(Float64(t_57 * t_60) - 1.0) t_64 = Float64(1.0 - Float64(2.0 * exp(Float64(-Float64(sqrt(Float64((t_63 ^ 2.0) + Float64((t_61 ^ 2.0) + (t_62 ^ 2.0)))) / 0.5))))) t_65 = sqrt(Float64((Float64(Float64(t_63 * t_64) - -1.0) ^ 2.0) + Float64((Float64(t_61 * t_64) ^ 2.0) + (Float64(t_62 * t_64) ^ 2.0)))) t_66 = Float64(Float64(Float64(t_41 * t_23) + Float64(t_38 * t_14)) - -1.5) t_67 = Float64(1.0 + Float64(4.0 * exp(Float64(-Float64(sqrt(Float64((t_42 ^ 2.0) + Float64(t_28 + (t_66 ^ 2.0)))) / 0.5))))) t_68 = Float64(t_19 * 1.0889629) t_69 = Float64(Float64(Float64(0.9244498 + t_22) - t_7) / 0.6) t_70 = Float64(1.5 * exp(Float64(-Float64(sqrt(Float64(t_50 + Float64((t_17 ^ 2.0) + (t_69 ^ 2.0)))) / 1.0)))) t_71 = sin(t_70) t_72 = cos(t_70) t_73 = Float64(Float64(Float64(Float64(-t_71) * t_69) + Float64(t_72 * t_17)) - -1.0) t_74 = Float64(Float64(Float64(t_72 * t_69) + Float64(t_71 * t_17)) - -1.5) t_75 = Float64(1.0 + Float64(4.0 * exp(Float64(-Float64(sqrt(Float64((t_73 ^ 2.0) + Float64(t_50 + (t_74 ^ 2.0)))) / 0.5))))) t_76 = Float64(1.0 - exp(Float64(-Float64(sqrt(Float64(Float64((t_53 ^ 2.0) + (t_52 ^ 2.0)) + (t_54 ^ 2.0))) / 0.15)))) t_77 = Float64(Float64(Float64(Float64(t_19 * 0.38941833) + Float64(t_2 * 0.921061)) - 0.75479674) / 0.9) t_78 = t_77 ^ 2.0 t_79 = Float64(1.5 * exp(Float64(-Float64(sqrt(Float64(t_78 + Float64((t_56 ^ 2.0) + (t_11 ^ 2.0)))) / 1.0)))) t_80 = sin(t_79) t_81 = cos(t_79) t_82 = Float64(Float64(Float64(t_81 * t_56) + Float64(t_80 * t_11)) - -1.5) t_83 = Float64(Float64(Float64(Float64(-t_80) * t_56) + Float64(t_81 * t_11)) - -1.0) t_84 = Float64(1.0 + Float64(4.0 * exp(Float64(-Float64(sqrt(Float64((t_83 ^ 2.0) + Float64(t_78 + (t_82 ^ 2.0)))) / 0.5))))) return fmin(Float64(Float64(-log(Float64(exp(Float64(-11.0 * Float64(-Float64(Float64(-log(Float64(exp(Float64(-30.555555 * Float64(Float64(-log(Float64(exp(Float64(-11.0 * Float64(Float64(-log(Float64(exp(Float64(-11.0 * Float64(-Float64(Float64(-log(Float64(exp(Float64(-16.0 * Float64(Float64(-log(Float64(exp(Float64(-5.612245 * Float64(sqrt(Float64(Float64(t_1 + (Float64(t_19 - -0.4) ^ 2.0)) + (Float64(t_9 - 0.1) ^ 2.0))) - 1.4))) + exp(Float64(-5.612245 * Float64(sqrt(Float64(Float64((Float64(t_33 * t_34) ^ 2.0) + (Float64(Float64(t_31 * t_34) - 2.0) ^ 2.0)) + (Float64(Float64(t_32 * t_34) - -0.2) ^ 2.0))) - 0.9)))))) / 5.612245))) + exp(Float64(-16.0 * Float64(-Float64(Float64(-log(Float64(exp(Float64(-5.612245 * Float64(-Float64(sqrt(Float64(Float64((Float64(t_45 - -0.5) ^ 2.0) + t_46) + t_47)) - 0.5)))) + exp(Float64(-5.612245 * Float64(sqrt(Float64((Float64(0.3 + t_45) ^ 2.0) + Float64(t_46 + t_47))) - 0.2)))))) / 5.612245))))))) / 16.0)))) + exp(Float64(-11.0 * Float64(t_6 - 0.2)))))) / 11.0))) + exp(Float64(-11.0 * Float64(t_65 - 0.3)))))) / 11.0))) + exp(Float64(-30.555555 * fmax(fmax(fmax(Float64(-1.5 - t_0), Float64(t_0 - 1.5)), fmax(Float64(0.5 - t_19), Float64(t_19 - 3.0))), fmax(Float64(-t_29), t_29))))))) / 30.555555)))) + exp(Float64(-11.0 * fmin(fmin(fmax(Float64(sqrt(Float64((Float64(Float64(t_18 * t_75) / 0.8) ^ 2.0) + Float64((Float64(Float64(t_74 * t_75) - 1.5) ^ 2.0) + (Float64(t_73 * t_75) ^ 2.0)))) - 0.7), fmax(fmax(Float64(Float64(t_15 + t_4) - 2.8587651), fmax(Float64(0.858765 - Float64(t_4 + t_15)), Float64(Float64(0.54074955 + t_40) - t_55))), fmax(Float64(Float64(t_5 + Float64(t_8 - t_16)) - 1.4760667), fmax(t_17, Float64(t_55 - Float64(2.5407495 + t_40)))))), fmax(Float64(sqrt(Float64((Float64(Float64(t_77 * t_84) / 0.8) ^ 2.0) + Float64((Float64(Float64(t_82 * t_84) - 1.5) ^ 2.0) + (Float64(t_83 * t_84) ^ 2.0)))) - 0.7), fmax(fmax(Float64(-Float64(t_36 + Float64(0.16133696 + t_59))), Float64(Float64(t_59 + t_36) - 1.8386631)), fmax(fmax(Float64(-Float64(Float64(t_9 + 1.0) * 1.1111112)), t_11), fmax(Float64(Float64(0.44028544 + t_48) - t_58), Float64(t_58 - Float64(2.4402854 + t_48))))))), fmax(Float64(sqrt(Float64((Float64(Float64(t_27 * t_67) / 0.8) ^ 2.0) + Float64((Float64(Float64(t_66 * t_67) - 1.5) ^ 2.0) + (Float64(t_42 * t_67) ^ 2.0)))) - 0.7), fmax(fmax(Float64(-Float64(t_49 + Float64(0.1097064 + t_20))), Float64(Float64(t_20 + t_49) - 1.8902936)), fmax(fmax(Float64(-Float64(1.7777778 + t_10)), t_14), fmax(Float64(Float64(0.20081031 + t_68) - t_3), Float64(t_3 - Float64(2.2008104 + t_68)))))))))))) / 11.0), fmin(Float64(t_6 - 0.25), Float64(-Float64(Float64(-log(Float64(exp(Float64(-30.555555 * Float64(-Float64(t_65 - 0.4)))) + exp(Float64(-30.555555 * Float64(sqrt(Float64(Float64((Float64(Float64(t_53 * t_76) - -0.2) ^ 2.0) + (Float64(t_52 * t_76) ^ 2.0)) + (Float64(Float64(t_54 * t_76) - -0.1) ^ 2.0))) - 0.14)))))) / 30.555555)))) end
function tmp = code(x, y, z) t_0 = ((0.87758255 * ((0.9950042 * (x / 1.5)) + (-0.099833414 * (y / 1.5)))) + (0.47942555 * (z / 1.0))) / 0.3; t_1 = t_0 ^ 2.0; t_2 = abs(t_0); t_3 = t_2 * 0.2207437; t_4 = t_2 * 1.2493271; t_5 = t_2 * 1.0522937; t_6 = sqrt((((t_2 - 0.4) ^ 2.0) + ((((((((y / 1.5) * 2.0808594) + ((z / 1.0) * 2.3650744)) - ((x / 1.5) * 1.089751)) - 0.92795134) / 0.7) ^ 2.0) + (((0.0625 - (((z / 1.0) * 1.7215275) - (((y / 1.5) * 2.5876334) + ((x / 1.5) * 1.2048262)))) / 1.5) ^ 2.0)))); t_7 = t_2 * 0.19866933; t_8 = (z / 1.0) * 0.35865277; t_9 = ((((z / 1.0) * 0.06207773) + ((x / 1.5) * 0.06583953)) + ((y / 1.5) * 0.99589735)) / 0.3; t_10 = t_9 * 1.1111112; t_11 = t_10 - 0.8888889; t_12 = t_9 - 0.8; t_13 = t_9 - 1.0; t_14 = t_10 - 0.22222221; t_15 = (((z / 1.0) * 0.96114874) + ((y / 1.5) * 3.5451903)) - ((x / 1.5) * 0.17200887); t_16 = ((y / 1.5) * 4.247789) + ((x / 1.5) * 0.6231172); t_17 = -(t_5 + ((t_8 + 0.5239333) - t_16)); t_18 = ((((((z / 1.0) * 0.5766893) + ((y / 1.5) * 2.1271143)) - ((x / 1.5) * 0.10320534)) + (t_2 * 0.7495963)) - 1.115259) / 0.6; t_19 = (((z / 1.0) * 0.8753842) - (((x / 1.5) * 0.4828974) + ((y / 1.5) * 0.022641014))) / 0.3; t_20 = t_19 * 0.2207437; t_21 = ((t_2 * 0.48241276) + (t_19 * 0.7513133)) - 0.5854049; t_22 = t_19 * 0.9800666; t_23 = ((t_22 + 1.0807292) - t_7) / 0.9; t_24 = t_19 - 1.0; t_25 = ((t_19 * 0.33768892) + 0.55581105) - (t_2 * 0.5259193); t_26 = t_19 - 2.19; t_27 = (((t_19 * 0.19866933) + (t_2 * 0.9800666)) - 0.8012642) / 0.9; t_28 = t_27 ^ 2.0; t_29 = (t_9 - (0.1 / t_19)) - -0.7; t_30 = 1.0 - (0.5 * exp(-(sqrt(((t_1 + (t_24 ^ 2.0)) + (t_12 ^ 2.0))) / 1.0))); t_31 = (t_24 * t_30) + 1.5; t_32 = 0.8 + (t_12 * t_30); t_33 = t_0 * t_30; t_34 = 1.0 + (2.0 * exp(-(sqrt((((t_33 ^ 2.0) + (t_31 ^ 2.0)) + (t_32 ^ 2.0))) / 1.0))); t_35 = 0.30833334 + (t_9 * 0.8333333); t_36 = t_2 * 1.0234011; t_37 = 1.5 * exp(-(sqrt((t_28 + ((t_23 ^ 2.0) + (t_14 ^ 2.0)))) / 1.0)); t_38 = sin(t_37); t_39 = (t_2 - 0.25) / 0.9; t_40 = t_19 * 1.6334443; t_41 = cos(t_37); t_42 = ((-t_38 * t_23) + (t_41 * t_14)) - -1.0; t_43 = (t_9 * 0.625) - 1.09375; t_44 = 1.0 + (1.2 * exp(-(sqrt(((t_21 ^ 2.0) + ((t_25 ^ 2.0) + (t_43 ^ 2.0)))) / 0.5))); t_45 = t_21 * t_44; t_46 = (t_25 * t_44) ^ 2.0; t_47 = ((t_43 * t_44) - -0.5) ^ 2.0; t_48 = t_19 * 1.0234011; t_49 = t_2 * 1.0889629; t_50 = t_18 ^ 2.0; t_51 = 1.0 - (1.5 * exp(-(sqrt(((t_39 ^ 2.0) + ((t_26 ^ 2.0) + (t_35 ^ 2.0)))) / 0.15))); t_52 = t_26 * t_51; t_53 = (t_39 * t_51) - 0.2; t_54 = (t_35 * t_51) - 0.35; t_55 = t_2 * 0.33111554; t_56 = (((t_19 * 0.921061) + 1.2962569) - (t_2 * 0.38941833)) / 0.9; t_57 = t_19 - 2.0; t_58 = t_2 * 0.43268704; t_59 = t_19 * 0.43268704; t_60 = 1.0 - exp(-(sqrt(((t_1 + (t_57 ^ 2.0)) + (t_13 ^ 2.0))) / 0.5)); t_61 = t_0 * t_60; t_62 = (t_13 * t_60) - -1.0; t_63 = (t_57 * t_60) - 1.0; t_64 = 1.0 - (2.0 * exp(-(sqrt(((t_63 ^ 2.0) + ((t_61 ^ 2.0) + (t_62 ^ 2.0)))) / 0.5))); t_65 = sqrt(((((t_63 * t_64) - -1.0) ^ 2.0) + (((t_61 * t_64) ^ 2.0) + ((t_62 * t_64) ^ 2.0)))); t_66 = ((t_41 * t_23) + (t_38 * t_14)) - -1.5; t_67 = 1.0 + (4.0 * exp(-(sqrt(((t_42 ^ 2.0) + (t_28 + (t_66 ^ 2.0)))) / 0.5))); t_68 = t_19 * 1.0889629; t_69 = ((0.9244498 + t_22) - t_7) / 0.6; t_70 = 1.5 * exp(-(sqrt((t_50 + ((t_17 ^ 2.0) + (t_69 ^ 2.0)))) / 1.0)); t_71 = sin(t_70); t_72 = cos(t_70); t_73 = ((-t_71 * t_69) + (t_72 * t_17)) - -1.0; t_74 = ((t_72 * t_69) + (t_71 * t_17)) - -1.5; t_75 = 1.0 + (4.0 * exp(-(sqrt(((t_73 ^ 2.0) + (t_50 + (t_74 ^ 2.0)))) / 0.5))); t_76 = 1.0 - exp(-(sqrt((((t_53 ^ 2.0) + (t_52 ^ 2.0)) + (t_54 ^ 2.0))) / 0.15)); t_77 = (((t_19 * 0.38941833) + (t_2 * 0.921061)) - 0.75479674) / 0.9; t_78 = t_77 ^ 2.0; t_79 = 1.5 * exp(-(sqrt((t_78 + ((t_56 ^ 2.0) + (t_11 ^ 2.0)))) / 1.0)); t_80 = sin(t_79); t_81 = cos(t_79); t_82 = ((t_81 * t_56) + (t_80 * t_11)) - -1.5; t_83 = ((-t_80 * t_56) + (t_81 * t_11)) - -1.0; t_84 = 1.0 + (4.0 * exp(-(sqrt(((t_83 ^ 2.0) + (t_78 + (t_82 ^ 2.0)))) / 0.5))); tmp = min((-log((exp((-11.0 * -(-log((exp((-30.555555 * (-log((exp((-11.0 * (-log((exp((-11.0 * -(-log((exp((-16.0 * (-log((exp((-5.612245 * (sqrt(((t_1 + ((t_19 - -0.4) ^ 2.0)) + ((t_9 - 0.1) ^ 2.0))) - 1.4))) + exp((-5.612245 * (sqrt(((((t_33 * t_34) ^ 2.0) + (((t_31 * t_34) - 2.0) ^ 2.0)) + (((t_32 * t_34) - -0.2) ^ 2.0))) - 0.9))))) / 5.612245))) + exp((-16.0 * -(-log((exp((-5.612245 * -(sqrt(((((t_45 - -0.5) ^ 2.0) + t_46) + t_47)) - 0.5))) + exp((-5.612245 * (sqrt((((0.3 + t_45) ^ 2.0) + (t_46 + t_47))) - 0.2))))) / 5.612245))))) / 16.0))) + exp((-11.0 * (t_6 - 0.2))))) / 11.0))) + exp((-11.0 * (t_65 - 0.3))))) / 11.0))) + exp((-30.555555 * max(max(max((-1.5 - t_0), (t_0 - 1.5)), max((0.5 - t_19), (t_19 - 3.0))), max(-t_29, t_29)))))) / 30.555555))) + exp((-11.0 * min(min(max((sqrt(((((t_18 * t_75) / 0.8) ^ 2.0) + ((((t_74 * t_75) - 1.5) ^ 2.0) + ((t_73 * t_75) ^ 2.0)))) - 0.7), max(max(((t_15 + t_4) - 2.8587651), max((0.858765 - (t_4 + t_15)), ((0.54074955 + t_40) - t_55))), max(((t_5 + (t_8 - t_16)) - 1.4760667), max(t_17, (t_55 - (2.5407495 + t_40)))))), max((sqrt(((((t_77 * t_84) / 0.8) ^ 2.0) + ((((t_82 * t_84) - 1.5) ^ 2.0) + ((t_83 * t_84) ^ 2.0)))) - 0.7), max(max(-(t_36 + (0.16133696 + t_59)), ((t_59 + t_36) - 1.8386631)), max(max(-((t_9 + 1.0) * 1.1111112), t_11), max(((0.44028544 + t_48) - t_58), (t_58 - (2.4402854 + t_48))))))), max((sqrt(((((t_27 * t_67) / 0.8) ^ 2.0) + ((((t_66 * t_67) - 1.5) ^ 2.0) + ((t_42 * t_67) ^ 2.0)))) - 0.7), max(max(-(t_49 + (0.1097064 + t_20)), ((t_20 + t_49) - 1.8902936)), max(max(-(1.7777778 + t_10), t_14), max(((0.20081031 + t_68) - t_3), (t_3 - (2.2008104 + t_68))))))))))) / 11.0), min((t_6 - 0.25), -(-log((exp((-30.555555 * -(t_65 - 0.4))) + exp((-30.555555 * (sqrt((((((t_53 * t_76) - -0.2) ^ 2.0) + ((t_52 * t_76) ^ 2.0)) + (((t_54 * t_76) - -0.1) ^ 2.0))) - 0.14))))) / 30.555555))); end
code[x_, y_, z_] := Block[{t$95$0 = N[(N[(N[(0.87758255 * N[(N[(0.9950042 * N[(x / 1.5), $MachinePrecision]), $MachinePrecision] + N[(-0.099833414 * N[(y / 1.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(0.47942555 * N[(z / 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / 0.3), $MachinePrecision]}, Block[{t$95$1 = N[Power[t$95$0, 2.0], $MachinePrecision]}, Block[{t$95$2 = N[Abs[t$95$0], $MachinePrecision]}, Block[{t$95$3 = N[(t$95$2 * 0.2207437), $MachinePrecision]}, Block[{t$95$4 = N[(t$95$2 * 1.2493271), $MachinePrecision]}, Block[{t$95$5 = N[(t$95$2 * 1.0522937), $MachinePrecision]}, Block[{t$95$6 = N[Sqrt[N[(N[Power[N[(t$95$2 - 0.4), $MachinePrecision], 2.0], $MachinePrecision] + N[(N[Power[N[(N[(N[(N[(N[(N[(y / 1.5), $MachinePrecision] * 2.0808594), $MachinePrecision] + N[(N[(z / 1.0), $MachinePrecision] * 2.3650744), $MachinePrecision]), $MachinePrecision] - N[(N[(x / 1.5), $MachinePrecision] * 1.089751), $MachinePrecision]), $MachinePrecision] - 0.92795134), $MachinePrecision] / 0.7), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(N[(0.0625 - N[(N[(N[(z / 1.0), $MachinePrecision] * 1.7215275), $MachinePrecision] - N[(N[(N[(y / 1.5), $MachinePrecision] * 2.5876334), $MachinePrecision] + N[(N[(x / 1.5), $MachinePrecision] * 1.2048262), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / 1.5), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$7 = N[(t$95$2 * 0.19866933), $MachinePrecision]}, Block[{t$95$8 = N[(N[(z / 1.0), $MachinePrecision] * 0.35865277), $MachinePrecision]}, Block[{t$95$9 = N[(N[(N[(N[(N[(z / 1.0), $MachinePrecision] * 0.06207773), $MachinePrecision] + N[(N[(x / 1.5), $MachinePrecision] * 0.06583953), $MachinePrecision]), $MachinePrecision] + N[(N[(y / 1.5), $MachinePrecision] * 0.99589735), $MachinePrecision]), $MachinePrecision] / 0.3), $MachinePrecision]}, Block[{t$95$10 = N[(t$95$9 * 1.1111112), $MachinePrecision]}, Block[{t$95$11 = N[(t$95$10 - 0.8888889), $MachinePrecision]}, Block[{t$95$12 = N[(t$95$9 - 0.8), $MachinePrecision]}, Block[{t$95$13 = N[(t$95$9 - 1.0), $MachinePrecision]}, Block[{t$95$14 = N[(t$95$10 - 0.22222221), $MachinePrecision]}, Block[{t$95$15 = N[(N[(N[(N[(z / 1.0), $MachinePrecision] * 0.96114874), $MachinePrecision] + N[(N[(y / 1.5), $MachinePrecision] * 3.5451903), $MachinePrecision]), $MachinePrecision] - N[(N[(x / 1.5), $MachinePrecision] * 0.17200887), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$16 = N[(N[(N[(y / 1.5), $MachinePrecision] * 4.247789), $MachinePrecision] + N[(N[(x / 1.5), $MachinePrecision] * 0.6231172), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$17 = (-N[(t$95$5 + N[(N[(t$95$8 + 0.5239333), $MachinePrecision] - t$95$16), $MachinePrecision]), $MachinePrecision])}, Block[{t$95$18 = N[(N[(N[(N[(N[(N[(N[(z / 1.0), $MachinePrecision] * 0.5766893), $MachinePrecision] + N[(N[(y / 1.5), $MachinePrecision] * 2.1271143), $MachinePrecision]), $MachinePrecision] - N[(N[(x / 1.5), $MachinePrecision] * 0.10320534), $MachinePrecision]), $MachinePrecision] + N[(t$95$2 * 0.7495963), $MachinePrecision]), $MachinePrecision] - 1.115259), $MachinePrecision] / 0.6), $MachinePrecision]}, Block[{t$95$19 = N[(N[(N[(N[(z / 1.0), $MachinePrecision] * 0.8753842), $MachinePrecision] - N[(N[(N[(x / 1.5), $MachinePrecision] * 0.4828974), $MachinePrecision] + N[(N[(y / 1.5), $MachinePrecision] * 0.022641014), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / 0.3), $MachinePrecision]}, Block[{t$95$20 = N[(t$95$19 * 0.2207437), $MachinePrecision]}, Block[{t$95$21 = N[(N[(N[(t$95$2 * 0.48241276), $MachinePrecision] + N[(t$95$19 * 0.7513133), $MachinePrecision]), $MachinePrecision] - 0.5854049), $MachinePrecision]}, Block[{t$95$22 = N[(t$95$19 * 0.9800666), $MachinePrecision]}, Block[{t$95$23 = N[(N[(N[(t$95$22 + 1.0807292), $MachinePrecision] - t$95$7), $MachinePrecision] / 0.9), $MachinePrecision]}, Block[{t$95$24 = N[(t$95$19 - 1.0), $MachinePrecision]}, Block[{t$95$25 = N[(N[(N[(t$95$19 * 0.33768892), $MachinePrecision] + 0.55581105), $MachinePrecision] - N[(t$95$2 * 0.5259193), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$26 = N[(t$95$19 - 2.19), $MachinePrecision]}, Block[{t$95$27 = N[(N[(N[(N[(t$95$19 * 0.19866933), $MachinePrecision] + N[(t$95$2 * 0.9800666), $MachinePrecision]), $MachinePrecision] - 0.8012642), $MachinePrecision] / 0.9), $MachinePrecision]}, Block[{t$95$28 = N[Power[t$95$27, 2.0], $MachinePrecision]}, Block[{t$95$29 = N[(N[(t$95$9 - N[(0.1 / t$95$19), $MachinePrecision]), $MachinePrecision] - -0.7), $MachinePrecision]}, Block[{t$95$30 = N[(1.0 - N[(0.5 * N[Exp[(-N[(N[Sqrt[N[(N[(t$95$1 + N[Power[t$95$24, 2.0], $MachinePrecision]), $MachinePrecision] + N[Power[t$95$12, 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 1.0), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$31 = N[(N[(t$95$24 * t$95$30), $MachinePrecision] + 1.5), $MachinePrecision]}, Block[{t$95$32 = N[(0.8 + N[(t$95$12 * t$95$30), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$33 = N[(t$95$0 * t$95$30), $MachinePrecision]}, Block[{t$95$34 = N[(1.0 + N[(2.0 * N[Exp[(-N[(N[Sqrt[N[(N[(N[Power[t$95$33, 2.0], $MachinePrecision] + N[Power[t$95$31, 2.0], $MachinePrecision]), $MachinePrecision] + N[Power[t$95$32, 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 1.0), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$35 = N[(0.30833334 + N[(t$95$9 * 0.8333333), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$36 = N[(t$95$2 * 1.0234011), $MachinePrecision]}, Block[{t$95$37 = N[(1.5 * N[Exp[(-N[(N[Sqrt[N[(t$95$28 + N[(N[Power[t$95$23, 2.0], $MachinePrecision] + N[Power[t$95$14, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 1.0), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$38 = N[Sin[t$95$37], $MachinePrecision]}, Block[{t$95$39 = N[(N[(t$95$2 - 0.25), $MachinePrecision] / 0.9), $MachinePrecision]}, Block[{t$95$40 = N[(t$95$19 * 1.6334443), $MachinePrecision]}, Block[{t$95$41 = N[Cos[t$95$37], $MachinePrecision]}, Block[{t$95$42 = N[(N[(N[((-t$95$38) * t$95$23), $MachinePrecision] + N[(t$95$41 * t$95$14), $MachinePrecision]), $MachinePrecision] - -1.0), $MachinePrecision]}, Block[{t$95$43 = N[(N[(t$95$9 * 0.625), $MachinePrecision] - 1.09375), $MachinePrecision]}, Block[{t$95$44 = N[(1.0 + N[(1.2 * N[Exp[(-N[(N[Sqrt[N[(N[Power[t$95$21, 2.0], $MachinePrecision] + N[(N[Power[t$95$25, 2.0], $MachinePrecision] + N[Power[t$95$43, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 0.5), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$45 = N[(t$95$21 * t$95$44), $MachinePrecision]}, Block[{t$95$46 = N[Power[N[(t$95$25 * t$95$44), $MachinePrecision], 2.0], $MachinePrecision]}, Block[{t$95$47 = N[Power[N[(N[(t$95$43 * t$95$44), $MachinePrecision] - -0.5), $MachinePrecision], 2.0], $MachinePrecision]}, Block[{t$95$48 = N[(t$95$19 * 1.0234011), $MachinePrecision]}, Block[{t$95$49 = N[(t$95$2 * 1.0889629), $MachinePrecision]}, Block[{t$95$50 = N[Power[t$95$18, 2.0], $MachinePrecision]}, Block[{t$95$51 = N[(1.0 - N[(1.5 * N[Exp[(-N[(N[Sqrt[N[(N[Power[t$95$39, 2.0], $MachinePrecision] + N[(N[Power[t$95$26, 2.0], $MachinePrecision] + N[Power[t$95$35, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 0.15), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$52 = N[(t$95$26 * t$95$51), $MachinePrecision]}, Block[{t$95$53 = N[(N[(t$95$39 * t$95$51), $MachinePrecision] - 0.2), $MachinePrecision]}, Block[{t$95$54 = N[(N[(t$95$35 * t$95$51), $MachinePrecision] - 0.35), $MachinePrecision]}, Block[{t$95$55 = N[(t$95$2 * 0.33111554), $MachinePrecision]}, Block[{t$95$56 = N[(N[(N[(N[(t$95$19 * 0.921061), $MachinePrecision] + 1.2962569), $MachinePrecision] - N[(t$95$2 * 0.38941833), $MachinePrecision]), $MachinePrecision] / 0.9), $MachinePrecision]}, Block[{t$95$57 = N[(t$95$19 - 2.0), $MachinePrecision]}, Block[{t$95$58 = N[(t$95$2 * 0.43268704), $MachinePrecision]}, Block[{t$95$59 = N[(t$95$19 * 0.43268704), $MachinePrecision]}, Block[{t$95$60 = N[(1.0 - N[Exp[(-N[(N[Sqrt[N[(N[(t$95$1 + N[Power[t$95$57, 2.0], $MachinePrecision]), $MachinePrecision] + N[Power[t$95$13, 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 0.5), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$61 = N[(t$95$0 * t$95$60), $MachinePrecision]}, Block[{t$95$62 = N[(N[(t$95$13 * t$95$60), $MachinePrecision] - -1.0), $MachinePrecision]}, Block[{t$95$63 = N[(N[(t$95$57 * t$95$60), $MachinePrecision] - 1.0), $MachinePrecision]}, Block[{t$95$64 = N[(1.0 - N[(2.0 * N[Exp[(-N[(N[Sqrt[N[(N[Power[t$95$63, 2.0], $MachinePrecision] + N[(N[Power[t$95$61, 2.0], $MachinePrecision] + N[Power[t$95$62, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 0.5), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$65 = N[Sqrt[N[(N[Power[N[(N[(t$95$63 * t$95$64), $MachinePrecision] - -1.0), $MachinePrecision], 2.0], $MachinePrecision] + N[(N[Power[N[(t$95$61 * t$95$64), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(t$95$62 * t$95$64), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$66 = N[(N[(N[(t$95$41 * t$95$23), $MachinePrecision] + N[(t$95$38 * t$95$14), $MachinePrecision]), $MachinePrecision] - -1.5), $MachinePrecision]}, Block[{t$95$67 = N[(1.0 + N[(4.0 * N[Exp[(-N[(N[Sqrt[N[(N[Power[t$95$42, 2.0], $MachinePrecision] + N[(t$95$28 + N[Power[t$95$66, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 0.5), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$68 = N[(t$95$19 * 1.0889629), $MachinePrecision]}, Block[{t$95$69 = N[(N[(N[(0.9244498 + t$95$22), $MachinePrecision] - t$95$7), $MachinePrecision] / 0.6), $MachinePrecision]}, Block[{t$95$70 = N[(1.5 * N[Exp[(-N[(N[Sqrt[N[(t$95$50 + N[(N[Power[t$95$17, 2.0], $MachinePrecision] + N[Power[t$95$69, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 1.0), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$71 = N[Sin[t$95$70], $MachinePrecision]}, Block[{t$95$72 = N[Cos[t$95$70], $MachinePrecision]}, Block[{t$95$73 = N[(N[(N[((-t$95$71) * t$95$69), $MachinePrecision] + N[(t$95$72 * t$95$17), $MachinePrecision]), $MachinePrecision] - -1.0), $MachinePrecision]}, Block[{t$95$74 = N[(N[(N[(t$95$72 * t$95$69), $MachinePrecision] + N[(t$95$71 * t$95$17), $MachinePrecision]), $MachinePrecision] - -1.5), $MachinePrecision]}, Block[{t$95$75 = N[(1.0 + N[(4.0 * N[Exp[(-N[(N[Sqrt[N[(N[Power[t$95$73, 2.0], $MachinePrecision] + N[(t$95$50 + N[Power[t$95$74, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 0.5), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$76 = N[(1.0 - N[Exp[(-N[(N[Sqrt[N[(N[(N[Power[t$95$53, 2.0], $MachinePrecision] + N[Power[t$95$52, 2.0], $MachinePrecision]), $MachinePrecision] + N[Power[t$95$54, 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 0.15), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$77 = N[(N[(N[(N[(t$95$19 * 0.38941833), $MachinePrecision] + N[(t$95$2 * 0.921061), $MachinePrecision]), $MachinePrecision] - 0.75479674), $MachinePrecision] / 0.9), $MachinePrecision]}, Block[{t$95$78 = N[Power[t$95$77, 2.0], $MachinePrecision]}, Block[{t$95$79 = N[(1.5 * N[Exp[(-N[(N[Sqrt[N[(t$95$78 + N[(N[Power[t$95$56, 2.0], $MachinePrecision] + N[Power[t$95$11, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 1.0), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$80 = N[Sin[t$95$79], $MachinePrecision]}, Block[{t$95$81 = N[Cos[t$95$79], $MachinePrecision]}, Block[{t$95$82 = N[(N[(N[(t$95$81 * t$95$56), $MachinePrecision] + N[(t$95$80 * t$95$11), $MachinePrecision]), $MachinePrecision] - -1.5), $MachinePrecision]}, Block[{t$95$83 = N[(N[(N[((-t$95$80) * t$95$56), $MachinePrecision] + N[(t$95$81 * t$95$11), $MachinePrecision]), $MachinePrecision] - -1.0), $MachinePrecision]}, Block[{t$95$84 = N[(1.0 + N[(4.0 * N[Exp[(-N[(N[Sqrt[N[(N[Power[t$95$83, 2.0], $MachinePrecision] + N[(t$95$78 + N[Power[t$95$82, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / 0.5), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, N[Min[N[((-N[Log[N[(N[Exp[N[(-11.0 * (-N[((-N[Log[N[(N[Exp[N[(-30.555555 * N[((-N[Log[N[(N[Exp[N[(-11.0 * N[((-N[Log[N[(N[Exp[N[(-11.0 * (-N[((-N[Log[N[(N[Exp[N[(-16.0 * N[((-N[Log[N[(N[Exp[N[(-5.612245 * N[(N[Sqrt[N[(N[(t$95$1 + N[Power[N[(t$95$19 - -0.4), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] + N[Power[N[(t$95$9 - 0.1), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 1.4), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] + N[Exp[N[(-5.612245 * N[(N[Sqrt[N[(N[(N[Power[N[(t$95$33 * t$95$34), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(N[(t$95$31 * t$95$34), $MachinePrecision] - 2.0), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] + N[Power[N[(N[(t$95$32 * t$95$34), $MachinePrecision] - -0.2), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 0.9), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / 5.612245), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] + N[Exp[N[(-16.0 * (-N[((-N[Log[N[(N[Exp[N[(-5.612245 * (-N[(N[Sqrt[N[(N[(N[Power[N[(t$95$45 - -0.5), $MachinePrecision], 2.0], $MachinePrecision] + t$95$46), $MachinePrecision] + t$95$47), $MachinePrecision]], $MachinePrecision] - 0.5), $MachinePrecision])), $MachinePrecision]], $MachinePrecision] + N[Exp[N[(-5.612245 * N[(N[Sqrt[N[(N[Power[N[(0.3 + t$95$45), $MachinePrecision], 2.0], $MachinePrecision] + N[(t$95$46 + t$95$47), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 0.2), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / 5.612245), $MachinePrecision])), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / 16.0), $MachinePrecision])), $MachinePrecision]], $MachinePrecision] + N[Exp[N[(-11.0 * N[(t$95$6 - 0.2), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / 11.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] + N[Exp[N[(-11.0 * N[(t$95$65 - 0.3), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / 11.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] + N[Exp[N[(-30.555555 * N[Max[N[Max[N[Max[N[(-1.5 - t$95$0), $MachinePrecision], N[(t$95$0 - 1.5), $MachinePrecision]], $MachinePrecision], N[Max[N[(0.5 - t$95$19), $MachinePrecision], N[(t$95$19 - 3.0), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[(-t$95$29), t$95$29], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / 30.555555), $MachinePrecision])), $MachinePrecision]], $MachinePrecision] + N[Exp[N[(-11.0 * N[Min[N[Min[N[Max[N[(N[Sqrt[N[(N[Power[N[(N[(t$95$18 * t$95$75), $MachinePrecision] / 0.8), $MachinePrecision], 2.0], $MachinePrecision] + N[(N[Power[N[(N[(t$95$74 * t$95$75), $MachinePrecision] - 1.5), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(t$95$73 * t$95$75), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 0.7), $MachinePrecision], N[Max[N[Max[N[(N[(t$95$15 + t$95$4), $MachinePrecision] - 2.8587651), $MachinePrecision], N[Max[N[(0.858765 - N[(t$95$4 + t$95$15), $MachinePrecision]), $MachinePrecision], N[(N[(0.54074955 + t$95$40), $MachinePrecision] - t$95$55), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(t$95$5 + N[(t$95$8 - t$95$16), $MachinePrecision]), $MachinePrecision] - 1.4760667), $MachinePrecision], N[Max[t$95$17, N[(t$95$55 - N[(2.5407495 + t$95$40), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[Sqrt[N[(N[Power[N[(N[(t$95$77 * t$95$84), $MachinePrecision] / 0.8), $MachinePrecision], 2.0], $MachinePrecision] + N[(N[Power[N[(N[(t$95$82 * t$95$84), $MachinePrecision] - 1.5), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(t$95$83 * t$95$84), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 0.7), $MachinePrecision], N[Max[N[Max[(-N[(t$95$36 + N[(0.16133696 + t$95$59), $MachinePrecision]), $MachinePrecision]), N[(N[(t$95$59 + t$95$36), $MachinePrecision] - 1.8386631), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[(-N[(N[(t$95$9 + 1.0), $MachinePrecision] * 1.1111112), $MachinePrecision]), t$95$11], $MachinePrecision], N[Max[N[(N[(0.44028544 + t$95$48), $MachinePrecision] - t$95$58), $MachinePrecision], N[(t$95$58 - N[(2.4402854 + t$95$48), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[Sqrt[N[(N[Power[N[(N[(t$95$27 * t$95$67), $MachinePrecision] / 0.8), $MachinePrecision], 2.0], $MachinePrecision] + N[(N[Power[N[(N[(t$95$66 * t$95$67), $MachinePrecision] - 1.5), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(t$95$42 * t$95$67), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 0.7), $MachinePrecision], N[Max[N[Max[(-N[(t$95$49 + N[(0.1097064 + t$95$20), $MachinePrecision]), $MachinePrecision]), N[(N[(t$95$20 + t$95$49), $MachinePrecision] - 1.8902936), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[(-N[(1.7777778 + t$95$10), $MachinePrecision]), t$95$14], $MachinePrecision], N[Max[N[(N[(0.20081031 + t$95$68), $MachinePrecision] - t$95$3), $MachinePrecision], N[(t$95$3 - N[(2.2008104 + t$95$68), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / 11.0), $MachinePrecision], N[Min[N[(t$95$6 - 0.25), $MachinePrecision], (-N[((-N[Log[N[(N[Exp[N[(-30.555555 * (-N[(t$95$65 - 0.4), $MachinePrecision])), $MachinePrecision]], $MachinePrecision] + N[Exp[N[(-30.555555 * N[(N[Sqrt[N[(N[(N[Power[N[(N[(t$95$53 * t$95$76), $MachinePrecision] - -0.2), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(t$95$52 * t$95$76), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] + N[Power[N[(N[(t$95$54 * t$95$76), $MachinePrecision] - -0.1), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 0.14), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / 30.555555), $MachinePrecision])], $MachinePrecision]], $MachinePrecision]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
\begin{array}{l}
t_0 := \frac{0.87758255 \cdot \left(0.9950042 \cdot \frac{x}{1.5} + -0.099833414 \cdot \frac{y}{1.5}\right) + 0.47942555 \cdot \frac{z}{1}}{0.3}\\
t_1 := {t\_0}^{2}\\
t_2 := \left|t\_0\right|\\
t_3 := t\_2 \cdot 0.2207437\\
t_4 := t\_2 \cdot 1.2493271\\
t_5 := t\_2 \cdot 1.0522937\\
t_6 := \sqrt{{\left(t\_2 - 0.4\right)}^{2} + \left({\left(\frac{\left(\left(\frac{y}{1.5} \cdot 2.0808594 + \frac{z}{1} \cdot 2.3650744\right) - \frac{x}{1.5} \cdot 1.089751\right) - 0.92795134}{0.7}\right)}^{2} + {\left(\frac{0.0625 - \left(\frac{z}{1} \cdot 1.7215275 - \left(\frac{y}{1.5} \cdot 2.5876334 + \frac{x}{1.5} \cdot 1.2048262\right)\right)}{1.5}\right)}^{2}\right)}\\
t_7 := t\_2 \cdot 0.19866933\\
t_8 := \frac{z}{1} \cdot 0.35865277\\
t_9 := \frac{\left(\frac{z}{1} \cdot 0.06207773 + \frac{x}{1.5} \cdot 0.06583953\right) + \frac{y}{1.5} \cdot 0.99589735}{0.3}\\
t_10 := t\_9 \cdot 1.1111112\\
t_11 := t\_10 - 0.8888889\\
t_12 := t\_9 - 0.8\\
t_13 := t\_9 - 1\\
t_14 := t\_10 - 0.22222221\\
t_15 := \left(\frac{z}{1} \cdot 0.96114874 + \frac{y}{1.5} \cdot 3.5451903\right) - \frac{x}{1.5} \cdot 0.17200887\\
t_16 := \frac{y}{1.5} \cdot 4.247789 + \frac{x}{1.5} \cdot 0.6231172\\
t_17 := -\left(t\_5 + \left(\left(t\_8 + 0.5239333\right) - t\_16\right)\right)\\
t_18 := \frac{\left(\left(\left(\frac{z}{1} \cdot 0.5766893 + \frac{y}{1.5} \cdot 2.1271143\right) - \frac{x}{1.5} \cdot 0.10320534\right) + t\_2 \cdot 0.7495963\right) - 1.115259}{0.6}\\
t_19 := \frac{\frac{z}{1} \cdot 0.8753842 - \left(\frac{x}{1.5} \cdot 0.4828974 + \frac{y}{1.5} \cdot 0.022641014\right)}{0.3}\\
t_20 := t\_19 \cdot 0.2207437\\
t_21 := \left(t\_2 \cdot 0.48241276 + t\_19 \cdot 0.7513133\right) - 0.5854049\\
t_22 := t\_19 \cdot 0.9800666\\
t_23 := \frac{\left(t\_22 + 1.0807292\right) - t\_7}{0.9}\\
t_24 := t\_19 - 1\\
t_25 := \left(t\_19 \cdot 0.33768892 + 0.55581105\right) - t\_2 \cdot 0.5259193\\
t_26 := t\_19 - 2.19\\
t_27 := \frac{\left(t\_19 \cdot 0.19866933 + t\_2 \cdot 0.9800666\right) - 0.8012642}{0.9}\\
t_28 := {t\_27}^{2}\\
t_29 := \left(t\_9 - \frac{0.1}{t\_19}\right) - -0.7\\
t_30 := 1 - 0.5 \cdot e^{-\frac{\sqrt{\left(t\_1 + {t\_24}^{2}\right) + {t\_12}^{2}}}{1}}\\
t_31 := t\_24 \cdot t\_30 + 1.5\\
t_32 := 0.8 + t\_12 \cdot t\_30\\
t_33 := t\_0 \cdot t\_30\\
t_34 := 1 + 2 \cdot e^{-\frac{\sqrt{\left({t\_33}^{2} + {t\_31}^{2}\right) + {t\_32}^{2}}}{1}}\\
t_35 := 0.30833334 + t\_9 \cdot 0.8333333\\
t_36 := t\_2 \cdot 1.0234011\\
t_37 := 1.5 \cdot e^{-\frac{\sqrt{t\_28 + \left({t\_23}^{2} + {t\_14}^{2}\right)}}{1}}\\
t_38 := \sin t\_37\\
t_39 := \frac{t\_2 - 0.25}{0.9}\\
t_40 := t\_19 \cdot 1.6334443\\
t_41 := \cos t\_37\\
t_42 := \left(\left(-t\_38\right) \cdot t\_23 + t\_41 \cdot t\_14\right) - -1\\
t_43 := t\_9 \cdot 0.625 - 1.09375\\
t_44 := 1 + 1.2 \cdot e^{-\frac{\sqrt{{t\_21}^{2} + \left({t\_25}^{2} + {t\_43}^{2}\right)}}{0.5}}\\
t_45 := t\_21 \cdot t\_44\\
t_46 := {\left(t\_25 \cdot t\_44\right)}^{2}\\
t_47 := {\left(t\_43 \cdot t\_44 - -0.5\right)}^{2}\\
t_48 := t\_19 \cdot 1.0234011\\
t_49 := t\_2 \cdot 1.0889629\\
t_50 := {t\_18}^{2}\\
t_51 := 1 - 1.5 \cdot e^{-\frac{\sqrt{{t\_39}^{2} + \left({t\_26}^{2} + {t\_35}^{2}\right)}}{0.15}}\\
t_52 := t\_26 \cdot t\_51\\
t_53 := t\_39 \cdot t\_51 - 0.2\\
t_54 := t\_35 \cdot t\_51 - 0.35\\
t_55 := t\_2 \cdot 0.33111554\\
t_56 := \frac{\left(t\_19 \cdot 0.921061 + 1.2962569\right) - t\_2 \cdot 0.38941833}{0.9}\\
t_57 := t\_19 - 2\\
t_58 := t\_2 \cdot 0.43268704\\
t_59 := t\_19 \cdot 0.43268704\\
t_60 := 1 - e^{-\frac{\sqrt{\left(t\_1 + {t\_57}^{2}\right) + {t\_13}^{2}}}{0.5}}\\
t_61 := t\_0 \cdot t\_60\\
t_62 := t\_13 \cdot t\_60 - -1\\
t_63 := t\_57 \cdot t\_60 - 1\\
t_64 := 1 - 2 \cdot e^{-\frac{\sqrt{{t\_63}^{2} + \left({t\_61}^{2} + {t\_62}^{2}\right)}}{0.5}}\\
t_65 := \sqrt{{\left(t\_63 \cdot t\_64 - -1\right)}^{2} + \left({\left(t\_61 \cdot t\_64\right)}^{2} + {\left(t\_62 \cdot t\_64\right)}^{2}\right)}\\
t_66 := \left(t\_41 \cdot t\_23 + t\_38 \cdot t\_14\right) - -1.5\\
t_67 := 1 + 4 \cdot e^{-\frac{\sqrt{{t\_42}^{2} + \left(t\_28 + {t\_66}^{2}\right)}}{0.5}}\\
t_68 := t\_19 \cdot 1.0889629\\
t_69 := \frac{\left(0.9244498 + t\_22\right) - t\_7}{0.6}\\
t_70 := 1.5 \cdot e^{-\frac{\sqrt{t\_50 + \left({t\_17}^{2} + {t\_69}^{2}\right)}}{1}}\\
t_71 := \sin t\_70\\
t_72 := \cos t\_70\\
t_73 := \left(\left(-t\_71\right) \cdot t\_69 + t\_72 \cdot t\_17\right) - -1\\
t_74 := \left(t\_72 \cdot t\_69 + t\_71 \cdot t\_17\right) - -1.5\\
t_75 := 1 + 4 \cdot e^{-\frac{\sqrt{{t\_73}^{2} + \left(t\_50 + {t\_74}^{2}\right)}}{0.5}}\\
t_76 := 1 - e^{-\frac{\sqrt{\left({t\_53}^{2} + {t\_52}^{2}\right) + {t\_54}^{2}}}{0.15}}\\
t_77 := \frac{\left(t\_19 \cdot 0.38941833 + t\_2 \cdot 0.921061\right) - 0.75479674}{0.9}\\
t_78 := {t\_77}^{2}\\
t_79 := 1.5 \cdot e^{-\frac{\sqrt{t\_78 + \left({t\_56}^{2} + {t\_11}^{2}\right)}}{1}}\\
t_80 := \sin t\_79\\
t_81 := \cos t\_79\\
t_82 := \left(t\_81 \cdot t\_56 + t\_80 \cdot t\_11\right) - -1.5\\
t_83 := \left(\left(-t\_80\right) \cdot t\_56 + t\_81 \cdot t\_11\right) - -1\\
t_84 := 1 + 4 \cdot e^{-\frac{\sqrt{{t\_83}^{2} + \left(t\_78 + {t\_82}^{2}\right)}}{0.5}}\\
\mathsf{min}\left(\frac{-\log \left(e^{-11 \cdot \left(-\frac{-\log \left(e^{-30.555555 \cdot \frac{-\log \left(e^{-11 \cdot \frac{-\log \left(e^{-11 \cdot \left(-\frac{-\log \left(e^{-16 \cdot \frac{-\log \left(e^{-5.612245 \cdot \left(\sqrt{\left(t\_1 + {\left(t\_19 - -0.4\right)}^{2}\right) + {\left(t\_9 - 0.1\right)}^{2}} - 1.4\right)} + e^{-5.612245 \cdot \left(\sqrt{\left({\left(t\_33 \cdot t\_34\right)}^{2} + {\left(t\_31 \cdot t\_34 - 2\right)}^{2}\right) + {\left(t\_32 \cdot t\_34 - -0.2\right)}^{2}} - 0.9\right)}\right)}{5.612245}} + e^{-16 \cdot \left(-\frac{-\log \left(e^{-5.612245 \cdot \left(-\left(\sqrt{\left({\left(t\_45 - -0.5\right)}^{2} + t\_46\right) + t\_47} - 0.5\right)\right)} + e^{-5.612245 \cdot \left(\sqrt{{\left(0.3 + t\_45\right)}^{2} + \left(t\_46 + t\_47\right)} - 0.2\right)}\right)}{5.612245}\right)}\right)}{16}\right)} + e^{-11 \cdot \left(t\_6 - 0.2\right)}\right)}{11}} + e^{-11 \cdot \left(t\_65 - 0.3\right)}\right)}{11}} + e^{-30.555555 \cdot \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(-1.5 - t\_0, t\_0 - 1.5\right), \mathsf{max}\left(0.5 - t\_19, t\_19 - 3\right)\right), \mathsf{max}\left(-t\_29, t\_29\right)\right)}\right)}{30.555555}\right)} + e^{-11 \cdot \mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\sqrt{{\left(\frac{t\_18 \cdot t\_75}{0.8}\right)}^{2} + \left({\left(t\_74 \cdot t\_75 - 1.5\right)}^{2} + {\left(t\_73 \cdot t\_75\right)}^{2}\right)} - 0.7, \mathsf{max}\left(\mathsf{max}\left(\left(t\_15 + t\_4\right) - 2.8587651, \mathsf{max}\left(0.858765 - \left(t\_4 + t\_15\right), \left(0.54074955 + t\_40\right) - t\_55\right)\right), \mathsf{max}\left(\left(t\_5 + \left(t\_8 - t\_16\right)\right) - 1.4760667, \mathsf{max}\left(t\_17, t\_55 - \left(2.5407495 + t\_40\right)\right)\right)\right)\right), \mathsf{max}\left(\sqrt{{\left(\frac{t\_77 \cdot t\_84}{0.8}\right)}^{2} + \left({\left(t\_82 \cdot t\_84 - 1.5\right)}^{2} + {\left(t\_83 \cdot t\_84\right)}^{2}\right)} - 0.7, \mathsf{max}\left(\mathsf{max}\left(-\left(t\_36 + \left(0.16133696 + t\_59\right)\right), \left(t\_59 + t\_36\right) - 1.8386631\right), \mathsf{max}\left(\mathsf{max}\left(-\left(t\_9 + 1\right) \cdot 1.1111112, t\_11\right), \mathsf{max}\left(\left(0.44028544 + t\_48\right) - t\_58, t\_58 - \left(2.4402854 + t\_48\right)\right)\right)\right)\right)\right), \mathsf{max}\left(\sqrt{{\left(\frac{t\_27 \cdot t\_67}{0.8}\right)}^{2} + \left({\left(t\_66 \cdot t\_67 - 1.5\right)}^{2} + {\left(t\_42 \cdot t\_67\right)}^{2}\right)} - 0.7, \mathsf{max}\left(\mathsf{max}\left(-\left(t\_49 + \left(0.1097064 + t\_20\right)\right), \left(t\_20 + t\_49\right) - 1.8902936\right), \mathsf{max}\left(\mathsf{max}\left(-\left(1.7777778 + t\_10\right), t\_14\right), \mathsf{max}\left(\left(0.20081031 + t\_68\right) - t\_3, t\_3 - \left(2.2008104 + t\_68\right)\right)\right)\right)\right)\right)}\right)}{11}, \mathsf{min}\left(t\_6 - 0.25, -\frac{-\log \left(e^{-30.555555 \cdot \left(-\left(t\_65 - 0.4\right)\right)} + e^{-30.555555 \cdot \left(\sqrt{\left({\left(t\_53 \cdot t\_76 - -0.2\right)}^{2} + {\left(t\_52 \cdot t\_76\right)}^{2}\right) + {\left(t\_54 \cdot t\_76 - -0.1\right)}^{2}} - 0.14\right)}\right)}{30.555555}\right)\right)
\end{array}
Use the --timeout flag to change the timeout.