Timeout for Model of a colonnade with a balcony and outside staircase

Specification

Math

\[\begin{array}{l} t_0 := x \cdot 10 - 7\\ t_1 := y \cdot 10 - \frac{7}{2}\\ t_2 := y \cdot 10 - \frac{11}{2}\\ t_3 := x \cdot 10 - \frac{11}{2}\\ t_4 := z \cdot 10 - \frac{5}{2}\\ t_5 := z \cdot 10 - \frac{13}{2}\\ t_6 := x \cdot 10 - \frac{15}{2}\\ t_7 := z \cdot 10 - \frac{37}{5}\\ t_8 := {\left(\frac{131}{20} + x \cdot 10\right)}^{2}\\ t_9 := z \cdot 10 - \frac{31}{10}\\ t_10 := z \cdot 10 - \frac{33}{2}\\ t_11 := z \cdot 10 - \frac{29}{5}\\ t_12 := y \cdot 10 - 2\\ t_13 := {\left(\frac{63}{20} + y \cdot 10\right)}^{2}\\ t_14 := \frac{1}{5} - z \cdot 10\\ t_15 := \frac{7}{2} + y \cdot 10\\ t_16 := -t\_15\\ t_17 := y \cdot 10 - 6\\ t_18 := y \cdot 10 - \frac{13}{2}\\ t_19 := \frac{13}{5} + y \cdot 10\\ t_20 := 9 + x \cdot 10\\ t_21 := -t\_20\\ t_22 := -\left(\frac{23}{10} + y \cdot 10\right)\\ t_23 := 3 + y \cdot 10\\ t_24 := \frac{999999}{10000000} + z \cdot 10\\ t_25 := \frac{41}{10} + y \cdot 10\\ t_26 := \frac{17}{2} + y \cdot 10\\ t_27 := -t\_26\\ t_28 := -\left(\frac{37}{10} + y \cdot 10\right)\\ t_29 := \frac{33}{10} + x \cdot 10\\ t_30 := \mathsf{max}\left(t\_10, t\_25\right)\\ t_31 := z \cdot 10 - 6\\ t_32 := x \cdot 10 - 6\\ t_33 := \frac{27}{5} + y \cdot 10\\ t_34 := y \cdot 10 - \frac{21}{2}\\ t_35 := \frac{3}{2} - z \cdot 10\\ t_36 := \frac{33}{10} - z \cdot 10\\ t_37 := 6 + x \cdot 10\\ t_38 := \frac{7}{2} + z \cdot 10\\ t_39 := -t\_38\\ t_40 := -\left(\frac{61}{10} + y \cdot 10\right)\\ t_41 := y \cdot 10 - \frac{31}{5}\\ t_42 := {\left(x \cdot 10 - \frac{21}{20}\right)}^{2}\\ t_43 := \frac{3}{2} + y \cdot 10\\ t_44 := x \cdot 10 - 9\\ t_45 := 5 - x \cdot 10\\ t_46 := x \cdot 10 - \frac{34}{5}\\ t_47 := \frac{13}{2} - z \cdot 10\\ t_48 := \frac{31}{10} - z \cdot 10\\ t_49 := x \cdot 10 - \frac{29}{5}\\ t_50 := \frac{5}{2} + y \cdot 10\\ t_51 := \mathsf{max}\left(\mathsf{max}\left(z \cdot 10 - \frac{41}{10}, \frac{17}{5} - z \cdot 10\right), t\_50\right)\\ t_52 := -t\_50\\ t_53 := 1 + z \cdot 10\\ t_54 := {t\_53}^{2}\\ t_55 := \mathsf{max}\left(z \cdot 10 - \frac{24}{5}, \frac{5}{2} - z \cdot 10\right)\\ t_56 := \sqrt{{t\_25}^{2} + {\left(z \cdot 10 - \frac{33}{10}\right)}^{2}}\\ t_57 := t\_56 - \frac{3}{2}\\ t_58 := z \cdot 10 - \frac{28}{5}\\ t_59 := \mathsf{max}\left(t\_58, \frac{24}{5} - z \cdot 10\right)\\ t_60 := {t\_58}^{2}\\ t_61 := \mathsf{max}\left(t\_39, t\_53\right)\\ t_62 := \frac{57}{10} - x \cdot 10\\ t_63 := {\left(z \cdot 5 - \frac{11}{5}\right)}^{2}\\ t_64 := \frac{36}{5} + y \cdot 10\\ t_65 := y \cdot 10 - 9\\ t_66 := -\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_1, \frac{1}{2} - y \cdot 10\right), t\_39\right), t\_53\right), \sqrt{{t\_12}^{2} + t\_54} - \frac{3}{2}\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(y \cdot 10 - 7, 4 - y \cdot 10\right), t\_39\right), t\_53\right)\right), \sqrt{{t\_2}^{2} + t\_54} - \frac{3}{2}\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\frac{15}{2} - y \cdot 10, t\_34\right), t\_39\right), t\_53\right)\right), \sqrt{{t\_65}^{2} + t\_54} - \frac{3}{2}\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(-t\_23, y \cdot 10\right), t\_39\right), t\_53\right)\right), \sqrt{{t\_43}^{2} + t\_54} - \frac{3}{2}\right)\\ t_67 := \mathsf{max}\left(t\_65, t\_0\right)\\ t_68 := -\mathsf{min}\left(9 - x \cdot 10, t\_3\right)\\ t_69 := {\left(x \cdot 10 - \frac{97}{20}\right)}^{2}\\ t_70 := \frac{11}{5} + x \cdot 10\\ t_71 := \frac{67}{10} - x \cdot 10\\ t_72 := {\left(\frac{11}{4} + x \cdot 10\right)}^{2}\\ t_73 := -\left(\frac{39}{10} + y \cdot 10\right)\\ \mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_66, \frac{5}{2} + x \cdot 10\right), -\left(3 + x \cdot 10\right)\right), t\_4\right), t\_65\right), t\_16\right), t\_39\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_66, x \cdot 10 - \frac{57}{10}\right), \frac{26}{5} - x \cdot 10\right), t\_4\right), t\_65\right), t\_16\right), t\_39\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(-\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_10, \frac{7}{2} - z \cdot 10\right), t\_25\right), -\left(y \cdot 10 + \frac{27}{2}\right)\right), t\_44\right), t\_45\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_10, t\_44\right), t\_45\right), \frac{1}{2} - z \cdot 10\right), \frac{15}{2} + y \cdot 10\right), t\_27\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_44, t\_48\right), t\_34\right), \frac{13}{2} - y \cdot 10\right), 3 - x \cdot 10\right), t\_5\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_30, t\_45\right), t\_35\right), t\_40\right), t\_49\right), x \cdot 8 - \left(\frac{5}{2} + z \cdot 10\right)\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_45, t\_48\right), t\_49\right), t\_31\right), t\_41\right), t\_52\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_45, t\_11\right), t\_17\right), t\_22\right), t\_32\right), t\_36\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_30, t\_35\right), t\_40\right), t\_71\right), t\_6\right), \frac{15}{2} - \left(x \cdot 8 + z \cdot 10\right)\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_48, t\_31\right), t\_41\right), t\_52\right), t\_71\right), t\_6\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_11, t\_17\right), t\_22\right), t\_6\right), \frac{13}{2} - x \cdot 10\right), t\_36\right)\right), \frac{11}{2} - x \cdot 10\right), t\_65\right), t\_27\right), t\_0\right), t\_5\right), t\_39\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(z \cdot 10 - \frac{7}{2}, t\_33\right), -\left(\frac{13}{2} + y \cdot 10\right)\right), t\_46\right), t\_62\right), t\_36\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(z \cdot 10 - \frac{67}{10}, t\_18\right), -\left(\frac{43}{10} + y \cdot 10\right)\right), x \cdot 10 - \frac{36}{5}\right), \frac{53}{10} - x \cdot 10\right), t\_47\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\left(z \cdot \frac{8619}{5000} + \frac{543983}{100000}\right) + y \cdot \frac{98503}{10000}, z \cdot \frac{8619}{5000} - \left(\frac{397829}{50000} + y \cdot \frac{98503}{10000}\right)\right), \left(z \cdot \frac{184289}{100000} + x \cdot \frac{122859}{12500}\right) - \frac{374413}{50000}\right), \left(z \cdot \frac{184289}{100000} + \frac{95953}{20000}\right) - x \cdot \frac{122859}{12500}\right), z \cdot 10 - \frac{39}{10}\right), t\_36\right)\right), \mathsf{max}\left(\mathsf{max}\left(x \cdot 10 - \frac{67}{10}, \frac{29}{5} - x \cdot 10\right), t\_57\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_46, t\_62\right), t\_57\right), \frac{13}{10} - t\_56\right), t\_36\right)\right), \sqrt{\left(t\_60 + t\_69\right) + t\_13} - \frac{1}{10}\right), \mathsf{max}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\frac{14}{5} - z \cdot 10, \frac{27}{5} - y \cdot 10\right), t\_44\right), t\_65\right), t\_9\right), t\_21\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(z \cdot 30 - t\_33, -\mathsf{max}\left(z \cdot 30 - t\_23, t\_68\right)\right), -\mathsf{min}\left(t\_24, t\_48\right)\right), t\_68\right)\right), \mathsf{max}\left(\mathsf{max}\left(z \cdot 30 - \left(\frac{93}{10} + y \cdot 10\right), t\_68\right), -\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(t\_68, z \cdot 30 - \left(\frac{69}{10} + y \cdot 10\right)\right), t\_14\right), t\_26\right)\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(z \cdot 10 - \frac{1}{5}, -t\_24\right), \frac{16}{5} + y \cdot 10\right), -t\_64\right), 7 - x \cdot 10\right), t\_44\right)\right), -\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(t\_14, t\_23\right), \mathsf{max}\left(\frac{371}{1000} - z \cdot 10, t\_50\right)\right), \mathsf{max}\left(2 + y \cdot 10, \frac{271}{500} - z \cdot 10\right)\right), \mathsf{max}\left(\frac{713}{1000} - z \cdot 10, t\_43\right)\right), \mathsf{max}\left(1 + y \cdot 10, \frac{221}{250} - z \cdot 10\right)\right), \mathsf{max}\left(\frac{1}{2} + y \cdot 10, \frac{211}{200} - z \cdot 10\right)\right), \mathsf{max}\left(\frac{613}{500} - z \cdot 10, y \cdot 10\right)\right), \mathsf{max}\left(y \cdot 10 - \frac{1}{2}, \frac{1397}{1000} - z \cdot 10\right)\right), \mathsf{max}\left(y \cdot 10 - 1, \frac{196}{125} - z \cdot 10\right)\right), \mathsf{max}\left(y \cdot 10 - \frac{3}{2}, \frac{1739}{1000} - z \cdot 10\right)\right), \mathsf{max}\left(\frac{191}{100} - z \cdot 10, t\_12\right)\right), \mathsf{max}\left(y \cdot 10 - \frac{5}{2}, \frac{2081}{1000} - z \cdot 10\right)\right), \mathsf{max}\left(y \cdot 10 - 3, \frac{563}{250} - z \cdot 10\right)\right), \mathsf{max}\left(\frac{2423}{1000} - z \cdot 10, t\_1\right)\right), \mathsf{max}\left(y \cdot 10 - 4, \frac{1297}{500} - z \cdot 10\right)\right), \mathsf{max}\left(y \cdot 10 - \frac{9}{2}, \frac{553}{200} - z \cdot 10\right)\right), \mathsf{max}\left(y \cdot 10 - 5, \frac{367}{125} - z \cdot 10\right)\right), \mathsf{max}\left(\frac{3107}{1000} - z \cdot 10, t\_2\right)\right), \mathsf{max}\left(\frac{1639}{500} - z \cdot 10, t\_17\right)\right), \mathsf{max}\left(\frac{3449}{1000} - z \cdot 10, t\_18\right)\right), \mathsf{max}\left(\frac{46}{5} + y \cdot 10, -\left(\frac{13}{20} + z \cdot 10\right)\right)\right), \mathsf{max}\left(\frac{87}{10} + y \cdot 10, -\left(\frac{479}{1000} + z \cdot 10\right)\right)\right), \mathsf{max}\left(\frac{41}{5} + y \cdot 10, -\left(\frac{77}{250} + z \cdot 10\right)\right)\right), \mathsf{max}\left(\frac{77}{10} + y \cdot 10, -\left(\frac{137}{1000} + z \cdot 10\right)\right)\right), \mathsf{max}\left(t\_64, \frac{339999}{10000000} - z \cdot 10\right)\right)\right)\right), \mathsf{max}\left(\mathsf{max}\left(\sqrt{t\_13 + t\_72} - \frac{1}{10}, t\_7\right), t\_47\right)\right), \sqrt{\left({t\_7}^{2} + t\_13\right) + t\_72} - \frac{1}{10}\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_55, -\left(\frac{71}{10} + x \cdot 10\right)\right), t\_19\right), t\_28\right), t\_37\right)\right), \sqrt{\left(t\_63 + t\_8\right) + t\_13} - \frac{1}{2}\right), \mathsf{max}\left(t\_59, \sqrt{t\_8 + t\_13} - \frac{1}{10}\right)\right), \sqrt{\left(t\_8 + t\_60\right) + t\_13} - \frac{1}{10}\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_55, x \cdot 10 - \frac{8}{5}\right), \frac{1}{2} - x \cdot 10\right), t\_19\right), t\_28\right)\right), \sqrt{\left(t\_63 + t\_42\right) + t\_13} - \frac{1}{2}\right), \mathsf{max}\left(t\_59, \sqrt{t\_42 + t\_13} - \frac{1}{10}\right)\right), \sqrt{\left(t\_60 + t\_42\right) + t\_13} - \frac{1}{10}\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_55, x \cdot 10 - \frac{27}{5}\right), \frac{43}{10} - x \cdot 10\right), t\_19\right), t\_28\right)\right), \sqrt{\left(t\_63 + t\_69\right) + t\_13} - \frac{1}{2}\right), \mathsf{max}\left(t\_59, \sqrt{t\_69 + t\_13} - \frac{1}{10}\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(-\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_3, t\_21\right), z \cdot 10 - \frac{21}{5}\right), t\_36\right), \frac{17}{5} + y \cdot 10\right), -\left(\frac{18}{5} + y \cdot 10\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, \frac{81}{10} + x \cdot 10\right), -\left(\frac{89}{10} + x \cdot 10\right)\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, \frac{143}{20} + x \cdot 10\right), -\left(\frac{159}{20} + x \cdot 10\right)\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, \frac{26}{5} + x \cdot 10\right), -t\_37\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, \frac{17}{4} + x \cdot 10\right), -\left(\frac{101}{20} + x \cdot 10\right)\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, t\_29\right), -\left(\frac{41}{10} + x \cdot 10\right)\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, \frac{7}{5} + x \cdot 10\right), -t\_70\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, \frac{9}{20} + x \cdot 10\right), -\left(\frac{5}{4} + x \cdot 10\right)\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, x \cdot 10 - \frac{1}{2}\right), -\left(\frac{3}{10} + x \cdot 10\right)\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, x \cdot 10 - \frac{12}{5}\right), \frac{8}{5} - x \cdot 10\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, x \cdot 10 - \frac{67}{20}\right), \frac{51}{20} - x \cdot 10\right), t\_16\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_51, x \cdot 10 - \frac{43}{10}\right), \frac{7}{2} - x \cdot 10\right), t\_16\right)\right), t\_23\right), t\_16\right), z \cdot 10 - \frac{22}{5}\right), t\_39\right), t\_32\right), t\_21\right), -\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\mathsf{max}\left(t\_61, \frac{15}{2} + x \cdot 10\right), -\left(x \cdot 10 + \frac{21}{2}\right)\right), \sqrt{t\_54 + {t\_20}^{2}} - \frac{3}{2}\right), \mathsf{max}\left(\mathsf{max}\left(t\_61, 4 + x \cdot 10\right), -\left(7 + x \cdot 10\right)\right)\right), \sqrt{t\_54 + {\left(\frac{11}{2} + x \cdot 10\right)}^{2}} - \frac{3}{2}\right), \mathsf{max}\left(\mathsf{max}\left(t\_61, x \cdot 10 - \frac{3}{2}\right), -\left(\frac{3}{2} + x \cdot 10\right)\right)\right), \sqrt{t\_54 + {\left(x \cdot 10\right)}^{2}} - \frac{3}{2}\right), \mathsf{max}\left(\mathsf{max}\left(t\_61, x \cdot 10 - 5\right), 2 - x \cdot 10\right)\right), \sqrt{t\_54 + {\left(x \cdot 10 - \frac{7}{2}\right)}^{2}} - \frac{3}{2}\right)\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(-\left(4 + z \cdot 10\right), t\_65\right), t\_27\right), t\_0\right), t\_38\right), t\_21\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_67, z \cdot 10 - \frac{23}{10}\right), 2 - z \cdot 10\right), t\_73\right), t\_21\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_67, t\_9\right), \frac{23}{10} - z \cdot 10\right), -\left(\frac{19}{5} + y \cdot 10\right)\right), t\_21\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_0, t\_73\right), z \cdot 10 - \frac{16}{5}\right), \frac{29}{10} - z \cdot 10\right), t\_15\right), t\_21\right)\right), \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(t\_5, t\_19\right), t\_28\right), t\_70\right), -t\_29\right), t\_39\right)\right), \sqrt{\left({\left(z \cdot 5 - \frac{61}{20}\right)}^{2} + t\_13\right) + t\_72} - \frac{1}{2}\right) \end{array} \]

FPCore

(FPCore (x y z)
  :precision binary64
  (let* ((t_0 (- (* x 10) 7))
       (t_1 (- (* y 10) 7/2))
       (t_2 (- (* y 10) 11/2))
       (t_3 (- (* x 10) 11/2))
       (t_4 (- (* z 10) 5/2))
       (t_5 (- (* z 10) 13/2))
       (t_6 (- (* x 10) 15/2))
       (t_7 (- (* z 10) 37/5))
       (t_8 (pow (+ 131/20 (* x 10)) 2))
       (t_9 (- (* z 10) 31/10))
       (t_10 (- (* z 10) 33/2))
       (t_11 (- (* z 10) 29/5))
       (t_12 (- (* y 10) 2))
       (t_13 (pow (+ 63/20 (* y 10)) 2))
       (t_14 (- 1/5 (* z 10)))
       (t_15 (+ 7/2 (* y 10)))
       (t_16 (- t_15))
       (t_17 (- (* y 10) 6))
       (t_18 (- (* y 10) 13/2))
       (t_19 (+ 13/5 (* y 10)))
       (t_20 (+ 9 (* x 10)))
       (t_21 (- t_20))
       (t_22 (- (+ 23/10 (* y 10))))
       (t_23 (+ 3 (* y 10)))
       (t_24 (+ 999999/10000000 (* z 10)))
       (t_25 (+ 41/10 (* y 10)))
       (t_26 (+ 17/2 (* y 10)))
       (t_27 (- t_26))
       (t_28 (- (+ 37/10 (* y 10))))
       (t_29 (+ 33/10 (* x 10)))
       (t_30 (fmax t_10 t_25))
       (t_31 (- (* z 10) 6))
       (t_32 (- (* x 10) 6))
       (t_33 (+ 27/5 (* y 10)))
       (t_34 (- (* y 10) 21/2))
       (t_35 (- 3/2 (* z 10)))
       (t_36 (- 33/10 (* z 10)))
       (t_37 (+ 6 (* x 10)))
       (t_38 (+ 7/2 (* z 10)))
       (t_39 (- t_38))
       (t_40 (- (+ 61/10 (* y 10))))
       (t_41 (- (* y 10) 31/5))
       (t_42 (pow (- (* x 10) 21/20) 2))
       (t_43 (+ 3/2 (* y 10)))
       (t_44 (- (* x 10) 9))
       (t_45 (- 5 (* x 10)))
       (t_46 (- (* x 10) 34/5))
       (t_47 (- 13/2 (* z 10)))
       (t_48 (- 31/10 (* z 10)))
       (t_49 (- (* x 10) 29/5))
       (t_50 (+ 5/2 (* y 10)))
       (t_51 (fmax (fmax (- (* z 10) 41/10) (- 17/5 (* z 10))) t_50))
       (t_52 (- t_50))
       (t_53 (+ 1 (* z 10)))
       (t_54 (pow t_53 2))
       (t_55 (fmax (- (* z 10) 24/5) (- 5/2 (* z 10))))
       (t_56 (sqrt (+ (pow t_25 2) (pow (- (* z 10) 33/10) 2))))
       (t_57 (- t_56 3/2))
       (t_58 (- (* z 10) 28/5))
       (t_59 (fmax t_58 (- 24/5 (* z 10))))
       (t_60 (pow t_58 2))
       (t_61 (fmax t_39 t_53))
       (t_62 (- 57/10 (* x 10)))
       (t_63 (pow (- (* z 5) 11/5) 2))
       (t_64 (+ 36/5 (* y 10)))
       (t_65 (- (* y 10) 9))
       (t_66
        (-
         (fmin
          (fmin
           (fmin
            (fmin
             (fmin
              (fmin
               (fmin
                (fmax (fmax (fmax t_1 (- 1/2 (* y 10))) t_39) t_53)
                (- (sqrt (+ (pow t_12 2) t_54)) 3/2))
               (fmax
                (fmax (fmax (- (* y 10) 7) (- 4 (* y 10))) t_39)
                t_53))
              (- (sqrt (+ (pow t_2 2) t_54)) 3/2))
             (fmax (fmax (fmax (- 15/2 (* y 10)) t_34) t_39) t_53))
            (- (sqrt (+ (pow t_65 2) t_54)) 3/2))
           (fmax (fmax (fmax (- t_23) (* y 10)) t_39) t_53))
          (- (sqrt (+ (pow t_43 2) t_54)) 3/2))))
       (t_67 (fmax t_65 t_0))
       (t_68 (- (fmin (- 9 (* x 10)) t_3)))
       (t_69 (pow (- (* x 10) 97/20) 2))
       (t_70 (+ 11/5 (* x 10)))
       (t_71 (- 67/10 (* x 10)))
       (t_72 (pow (+ 11/4 (* x 10)) 2))
       (t_73 (- (+ 39/10 (* y 10)))))
  (fmin
   (fmin
    (fmin
     (fmin
      (fmin
       (fmin
        (fmin
         (fmin
          (fmin
           (fmin
            (fmin
             (fmin
              (fmin
               (fmin
                (fmin
                 (fmin
                  (fmin
                   (fmin
                    (fmin
                     (fmin
                      (fmin
                       (fmin
                        (fmin
                         (fmin
                          (fmin
                           (fmin
                            (fmin
                             (fmin
                              (fmin
                               (fmax
                                (fmax
                                 (fmax
                                  (fmax
                                   (fmax
                                    (fmax t_66 (+ 5/2 (* x 10)))
                                    (- (+ 3 (* x 10))))
                                   t_4)
                                  t_65)
                                 t_16)
                                t_39)
                               (fmax
                                (fmax
                                 (fmax
                                  (fmax
                                   (fmax
                                    (fmax t_66 (- (* x 10) 57/10))
                                    (- 26/5 (* x 10)))
                                   t_4)
                                  t_65)
                                 t_16)
                                t_39))
                              (fmax
                               (fmax
                                (fmax
                                 (fmax
                                  (fmax
                                   (fmax
                                    (-
                                     (fmin
                                      (fmin
                                       (fmin
                                        (fmin
                                         (fmin
                                          (fmin
                                           (fmin
                                            (fmin
                                             (fmax
                                              (fmax
                                               (fmax
                                                (fmax
                                                 (fmax
                                                  t_10
                                                  (- 7/2 (* z 10)))
                                                 t_25)
                                                (- (+ (* y 10) 27/2)))
                                               t_44)
                                              t_45)
                                             (fmax
                                              (fmax
                                               (fmax
                                                (fmax
                                                 (fmax t_10 t_44)
                                                 t_45)
                                                (- 1/2 (* z 10)))
                                               (+ 15/2 (* y 10)))
                                              t_27))
                                            (fmax
                                             (fmax
                                              (fmax
                                               (fmax
                                                (fmax t_44 t_48)
                                                t_34)
                                               (- 13/2 (* y 10)))
                                              (- 3 (* x 10)))
                                             t_5))
                                           (fmax
                                            (fmax
                                             (fmax
                                              (fmax
                                               (fmax t_30 t_45)
                                               t_35)
                                              t_40)
                                             t_49)
                                            (-
                                             (* x 8)
                                             (+ 5/2 (* z 10)))))
                                          (fmax
                                           (fmax
                                            (fmax
                                             (fmax
                                              (fmax t_45 t_48)
                                              t_49)
                                             t_31)
                                            t_41)
                                           t_52))
                                         (fmax
                                          (fmax
                                           (fmax
                                            (fmax
                                             (fmax t_45 t_11)
                                             t_17)
                                            t_22)
                                           t_32)
                                          t_36))
                                        (fmax
                                         (fmax
                                          (fmax
                                           (fmax
                                            (fmax t_30 t_35)
                                            t_40)
                                           t_71)
                                          t_6)
                                         (-
                                          15/2
                                          (+ (* x 8) (* z 10)))))
                                       (fmax
                                        (fmax
                                         (fmax
                                          (fmax (fmax t_48 t_31) t_41)
                                          t_52)
                                         t_71)
                                        t_6))
                                      (fmax
                                       (fmax
                                        (fmax
                                         (fmax (fmax t_11 t_17) t_22)
                                         t_6)
                                        (- 13/2 (* x 10)))
                                       t_36)))
                                    (- 11/2 (* x 10)))
                                   t_65)
                                  t_27)
                                 t_0)
                                t_5)
                               t_39))
                             (fmax
                              (fmax
                               (fmax
                                (fmax
                                 (fmax (- (* z 10) 7/2) t_33)
                                 (- (+ 13/2 (* y 10))))
                                t_46)
                               t_62)
                              t_36))
                            (fmax
                             (fmax
                              (fmax
                               (fmax
                                (fmax (- (* z 10) 67/10) t_18)
                                (- (+ 43/10 (* y 10))))
                               (- (* x 10) 36/5))
                              (- 53/10 (* x 10)))
                             t_47))
                           (fmax
                            (fmax
                             (fmax
                              (fmax
                               (fmax
                                (+
                                 (+ (* z 8619/5000) 543983/100000)
                                 (* y 98503/10000))
                                (-
                                 (* z 8619/5000)
                                 (+ 397829/50000 (* y 98503/10000))))
                               (-
                                (+
                                 (* z 184289/100000)
                                 (* x 122859/12500))
                                374413/50000))
                              (-
                               (+ (* z 184289/100000) 95953/20000)
                               (* x 122859/12500)))
                             (- (* z 10) 39/10))
                            t_36))
                          (fmax
                           (fmax (- (* x 10) 67/10) (- 29/5 (* x 10)))
                           t_57))
                         (fmax
                          (fmax
                           (fmax (fmax t_46 t_62) t_57)
                           (- 13/10 t_56))
                          t_36))
                        (- (sqrt (+ (+ t_60 t_69) t_13)) 1/10))
                       (fmax
                        (fmin
                         (fmin
                          (fmin
                           (fmax
                            (fmax
                             (fmax
                              (fmax
                               (fmax
                                (- 14/5 (* z 10))
                                (- 27/5 (* y 10)))
                               t_44)
                              t_65)
                             t_9)
                            t_21)
                           (fmax
                            (fmax
                             (fmax
                              (- (* z 30) t_33)
                              (- (fmax (- (* z 30) t_23) t_68)))
                             (- (fmin t_24 t_48)))
                            t_68))
                          (fmax
                           (fmax (- (* z 30) (+ 93/10 (* y 10))) t_68)
                           (-
                            (fmin
                             (fmin
                              (fmax
                               t_68
                               (- (* z 30) (+ 69/10 (* y 10))))
                              t_14)
                             t_26))))
                         (fmax
                          (fmax
                           (fmax
                            (fmax
                             (fmax (- (* z 10) 1/5) (- t_24))
                             (+ 16/5 (* y 10)))
                            (- t_64))
                           (- 7 (* x 10)))
                          t_44))
                        (-
                         (fmin
                          (fmin
                           (fmin
                            (fmin
                             (fmin
                              (fmin
                               (fmin
                                (fmin
                                 (fmin
                                  (fmin
                                   (fmin
                                    (fmin
                                     (fmin
                                      (fmin
                                       (fmin
                                        (fmin
                                         (fmin
                                          (fmin
                                           (fmin
                                            (fmin
                                             (fmin
                                              (fmin
                                               (fmin
                                                (fmin
                                                 (fmax t_14 t_23)
                                                 (fmax
                                                  (-
                                                   371/1000
                                                   (* z 10))
                                                  t_50))
                                                (fmax
                                                 (+ 2 (* y 10))
                                                 (-
                                                  271/500
                                                  (* z 10))))
                                               (fmax
                                                (- 713/1000 (* z 10))
                                                t_43))
                                              (fmax
                                               (+ 1 (* y 10))
                                               (- 221/250 (* z 10))))
                                             (fmax
                                              (+ 1/2 (* y 10))
                                              (- 211/200 (* z 10))))
                                            (fmax
                                             (- 613/500 (* z 10))
                                             (* y 10)))
                                           (fmax
                                            (- (* y 10) 1/2)
                                            (- 1397/1000 (* z 10))))
                                          (fmax
                                           (- (* y 10) 1)
                                           (- 196/125 (* z 10))))
                                         (fmax
                                          (- (* y 10) 3/2)
                                          (- 1739/1000 (* z 10))))
                                        (fmax
                                         (- 191/100 (* z 10))
                                         t_12))
                                       (fmax
                                        (- (* y 10) 5/2)
                                        (- 2081/1000 (* z 10))))
                                      (fmax
                                       (- (* y 10) 3)
                                       (- 563/250 (* z 10))))
                                     (fmax
                                      (- 2423/1000 (* z 10))
                                      t_1))
                                    (fmax
                                     (- (* y 10) 4)
                                     (- 1297/500 (* z 10))))
                                   (fmax
                                    (- (* y 10) 9/2)
                                    (- 553/200 (* z 10))))
                                  (fmax
                                   (- (* y 10) 5)
                                   (- 367/125 (* z 10))))
                                 (fmax (- 3107/1000 (* z 10)) t_2))
                                (fmax (- 1639/500 (* z 10)) t_17))
                               (fmax (- 3449/1000 (* z 10)) t_18))
                              (fmax
                               (+ 46/5 (* y 10))
                               (- (+ 13/20 (* z 10)))))
                             (fmax
                              (+ 87/10 (* y 10))
                              (- (+ 479/1000 (* z 10)))))
                            (fmax
                             (+ 41/5 (* y 10))
                             (- (+ 77/250 (* z 10)))))
                           (fmax
                            (+ 77/10 (* y 10))
                            (- (+ 137/1000 (* z 10)))))
                          (fmax t_64 (- 339999/10000000 (* z 10)))))))
                      (fmax
                       (fmax (- (sqrt (+ t_13 t_72)) 1/10) t_7)
                       t_47))
                     (- (sqrt (+ (+ (pow t_7 2) t_13) t_72)) 1/10))
                    (fmax
                     (fmax
                      (fmax (fmax t_55 (- (+ 71/10 (* x 10)))) t_19)
                      t_28)
                     t_37))
                   (- (sqrt (+ (+ t_63 t_8) t_13)) 1/2))
                  (fmax t_59 (- (sqrt (+ t_8 t_13)) 1/10)))
                 (- (sqrt (+ (+ t_8 t_60) t_13)) 1/10))
                (fmax
                 (fmax
                  (fmax (fmax t_55 (- (* x 10) 8/5)) (- 1/2 (* x 10)))
                  t_19)
                 t_28))
               (- (sqrt (+ (+ t_63 t_42) t_13)) 1/2))
              (fmax t_59 (- (sqrt (+ t_42 t_13)) 1/10)))
             (- (sqrt (+ (+ t_60 t_42) t_13)) 1/10))
            (fmax
             (fmax
              (fmax (fmax t_55 (- (* x 10) 27/5)) (- 43/10 (* x 10)))
              t_19)
             t_28))
           (- (sqrt (+ (+ t_63 t_69) t_13)) 1/2))
          (fmax t_59 (- (sqrt (+ t_69 t_13)) 1/10)))
         (fmax
          (fmax
           (fmax
            (fmax
             (fmax
              (fmax
               (fmax
                (-
                 (fmin
                  (fmin
                   (fmin
                    (fmin
                     (fmin
                      (fmin
                       (fmin
                        (fmin
                         (fmin
                          (fmin
                           (fmin
                            (fmax
                             (fmax
                              (fmax
                               (fmax
                                (fmax t_3 t_21)
                                (- (* z 10) 21/5))
                               t_36)
                              (+ 17/5 (* y 10)))
                             (- (+ 18/5 (* y 10))))
                            (fmax
                             (fmax
                              (fmax t_51 (+ 81/10 (* x 10)))
                              (- (+ 89/10 (* x 10))))
                             t_16))
                           (fmax
                            (fmax
                             (fmax t_51 (+ 143/20 (* x 10)))
                             (- (+ 159/20 (* x 10))))
                            t_16))
                          (fmax
                           (fmax
                            (fmax t_51 (+ 26/5 (* x 10)))
                            (- t_37))
                           t_16))
                         (fmax
                          (fmax
                           (fmax t_51 (+ 17/4 (* x 10)))
                           (- (+ 101/20 (* x 10))))
                          t_16))
                        (fmax
                         (fmax
                          (fmax t_51 t_29)
                          (- (+ 41/10 (* x 10))))
                         t_16))
                       (fmax
                        (fmax (fmax t_51 (+ 7/5 (* x 10))) (- t_70))
                        t_16))
                      (fmax
                       (fmax
                        (fmax t_51 (+ 9/20 (* x 10)))
                        (- (+ 5/4 (* x 10))))
                       t_16))
                     (fmax
                      (fmax
                       (fmax t_51 (- (* x 10) 1/2))
                       (- (+ 3/10 (* x 10))))
                      t_16))
                    (fmax
                     (fmax
                      (fmax t_51 (- (* x 10) 12/5))
                      (- 8/5 (* x 10)))
                     t_16))
                   (fmax
                    (fmax
                     (fmax t_51 (- (* x 10) 67/20))
                     (- 51/20 (* x 10)))
                    t_16))
                  (fmax
                   (fmax
                    (fmax t_51 (- (* x 10) 43/10))
                    (- 7/2 (* x 10)))
                   t_16)))
                t_23)
               t_16)
              (- (* z 10) 22/5))
             t_39)
            t_32)
           t_21)
          (-
           (fmin
            (fmin
             (fmin
              (fmin
               (fmin
                (fmin
                 (fmin
                  (fmax
                   (fmax t_61 (+ 15/2 (* x 10)))
                   (- (+ (* x 10) 21/2)))
                  (- (sqrt (+ t_54 (pow t_20 2))) 3/2))
                 (fmax (fmax t_61 (+ 4 (* x 10))) (- (+ 7 (* x 10)))))
                (- (sqrt (+ t_54 (pow (+ 11/2 (* x 10)) 2))) 3/2))
               (fmax
                (fmax t_61 (- (* x 10) 3/2))
                (- (+ 3/2 (* x 10)))))
              (- (sqrt (+ t_54 (pow (* x 10) 2))) 3/2))
             (fmax (fmax t_61 (- (* x 10) 5)) (- 2 (* x 10))))
            (- (sqrt (+ t_54 (pow (- (* x 10) 7/2) 2))) 3/2)))))
        (fmax
         (fmax
          (fmax (fmax (fmax (- (+ 4 (* z 10))) t_65) t_27) t_0)
          t_38)
         t_21))
       (fmax
        (fmax
         (fmax (fmax t_67 (- (* z 10) 23/10)) (- 2 (* z 10)))
         t_73)
        t_21))
      (fmax
       (fmax
        (fmax (fmax t_67 t_9) (- 23/10 (* z 10)))
        (- (+ 19/5 (* y 10))))
       t_21))
     (fmax
      (fmax
       (fmax
        (fmax (fmax t_0 t_73) (- (* z 10) 16/5))
        (- 29/10 (* z 10)))
       t_15)
      t_21))
    (fmax
     (fmax (fmax (fmax (fmax t_5 t_19) t_28) t_70) (- t_29))
     t_39))
   (- (sqrt (+ (+ (pow (- (* z 5) 61/20) 2) t_13) t_72)) 1/2))))

C

double code(double x, double y, double z) {
	double t_0 = (x * 10.0) - 7.0;
	double t_1 = (y * 10.0) - 3.5;
	double t_2 = (y * 10.0) - 5.5;
	double t_3 = (x * 10.0) - 5.5;
	double t_4 = (z * 10.0) - 2.5;
	double t_5 = (z * 10.0) - 6.5;
	double t_6 = (x * 10.0) - 7.5;
	double t_7 = (z * 10.0) - 7.4;
	double t_8 = pow((6.55 + (x * 10.0)), 2.0);
	double t_9 = (z * 10.0) - 3.1;
	double t_10 = (z * 10.0) - 16.5;
	double t_11 = (z * 10.0) - 5.8;
	double t_12 = (y * 10.0) - 2.0;
	double t_13 = pow((3.15 + (y * 10.0)), 2.0);
	double t_14 = 0.2 - (z * 10.0);
	double t_15 = 3.5 + (y * 10.0);
	double t_16 = -t_15;
	double t_17 = (y * 10.0) - 6.0;
	double t_18 = (y * 10.0) - 6.5;
	double t_19 = 2.6 + (y * 10.0);
	double t_20 = 9.0 + (x * 10.0);
	double t_21 = -t_20;
	double t_22 = -(2.3 + (y * 10.0));
	double t_23 = 3.0 + (y * 10.0);
	double t_24 = 0.0999999 + (z * 10.0);
	double t_25 = 4.1 + (y * 10.0);
	double t_26 = 8.5 + (y * 10.0);
	double t_27 = -t_26;
	double t_28 = -(3.7 + (y * 10.0));
	double t_29 = 3.3 + (x * 10.0);
	double t_30 = fmax(t_10, t_25);
	double t_31 = (z * 10.0) - 6.0;
	double t_32 = (x * 10.0) - 6.0;
	double t_33 = 5.4 + (y * 10.0);
	double t_34 = (y * 10.0) - 10.5;
	double t_35 = 1.5 - (z * 10.0);
	double t_36 = 3.3 - (z * 10.0);
	double t_37 = 6.0 + (x * 10.0);
	double t_38 = 3.5 + (z * 10.0);
	double t_39 = -t_38;
	double t_40 = -(6.1 + (y * 10.0));
	double t_41 = (y * 10.0) - 6.2;
	double t_42 = pow(((x * 10.0) - 1.05), 2.0);
	double t_43 = 1.5 + (y * 10.0);
	double t_44 = (x * 10.0) - 9.0;
	double t_45 = 5.0 - (x * 10.0);
	double t_46 = (x * 10.0) - 6.8;
	double t_47 = 6.5 - (z * 10.0);
	double t_48 = 3.1 - (z * 10.0);
	double t_49 = (x * 10.0) - 5.8;
	double t_50 = 2.5 + (y * 10.0);
	double t_51 = fmax(fmax(((z * 10.0) - 4.1), (3.4 - (z * 10.0))), t_50);
	double t_52 = -t_50;
	double t_53 = 1.0 + (z * 10.0);
	double t_54 = pow(t_53, 2.0);
	double t_55 = fmax(((z * 10.0) - 4.8), (2.5 - (z * 10.0)));
	double t_56 = sqrt((pow(t_25, 2.0) + pow(((z * 10.0) - 3.3), 2.0)));
	double t_57 = t_56 - 1.5;
	double t_58 = (z * 10.0) - 5.6;
	double t_59 = fmax(t_58, (4.8 - (z * 10.0)));
	double t_60 = pow(t_58, 2.0);
	double t_61 = fmax(t_39, t_53);
	double t_62 = 5.7 - (x * 10.0);
	double t_63 = pow(((z * 5.0) - 2.2), 2.0);
	double t_64 = 7.2 + (y * 10.0);
	double t_65 = (y * 10.0) - 9.0;
	double t_66 = -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(t_1, (0.5 - (y * 10.0))), t_39), t_53), (sqrt((pow(t_12, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(((y * 10.0) - 7.0), (4.0 - (y * 10.0))), t_39), t_53)), (sqrt((pow(t_2, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax((7.5 - (y * 10.0)), t_34), t_39), t_53)), (sqrt((pow(t_65, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(-t_23, (y * 10.0)), t_39), t_53)), (sqrt((pow(t_43, 2.0) + t_54)) - 1.5));
	double t_67 = fmax(t_65, t_0);
	double t_68 = -fmin((9.0 - (x * 10.0)), t_3);
	double t_69 = pow(((x * 10.0) - 4.85), 2.0);
	double t_70 = 2.2 + (x * 10.0);
	double t_71 = 6.7 - (x * 10.0);
	double t_72 = pow((2.75 + (x * 10.0)), 2.0);
	double t_73 = -(3.9 + (y * 10.0));
	return fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(fmax(t_66, (2.5 + (x * 10.0))), -(3.0 + (x * 10.0))), t_4), t_65), t_16), t_39), fmax(fmax(fmax(fmax(fmax(fmax(t_66, ((x * 10.0) - 5.7)), (5.2 - (x * 10.0))), t_4), t_65), t_16), t_39)), fmax(fmax(fmax(fmax(fmax(fmax(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_10, (3.5 - (z * 10.0))), t_25), -((y * 10.0) + 13.5)), t_44), t_45), fmax(fmax(fmax(fmax(fmax(t_10, t_44), t_45), (0.5 - (z * 10.0))), (7.5 + (y * 10.0))), t_27)), fmax(fmax(fmax(fmax(fmax(t_44, t_48), t_34), (6.5 - (y * 10.0))), (3.0 - (x * 10.0))), t_5)), fmax(fmax(fmax(fmax(fmax(t_30, t_45), t_35), t_40), t_49), ((x * 8.0) - (2.5 + (z * 10.0))))), fmax(fmax(fmax(fmax(fmax(t_45, t_48), t_49), t_31), t_41), t_52)), fmax(fmax(fmax(fmax(fmax(t_45, t_11), t_17), t_22), t_32), t_36)), fmax(fmax(fmax(fmax(fmax(t_30, t_35), t_40), t_71), t_6), (7.5 - ((x * 8.0) + (z * 10.0))))), fmax(fmax(fmax(fmax(fmax(t_48, t_31), t_41), t_52), t_71), t_6)), fmax(fmax(fmax(fmax(fmax(t_11, t_17), t_22), t_6), (6.5 - (x * 10.0))), t_36)), (5.5 - (x * 10.0))), t_65), t_27), t_0), t_5), t_39)), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 3.5), t_33), -(6.5 + (y * 10.0))), t_46), t_62), t_36)), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 6.7), t_18), -(4.3 + (y * 10.0))), ((x * 10.0) - 7.2)), (5.3 - (x * 10.0))), t_47)), fmax(fmax(fmax(fmax(fmax((((z * 1.7238) + 5.43983) + (y * 9.8503)), ((z * 1.7238) - (7.95658 + (y * 9.8503)))), (((z * 1.84289) + (x * 9.82872)) - 7.48826)), (((z * 1.84289) + 4.79765) - (x * 9.82872))), ((z * 10.0) - 3.9)), t_36)), fmax(fmax(((x * 10.0) - 6.7), (5.8 - (x * 10.0))), t_57)), fmax(fmax(fmax(fmax(t_46, t_62), t_57), (1.3 - t_56)), t_36)), (sqrt(((t_60 + t_69) + t_13)) - 0.1)), fmax(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax((2.8 - (z * 10.0)), (5.4 - (y * 10.0))), t_44), t_65), t_9), t_21), fmax(fmax(fmax(((z * 30.0) - t_33), -fmax(((z * 30.0) - t_23), t_68)), -fmin(t_24, t_48)), t_68)), fmax(fmax(((z * 30.0) - (9.3 + (y * 10.0))), t_68), -fmin(fmin(fmax(t_68, ((z * 30.0) - (6.9 + (y * 10.0)))), t_14), t_26))), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 0.2), -t_24), (3.2 + (y * 10.0))), -t_64), (7.0 - (x * 10.0))), t_44)), -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(t_14, t_23), fmax((0.371 - (z * 10.0)), t_50)), fmax((2.0 + (y * 10.0)), (0.542 - (z * 10.0)))), fmax((0.713 - (z * 10.0)), t_43)), fmax((1.0 + (y * 10.0)), (0.884 - (z * 10.0)))), fmax((0.5 + (y * 10.0)), (1.055 - (z * 10.0)))), fmax((1.226 - (z * 10.0)), (y * 10.0))), fmax(((y * 10.0) - 0.5), (1.397 - (z * 10.0)))), fmax(((y * 10.0) - 1.0), (1.568 - (z * 10.0)))), fmax(((y * 10.0) - 1.5), (1.739 - (z * 10.0)))), fmax((1.91 - (z * 10.0)), t_12)), fmax(((y * 10.0) - 2.5), (2.081 - (z * 10.0)))), fmax(((y * 10.0) - 3.0), (2.252 - (z * 10.0)))), fmax((2.423 - (z * 10.0)), t_1)), fmax(((y * 10.0) - 4.0), (2.594 - (z * 10.0)))), fmax(((y * 10.0) - 4.5), (2.765 - (z * 10.0)))), fmax(((y * 10.0) - 5.0), (2.936 - (z * 10.0)))), fmax((3.107 - (z * 10.0)), t_2)), fmax((3.278 - (z * 10.0)), t_17)), fmax((3.449 - (z * 10.0)), t_18)), fmax((9.2 + (y * 10.0)), -(0.65 + (z * 10.0)))), fmax((8.7 + (y * 10.0)), -(0.479 + (z * 10.0)))), fmax((8.2 + (y * 10.0)), -(0.308 + (z * 10.0)))), fmax((7.7 + (y * 10.0)), -(0.137 + (z * 10.0)))), fmax(t_64, (0.0339999 - (z * 10.0)))))), fmax(fmax((sqrt((t_13 + t_72)) - 0.1), t_7), t_47)), (sqrt(((pow(t_7, 2.0) + t_13) + t_72)) - 0.1)), fmax(fmax(fmax(fmax(t_55, -(7.1 + (x * 10.0))), t_19), t_28), t_37)), (sqrt(((t_63 + t_8) + t_13)) - 0.5)), fmax(t_59, (sqrt((t_8 + t_13)) - 0.1))), (sqrt(((t_8 + t_60) + t_13)) - 0.1)), fmax(fmax(fmax(fmax(t_55, ((x * 10.0) - 1.6)), (0.5 - (x * 10.0))), t_19), t_28)), (sqrt(((t_63 + t_42) + t_13)) - 0.5)), fmax(t_59, (sqrt((t_42 + t_13)) - 0.1))), (sqrt(((t_60 + t_42) + t_13)) - 0.1)), fmax(fmax(fmax(fmax(t_55, ((x * 10.0) - 5.4)), (4.3 - (x * 10.0))), t_19), t_28)), (sqrt(((t_63 + t_69) + t_13)) - 0.5)), fmax(t_59, (sqrt((t_69 + t_13)) - 0.1))), fmax(fmax(fmax(fmax(fmax(fmax(fmax(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_3, t_21), ((z * 10.0) - 4.2)), t_36), (3.4 + (y * 10.0))), -(3.6 + (y * 10.0))), fmax(fmax(fmax(t_51, (8.1 + (x * 10.0))), -(8.9 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (7.15 + (x * 10.0))), -(7.95 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (5.2 + (x * 10.0))), -t_37), t_16)), fmax(fmax(fmax(t_51, (4.25 + (x * 10.0))), -(5.05 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, t_29), -(4.1 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (1.4 + (x * 10.0))), -t_70), t_16)), fmax(fmax(fmax(t_51, (0.45 + (x * 10.0))), -(1.25 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 0.5)), -(0.3 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 2.4)), (1.6 - (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 3.35)), (2.55 - (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 4.3)), (3.5 - (x * 10.0))), t_16)), t_23), t_16), ((z * 10.0) - 4.4)), t_39), t_32), t_21), -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(t_61, (7.5 + (x * 10.0))), -((x * 10.0) + 10.5)), (sqrt((t_54 + pow(t_20, 2.0))) - 1.5)), fmax(fmax(t_61, (4.0 + (x * 10.0))), -(7.0 + (x * 10.0)))), (sqrt((t_54 + pow((5.5 + (x * 10.0)), 2.0))) - 1.5)), fmax(fmax(t_61, ((x * 10.0) - 1.5)), -(1.5 + (x * 10.0)))), (sqrt((t_54 + pow((x * 10.0), 2.0))) - 1.5)), fmax(fmax(t_61, ((x * 10.0) - 5.0)), (2.0 - (x * 10.0)))), (sqrt((t_54 + pow(((x * 10.0) - 3.5), 2.0))) - 1.5)))), fmax(fmax(fmax(fmax(fmax(-(4.0 + (z * 10.0)), t_65), t_27), t_0), t_38), t_21)), fmax(fmax(fmax(fmax(t_67, ((z * 10.0) - 2.3)), (2.0 - (z * 10.0))), t_73), t_21)), fmax(fmax(fmax(fmax(t_67, t_9), (2.3 - (z * 10.0))), -(3.8 + (y * 10.0))), t_21)), fmax(fmax(fmax(fmax(fmax(t_0, t_73), ((z * 10.0) - 3.2)), (2.9 - (z * 10.0))), t_15), t_21)), fmax(fmax(fmax(fmax(fmax(t_5, t_19), t_28), t_70), -t_29), t_39)), (sqrt(((pow(((z * 5.0) - 3.05), 2.0) + t_13) + t_72)) - 0.5));
}

Fortran

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_8
    real(8) :: t_9
    t_0 = (x * 10.0d0) - 7.0d0
    t_1 = (y * 10.0d0) - 3.5d0
    t_2 = (y * 10.0d0) - 5.5d0
    t_3 = (x * 10.0d0) - 5.5d0
    t_4 = (z * 10.0d0) - 2.5d0
    t_5 = (z * 10.0d0) - 6.5d0
    t_6 = (x * 10.0d0) - 7.5d0
    t_7 = (z * 10.0d0) - 7.4d0
    t_8 = (6.55d0 + (x * 10.0d0)) ** 2.0d0
    t_9 = (z * 10.0d0) - 3.1d0
    t_10 = (z * 10.0d0) - 16.5d0
    t_11 = (z * 10.0d0) - 5.8d0
    t_12 = (y * 10.0d0) - 2.0d0
    t_13 = (3.15d0 + (y * 10.0d0)) ** 2.0d0
    t_14 = 0.2d0 - (z * 10.0d0)
    t_15 = 3.5d0 + (y * 10.0d0)
    t_16 = -t_15
    t_17 = (y * 10.0d0) - 6.0d0
    t_18 = (y * 10.0d0) - 6.5d0
    t_19 = 2.6d0 + (y * 10.0d0)
    t_20 = 9.0d0 + (x * 10.0d0)
    t_21 = -t_20
    t_22 = -(2.3d0 + (y * 10.0d0))
    t_23 = 3.0d0 + (y * 10.0d0)
    t_24 = 0.0999999d0 + (z * 10.0d0)
    t_25 = 4.1d0 + (y * 10.0d0)
    t_26 = 8.5d0 + (y * 10.0d0)
    t_27 = -t_26
    t_28 = -(3.7d0 + (y * 10.0d0))
    t_29 = 3.3d0 + (x * 10.0d0)
    t_30 = fmax(t_10, t_25)
    t_31 = (z * 10.0d0) - 6.0d0
    t_32 = (x * 10.0d0) - 6.0d0
    t_33 = 5.4d0 + (y * 10.0d0)
    t_34 = (y * 10.0d0) - 10.5d0
    t_35 = 1.5d0 - (z * 10.0d0)
    t_36 = 3.3d0 - (z * 10.0d0)
    t_37 = 6.0d0 + (x * 10.0d0)
    t_38 = 3.5d0 + (z * 10.0d0)
    t_39 = -t_38
    t_40 = -(6.1d0 + (y * 10.0d0))
    t_41 = (y * 10.0d0) - 6.2d0
    t_42 = ((x * 10.0d0) - 1.05d0) ** 2.0d0
    t_43 = 1.5d0 + (y * 10.0d0)
    t_44 = (x * 10.0d0) - 9.0d0
    t_45 = 5.0d0 - (x * 10.0d0)
    t_46 = (x * 10.0d0) - 6.8d0
    t_47 = 6.5d0 - (z * 10.0d0)
    t_48 = 3.1d0 - (z * 10.0d0)
    t_49 = (x * 10.0d0) - 5.8d0
    t_50 = 2.5d0 + (y * 10.0d0)
    t_51 = fmax(fmax(((z * 10.0d0) - 4.1d0), (3.4d0 - (z * 10.0d0))), t_50)
    t_52 = -t_50
    t_53 = 1.0d0 + (z * 10.0d0)
    t_54 = t_53 ** 2.0d0
    t_55 = fmax(((z * 10.0d0) - 4.8d0), (2.5d0 - (z * 10.0d0)))
    t_56 = sqrt(((t_25 ** 2.0d0) + (((z * 10.0d0) - 3.3d0) ** 2.0d0)))
    t_57 = t_56 - 1.5d0
    t_58 = (z * 10.0d0) - 5.6d0
    t_59 = fmax(t_58, (4.8d0 - (z * 10.0d0)))
    t_60 = t_58 ** 2.0d0
    t_61 = fmax(t_39, t_53)
    t_62 = 5.7d0 - (x * 10.0d0)
    t_63 = ((z * 5.0d0) - 2.2d0) ** 2.0d0
    t_64 = 7.2d0 + (y * 10.0d0)
    t_65 = (y * 10.0d0) - 9.0d0
    t_66 = -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(t_1, (0.5d0 - (y * 10.0d0))), t_39), t_53), (sqrt(((t_12 ** 2.0d0) + t_54)) - 1.5d0)), fmax(fmax(fmax(((y * 10.0d0) - 7.0d0), (4.0d0 - (y * 10.0d0))), t_39), t_53)), (sqrt(((t_2 ** 2.0d0) + t_54)) - 1.5d0)), fmax(fmax(fmax((7.5d0 - (y * 10.0d0)), t_34), t_39), t_53)), (sqrt(((t_65 ** 2.0d0) + t_54)) - 1.5d0)), fmax(fmax(fmax(-t_23, (y * 10.0d0)), t_39), t_53)), (sqrt(((t_43 ** 2.0d0) + t_54)) - 1.5d0))
    t_67 = fmax(t_65, t_0)
    t_68 = -fmin((9.0d0 - (x * 10.0d0)), t_3)
    t_69 = ((x * 10.0d0) - 4.85d0) ** 2.0d0
    t_70 = 2.2d0 + (x * 10.0d0)
    t_71 = 6.7d0 - (x * 10.0d0)
    t_72 = (2.75d0 + (x * 10.0d0)) ** 2.0d0
    t_73 = -(3.9d0 + (y * 10.0d0))
    code = fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(fmax(t_66, (2.5d0 + (x * 10.0d0))), -(3.0d0 + (x * 10.0d0))), t_4), t_65), t_16), t_39), fmax(fmax(fmax(fmax(fmax(fmax(t_66, ((x * 10.0d0) - 5.7d0)), (5.2d0 - (x * 10.0d0))), t_4), t_65), t_16), t_39)), fmax(fmax(fmax(fmax(fmax(fmax(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_10, (3.5d0 - (z * 10.0d0))), t_25), -((y * 10.0d0) + 13.5d0)), t_44), t_45), fmax(fmax(fmax(fmax(fmax(t_10, t_44), t_45), (0.5d0 - (z * 10.0d0))), (7.5d0 + (y * 10.0d0))), t_27)), fmax(fmax(fmax(fmax(fmax(t_44, t_48), t_34), (6.5d0 - (y * 10.0d0))), (3.0d0 - (x * 10.0d0))), t_5)), fmax(fmax(fmax(fmax(fmax(t_30, t_45), t_35), t_40), t_49), ((x * 8.0d0) - (2.5d0 + (z * 10.0d0))))), fmax(fmax(fmax(fmax(fmax(t_45, t_48), t_49), t_31), t_41), t_52)), fmax(fmax(fmax(fmax(fmax(t_45, t_11), t_17), t_22), t_32), t_36)), fmax(fmax(fmax(fmax(fmax(t_30, t_35), t_40), t_71), t_6), (7.5d0 - ((x * 8.0d0) + (z * 10.0d0))))), fmax(fmax(fmax(fmax(fmax(t_48, t_31), t_41), t_52), t_71), t_6)), fmax(fmax(fmax(fmax(fmax(t_11, t_17), t_22), t_6), (6.5d0 - (x * 10.0d0))), t_36)), (5.5d0 - (x * 10.0d0))), t_65), t_27), t_0), t_5), t_39)), fmax(fmax(fmax(fmax(fmax(((z * 10.0d0) - 3.5d0), t_33), -(6.5d0 + (y * 10.0d0))), t_46), t_62), t_36)), fmax(fmax(fmax(fmax(fmax(((z * 10.0d0) - 6.7d0), t_18), -(4.3d0 + (y * 10.0d0))), ((x * 10.0d0) - 7.2d0)), (5.3d0 - (x * 10.0d0))), t_47)), fmax(fmax(fmax(fmax(fmax((((z * 1.7238d0) + 5.43983d0) + (y * 9.8503d0)), ((z * 1.7238d0) - (7.95658d0 + (y * 9.8503d0)))), (((z * 1.84289d0) + (x * 9.82872d0)) - 7.48826d0)), (((z * 1.84289d0) + 4.79765d0) - (x * 9.82872d0))), ((z * 10.0d0) - 3.9d0)), t_36)), fmax(fmax(((x * 10.0d0) - 6.7d0), (5.8d0 - (x * 10.0d0))), t_57)), fmax(fmax(fmax(fmax(t_46, t_62), t_57), (1.3d0 - t_56)), t_36)), (sqrt(((t_60 + t_69) + t_13)) - 0.1d0)), fmax(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax((2.8d0 - (z * 10.0d0)), (5.4d0 - (y * 10.0d0))), t_44), t_65), t_9), t_21), fmax(fmax(fmax(((z * 30.0d0) - t_33), -fmax(((z * 30.0d0) - t_23), t_68)), -fmin(t_24, t_48)), t_68)), fmax(fmax(((z * 30.0d0) - (9.3d0 + (y * 10.0d0))), t_68), -fmin(fmin(fmax(t_68, ((z * 30.0d0) - (6.9d0 + (y * 10.0d0)))), t_14), t_26))), fmax(fmax(fmax(fmax(fmax(((z * 10.0d0) - 0.2d0), -t_24), (3.2d0 + (y * 10.0d0))), -t_64), (7.0d0 - (x * 10.0d0))), t_44)), -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(t_14, t_23), fmax((0.371d0 - (z * 10.0d0)), t_50)), fmax((2.0d0 + (y * 10.0d0)), (0.542d0 - (z * 10.0d0)))), fmax((0.713d0 - (z * 10.0d0)), t_43)), fmax((1.0d0 + (y * 10.0d0)), (0.884d0 - (z * 10.0d0)))), fmax((0.5d0 + (y * 10.0d0)), (1.055d0 - (z * 10.0d0)))), fmax((1.226d0 - (z * 10.0d0)), (y * 10.0d0))), fmax(((y * 10.0d0) - 0.5d0), (1.397d0 - (z * 10.0d0)))), fmax(((y * 10.0d0) - 1.0d0), (1.568d0 - (z * 10.0d0)))), fmax(((y * 10.0d0) - 1.5d0), (1.739d0 - (z * 10.0d0)))), fmax((1.91d0 - (z * 10.0d0)), t_12)), fmax(((y * 10.0d0) - 2.5d0), (2.081d0 - (z * 10.0d0)))), fmax(((y * 10.0d0) - 3.0d0), (2.252d0 - (z * 10.0d0)))), fmax((2.423d0 - (z * 10.0d0)), t_1)), fmax(((y * 10.0d0) - 4.0d0), (2.594d0 - (z * 10.0d0)))), fmax(((y * 10.0d0) - 4.5d0), (2.765d0 - (z * 10.0d0)))), fmax(((y * 10.0d0) - 5.0d0), (2.936d0 - (z * 10.0d0)))), fmax((3.107d0 - (z * 10.0d0)), t_2)), fmax((3.278d0 - (z * 10.0d0)), t_17)), fmax((3.449d0 - (z * 10.0d0)), t_18)), fmax((9.2d0 + (y * 10.0d0)), -(0.65d0 + (z * 10.0d0)))), fmax((8.7d0 + (y * 10.0d0)), -(0.479d0 + (z * 10.0d0)))), fmax((8.2d0 + (y * 10.0d0)), -(0.308d0 + (z * 10.0d0)))), fmax((7.7d0 + (y * 10.0d0)), -(0.137d0 + (z * 10.0d0)))), fmax(t_64, (0.0339999d0 - (z * 10.0d0)))))), fmax(fmax((sqrt((t_13 + t_72)) - 0.1d0), t_7), t_47)), (sqrt((((t_7 ** 2.0d0) + t_13) + t_72)) - 0.1d0)), fmax(fmax(fmax(fmax(t_55, -(7.1d0 + (x * 10.0d0))), t_19), t_28), t_37)), (sqrt(((t_63 + t_8) + t_13)) - 0.5d0)), fmax(t_59, (sqrt((t_8 + t_13)) - 0.1d0))), (sqrt(((t_8 + t_60) + t_13)) - 0.1d0)), fmax(fmax(fmax(fmax(t_55, ((x * 10.0d0) - 1.6d0)), (0.5d0 - (x * 10.0d0))), t_19), t_28)), (sqrt(((t_63 + t_42) + t_13)) - 0.5d0)), fmax(t_59, (sqrt((t_42 + t_13)) - 0.1d0))), (sqrt(((t_60 + t_42) + t_13)) - 0.1d0)), fmax(fmax(fmax(fmax(t_55, ((x * 10.0d0) - 5.4d0)), (4.3d0 - (x * 10.0d0))), t_19), t_28)), (sqrt(((t_63 + t_69) + t_13)) - 0.5d0)), fmax(t_59, (sqrt((t_69 + t_13)) - 0.1d0))), fmax(fmax(fmax(fmax(fmax(fmax(fmax(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_3, t_21), ((z * 10.0d0) - 4.2d0)), t_36), (3.4d0 + (y * 10.0d0))), -(3.6d0 + (y * 10.0d0))), fmax(fmax(fmax(t_51, (8.1d0 + (x * 10.0d0))), -(8.9d0 + (x * 10.0d0))), t_16)), fmax(fmax(fmax(t_51, (7.15d0 + (x * 10.0d0))), -(7.95d0 + (x * 10.0d0))), t_16)), fmax(fmax(fmax(t_51, (5.2d0 + (x * 10.0d0))), -t_37), t_16)), fmax(fmax(fmax(t_51, (4.25d0 + (x * 10.0d0))), -(5.05d0 + (x * 10.0d0))), t_16)), fmax(fmax(fmax(t_51, t_29), -(4.1d0 + (x * 10.0d0))), t_16)), fmax(fmax(fmax(t_51, (1.4d0 + (x * 10.0d0))), -t_70), t_16)), fmax(fmax(fmax(t_51, (0.45d0 + (x * 10.0d0))), -(1.25d0 + (x * 10.0d0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0d0) - 0.5d0)), -(0.3d0 + (x * 10.0d0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0d0) - 2.4d0)), (1.6d0 - (x * 10.0d0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0d0) - 3.35d0)), (2.55d0 - (x * 10.0d0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0d0) - 4.3d0)), (3.5d0 - (x * 10.0d0))), t_16)), t_23), t_16), ((z * 10.0d0) - 4.4d0)), t_39), t_32), t_21), -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(t_61, (7.5d0 + (x * 10.0d0))), -((x * 10.0d0) + 10.5d0)), (sqrt((t_54 + (t_20 ** 2.0d0))) - 1.5d0)), fmax(fmax(t_61, (4.0d0 + (x * 10.0d0))), -(7.0d0 + (x * 10.0d0)))), (sqrt((t_54 + ((5.5d0 + (x * 10.0d0)) ** 2.0d0))) - 1.5d0)), fmax(fmax(t_61, ((x * 10.0d0) - 1.5d0)), -(1.5d0 + (x * 10.0d0)))), (sqrt((t_54 + ((x * 10.0d0) ** 2.0d0))) - 1.5d0)), fmax(fmax(t_61, ((x * 10.0d0) - 5.0d0)), (2.0d0 - (x * 10.0d0)))), (sqrt((t_54 + (((x * 10.0d0) - 3.5d0) ** 2.0d0))) - 1.5d0)))), fmax(fmax(fmax(fmax(fmax(-(4.0d0 + (z * 10.0d0)), t_65), t_27), t_0), t_38), t_21)), fmax(fmax(fmax(fmax(t_67, ((z * 10.0d0) - 2.3d0)), (2.0d0 - (z * 10.0d0))), t_73), t_21)), fmax(fmax(fmax(fmax(t_67, t_9), (2.3d0 - (z * 10.0d0))), -(3.8d0 + (y * 10.0d0))), t_21)), fmax(fmax(fmax(fmax(fmax(t_0, t_73), ((z * 10.0d0) - 3.2d0)), (2.9d0 - (z * 10.0d0))), t_15), t_21)), fmax(fmax(fmax(fmax(fmax(t_5, t_19), t_28), t_70), -t_29), t_39)), (sqrt((((((z * 5.0d0) - 3.05d0) ** 2.0d0) + t_13) + t_72)) - 0.5d0))
end function

Java

public static double code(double x, double y, double z) {
	double t_0 = (x * 10.0) - 7.0;
	double t_1 = (y * 10.0) - 3.5;
	double t_2 = (y * 10.0) - 5.5;
	double t_3 = (x * 10.0) - 5.5;
	double t_4 = (z * 10.0) - 2.5;
	double t_5 = (z * 10.0) - 6.5;
	double t_6 = (x * 10.0) - 7.5;
	double t_7 = (z * 10.0) - 7.4;
	double t_8 = Math.pow((6.55 + (x * 10.0)), 2.0);
	double t_9 = (z * 10.0) - 3.1;
	double t_10 = (z * 10.0) - 16.5;
	double t_11 = (z * 10.0) - 5.8;
	double t_12 = (y * 10.0) - 2.0;
	double t_13 = Math.pow((3.15 + (y * 10.0)), 2.0);
	double t_14 = 0.2 - (z * 10.0);
	double t_15 = 3.5 + (y * 10.0);
	double t_16 = -t_15;
	double t_17 = (y * 10.0) - 6.0;
	double t_18 = (y * 10.0) - 6.5;
	double t_19 = 2.6 + (y * 10.0);
	double t_20 = 9.0 + (x * 10.0);
	double t_21 = -t_20;
	double t_22 = -(2.3 + (y * 10.0));
	double t_23 = 3.0 + (y * 10.0);
	double t_24 = 0.0999999 + (z * 10.0);
	double t_25 = 4.1 + (y * 10.0);
	double t_26 = 8.5 + (y * 10.0);
	double t_27 = -t_26;
	double t_28 = -(3.7 + (y * 10.0));
	double t_29 = 3.3 + (x * 10.0);
	double t_30 = fmax(t_10, t_25);
	double t_31 = (z * 10.0) - 6.0;
	double t_32 = (x * 10.0) - 6.0;
	double t_33 = 5.4 + (y * 10.0);
	double t_34 = (y * 10.0) - 10.5;
	double t_35 = 1.5 - (z * 10.0);
	double t_36 = 3.3 - (z * 10.0);
	double t_37 = 6.0 + (x * 10.0);
	double t_38 = 3.5 + (z * 10.0);
	double t_39 = -t_38;
	double t_40 = -(6.1 + (y * 10.0));
	double t_41 = (y * 10.0) - 6.2;
	double t_42 = Math.pow(((x * 10.0) - 1.05), 2.0);
	double t_43 = 1.5 + (y * 10.0);
	double t_44 = (x * 10.0) - 9.0;
	double t_45 = 5.0 - (x * 10.0);
	double t_46 = (x * 10.0) - 6.8;
	double t_47 = 6.5 - (z * 10.0);
	double t_48 = 3.1 - (z * 10.0);
	double t_49 = (x * 10.0) - 5.8;
	double t_50 = 2.5 + (y * 10.0);
	double t_51 = fmax(fmax(((z * 10.0) - 4.1), (3.4 - (z * 10.0))), t_50);
	double t_52 = -t_50;
	double t_53 = 1.0 + (z * 10.0);
	double t_54 = Math.pow(t_53, 2.0);
	double t_55 = fmax(((z * 10.0) - 4.8), (2.5 - (z * 10.0)));
	double t_56 = Math.sqrt((Math.pow(t_25, 2.0) + Math.pow(((z * 10.0) - 3.3), 2.0)));
	double t_57 = t_56 - 1.5;
	double t_58 = (z * 10.0) - 5.6;
	double t_59 = fmax(t_58, (4.8 - (z * 10.0)));
	double t_60 = Math.pow(t_58, 2.0);
	double t_61 = fmax(t_39, t_53);
	double t_62 = 5.7 - (x * 10.0);
	double t_63 = Math.pow(((z * 5.0) - 2.2), 2.0);
	double t_64 = 7.2 + (y * 10.0);
	double t_65 = (y * 10.0) - 9.0;
	double t_66 = -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(t_1, (0.5 - (y * 10.0))), t_39), t_53), (Math.sqrt((Math.pow(t_12, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(((y * 10.0) - 7.0), (4.0 - (y * 10.0))), t_39), t_53)), (Math.sqrt((Math.pow(t_2, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax((7.5 - (y * 10.0)), t_34), t_39), t_53)), (Math.sqrt((Math.pow(t_65, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(-t_23, (y * 10.0)), t_39), t_53)), (Math.sqrt((Math.pow(t_43, 2.0) + t_54)) - 1.5));
	double t_67 = fmax(t_65, t_0);
	double t_68 = -fmin((9.0 - (x * 10.0)), t_3);
	double t_69 = Math.pow(((x * 10.0) - 4.85), 2.0);
	double t_70 = 2.2 + (x * 10.0);
	double t_71 = 6.7 - (x * 10.0);
	double t_72 = Math.pow((2.75 + (x * 10.0)), 2.0);
	double t_73 = -(3.9 + (y * 10.0));
	return fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(fmax(t_66, (2.5 + (x * 10.0))), -(3.0 + (x * 10.0))), t_4), t_65), t_16), t_39), fmax(fmax(fmax(fmax(fmax(fmax(t_66, ((x * 10.0) - 5.7)), (5.2 - (x * 10.0))), t_4), t_65), t_16), t_39)), fmax(fmax(fmax(fmax(fmax(fmax(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_10, (3.5 - (z * 10.0))), t_25), -((y * 10.0) + 13.5)), t_44), t_45), fmax(fmax(fmax(fmax(fmax(t_10, t_44), t_45), (0.5 - (z * 10.0))), (7.5 + (y * 10.0))), t_27)), fmax(fmax(fmax(fmax(fmax(t_44, t_48), t_34), (6.5 - (y * 10.0))), (3.0 - (x * 10.0))), t_5)), fmax(fmax(fmax(fmax(fmax(t_30, t_45), t_35), t_40), t_49), ((x * 8.0) - (2.5 + (z * 10.0))))), fmax(fmax(fmax(fmax(fmax(t_45, t_48), t_49), t_31), t_41), t_52)), fmax(fmax(fmax(fmax(fmax(t_45, t_11), t_17), t_22), t_32), t_36)), fmax(fmax(fmax(fmax(fmax(t_30, t_35), t_40), t_71), t_6), (7.5 - ((x * 8.0) + (z * 10.0))))), fmax(fmax(fmax(fmax(fmax(t_48, t_31), t_41), t_52), t_71), t_6)), fmax(fmax(fmax(fmax(fmax(t_11, t_17), t_22), t_6), (6.5 - (x * 10.0))), t_36)), (5.5 - (x * 10.0))), t_65), t_27), t_0), t_5), t_39)), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 3.5), t_33), -(6.5 + (y * 10.0))), t_46), t_62), t_36)), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 6.7), t_18), -(4.3 + (y * 10.0))), ((x * 10.0) - 7.2)), (5.3 - (x * 10.0))), t_47)), fmax(fmax(fmax(fmax(fmax((((z * 1.7238) + 5.43983) + (y * 9.8503)), ((z * 1.7238) - (7.95658 + (y * 9.8503)))), (((z * 1.84289) + (x * 9.82872)) - 7.48826)), (((z * 1.84289) + 4.79765) - (x * 9.82872))), ((z * 10.0) - 3.9)), t_36)), fmax(fmax(((x * 10.0) - 6.7), (5.8 - (x * 10.0))), t_57)), fmax(fmax(fmax(fmax(t_46, t_62), t_57), (1.3 - t_56)), t_36)), (Math.sqrt(((t_60 + t_69) + t_13)) - 0.1)), fmax(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax((2.8 - (z * 10.0)), (5.4 - (y * 10.0))), t_44), t_65), t_9), t_21), fmax(fmax(fmax(((z * 30.0) - t_33), -fmax(((z * 30.0) - t_23), t_68)), -fmin(t_24, t_48)), t_68)), fmax(fmax(((z * 30.0) - (9.3 + (y * 10.0))), t_68), -fmin(fmin(fmax(t_68, ((z * 30.0) - (6.9 + (y * 10.0)))), t_14), t_26))), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 0.2), -t_24), (3.2 + (y * 10.0))), -t_64), (7.0 - (x * 10.0))), t_44)), -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(t_14, t_23), fmax((0.371 - (z * 10.0)), t_50)), fmax((2.0 + (y * 10.0)), (0.542 - (z * 10.0)))), fmax((0.713 - (z * 10.0)), t_43)), fmax((1.0 + (y * 10.0)), (0.884 - (z * 10.0)))), fmax((0.5 + (y * 10.0)), (1.055 - (z * 10.0)))), fmax((1.226 - (z * 10.0)), (y * 10.0))), fmax(((y * 10.0) - 0.5), (1.397 - (z * 10.0)))), fmax(((y * 10.0) - 1.0), (1.568 - (z * 10.0)))), fmax(((y * 10.0) - 1.5), (1.739 - (z * 10.0)))), fmax((1.91 - (z * 10.0)), t_12)), fmax(((y * 10.0) - 2.5), (2.081 - (z * 10.0)))), fmax(((y * 10.0) - 3.0), (2.252 - (z * 10.0)))), fmax((2.423 - (z * 10.0)), t_1)), fmax(((y * 10.0) - 4.0), (2.594 - (z * 10.0)))), fmax(((y * 10.0) - 4.5), (2.765 - (z * 10.0)))), fmax(((y * 10.0) - 5.0), (2.936 - (z * 10.0)))), fmax((3.107 - (z * 10.0)), t_2)), fmax((3.278 - (z * 10.0)), t_17)), fmax((3.449 - (z * 10.0)), t_18)), fmax((9.2 + (y * 10.0)), -(0.65 + (z * 10.0)))), fmax((8.7 + (y * 10.0)), -(0.479 + (z * 10.0)))), fmax((8.2 + (y * 10.0)), -(0.308 + (z * 10.0)))), fmax((7.7 + (y * 10.0)), -(0.137 + (z * 10.0)))), fmax(t_64, (0.0339999 - (z * 10.0)))))), fmax(fmax((Math.sqrt((t_13 + t_72)) - 0.1), t_7), t_47)), (Math.sqrt(((Math.pow(t_7, 2.0) + t_13) + t_72)) - 0.1)), fmax(fmax(fmax(fmax(t_55, -(7.1 + (x * 10.0))), t_19), t_28), t_37)), (Math.sqrt(((t_63 + t_8) + t_13)) - 0.5)), fmax(t_59, (Math.sqrt((t_8 + t_13)) - 0.1))), (Math.sqrt(((t_8 + t_60) + t_13)) - 0.1)), fmax(fmax(fmax(fmax(t_55, ((x * 10.0) - 1.6)), (0.5 - (x * 10.0))), t_19), t_28)), (Math.sqrt(((t_63 + t_42) + t_13)) - 0.5)), fmax(t_59, (Math.sqrt((t_42 + t_13)) - 0.1))), (Math.sqrt(((t_60 + t_42) + t_13)) - 0.1)), fmax(fmax(fmax(fmax(t_55, ((x * 10.0) - 5.4)), (4.3 - (x * 10.0))), t_19), t_28)), (Math.sqrt(((t_63 + t_69) + t_13)) - 0.5)), fmax(t_59, (Math.sqrt((t_69 + t_13)) - 0.1))), fmax(fmax(fmax(fmax(fmax(fmax(fmax(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_3, t_21), ((z * 10.0) - 4.2)), t_36), (3.4 + (y * 10.0))), -(3.6 + (y * 10.0))), fmax(fmax(fmax(t_51, (8.1 + (x * 10.0))), -(8.9 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (7.15 + (x * 10.0))), -(7.95 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (5.2 + (x * 10.0))), -t_37), t_16)), fmax(fmax(fmax(t_51, (4.25 + (x * 10.0))), -(5.05 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, t_29), -(4.1 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (1.4 + (x * 10.0))), -t_70), t_16)), fmax(fmax(fmax(t_51, (0.45 + (x * 10.0))), -(1.25 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 0.5)), -(0.3 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 2.4)), (1.6 - (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 3.35)), (2.55 - (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 4.3)), (3.5 - (x * 10.0))), t_16)), t_23), t_16), ((z * 10.0) - 4.4)), t_39), t_32), t_21), -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(t_61, (7.5 + (x * 10.0))), -((x * 10.0) + 10.5)), (Math.sqrt((t_54 + Math.pow(t_20, 2.0))) - 1.5)), fmax(fmax(t_61, (4.0 + (x * 10.0))), -(7.0 + (x * 10.0)))), (Math.sqrt((t_54 + Math.pow((5.5 + (x * 10.0)), 2.0))) - 1.5)), fmax(fmax(t_61, ((x * 10.0) - 1.5)), -(1.5 + (x * 10.0)))), (Math.sqrt((t_54 + Math.pow((x * 10.0), 2.0))) - 1.5)), fmax(fmax(t_61, ((x * 10.0) - 5.0)), (2.0 - (x * 10.0)))), (Math.sqrt((t_54 + Math.pow(((x * 10.0) - 3.5), 2.0))) - 1.5)))), fmax(fmax(fmax(fmax(fmax(-(4.0 + (z * 10.0)), t_65), t_27), t_0), t_38), t_21)), fmax(fmax(fmax(fmax(t_67, ((z * 10.0) - 2.3)), (2.0 - (z * 10.0))), t_73), t_21)), fmax(fmax(fmax(fmax(t_67, t_9), (2.3 - (z * 10.0))), -(3.8 + (y * 10.0))), t_21)), fmax(fmax(fmax(fmax(fmax(t_0, t_73), ((z * 10.0) - 3.2)), (2.9 - (z * 10.0))), t_15), t_21)), fmax(fmax(fmax(fmax(fmax(t_5, t_19), t_28), t_70), -t_29), t_39)), (Math.sqrt(((Math.pow(((z * 5.0) - 3.05), 2.0) + t_13) + t_72)) - 0.5));
}

Python

def code(x, y, z):
	t_0 = (x * 10.0) - 7.0
	t_1 = (y * 10.0) - 3.5
	t_2 = (y * 10.0) - 5.5
	t_3 = (x * 10.0) - 5.5
	t_4 = (z * 10.0) - 2.5
	t_5 = (z * 10.0) - 6.5
	t_6 = (x * 10.0) - 7.5
	t_7 = (z * 10.0) - 7.4
	t_8 = math.pow((6.55 + (x * 10.0)), 2.0)
	t_9 = (z * 10.0) - 3.1
	t_10 = (z * 10.0) - 16.5
	t_11 = (z * 10.0) - 5.8
	t_12 = (y * 10.0) - 2.0
	t_13 = math.pow((3.15 + (y * 10.0)), 2.0)
	t_14 = 0.2 - (z * 10.0)
	t_15 = 3.5 + (y * 10.0)
	t_16 = -t_15
	t_17 = (y * 10.0) - 6.0
	t_18 = (y * 10.0) - 6.5
	t_19 = 2.6 + (y * 10.0)
	t_20 = 9.0 + (x * 10.0)
	t_21 = -t_20
	t_22 = -(2.3 + (y * 10.0))
	t_23 = 3.0 + (y * 10.0)
	t_24 = 0.0999999 + (z * 10.0)
	t_25 = 4.1 + (y * 10.0)
	t_26 = 8.5 + (y * 10.0)
	t_27 = -t_26
	t_28 = -(3.7 + (y * 10.0))
	t_29 = 3.3 + (x * 10.0)
	t_30 = fmax(t_10, t_25)
	t_31 = (z * 10.0) - 6.0
	t_32 = (x * 10.0) - 6.0
	t_33 = 5.4 + (y * 10.0)
	t_34 = (y * 10.0) - 10.5
	t_35 = 1.5 - (z * 10.0)
	t_36 = 3.3 - (z * 10.0)
	t_37 = 6.0 + (x * 10.0)
	t_38 = 3.5 + (z * 10.0)
	t_39 = -t_38
	t_40 = -(6.1 + (y * 10.0))
	t_41 = (y * 10.0) - 6.2
	t_42 = math.pow(((x * 10.0) - 1.05), 2.0)
	t_43 = 1.5 + (y * 10.0)
	t_44 = (x * 10.0) - 9.0
	t_45 = 5.0 - (x * 10.0)
	t_46 = (x * 10.0) - 6.8
	t_47 = 6.5 - (z * 10.0)
	t_48 = 3.1 - (z * 10.0)
	t_49 = (x * 10.0) - 5.8
	t_50 = 2.5 + (y * 10.0)
	t_51 = fmax(fmax(((z * 10.0) - 4.1), (3.4 - (z * 10.0))), t_50)
	t_52 = -t_50
	t_53 = 1.0 + (z * 10.0)
	t_54 = math.pow(t_53, 2.0)
	t_55 = fmax(((z * 10.0) - 4.8), (2.5 - (z * 10.0)))
	t_56 = math.sqrt((math.pow(t_25, 2.0) + math.pow(((z * 10.0) - 3.3), 2.0)))
	t_57 = t_56 - 1.5
	t_58 = (z * 10.0) - 5.6
	t_59 = fmax(t_58, (4.8 - (z * 10.0)))
	t_60 = math.pow(t_58, 2.0)
	t_61 = fmax(t_39, t_53)
	t_62 = 5.7 - (x * 10.0)
	t_63 = math.pow(((z * 5.0) - 2.2), 2.0)
	t_64 = 7.2 + (y * 10.0)
	t_65 = (y * 10.0) - 9.0
	t_66 = -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(t_1, (0.5 - (y * 10.0))), t_39), t_53), (math.sqrt((math.pow(t_12, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(((y * 10.0) - 7.0), (4.0 - (y * 10.0))), t_39), t_53)), (math.sqrt((math.pow(t_2, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax((7.5 - (y * 10.0)), t_34), t_39), t_53)), (math.sqrt((math.pow(t_65, 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(-t_23, (y * 10.0)), t_39), t_53)), (math.sqrt((math.pow(t_43, 2.0) + t_54)) - 1.5))
	t_67 = fmax(t_65, t_0)
	t_68 = -fmin((9.0 - (x * 10.0)), t_3)
	t_69 = math.pow(((x * 10.0) - 4.85), 2.0)
	t_70 = 2.2 + (x * 10.0)
	t_71 = 6.7 - (x * 10.0)
	t_72 = math.pow((2.75 + (x * 10.0)), 2.0)
	t_73 = -(3.9 + (y * 10.0))
	return fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(fmax(t_66, (2.5 + (x * 10.0))), -(3.0 + (x * 10.0))), t_4), t_65), t_16), t_39), fmax(fmax(fmax(fmax(fmax(fmax(t_66, ((x * 10.0) - 5.7)), (5.2 - (x * 10.0))), t_4), t_65), t_16), t_39)), fmax(fmax(fmax(fmax(fmax(fmax(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_10, (3.5 - (z * 10.0))), t_25), -((y * 10.0) + 13.5)), t_44), t_45), fmax(fmax(fmax(fmax(fmax(t_10, t_44), t_45), (0.5 - (z * 10.0))), (7.5 + (y * 10.0))), t_27)), fmax(fmax(fmax(fmax(fmax(t_44, t_48), t_34), (6.5 - (y * 10.0))), (3.0 - (x * 10.0))), t_5)), fmax(fmax(fmax(fmax(fmax(t_30, t_45), t_35), t_40), t_49), ((x * 8.0) - (2.5 + (z * 10.0))))), fmax(fmax(fmax(fmax(fmax(t_45, t_48), t_49), t_31), t_41), t_52)), fmax(fmax(fmax(fmax(fmax(t_45, t_11), t_17), t_22), t_32), t_36)), fmax(fmax(fmax(fmax(fmax(t_30, t_35), t_40), t_71), t_6), (7.5 - ((x * 8.0) + (z * 10.0))))), fmax(fmax(fmax(fmax(fmax(t_48, t_31), t_41), t_52), t_71), t_6)), fmax(fmax(fmax(fmax(fmax(t_11, t_17), t_22), t_6), (6.5 - (x * 10.0))), t_36)), (5.5 - (x * 10.0))), t_65), t_27), t_0), t_5), t_39)), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 3.5), t_33), -(6.5 + (y * 10.0))), t_46), t_62), t_36)), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 6.7), t_18), -(4.3 + (y * 10.0))), ((x * 10.0) - 7.2)), (5.3 - (x * 10.0))), t_47)), fmax(fmax(fmax(fmax(fmax((((z * 1.7238) + 5.43983) + (y * 9.8503)), ((z * 1.7238) - (7.95658 + (y * 9.8503)))), (((z * 1.84289) + (x * 9.82872)) - 7.48826)), (((z * 1.84289) + 4.79765) - (x * 9.82872))), ((z * 10.0) - 3.9)), t_36)), fmax(fmax(((x * 10.0) - 6.7), (5.8 - (x * 10.0))), t_57)), fmax(fmax(fmax(fmax(t_46, t_62), t_57), (1.3 - t_56)), t_36)), (math.sqrt(((t_60 + t_69) + t_13)) - 0.1)), fmax(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax((2.8 - (z * 10.0)), (5.4 - (y * 10.0))), t_44), t_65), t_9), t_21), fmax(fmax(fmax(((z * 30.0) - t_33), -fmax(((z * 30.0) - t_23), t_68)), -fmin(t_24, t_48)), t_68)), fmax(fmax(((z * 30.0) - (9.3 + (y * 10.0))), t_68), -fmin(fmin(fmax(t_68, ((z * 30.0) - (6.9 + (y * 10.0)))), t_14), t_26))), fmax(fmax(fmax(fmax(fmax(((z * 10.0) - 0.2), -t_24), (3.2 + (y * 10.0))), -t_64), (7.0 - (x * 10.0))), t_44)), -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(t_14, t_23), fmax((0.371 - (z * 10.0)), t_50)), fmax((2.0 + (y * 10.0)), (0.542 - (z * 10.0)))), fmax((0.713 - (z * 10.0)), t_43)), fmax((1.0 + (y * 10.0)), (0.884 - (z * 10.0)))), fmax((0.5 + (y * 10.0)), (1.055 - (z * 10.0)))), fmax((1.226 - (z * 10.0)), (y * 10.0))), fmax(((y * 10.0) - 0.5), (1.397 - (z * 10.0)))), fmax(((y * 10.0) - 1.0), (1.568 - (z * 10.0)))), fmax(((y * 10.0) - 1.5), (1.739 - (z * 10.0)))), fmax((1.91 - (z * 10.0)), t_12)), fmax(((y * 10.0) - 2.5), (2.081 - (z * 10.0)))), fmax(((y * 10.0) - 3.0), (2.252 - (z * 10.0)))), fmax((2.423 - (z * 10.0)), t_1)), fmax(((y * 10.0) - 4.0), (2.594 - (z * 10.0)))), fmax(((y * 10.0) - 4.5), (2.765 - (z * 10.0)))), fmax(((y * 10.0) - 5.0), (2.936 - (z * 10.0)))), fmax((3.107 - (z * 10.0)), t_2)), fmax((3.278 - (z * 10.0)), t_17)), fmax((3.449 - (z * 10.0)), t_18)), fmax((9.2 + (y * 10.0)), -(0.65 + (z * 10.0)))), fmax((8.7 + (y * 10.0)), -(0.479 + (z * 10.0)))), fmax((8.2 + (y * 10.0)), -(0.308 + (z * 10.0)))), fmax((7.7 + (y * 10.0)), -(0.137 + (z * 10.0)))), fmax(t_64, (0.0339999 - (z * 10.0)))))), fmax(fmax((math.sqrt((t_13 + t_72)) - 0.1), t_7), t_47)), (math.sqrt(((math.pow(t_7, 2.0) + t_13) + t_72)) - 0.1)), fmax(fmax(fmax(fmax(t_55, -(7.1 + (x * 10.0))), t_19), t_28), t_37)), (math.sqrt(((t_63 + t_8) + t_13)) - 0.5)), fmax(t_59, (math.sqrt((t_8 + t_13)) - 0.1))), (math.sqrt(((t_8 + t_60) + t_13)) - 0.1)), fmax(fmax(fmax(fmax(t_55, ((x * 10.0) - 1.6)), (0.5 - (x * 10.0))), t_19), t_28)), (math.sqrt(((t_63 + t_42) + t_13)) - 0.5)), fmax(t_59, (math.sqrt((t_42 + t_13)) - 0.1))), (math.sqrt(((t_60 + t_42) + t_13)) - 0.1)), fmax(fmax(fmax(fmax(t_55, ((x * 10.0) - 5.4)), (4.3 - (x * 10.0))), t_19), t_28)), (math.sqrt(((t_63 + t_69) + t_13)) - 0.5)), fmax(t_59, (math.sqrt((t_69 + t_13)) - 0.1))), fmax(fmax(fmax(fmax(fmax(fmax(fmax(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_3, t_21), ((z * 10.0) - 4.2)), t_36), (3.4 + (y * 10.0))), -(3.6 + (y * 10.0))), fmax(fmax(fmax(t_51, (8.1 + (x * 10.0))), -(8.9 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (7.15 + (x * 10.0))), -(7.95 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (5.2 + (x * 10.0))), -t_37), t_16)), fmax(fmax(fmax(t_51, (4.25 + (x * 10.0))), -(5.05 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, t_29), -(4.1 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, (1.4 + (x * 10.0))), -t_70), t_16)), fmax(fmax(fmax(t_51, (0.45 + (x * 10.0))), -(1.25 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 0.5)), -(0.3 + (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 2.4)), (1.6 - (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 3.35)), (2.55 - (x * 10.0))), t_16)), fmax(fmax(fmax(t_51, ((x * 10.0) - 4.3)), (3.5 - (x * 10.0))), t_16)), t_23), t_16), ((z * 10.0) - 4.4)), t_39), t_32), t_21), -fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(t_61, (7.5 + (x * 10.0))), -((x * 10.0) + 10.5)), (math.sqrt((t_54 + math.pow(t_20, 2.0))) - 1.5)), fmax(fmax(t_61, (4.0 + (x * 10.0))), -(7.0 + (x * 10.0)))), (math.sqrt((t_54 + math.pow((5.5 + (x * 10.0)), 2.0))) - 1.5)), fmax(fmax(t_61, ((x * 10.0) - 1.5)), -(1.5 + (x * 10.0)))), (math.sqrt((t_54 + math.pow((x * 10.0), 2.0))) - 1.5)), fmax(fmax(t_61, ((x * 10.0) - 5.0)), (2.0 - (x * 10.0)))), (math.sqrt((t_54 + math.pow(((x * 10.0) - 3.5), 2.0))) - 1.5)))), fmax(fmax(fmax(fmax(fmax(-(4.0 + (z * 10.0)), t_65), t_27), t_0), t_38), t_21)), fmax(fmax(fmax(fmax(t_67, ((z * 10.0) - 2.3)), (2.0 - (z * 10.0))), t_73), t_21)), fmax(fmax(fmax(fmax(t_67, t_9), (2.3 - (z * 10.0))), -(3.8 + (y * 10.0))), t_21)), fmax(fmax(fmax(fmax(fmax(t_0, t_73), ((z * 10.0) - 3.2)), (2.9 - (z * 10.0))), t_15), t_21)), fmax(fmax(fmax(fmax(fmax(t_5, t_19), t_28), t_70), -t_29), t_39)), (math.sqrt(((math.pow(((z * 5.0) - 3.05), 2.0) + t_13) + t_72)) - 0.5))

Julia

function code(x, y, z)
	t_0 = Float64(Float64(x * 10.0) - 7.0)
	t_1 = Float64(Float64(y * 10.0) - 3.5)
	t_2 = Float64(Float64(y * 10.0) - 5.5)
	t_3 = Float64(Float64(x * 10.0) - 5.5)
	t_4 = Float64(Float64(z * 10.0) - 2.5)
	t_5 = Float64(Float64(z * 10.0) - 6.5)
	t_6 = Float64(Float64(x * 10.0) - 7.5)
	t_7 = Float64(Float64(z * 10.0) - 7.4)
	t_8 = Float64(6.55 + Float64(x * 10.0)) ^ 2.0
	t_9 = Float64(Float64(z * 10.0) - 3.1)
	t_10 = Float64(Float64(z * 10.0) - 16.5)
	t_11 = Float64(Float64(z * 10.0) - 5.8)
	t_12 = Float64(Float64(y * 10.0) - 2.0)
	t_13 = Float64(3.15 + Float64(y * 10.0)) ^ 2.0
	t_14 = Float64(0.2 - Float64(z * 10.0))
	t_15 = Float64(3.5 + Float64(y * 10.0))
	t_16 = Float64(-t_15)
	t_17 = Float64(Float64(y * 10.0) - 6.0)
	t_18 = Float64(Float64(y * 10.0) - 6.5)
	t_19 = Float64(2.6 + Float64(y * 10.0))
	t_20 = Float64(9.0 + Float64(x * 10.0))
	t_21 = Float64(-t_20)
	t_22 = Float64(-Float64(2.3 + Float64(y * 10.0)))
	t_23 = Float64(3.0 + Float64(y * 10.0))
	t_24 = Float64(0.0999999 + Float64(z * 10.0))
	t_25 = Float64(4.1 + Float64(y * 10.0))
	t_26 = Float64(8.5 + Float64(y * 10.0))
	t_27 = Float64(-t_26)
	t_28 = Float64(-Float64(3.7 + Float64(y * 10.0)))
	t_29 = Float64(3.3 + Float64(x * 10.0))
	t_30 = fmax(t_10, t_25)
	t_31 = Float64(Float64(z * 10.0) - 6.0)
	t_32 = Float64(Float64(x * 10.0) - 6.0)
	t_33 = Float64(5.4 + Float64(y * 10.0))
	t_34 = Float64(Float64(y * 10.0) - 10.5)
	t_35 = Float64(1.5 - Float64(z * 10.0))
	t_36 = Float64(3.3 - Float64(z * 10.0))
	t_37 = Float64(6.0 + Float64(x * 10.0))
	t_38 = Float64(3.5 + Float64(z * 10.0))
	t_39 = Float64(-t_38)
	t_40 = Float64(-Float64(6.1 + Float64(y * 10.0)))
	t_41 = Float64(Float64(y * 10.0) - 6.2)
	t_42 = Float64(Float64(x * 10.0) - 1.05) ^ 2.0
	t_43 = Float64(1.5 + Float64(y * 10.0))
	t_44 = Float64(Float64(x * 10.0) - 9.0)
	t_45 = Float64(5.0 - Float64(x * 10.0))
	t_46 = Float64(Float64(x * 10.0) - 6.8)
	t_47 = Float64(6.5 - Float64(z * 10.0))
	t_48 = Float64(3.1 - Float64(z * 10.0))
	t_49 = Float64(Float64(x * 10.0) - 5.8)
	t_50 = Float64(2.5 + Float64(y * 10.0))
	t_51 = fmax(fmax(Float64(Float64(z * 10.0) - 4.1), Float64(3.4 - Float64(z * 10.0))), t_50)
	t_52 = Float64(-t_50)
	t_53 = Float64(1.0 + Float64(z * 10.0))
	t_54 = t_53 ^ 2.0
	t_55 = fmax(Float64(Float64(z * 10.0) - 4.8), Float64(2.5 - Float64(z * 10.0)))
	t_56 = sqrt(Float64((t_25 ^ 2.0) + (Float64(Float64(z * 10.0) - 3.3) ^ 2.0)))
	t_57 = Float64(t_56 - 1.5)
	t_58 = Float64(Float64(z * 10.0) - 5.6)
	t_59 = fmax(t_58, Float64(4.8 - Float64(z * 10.0)))
	t_60 = t_58 ^ 2.0
	t_61 = fmax(t_39, t_53)
	t_62 = Float64(5.7 - Float64(x * 10.0))
	t_63 = Float64(Float64(z * 5.0) - 2.2) ^ 2.0
	t_64 = Float64(7.2 + Float64(y * 10.0))
	t_65 = Float64(Float64(y * 10.0) - 9.0)
	t_66 = Float64(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(t_1, Float64(0.5 - Float64(y * 10.0))), t_39), t_53), Float64(sqrt(Float64((t_12 ^ 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(Float64(Float64(y * 10.0) - 7.0), Float64(4.0 - Float64(y * 10.0))), t_39), t_53)), Float64(sqrt(Float64((t_2 ^ 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(Float64(7.5 - Float64(y * 10.0)), t_34), t_39), t_53)), Float64(sqrt(Float64((t_65 ^ 2.0) + t_54)) - 1.5)), fmax(fmax(fmax(Float64(-t_23), Float64(y * 10.0)), t_39), t_53)), Float64(sqrt(Float64((t_43 ^ 2.0) + t_54)) - 1.5)))
	t_67 = fmax(t_65, t_0)
	t_68 = Float64(-fmin(Float64(9.0 - Float64(x * 10.0)), t_3))
	t_69 = Float64(Float64(x * 10.0) - 4.85) ^ 2.0
	t_70 = Float64(2.2 + Float64(x * 10.0))
	t_71 = Float64(6.7 - Float64(x * 10.0))
	t_72 = Float64(2.75 + Float64(x * 10.0)) ^ 2.0
	t_73 = Float64(-Float64(3.9 + Float64(y * 10.0)))
	return fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(fmax(t_66, Float64(2.5 + Float64(x * 10.0))), Float64(-Float64(3.0 + Float64(x * 10.0)))), t_4), t_65), t_16), t_39), fmax(fmax(fmax(fmax(fmax(fmax(t_66, Float64(Float64(x * 10.0) - 5.7)), Float64(5.2 - Float64(x * 10.0))), t_4), t_65), t_16), t_39)), fmax(fmax(fmax(fmax(fmax(fmax(Float64(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_10, Float64(3.5 - Float64(z * 10.0))), t_25), Float64(-Float64(Float64(y * 10.0) + 13.5))), t_44), t_45), fmax(fmax(fmax(fmax(fmax(t_10, t_44), t_45), Float64(0.5 - Float64(z * 10.0))), Float64(7.5 + Float64(y * 10.0))), t_27)), fmax(fmax(fmax(fmax(fmax(t_44, t_48), t_34), Float64(6.5 - Float64(y * 10.0))), Float64(3.0 - Float64(x * 10.0))), t_5)), fmax(fmax(fmax(fmax(fmax(t_30, t_45), t_35), t_40), t_49), Float64(Float64(x * 8.0) - Float64(2.5 + Float64(z * 10.0))))), fmax(fmax(fmax(fmax(fmax(t_45, t_48), t_49), t_31), t_41), t_52)), fmax(fmax(fmax(fmax(fmax(t_45, t_11), t_17), t_22), t_32), t_36)), fmax(fmax(fmax(fmax(fmax(t_30, t_35), t_40), t_71), t_6), Float64(7.5 - Float64(Float64(x * 8.0) + Float64(z * 10.0))))), fmax(fmax(fmax(fmax(fmax(t_48, t_31), t_41), t_52), t_71), t_6)), fmax(fmax(fmax(fmax(fmax(t_11, t_17), t_22), t_6), Float64(6.5 - Float64(x * 10.0))), t_36))), Float64(5.5 - Float64(x * 10.0))), t_65), t_27), t_0), t_5), t_39)), fmax(fmax(fmax(fmax(fmax(Float64(Float64(z * 10.0) - 3.5), t_33), Float64(-Float64(6.5 + Float64(y * 10.0)))), t_46), t_62), t_36)), fmax(fmax(fmax(fmax(fmax(Float64(Float64(z * 10.0) - 6.7), t_18), Float64(-Float64(4.3 + Float64(y * 10.0)))), Float64(Float64(x * 10.0) - 7.2)), Float64(5.3 - Float64(x * 10.0))), t_47)), fmax(fmax(fmax(fmax(fmax(Float64(Float64(Float64(z * 1.7238) + 5.43983) + Float64(y * 9.8503)), Float64(Float64(z * 1.7238) - Float64(7.95658 + Float64(y * 9.8503)))), Float64(Float64(Float64(z * 1.84289) + Float64(x * 9.82872)) - 7.48826)), Float64(Float64(Float64(z * 1.84289) + 4.79765) - Float64(x * 9.82872))), Float64(Float64(z * 10.0) - 3.9)), t_36)), fmax(fmax(Float64(Float64(x * 10.0) - 6.7), Float64(5.8 - Float64(x * 10.0))), t_57)), fmax(fmax(fmax(fmax(t_46, t_62), t_57), Float64(1.3 - t_56)), t_36)), Float64(sqrt(Float64(Float64(t_60 + t_69) + t_13)) - 0.1)), fmax(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(Float64(2.8 - Float64(z * 10.0)), Float64(5.4 - Float64(y * 10.0))), t_44), t_65), t_9), t_21), fmax(fmax(fmax(Float64(Float64(z * 30.0) - t_33), Float64(-fmax(Float64(Float64(z * 30.0) - t_23), t_68))), Float64(-fmin(t_24, t_48))), t_68)), fmax(fmax(Float64(Float64(z * 30.0) - Float64(9.3 + Float64(y * 10.0))), t_68), Float64(-fmin(fmin(fmax(t_68, Float64(Float64(z * 30.0) - Float64(6.9 + Float64(y * 10.0)))), t_14), t_26)))), fmax(fmax(fmax(fmax(fmax(Float64(Float64(z * 10.0) - 0.2), Float64(-t_24)), Float64(3.2 + Float64(y * 10.0))), Float64(-t_64)), Float64(7.0 - Float64(x * 10.0))), t_44)), Float64(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(t_14, t_23), fmax(Float64(0.371 - Float64(z * 10.0)), t_50)), fmax(Float64(2.0 + Float64(y * 10.0)), Float64(0.542 - Float64(z * 10.0)))), fmax(Float64(0.713 - Float64(z * 10.0)), t_43)), fmax(Float64(1.0 + Float64(y * 10.0)), Float64(0.884 - Float64(z * 10.0)))), fmax(Float64(0.5 + Float64(y * 10.0)), Float64(1.055 - Float64(z * 10.0)))), fmax(Float64(1.226 - Float64(z * 10.0)), Float64(y * 10.0))), fmax(Float64(Float64(y * 10.0) - 0.5), Float64(1.397 - Float64(z * 10.0)))), fmax(Float64(Float64(y * 10.0) - 1.0), Float64(1.568 - Float64(z * 10.0)))), fmax(Float64(Float64(y * 10.0) - 1.5), Float64(1.739 - Float64(z * 10.0)))), fmax(Float64(1.91 - Float64(z * 10.0)), t_12)), fmax(Float64(Float64(y * 10.0) - 2.5), Float64(2.081 - Float64(z * 10.0)))), fmax(Float64(Float64(y * 10.0) - 3.0), Float64(2.252 - Float64(z * 10.0)))), fmax(Float64(2.423 - Float64(z * 10.0)), t_1)), fmax(Float64(Float64(y * 10.0) - 4.0), Float64(2.594 - Float64(z * 10.0)))), fmax(Float64(Float64(y * 10.0) - 4.5), Float64(2.765 - Float64(z * 10.0)))), fmax(Float64(Float64(y * 10.0) - 5.0), Float64(2.936 - Float64(z * 10.0)))), fmax(Float64(3.107 - Float64(z * 10.0)), t_2)), fmax(Float64(3.278 - Float64(z * 10.0)), t_17)), fmax(Float64(3.449 - Float64(z * 10.0)), t_18)), fmax(Float64(9.2 + Float64(y * 10.0)), Float64(-Float64(0.65 + Float64(z * 10.0))))), fmax(Float64(8.7 + Float64(y * 10.0)), Float64(-Float64(0.479 + Float64(z * 10.0))))), fmax(Float64(8.2 + Float64(y * 10.0)), Float64(-Float64(0.308 + Float64(z * 10.0))))), fmax(Float64(7.7 + Float64(y * 10.0)), Float64(-Float64(0.137 + Float64(z * 10.0))))), fmax(t_64, Float64(0.0339999 - Float64(z * 10.0))))))), fmax(fmax(Float64(sqrt(Float64(t_13 + t_72)) - 0.1), t_7), t_47)), Float64(sqrt(Float64(Float64((t_7 ^ 2.0) + t_13) + t_72)) - 0.1)), fmax(fmax(fmax(fmax(t_55, Float64(-Float64(7.1 + Float64(x * 10.0)))), t_19), t_28), t_37)), Float64(sqrt(Float64(Float64(t_63 + t_8) + t_13)) - 0.5)), fmax(t_59, Float64(sqrt(Float64(t_8 + t_13)) - 0.1))), Float64(sqrt(Float64(Float64(t_8 + t_60) + t_13)) - 0.1)), fmax(fmax(fmax(fmax(t_55, Float64(Float64(x * 10.0) - 1.6)), Float64(0.5 - Float64(x * 10.0))), t_19), t_28)), Float64(sqrt(Float64(Float64(t_63 + t_42) + t_13)) - 0.5)), fmax(t_59, Float64(sqrt(Float64(t_42 + t_13)) - 0.1))), Float64(sqrt(Float64(Float64(t_60 + t_42) + t_13)) - 0.1)), fmax(fmax(fmax(fmax(t_55, Float64(Float64(x * 10.0) - 5.4)), Float64(4.3 - Float64(x * 10.0))), t_19), t_28)), Float64(sqrt(Float64(Float64(t_63 + t_69) + t_13)) - 0.5)), fmax(t_59, Float64(sqrt(Float64(t_69 + t_13)) - 0.1))), fmax(fmax(fmax(fmax(fmax(fmax(fmax(Float64(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(fmax(fmax(fmax(t_3, t_21), Float64(Float64(z * 10.0) - 4.2)), t_36), Float64(3.4 + Float64(y * 10.0))), Float64(-Float64(3.6 + Float64(y * 10.0)))), fmax(fmax(fmax(t_51, Float64(8.1 + Float64(x * 10.0))), Float64(-Float64(8.9 + Float64(x * 10.0)))), t_16)), fmax(fmax(fmax(t_51, Float64(7.15 + Float64(x * 10.0))), Float64(-Float64(7.95 + Float64(x * 10.0)))), t_16)), fmax(fmax(fmax(t_51, Float64(5.2 + Float64(x * 10.0))), Float64(-t_37)), t_16)), fmax(fmax(fmax(t_51, Float64(4.25 + Float64(x * 10.0))), Float64(-Float64(5.05 + Float64(x * 10.0)))), t_16)), fmax(fmax(fmax(t_51, t_29), Float64(-Float64(4.1 + Float64(x * 10.0)))), t_16)), fmax(fmax(fmax(t_51, Float64(1.4 + Float64(x * 10.0))), Float64(-t_70)), t_16)), fmax(fmax(fmax(t_51, Float64(0.45 + Float64(x * 10.0))), Float64(-Float64(1.25 + Float64(x * 10.0)))), t_16)), fmax(fmax(fmax(t_51, Float64(Float64(x * 10.0) - 0.5)), Float64(-Float64(0.3 + Float64(x * 10.0)))), t_16)), fmax(fmax(fmax(t_51, Float64(Float64(x * 10.0) - 2.4)), Float64(1.6 - Float64(x * 10.0))), t_16)), fmax(fmax(fmax(t_51, Float64(Float64(x * 10.0) - 3.35)), Float64(2.55 - Float64(x * 10.0))), t_16)), fmax(fmax(fmax(t_51, Float64(Float64(x * 10.0) - 4.3)), Float64(3.5 - Float64(x * 10.0))), t_16))), t_23), t_16), Float64(Float64(z * 10.0) - 4.4)), t_39), t_32), t_21), Float64(-fmin(fmin(fmin(fmin(fmin(fmin(fmin(fmax(fmax(t_61, Float64(7.5 + Float64(x * 10.0))), Float64(-Float64(Float64(x * 10.0) + 10.5))), Float64(sqrt(Float64(t_54 + (t_20 ^ 2.0))) - 1.5)), fmax(fmax(t_61, Float64(4.0 + Float64(x * 10.0))), Float64(-Float64(7.0 + Float64(x * 10.0))))), Float64(sqrt(Float64(t_54 + (Float64(5.5 + Float64(x * 10.0)) ^ 2.0))) - 1.5)), fmax(fmax(t_61, Float64(Float64(x * 10.0) - 1.5)), Float64(-Float64(1.5 + Float64(x * 10.0))))), Float64(sqrt(Float64(t_54 + (Float64(x * 10.0) ^ 2.0))) - 1.5)), fmax(fmax(t_61, Float64(Float64(x * 10.0) - 5.0)), Float64(2.0 - Float64(x * 10.0)))), Float64(sqrt(Float64(t_54 + (Float64(Float64(x * 10.0) - 3.5) ^ 2.0))) - 1.5))))), fmax(fmax(fmax(fmax(fmax(Float64(-Float64(4.0 + Float64(z * 10.0))), t_65), t_27), t_0), t_38), t_21)), fmax(fmax(fmax(fmax(t_67, Float64(Float64(z * 10.0) - 2.3)), Float64(2.0 - Float64(z * 10.0))), t_73), t_21)), fmax(fmax(fmax(fmax(t_67, t_9), Float64(2.3 - Float64(z * 10.0))), Float64(-Float64(3.8 + Float64(y * 10.0)))), t_21)), fmax(fmax(fmax(fmax(fmax(t_0, t_73), Float64(Float64(z * 10.0) - 3.2)), Float64(2.9 - Float64(z * 10.0))), t_15), t_21)), fmax(fmax(fmax(fmax(fmax(t_5, t_19), t_28), t_70), Float64(-t_29)), t_39)), Float64(sqrt(Float64(Float64((Float64(Float64(z * 5.0) - 3.05) ^ 2.0) + t_13) + t_72)) - 0.5))
end

MATLAB

function tmp = code(x, y, z)
	t_0 = (x * 10.0) - 7.0;
	t_1 = (y * 10.0) - 3.5;
	t_2 = (y * 10.0) - 5.5;
	t_3 = (x * 10.0) - 5.5;
	t_4 = (z * 10.0) - 2.5;
	t_5 = (z * 10.0) - 6.5;
	t_6 = (x * 10.0) - 7.5;
	t_7 = (z * 10.0) - 7.4;
	t_8 = (6.55 + (x * 10.0)) ^ 2.0;
	t_9 = (z * 10.0) - 3.1;
	t_10 = (z * 10.0) - 16.5;
	t_11 = (z * 10.0) - 5.8;
	t_12 = (y * 10.0) - 2.0;
	t_13 = (3.15 + (y * 10.0)) ^ 2.0;
	t_14 = 0.2 - (z * 10.0);
	t_15 = 3.5 + (y * 10.0);
	t_16 = -t_15;
	t_17 = (y * 10.0) - 6.0;
	t_18 = (y * 10.0) - 6.5;
	t_19 = 2.6 + (y * 10.0);
	t_20 = 9.0 + (x * 10.0);
	t_21 = -t_20;
	t_22 = -(2.3 + (y * 10.0));
	t_23 = 3.0 + (y * 10.0);
	t_24 = 0.0999999 + (z * 10.0);
	t_25 = 4.1 + (y * 10.0);
	t_26 = 8.5 + (y * 10.0);
	t_27 = -t_26;
	t_28 = -(3.7 + (y * 10.0));
	t_29 = 3.3 + (x * 10.0);
	t_30 = max(t_10, t_25);
	t_31 = (z * 10.0) - 6.0;
	t_32 = (x * 10.0) - 6.0;
	t_33 = 5.4 + (y * 10.0);
	t_34 = (y * 10.0) - 10.5;
	t_35 = 1.5 - (z * 10.0);
	t_36 = 3.3 - (z * 10.0);
	t_37 = 6.0 + (x * 10.0);
	t_38 = 3.5 + (z * 10.0);
	t_39 = -t_38;
	t_40 = -(6.1 + (y * 10.0));
	t_41 = (y * 10.0) - 6.2;
	t_42 = ((x * 10.0) - 1.05) ^ 2.0;
	t_43 = 1.5 + (y * 10.0);
	t_44 = (x * 10.0) - 9.0;
	t_45 = 5.0 - (x * 10.0);
	t_46 = (x * 10.0) - 6.8;
	t_47 = 6.5 - (z * 10.0);
	t_48 = 3.1 - (z * 10.0);
	t_49 = (x * 10.0) - 5.8;
	t_50 = 2.5 + (y * 10.0);
	t_51 = max(max(((z * 10.0) - 4.1), (3.4 - (z * 10.0))), t_50);
	t_52 = -t_50;
	t_53 = 1.0 + (z * 10.0);
	t_54 = t_53 ^ 2.0;
	t_55 = max(((z * 10.0) - 4.8), (2.5 - (z * 10.0)));
	t_56 = sqrt(((t_25 ^ 2.0) + (((z * 10.0) - 3.3) ^ 2.0)));
	t_57 = t_56 - 1.5;
	t_58 = (z * 10.0) - 5.6;
	t_59 = max(t_58, (4.8 - (z * 10.0)));
	t_60 = t_58 ^ 2.0;
	t_61 = max(t_39, t_53);
	t_62 = 5.7 - (x * 10.0);
	t_63 = ((z * 5.0) - 2.2) ^ 2.0;
	t_64 = 7.2 + (y * 10.0);
	t_65 = (y * 10.0) - 9.0;
	t_66 = -min(min(min(min(min(min(min(max(max(max(t_1, (0.5 - (y * 10.0))), t_39), t_53), (sqrt(((t_12 ^ 2.0) + t_54)) - 1.5)), max(max(max(((y * 10.0) - 7.0), (4.0 - (y * 10.0))), t_39), t_53)), (sqrt(((t_2 ^ 2.0) + t_54)) - 1.5)), max(max(max((7.5 - (y * 10.0)), t_34), t_39), t_53)), (sqrt(((t_65 ^ 2.0) + t_54)) - 1.5)), max(max(max(-t_23, (y * 10.0)), t_39), t_53)), (sqrt(((t_43 ^ 2.0) + t_54)) - 1.5));
	t_67 = max(t_65, t_0);
	t_68 = -min((9.0 - (x * 10.0)), t_3);
	t_69 = ((x * 10.0) - 4.85) ^ 2.0;
	t_70 = 2.2 + (x * 10.0);
	t_71 = 6.7 - (x * 10.0);
	t_72 = (2.75 + (x * 10.0)) ^ 2.0;
	t_73 = -(3.9 + (y * 10.0));
	tmp = min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(max(max(max(max(max(max(t_66, (2.5 + (x * 10.0))), -(3.0 + (x * 10.0))), t_4), t_65), t_16), t_39), max(max(max(max(max(max(t_66, ((x * 10.0) - 5.7)), (5.2 - (x * 10.0))), t_4), t_65), t_16), t_39)), max(max(max(max(max(max(-min(min(min(min(min(min(min(min(max(max(max(max(max(t_10, (3.5 - (z * 10.0))), t_25), -((y * 10.0) + 13.5)), t_44), t_45), max(max(max(max(max(t_10, t_44), t_45), (0.5 - (z * 10.0))), (7.5 + (y * 10.0))), t_27)), max(max(max(max(max(t_44, t_48), t_34), (6.5 - (y * 10.0))), (3.0 - (x * 10.0))), t_5)), max(max(max(max(max(t_30, t_45), t_35), t_40), t_49), ((x * 8.0) - (2.5 + (z * 10.0))))), max(max(max(max(max(t_45, t_48), t_49), t_31), t_41), t_52)), max(max(max(max(max(t_45, t_11), t_17), t_22), t_32), t_36)), max(max(max(max(max(t_30, t_35), t_40), t_71), t_6), (7.5 - ((x * 8.0) + (z * 10.0))))), max(max(max(max(max(t_48, t_31), t_41), t_52), t_71), t_6)), max(max(max(max(max(t_11, t_17), t_22), t_6), (6.5 - (x * 10.0))), t_36)), (5.5 - (x * 10.0))), t_65), t_27), t_0), t_5), t_39)), max(max(max(max(max(((z * 10.0) - 3.5), t_33), -(6.5 + (y * 10.0))), t_46), t_62), t_36)), max(max(max(max(max(((z * 10.0) - 6.7), t_18), -(4.3 + (y * 10.0))), ((x * 10.0) - 7.2)), (5.3 - (x * 10.0))), t_47)), max(max(max(max(max((((z * 1.7238) + 5.43983) + (y * 9.8503)), ((z * 1.7238) - (7.95658 + (y * 9.8503)))), (((z * 1.84289) + (x * 9.82872)) - 7.48826)), (((z * 1.84289) + 4.79765) - (x * 9.82872))), ((z * 10.0) - 3.9)), t_36)), max(max(((x * 10.0) - 6.7), (5.8 - (x * 10.0))), t_57)), max(max(max(max(t_46, t_62), t_57), (1.3 - t_56)), t_36)), (sqrt(((t_60 + t_69) + t_13)) - 0.1)), max(min(min(min(max(max(max(max(max((2.8 - (z * 10.0)), (5.4 - (y * 10.0))), t_44), t_65), t_9), t_21), max(max(max(((z * 30.0) - t_33), -max(((z * 30.0) - t_23), t_68)), -min(t_24, t_48)), t_68)), max(max(((z * 30.0) - (9.3 + (y * 10.0))), t_68), -min(min(max(t_68, ((z * 30.0) - (6.9 + (y * 10.0)))), t_14), t_26))), max(max(max(max(max(((z * 10.0) - 0.2), -t_24), (3.2 + (y * 10.0))), -t_64), (7.0 - (x * 10.0))), t_44)), -min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(min(max(t_14, t_23), max((0.371 - (z * 10.0)), t_50)), max((2.0 + (y * 10.0)), (0.542 - (z * 10.0)))), max((0.713 - (z * 10.0)), t_43)), max((1.0 + (y * 10.0)), (0.884 - (z * 10.0)))), max((0.5 + (y * 10.0)), (1.055 - (z * 10.0)))), max((1.226 - (z * 10.0)), (y * 10.0))), max(((y * 10.0) - 0.5), (1.397 - (z * 10.0)))), max(((y * 10.0) - 1.0), (1.568 - (z * 10.0)))), max(((y * 10.0) - 1.5), (1.739 - (z * 10.0)))), max((1.91 - (z * 10.0)), t_12)), max(((y * 10.0) - 2.5), (2.081 - (z * 10.0)))), max(((y * 10.0) - 3.0), (2.252 - (z * 10.0)))), max((2.423 - (z * 10.0)), t_1)), max(((y * 10.0) - 4.0), (2.594 - (z * 10.0)))), max(((y * 10.0) - 4.5), (2.765 - (z * 10.0)))), max(((y * 10.0) - 5.0), (2.936 - (z * 10.0)))), max((3.107 - (z * 10.0)), t_2)), max((3.278 - (z * 10.0)), t_17)), max((3.449 - (z * 10.0)), t_18)), max((9.2 + (y * 10.0)), -(0.65 + (z * 10.0)))), max((8.7 + (y * 10.0)), -(0.479 + (z * 10.0)))), max((8.2 + (y * 10.0)), -(0.308 + (z * 10.0)))), max((7.7 + (y * 10.0)), -(0.137 + (z * 10.0)))), max(t_64, (0.0339999 - (z * 10.0)))))), max(max((sqrt((t_13 + t_72)) - 0.1), t_7), t_47)), (sqrt((((t_7 ^ 2.0) + t_13) + t_72)) - 0.1)), max(max(max(max(t_55, -(7.1 + (x * 10.0))), t_19), t_28), t_37)), (sqrt(((t_63 + t_8) + t_13)) - 0.5)), max(t_59, (sqrt((t_8 + t_13)) - 0.1))), (sqrt(((t_8 + t_60) + t_13)) - 0.1)), max(max(max(max(t_55, ((x * 10.0) - 1.6)), (0.5 - (x * 10.0))), t_19), t_28)), (sqrt(((t_63 + t_42) + t_13)) - 0.5)), max(t_59, (sqrt((t_42 + t_13)) - 0.1))), (sqrt(((t_60 + t_42) + t_13)) - 0.1)), max(max(max(max(t_55, ((x * 10.0) - 5.4)), (4.3 - (x * 10.0))), t_19), t_28)), (sqrt(((t_63 + t_69) + t_13)) - 0.5)), max(t_59, (sqrt((t_69 + t_13)) - 0.1))), max(max(max(max(max(max(max(-min(min(min(min(min(min(min(min(min(min(min(max(max(max(max(max(t_3, t_21), ((z * 10.0) - 4.2)), t_36), (3.4 + (y * 10.0))), -(3.6 + (y * 10.0))), max(max(max(t_51, (8.1 + (x * 10.0))), -(8.9 + (x * 10.0))), t_16)), max(max(max(t_51, (7.15 + (x * 10.0))), -(7.95 + (x * 10.0))), t_16)), max(max(max(t_51, (5.2 + (x * 10.0))), -t_37), t_16)), max(max(max(t_51, (4.25 + (x * 10.0))), -(5.05 + (x * 10.0))), t_16)), max(max(max(t_51, t_29), -(4.1 + (x * 10.0))), t_16)), max(max(max(t_51, (1.4 + (x * 10.0))), -t_70), t_16)), max(max(max(t_51, (0.45 + (x * 10.0))), -(1.25 + (x * 10.0))), t_16)), max(max(max(t_51, ((x * 10.0) - 0.5)), -(0.3 + (x * 10.0))), t_16)), max(max(max(t_51, ((x * 10.0) - 2.4)), (1.6 - (x * 10.0))), t_16)), max(max(max(t_51, ((x * 10.0) - 3.35)), (2.55 - (x * 10.0))), t_16)), max(max(max(t_51, ((x * 10.0) - 4.3)), (3.5 - (x * 10.0))), t_16)), t_23), t_16), ((z * 10.0) - 4.4)), t_39), t_32), t_21), -min(min(min(min(min(min(min(max(max(t_61, (7.5 + (x * 10.0))), -((x * 10.0) + 10.5)), (sqrt((t_54 + (t_20 ^ 2.0))) - 1.5)), max(max(t_61, (4.0 + (x * 10.0))), -(7.0 + (x * 10.0)))), (sqrt((t_54 + ((5.5 + (x * 10.0)) ^ 2.0))) - 1.5)), max(max(t_61, ((x * 10.0) - 1.5)), -(1.5 + (x * 10.0)))), (sqrt((t_54 + ((x * 10.0) ^ 2.0))) - 1.5)), max(max(t_61, ((x * 10.0) - 5.0)), (2.0 - (x * 10.0)))), (sqrt((t_54 + (((x * 10.0) - 3.5) ^ 2.0))) - 1.5)))), max(max(max(max(max(-(4.0 + (z * 10.0)), t_65), t_27), t_0), t_38), t_21)), max(max(max(max(t_67, ((z * 10.0) - 2.3)), (2.0 - (z * 10.0))), t_73), t_21)), max(max(max(max(t_67, t_9), (2.3 - (z * 10.0))), -(3.8 + (y * 10.0))), t_21)), max(max(max(max(max(t_0, t_73), ((z * 10.0) - 3.2)), (2.9 - (z * 10.0))), t_15), t_21)), max(max(max(max(max(t_5, t_19), t_28), t_70), -t_29), t_39)), (sqrt((((((z * 5.0) - 3.05) ^ 2.0) + t_13) + t_72)) - 0.5));
end

Wolfram

code[x_, y_, z_] := Block[{t$95$0 = N[(N[(x * 10), $MachinePrecision] - 7), $MachinePrecision]}, Block[{t$95$1 = N[(N[(y * 10), $MachinePrecision] - 7/2), $MachinePrecision]}, Block[{t$95$2 = N[(N[(y * 10), $MachinePrecision] - 11/2), $MachinePrecision]}, Block[{t$95$3 = N[(N[(x * 10), $MachinePrecision] - 11/2), $MachinePrecision]}, Block[{t$95$4 = N[(N[(z * 10), $MachinePrecision] - 5/2), $MachinePrecision]}, Block[{t$95$5 = N[(N[(z * 10), $MachinePrecision] - 13/2), $MachinePrecision]}, Block[{t$95$6 = N[(N[(x * 10), $MachinePrecision] - 15/2), $MachinePrecision]}, Block[{t$95$7 = N[(N[(z * 10), $MachinePrecision] - 37/5), $MachinePrecision]}, Block[{t$95$8 = N[Power[N[(131/20 + N[(x * 10), $MachinePrecision]), $MachinePrecision], 2], $MachinePrecision]}, Block[{t$95$9 = N[(N[(z * 10), $MachinePrecision] - 31/10), $MachinePrecision]}, Block[{t$95$10 = N[(N[(z * 10), $MachinePrecision] - 33/2), $MachinePrecision]}, Block[{t$95$11 = N[(N[(z * 10), $MachinePrecision] - 29/5), $MachinePrecision]}, Block[{t$95$12 = N[(N[(y * 10), $MachinePrecision] - 2), $MachinePrecision]}, Block[{t$95$13 = N[Power[N[(63/20 + N[(y * 10), $MachinePrecision]), $MachinePrecision], 2], $MachinePrecision]}, Block[{t$95$14 = N[(1/5 - N[(z * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$15 = N[(7/2 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$16 = (-t$95$15)}, Block[{t$95$17 = N[(N[(y * 10), $MachinePrecision] - 6), $MachinePrecision]}, Block[{t$95$18 = N[(N[(y * 10), $MachinePrecision] - 13/2), $MachinePrecision]}, Block[{t$95$19 = N[(13/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$20 = N[(9 + N[(x * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$21 = (-t$95$20)}, Block[{t$95$22 = (-N[(23/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision])}, Block[{t$95$23 = N[(3 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$24 = N[(999999/10000000 + N[(z * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$25 = N[(41/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$26 = N[(17/2 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$27 = (-t$95$26)}, Block[{t$95$28 = (-N[(37/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision])}, Block[{t$95$29 = N[(33/10 + N[(x * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$30 = N[Max[t$95$10, t$95$25], $MachinePrecision]}, Block[{t$95$31 = N[(N[(z * 10), $MachinePrecision] - 6), $MachinePrecision]}, Block[{t$95$32 = N[(N[(x * 10), $MachinePrecision] - 6), $MachinePrecision]}, Block[{t$95$33 = N[(27/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$34 = N[(N[(y * 10), $MachinePrecision] - 21/2), $MachinePrecision]}, Block[{t$95$35 = N[(3/2 - N[(z * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$36 = N[(33/10 - N[(z * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$37 = N[(6 + N[(x * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$38 = N[(7/2 + N[(z * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$39 = (-t$95$38)}, Block[{t$95$40 = (-N[(61/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision])}, Block[{t$95$41 = N[(N[(y * 10), $MachinePrecision] - 31/5), $MachinePrecision]}, Block[{t$95$42 = N[Power[N[(N[(x * 10), $MachinePrecision] - 21/20), $MachinePrecision], 2], $MachinePrecision]}, Block[{t$95$43 = N[(3/2 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$44 = N[(N[(x * 10), $MachinePrecision] - 9), $MachinePrecision]}, Block[{t$95$45 = N[(5 - N[(x * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$46 = N[(N[(x * 10), $MachinePrecision] - 34/5), $MachinePrecision]}, Block[{t$95$47 = N[(13/2 - N[(z * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$48 = N[(31/10 - N[(z * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$49 = N[(N[(x * 10), $MachinePrecision] - 29/5), $MachinePrecision]}, Block[{t$95$50 = N[(5/2 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$51 = N[Max[N[Max[N[(N[(z * 10), $MachinePrecision] - 41/10), $MachinePrecision], N[(17/5 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$50], $MachinePrecision]}, Block[{t$95$52 = (-t$95$50)}, Block[{t$95$53 = N[(1 + N[(z * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$54 = N[Power[t$95$53, 2], $MachinePrecision]}, Block[{t$95$55 = N[Max[N[(N[(z * 10), $MachinePrecision] - 24/5), $MachinePrecision], N[(5/2 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$56 = N[Sqrt[N[(N[Power[t$95$25, 2], $MachinePrecision] + N[Power[N[(N[(z * 10), $MachinePrecision] - 33/10), $MachinePrecision], 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$57 = N[(t$95$56 - 3/2), $MachinePrecision]}, Block[{t$95$58 = N[(N[(z * 10), $MachinePrecision] - 28/5), $MachinePrecision]}, Block[{t$95$59 = N[Max[t$95$58, N[(24/5 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$60 = N[Power[t$95$58, 2], $MachinePrecision]}, Block[{t$95$61 = N[Max[t$95$39, t$95$53], $MachinePrecision]}, Block[{t$95$62 = N[(57/10 - N[(x * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$63 = N[Power[N[(N[(z * 5), $MachinePrecision] - 11/5), $MachinePrecision], 2], $MachinePrecision]}, Block[{t$95$64 = N[(36/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$65 = N[(N[(y * 10), $MachinePrecision] - 9), $MachinePrecision]}, Block[{t$95$66 = (-N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Max[N[Max[N[Max[t$95$1, N[(1/2 - N[(y * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$39], $MachinePrecision], t$95$53], $MachinePrecision], N[(N[Sqrt[N[(N[Power[t$95$12, 2], $MachinePrecision] + t$95$54), $MachinePrecision]], $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[(N[(y * 10), $MachinePrecision] - 7), $MachinePrecision], N[(4 - N[(y * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$39], $MachinePrecision], t$95$53], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[Power[t$95$2, 2], $MachinePrecision] + t$95$54), $MachinePrecision]], $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[(15/2 - N[(y * 10), $MachinePrecision]), $MachinePrecision], t$95$34], $MachinePrecision], t$95$39], $MachinePrecision], t$95$53], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[Power[t$95$65, 2], $MachinePrecision] + t$95$54), $MachinePrecision]], $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[(-t$95$23), N[(y * 10), $MachinePrecision]], $MachinePrecision], t$95$39], $MachinePrecision], t$95$53], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[Power[t$95$43, 2], $MachinePrecision] + t$95$54), $MachinePrecision]], $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision])}, Block[{t$95$67 = N[Max[t$95$65, t$95$0], $MachinePrecision]}, Block[{t$95$68 = (-N[Min[N[(9 - N[(x * 10), $MachinePrecision]), $MachinePrecision], t$95$3], $MachinePrecision])}, Block[{t$95$69 = N[Power[N[(N[(x * 10), $MachinePrecision] - 97/20), $MachinePrecision], 2], $MachinePrecision]}, Block[{t$95$70 = N[(11/5 + N[(x * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$71 = N[(67/10 - N[(x * 10), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$72 = N[Power[N[(11/4 + N[(x * 10), $MachinePrecision]), $MachinePrecision], 2], $MachinePrecision]}, Block[{t$95$73 = (-N[(39/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision])}, N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Max[N[Max[N[Max[N[Max[N[Max[N[Max[t$95$66, N[(5/2 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(3 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$4], $MachinePrecision], t$95$65], $MachinePrecision], t$95$16], $MachinePrecision], t$95$39], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[N[Max[t$95$66, N[(N[(x * 10), $MachinePrecision] - 57/10), $MachinePrecision]], $MachinePrecision], N[(26/5 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$4], $MachinePrecision], t$95$65], $MachinePrecision], t$95$16], $MachinePrecision], t$95$39], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[N[Max[(-N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Max[N[Max[N[Max[N[Max[N[Max[t$95$10, N[(7/2 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$25], $MachinePrecision], (-N[(N[(y * 10), $MachinePrecision] + 27/2), $MachinePrecision])], $MachinePrecision], t$95$44], $MachinePrecision], t$95$45], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$10, t$95$44], $MachinePrecision], t$95$45], $MachinePrecision], N[(1/2 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[(15/2 + N[(y * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$27], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$44, t$95$48], $MachinePrecision], t$95$34], $MachinePrecision], N[(13/2 - N[(y * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[(3 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$5], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$30, t$95$45], $MachinePrecision], t$95$35], $MachinePrecision], t$95$40], $MachinePrecision], t$95$49], $MachinePrecision], N[(N[(x * 8), $MachinePrecision] - N[(5/2 + N[(z * 10), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$45, t$95$48], $MachinePrecision], t$95$49], $MachinePrecision], t$95$31], $MachinePrecision], t$95$41], $MachinePrecision], t$95$52], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$45, t$95$11], $MachinePrecision], t$95$17], $MachinePrecision], t$95$22], $MachinePrecision], t$95$32], $MachinePrecision], t$95$36], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$30, t$95$35], $MachinePrecision], t$95$40], $MachinePrecision], t$95$71], $MachinePrecision], t$95$6], $MachinePrecision], N[(15/2 - N[(N[(x * 8), $MachinePrecision] + N[(z * 10), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$48, t$95$31], $MachinePrecision], t$95$41], $MachinePrecision], t$95$52], $MachinePrecision], t$95$71], $MachinePrecision], t$95$6], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$11, t$95$17], $MachinePrecision], t$95$22], $MachinePrecision], t$95$6], $MachinePrecision], N[(13/2 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$36], $MachinePrecision]], $MachinePrecision]), N[(11/2 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$65], $MachinePrecision], t$95$27], $MachinePrecision], t$95$0], $MachinePrecision], t$95$5], $MachinePrecision], t$95$39], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[N[(N[(z * 10), $MachinePrecision] - 7/2), $MachinePrecision], t$95$33], $MachinePrecision], (-N[(13/2 + N[(y * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$46], $MachinePrecision], t$95$62], $MachinePrecision], t$95$36], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[N[(N[(z * 10), $MachinePrecision] - 67/10), $MachinePrecision], t$95$18], $MachinePrecision], (-N[(43/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], N[(N[(x * 10), $MachinePrecision] - 36/5), $MachinePrecision]], $MachinePrecision], N[(53/10 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$47], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[N[(N[(N[(z * 8619/5000), $MachinePrecision] + 543983/100000), $MachinePrecision] + N[(y * 98503/10000), $MachinePrecision]), $MachinePrecision], N[(N[(z * 8619/5000), $MachinePrecision] - N[(397829/50000 + N[(y * 98503/10000), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[(N[(N[(z * 184289/100000), $MachinePrecision] + N[(x * 122859/12500), $MachinePrecision]), $MachinePrecision] - 374413/50000), $MachinePrecision]], $MachinePrecision], N[(N[(N[(z * 184289/100000), $MachinePrecision] + 95953/20000), $MachinePrecision] - N[(x * 122859/12500), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], N[(N[(z * 10), $MachinePrecision] - 39/10), $MachinePrecision]], $MachinePrecision], t$95$36], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[(N[(x * 10), $MachinePrecision] - 67/10), $MachinePrecision], N[(29/5 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$57], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[t$95$46, t$95$62], $MachinePrecision], t$95$57], $MachinePrecision], N[(13/10 - t$95$56), $MachinePrecision]], $MachinePrecision], t$95$36], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[(t$95$60 + t$95$69), $MachinePrecision] + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/10), $MachinePrecision]], $MachinePrecision], N[Max[N[Min[N[Min[N[Min[N[Max[N[Max[N[Max[N[Max[N[Max[N[(14/5 - N[(z * 10), $MachinePrecision]), $MachinePrecision], N[(27/5 - N[(y * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$44], $MachinePrecision], t$95$65], $MachinePrecision], t$95$9], $MachinePrecision], t$95$21], $MachinePrecision], N[Max[N[Max[N[Max[N[(N[(z * 30), $MachinePrecision] - t$95$33), $MachinePrecision], (-N[Max[N[(N[(z * 30), $MachinePrecision] - t$95$23), $MachinePrecision], t$95$68], $MachinePrecision])], $MachinePrecision], (-N[Min[t$95$24, t$95$48], $MachinePrecision])], $MachinePrecision], t$95$68], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[(N[(z * 30), $MachinePrecision] - N[(93/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$68], $MachinePrecision], (-N[Min[N[Min[N[Max[t$95$68, N[(N[(z * 30), $MachinePrecision] - N[(69/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$14], $MachinePrecision], t$95$26], $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[N[(N[(z * 10), $MachinePrecision] - 1/5), $MachinePrecision], (-t$95$24)], $MachinePrecision], N[(16/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-t$95$64)], $MachinePrecision], N[(7 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$44], $MachinePrecision]], $MachinePrecision], (-N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Max[t$95$14, t$95$23], $MachinePrecision], N[Max[N[(371/1000 - N[(z * 10), $MachinePrecision]), $MachinePrecision], t$95$50], $MachinePrecision]], $MachinePrecision], N[Max[N[(2 + N[(y * 10), $MachinePrecision]), $MachinePrecision], N[(271/500 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(713/1000 - N[(z * 10), $MachinePrecision]), $MachinePrecision], t$95$43], $MachinePrecision]], $MachinePrecision], N[Max[N[(1 + N[(y * 10), $MachinePrecision]), $MachinePrecision], N[(221/250 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(1/2 + N[(y * 10), $MachinePrecision]), $MachinePrecision], N[(211/200 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(613/500 - N[(z * 10), $MachinePrecision]), $MachinePrecision], N[(y * 10), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(y * 10), $MachinePrecision] - 1/2), $MachinePrecision], N[(1397/1000 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(y * 10), $MachinePrecision] - 1), $MachinePrecision], N[(196/125 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(y * 10), $MachinePrecision] - 3/2), $MachinePrecision], N[(1739/1000 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(191/100 - N[(z * 10), $MachinePrecision]), $MachinePrecision], t$95$12], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(y * 10), $MachinePrecision] - 5/2), $MachinePrecision], N[(2081/1000 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(y * 10), $MachinePrecision] - 3), $MachinePrecision], N[(563/250 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(2423/1000 - N[(z * 10), $MachinePrecision]), $MachinePrecision], t$95$1], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(y * 10), $MachinePrecision] - 4), $MachinePrecision], N[(1297/500 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(y * 10), $MachinePrecision] - 9/2), $MachinePrecision], N[(553/200 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(N[(y * 10), $MachinePrecision] - 5), $MachinePrecision], N[(367/125 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[(3107/1000 - N[(z * 10), $MachinePrecision]), $MachinePrecision], t$95$2], $MachinePrecision]], $MachinePrecision], N[Max[N[(1639/500 - N[(z * 10), $MachinePrecision]), $MachinePrecision], t$95$17], $MachinePrecision]], $MachinePrecision], N[Max[N[(3449/1000 - N[(z * 10), $MachinePrecision]), $MachinePrecision], t$95$18], $MachinePrecision]], $MachinePrecision], N[Max[N[(46/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision], (-N[(13/20 + N[(z * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[Max[N[(87/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision], (-N[(479/1000 + N[(z * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[Max[N[(41/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision], (-N[(77/250 + N[(z * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[Max[N[(77/10 + N[(y * 10), $MachinePrecision]), $MachinePrecision], (-N[(137/1000 + N[(z * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[Max[t$95$64, N[(339999/10000000 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[(N[Sqrt[N[(t$95$13 + t$95$72), $MachinePrecision]], $MachinePrecision] - 1/10), $MachinePrecision], t$95$7], $MachinePrecision], t$95$47], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[(N[Power[t$95$7, 2], $MachinePrecision] + t$95$13), $MachinePrecision] + t$95$72), $MachinePrecision]], $MachinePrecision] - 1/10), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[t$95$55, (-N[(71/10 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$19], $MachinePrecision], t$95$28], $MachinePrecision], t$95$37], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[(t$95$63 + t$95$8), $MachinePrecision] + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/2), $MachinePrecision]], $MachinePrecision], N[Max[t$95$59, N[(N[Sqrt[N[(t$95$8 + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/10), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[(t$95$8 + t$95$60), $MachinePrecision] + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/10), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[t$95$55, N[(N[(x * 10), $MachinePrecision] - 8/5), $MachinePrecision]], $MachinePrecision], N[(1/2 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$19], $MachinePrecision], t$95$28], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[(t$95$63 + t$95$42), $MachinePrecision] + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/2), $MachinePrecision]], $MachinePrecision], N[Max[t$95$59, N[(N[Sqrt[N[(t$95$42 + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/10), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[(t$95$60 + t$95$42), $MachinePrecision] + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/10), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[t$95$55, N[(N[(x * 10), $MachinePrecision] - 27/5), $MachinePrecision]], $MachinePrecision], N[(43/10 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$19], $MachinePrecision], t$95$28], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[(t$95$63 + t$95$69), $MachinePrecision] + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/2), $MachinePrecision]], $MachinePrecision], N[Max[t$95$59, N[(N[Sqrt[N[(t$95$69 + t$95$13), $MachinePrecision]], $MachinePrecision] - 1/10), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[N[Max[N[Max[(-N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Max[N[Max[N[Max[N[Max[N[Max[t$95$3, t$95$21], $MachinePrecision], N[(N[(z * 10), $MachinePrecision] - 21/5), $MachinePrecision]], $MachinePrecision], t$95$36], $MachinePrecision], N[(17/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(18/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(81/10 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(89/10 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(143/20 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(159/20 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(26/5 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-t$95$37)], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(17/4 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(101/20 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, t$95$29], $MachinePrecision], (-N[(41/10 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(7/5 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-t$95$70)], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(9/20 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(5/4 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(N[(x * 10), $MachinePrecision] - 1/2), $MachinePrecision]], $MachinePrecision], (-N[(3/10 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(N[(x * 10), $MachinePrecision] - 12/5), $MachinePrecision]], $MachinePrecision], N[(8/5 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(N[(x * 10), $MachinePrecision] - 67/20), $MachinePrecision]], $MachinePrecision], N[(51/20 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[t$95$51, N[(N[(x * 10), $MachinePrecision] - 43/10), $MachinePrecision]], $MachinePrecision], N[(7/2 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$16], $MachinePrecision]], $MachinePrecision]), t$95$23], $MachinePrecision], t$95$16], $MachinePrecision], N[(N[(z * 10), $MachinePrecision] - 22/5), $MachinePrecision]], $MachinePrecision], t$95$39], $MachinePrecision], t$95$32], $MachinePrecision], t$95$21], $MachinePrecision], (-N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Min[N[Max[N[Max[t$95$61, N[(15/2 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(N[(x * 10), $MachinePrecision] + 21/2), $MachinePrecision])], $MachinePrecision], N[(N[Sqrt[N[(t$95$54 + N[Power[t$95$20, 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[t$95$61, N[(4 + N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(7 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(t$95$54 + N[Power[N[(11/2 + N[(x * 10), $MachinePrecision]), $MachinePrecision], 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[t$95$61, N[(N[(x * 10), $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision], (-N[(3/2 + N[(x * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(t$95$54 + N[Power[N[(x * 10), $MachinePrecision], 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision], N[Max[N[Max[t$95$61, N[(N[(x * 10), $MachinePrecision] - 5), $MachinePrecision]], $MachinePrecision], N[(2 - N[(x * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(t$95$54 + N[Power[N[(N[(x * 10), $MachinePrecision] - 7/2), $MachinePrecision], 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - 3/2), $MachinePrecision]], $MachinePrecision])], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[(-N[(4 + N[(z * 10), $MachinePrecision]), $MachinePrecision]), t$95$65], $MachinePrecision], t$95$27], $MachinePrecision], t$95$0], $MachinePrecision], t$95$38], $MachinePrecision], t$95$21], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[t$95$67, N[(N[(z * 10), $MachinePrecision] - 23/10), $MachinePrecision]], $MachinePrecision], N[(2 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$73], $MachinePrecision], t$95$21], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[t$95$67, t$95$9], $MachinePrecision], N[(23/10 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], (-N[(19/5 + N[(y * 10), $MachinePrecision]), $MachinePrecision])], $MachinePrecision], t$95$21], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$0, t$95$73], $MachinePrecision], N[(N[(z * 10), $MachinePrecision] - 16/5), $MachinePrecision]], $MachinePrecision], N[(29/10 - N[(z * 10), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], t$95$15], $MachinePrecision], t$95$21], $MachinePrecision]], $MachinePrecision], N[Max[N[Max[N[Max[N[Max[N[Max[t$95$5, t$95$19], $MachinePrecision], t$95$28], $MachinePrecision], t$95$70], $MachinePrecision], (-t$95$29)], $MachinePrecision], t$95$39], $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[N[(N[(N[Power[N[(N[(z * 5), $MachinePrecision] - 61/20), $MachinePrecision], 2], $MachinePrecision] + t$95$13), $MachinePrecision] + t$95$72), $MachinePrecision]], $MachinePrecision] - 1/2), $MachinePrecision]], $MachinePrecision]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]