The bear head is based on a design by Hazel Fraticelli and Anthony Taconi

Specification

?
\[\begin{array}{l} t_0 := \frac{0.87758255 \cdot \left(0.9950042 \cdot \frac{x}{1.5} + -0.099833414 \cdot \frac{y}{1.5}\right) + 0.47942555 \cdot \frac{z}{1}}{0.3}\\ t_1 := {t\_0}^{2}\\ t_2 := \left|t\_0\right|\\ t_3 := t\_2 \cdot 0.2207437\\ t_4 := t\_2 \cdot 1.2493271\\ t_5 := t\_2 \cdot 1.0522937\\ t_6 := \sqrt{{\left(t\_2 - 0.4\right)}^{2} + \left({\left(\frac{\left(\left(\frac{y}{1.5} \cdot 2.0808594 + \frac{z}{1} \cdot 2.3650744\right) - \frac{x}{1.5} \cdot 1.089751\right) - 0.92795134}{0.7}\right)}^{2} + {\left(\frac{0.0625 - \left(\frac{z}{1} \cdot 1.7215275 - \left(\frac{y}{1.5} \cdot 2.5876334 + \frac{x}{1.5} \cdot 1.2048262\right)\right)}{1.5}\right)}^{2}\right)}\\ t_7 := t\_2 \cdot 0.19866933\\ t_8 := \frac{z}{1} \cdot 0.35865277\\ t_9 := \frac{\left(\frac{z}{1} \cdot 0.06207773 + \frac{x}{1.5} \cdot 0.06583953\right) + \frac{y}{1.5} \cdot 0.99589735}{0.3}\\ t_10 := t\_9 \cdot 1.1111112\\ t_11 := t\_10 - 0.8888889\\ t_12 := t\_9 - 0.8\\ t_13 := t\_9 - 1\\ t_14 := t\_10 - 0.22222221\\ t_15 := \left(\frac{z}{1} \cdot 0.96114874 + \frac{y}{1.5} \cdot 3.5451903\right) - \frac{x}{1.5} \cdot 0.17200887\\ t_16 := \frac{y}{1.5} \cdot 4.247789 + \frac{x}{1.5} \cdot 0.6231172\\ t_17 := -\left(t\_5 + \left(\left(t\_8 + 0.5239333\right) - t\_16\right)\right)\\ t_18 := \frac{\left(\left(\left(\frac{z}{1} \cdot 0.5766893 + \frac{y}{1.5} \cdot 2.1271143\right) - \frac{x}{1.5} \cdot 0.10320534\right) + t\_2 \cdot 0.7495963\right) - 1.115259}{0.6}\\ t_19 := \frac{\frac{z}{1} \cdot 0.8753842 - \left(\frac{x}{1.5} \cdot 0.4828974 + \frac{y}{1.5} \cdot 0.022641014\right)}{0.3}\\ t_20 := t\_19 \cdot 0.2207437\\ t_21 := \left(t\_2 \cdot 0.48241276 + t\_19 \cdot 0.7513133\right) - 0.5854049\\ t_22 := t\_19 \cdot 0.9800666\\ t_23 := \frac{\left(t\_22 + 1.0807292\right) - t\_7}{0.9}\\ t_24 := t\_19 - 1\\ t_25 := \left(t\_19 \cdot 0.33768892 + 0.55581105\right) - t\_2 \cdot 0.5259193\\ t_26 := t\_19 - 2.19\\ t_27 := \frac{\left(t\_19 \cdot 0.19866933 + t\_2 \cdot 0.9800666\right) - 0.8012642}{0.9}\\ t_28 := {t\_27}^{2}\\ t_29 := \left(t\_9 - \frac{0.1}{t\_19}\right) - -0.7\\ t_30 := 1 - 0.5 \cdot e^{-\frac{\sqrt{\left(t\_1 + {t\_24}^{2}\right) + {t\_12}^{2}}}{1}}\\ t_31 := t\_24 \cdot t\_30 + 1.5\\ t_32 := 0.8 + t\_12 \cdot t\_30\\ t_33 := t\_0 \cdot t\_30\\ t_34 := 1 + 2 \cdot e^{-\frac{\sqrt{\left({t\_33}^{2} + {t\_31}^{2}\right) + {t\_32}^{2}}}{1}}\\ t_35 := 0.30833334 + t\_9 \cdot 0.8333333\\ t_36 := t\_2 \cdot 1.0234011\\ t_37 := 1.5 \cdot e^{-\frac{\sqrt{t\_28 + \left({t\_23}^{2} + {t\_14}^{2}\right)}}{1}}\\ t_38 := \sin t\_37\\ t_39 := \frac{t\_2 - 0.25}{0.9}\\ t_40 := t\_19 \cdot 1.6334443\\ t_41 := \cos t\_37\\ t_42 := \left(\left(-t\_38\right) \cdot t\_23 + t\_41 \cdot t\_14\right) - -1\\ t_43 := t\_9 \cdot 0.625 - 1.09375\\ t_44 := 1 + 1.2 \cdot e^{-\frac{\sqrt{{t\_21}^{2} + \left({t\_25}^{2} + {t\_43}^{2}\right)}}{0.5}}\\ t_45 := t\_21 \cdot t\_44\\ t_46 := {\left(t\_25 \cdot t\_44\right)}^{2}\\ t_47 := {\left(t\_43 \cdot t\_44 - -0.5\right)}^{2}\\ t_48 := t\_19 \cdot 1.0234011\\ t_49 := t\_2 \cdot 1.0889629\\ t_50 := {t\_18}^{2}\\ t_51 := 1 - 1.5 \cdot e^{-\frac{\sqrt{{t\_39}^{2} + \left({t\_26}^{2} + {t\_35}^{2}\right)}}{0.15}}\\ t_52 := t\_26 \cdot t\_51\\ t_53 := t\_39 \cdot t\_51 - 0.2\\ t_54 := t\_35 \cdot t\_51 - 0.35\\ t_55 := t\_2 \cdot 0.33111554\\ t_56 := \frac{\left(t\_19 \cdot 0.921061 + 1.2962569\right) - t\_2 \cdot 0.38941833}{0.9}\\ t_57 := t\_19 - 2\\ t_58 := t\_2 \cdot 0.43268704\\ t_59 := t\_19 \cdot 0.43268704\\ t_60 := 1 - e^{-\frac{\sqrt{\left(t\_1 + {t\_57}^{2}\right) + {t\_13}^{2}}}{0.5}}\\ t_61 := t\_0 \cdot t\_60\\ t_62 := t\_13 \cdot t\_60 - -1\\ t_63 := t\_57 \cdot t\_60 - 1\\ t_64 := 1 - 2 \cdot e^{-\frac{\sqrt{{t\_63}^{2} + \left({t\_61}^{2} + {t\_62}^{2}\right)}}{0.5}}\\ t_65 := \sqrt{{\left(t\_63 \cdot t\_64 - -1\right)}^{2} + \left({\left(t\_61 \cdot t\_64\right)}^{2} + {\left(t\_62 \cdot t\_64\right)}^{2}\right)}\\ t_66 := \left(t\_41 \cdot t\_23 + t\_38 \cdot t\_14\right) - -1.5\\ t_67 := 1 + 4 \cdot e^{-\frac{\sqrt{{t\_42}^{2} + \left(t\_28 + {t\_66}^{2}\right)}}{0.5}}\\ t_68 := t\_19 \cdot 1.0889629\\ t_69 := \frac{\left(0.9244498 + t\_22\right) - t\_7}{0.6}\\ t_70 := 1.5 \cdot e^{-\frac{\sqrt{t\_50 + \left({t\_17}^{2} + {t\_69}^{2}\right)}}{1}}\\ t_71 := \sin t\_70\\ t_72 := \cos t\_70\\ t_73 := \left(\left(-t\_71\right) \cdot t\_69 + t\_72 \cdot t\_17\right) - -1\\ t_74 := \left(t\_72 \cdot t\_69 + t\_71 \cdot t\_17\right) - -1.5\\ t_75 := 1 + 4 \cdot e^{-\frac{\sqrt{{t\_73}^{2} + \left(t\_50 + {t\_74}^{2}\right)}}{0.5}}\\ t_76 := 1 - e^{-\frac{\sqrt{\left({t\_53}^{2} + {t\_52}^{2}\right) + {t\_54}^{2}}}{0.15}}\\ t_77 := \frac{\left(t\_19 \cdot 0.38941833 + t\_2 \cdot 0.921061\right) - 0.75479674}{0.9}\\ t_78 := {t\_77}^{2}\\ t_79 := 1.5 \cdot e^{-\frac{\sqrt{t\_78 + \left({t\_56}^{2} + {t\_11}^{2}\right)}}{1}}\\ t_80 := \sin t\_79\\ t_81 := \cos t\_79\\ t_82 := \left(t\_81 \cdot t\_56 + t\_80 \cdot t\_11\right) - -1.5\\ t_83 := \left(\left(-t\_80\right) \cdot t\_56 + t\_81 \cdot t\_11\right) - -1\\ t_84 := 1 + 4 \cdot e^{-\frac{\sqrt{{t\_83}^{2} + \left(t\_78 + {t\_82}^{2}\right)}}{0.5}}\\ \mathsf{min}\left(\frac{-\log \left(e^{-11 \cdot \left(-\frac{-\log \left(e^{-30.555555 \cdot \frac{-\log \left(e^{-11 \cdot \frac{-\log \left(e^{-11 \cdot \left(-\frac{-\log \left(e^{-16 \cdot \frac{-\log \left(e^{-5.612245 \cdot \left(\sqrt{\left(t\_1 + {\left(t\_19 - -0.4\right)}^{2}\right) + {\left(t\_9 - 0.1\right)}^{2}} - 1.4\right)} + e^{-5.612245 \cdot \left(\sqrt{\left({\left(t\_33 \cdot t\_34\right)}^{2} + {\left(t\_31 \cdot t\_34 - 2\right)}^{2}\right) + {\left(t\_32 \cdot t\_34 - -0.2\right)}^{2}} - 0.9\right)}\right)}{5.612245}} + e^{-16 \cdot \left(-\frac{-\log \left(e^{-5.612245 \cdot \left(-\left(\sqrt{\left({\left(t\_45 - -0.5\right)}^{2} + t\_46\right) + t\_47} - 0.5\right)\right)} + e^{-5.612245 \cdot \left(\sqrt{{\left(0.3 + t\_45\right)}^{2} + \left(t\_46 + t\_47\right)} - 0.2\right)}\right)}{5.612245}\right)}\right)}{16}\right)} + e^{-11 \cdot \left(t\_6 - 0.2\right)}\right)}{11}} + e^{-11 \cdot \left(t\_65 - 0.3\right)}\right)}{11}} + e^{-30.555555 \cdot \mathsf{max}\left(\mathsf{max}\left(\mathsf{max}\left(-1.5 - t\_0, t\_0 - 1.5\right), \mathsf{max}\left(0.5 - t\_19, t\_19 - 3\right)\right), \mathsf{max}\left(-t\_29, t\_29\right)\right)}\right)}{30.555555}\right)} + e^{-11 \cdot \mathsf{min}\left(\mathsf{min}\left(\mathsf{max}\left(\sqrt{{\left(\frac{t\_18 \cdot t\_75}{0.8}\right)}^{2} + \left({\left(t\_74 \cdot t\_75 - 1.5\right)}^{2} + {\left(t\_73 \cdot t\_75\right)}^{2}\right)} - 0.7, \mathsf{max}\left(\mathsf{max}\left(\left(t\_15 + t\_4\right) - 2.8587651, \mathsf{max}\left(0.858765 - \left(t\_4 + t\_15\right), \left(0.54074955 + t\_40\right) - t\_55\right)\right), \mathsf{max}\left(\left(t\_5 + \left(t\_8 - t\_16\right)\right) - 1.4760667, \mathsf{max}\left(t\_17, t\_55 - \left(2.5407495 + t\_40\right)\right)\right)\right)\right), \mathsf{max}\left(\sqrt{{\left(\frac{t\_77 \cdot t\_84}{0.8}\right)}^{2} + \left({\left(t\_82 \cdot t\_84 - 1.5\right)}^{2} + {\left(t\_83 \cdot t\_84\right)}^{2}\right)} - 0.7, \mathsf{max}\left(\mathsf{max}\left(-\left(t\_36 + \left(0.16133696 + t\_59\right)\right), \left(t\_59 + t\_36\right) - 1.8386631\right), \mathsf{max}\left(\mathsf{max}\left(-\left(t\_9 + 1\right) \cdot 1.1111112, t\_11\right), \mathsf{max}\left(\left(0.44028544 + t\_48\right) - t\_58, t\_58 - \left(2.4402854 + t\_48\right)\right)\right)\right)\right)\right), \mathsf{max}\left(\sqrt{{\left(\frac{t\_27 \cdot t\_67}{0.8}\right)}^{2} + \left({\left(t\_66 \cdot t\_67 - 1.5\right)}^{2} + {\left(t\_42 \cdot t\_67\right)}^{2}\right)} - 0.7, \mathsf{max}\left(\mathsf{max}\left(-\left(t\_49 + \left(0.1097064 + t\_20\right)\right), \left(t\_20 + t\_49\right) - 1.8902936\right), \mathsf{max}\left(\mathsf{max}\left(-\left(1.7777778 + t\_10\right), t\_14\right), \mathsf{max}\left(\left(0.20081031 + t\_68\right) - t\_3, t\_3 - \left(2.2008104 + t\_68\right)\right)\right)\right)\right)\right)}\right)}{11}, \mathsf{min}\left(t\_6 - 0.25, -\frac{-\log \left(e^{-30.555555 \cdot \left(-\left(t\_65 - 0.4\right)\right)} + e^{-30.555555 \cdot \left(\sqrt{\left({\left(t\_53 \cdot t\_76 - -0.2\right)}^{2} + {\left(t\_52 \cdot t\_76\right)}^{2}\right) + {\left(t\_54 \cdot t\_76 - -0.1\right)}^{2}} - 0.14\right)}\right)}{30.555555}\right)\right) \end{array} \]
(FPCore (x y z)
  :precision binary64
  (let* ((t_0
        (/
         (+
          (*
           0.87758255
           (+ (* 0.9950042 (/ x 1.5)) (* -0.099833414 (/ y 1.5))))
          (* 0.47942555 (/ z 1.0)))
         0.3))
       (t_1 (pow t_0 2.0))
       (t_2 (fabs t_0))
       (t_3 (* t_2 0.2207437))
       (t_4 (* t_2 1.2493271))
       (t_5 (* t_2 1.0522937))
       (t_6
        (sqrt
         (+
          (pow (- t_2 0.4) 2.0)
          (+
           (pow
            (/
             (-
              (-
               (+ (* (/ y 1.5) 2.0808594) (* (/ z 1.0) 2.3650744))
               (* (/ x 1.5) 1.089751))
              0.92795134)
             0.7)
            2.0)
           (pow
            (/
             (-
              0.0625
              (-
               (* (/ z 1.0) 1.7215275)
               (+ (* (/ y 1.5) 2.5876334) (* (/ x 1.5) 1.2048262))))
             1.5)
            2.0)))))
       (t_7 (* t_2 0.19866933))
       (t_8 (* (/ z 1.0) 0.35865277))
       (t_9
        (/
         (+
          (+ (* (/ z 1.0) 0.06207773) (* (/ x 1.5) 0.06583953))
          (* (/ y 1.5) 0.99589735))
         0.3))
       (t_10 (* t_9 1.1111112))
       (t_11 (- t_10 0.8888889))
       (t_12 (- t_9 0.8))
       (t_13 (- t_9 1.0))
       (t_14 (- t_10 0.22222221))
       (t_15
        (-
         (+ (* (/ z 1.0) 0.96114874) (* (/ y 1.5) 3.5451903))
         (* (/ x 1.5) 0.17200887)))
       (t_16 (+ (* (/ y 1.5) 4.247789) (* (/ x 1.5) 0.6231172)))
       (t_17 (- (+ t_5 (- (+ t_8 0.5239333) t_16))))
       (t_18
        (/
         (-
          (+
           (-
            (+ (* (/ z 1.0) 0.5766893) (* (/ y 1.5) 2.1271143))
            (* (/ x 1.5) 0.10320534))
           (* t_2 0.7495963))
          1.115259)
         0.6))
       (t_19
        (/
         (-
          (* (/ z 1.0) 0.8753842)
          (+ (* (/ x 1.5) 0.4828974) (* (/ y 1.5) 0.022641014)))
         0.3))
       (t_20 (* t_19 0.2207437))
       (t_21 (- (+ (* t_2 0.48241276) (* t_19 0.7513133)) 0.5854049))
       (t_22 (* t_19 0.9800666))
       (t_23 (/ (- (+ t_22 1.0807292) t_7) 0.9))
       (t_24 (- t_19 1.0))
       (t_25 (- (+ (* t_19 0.33768892) 0.55581105) (* t_2 0.5259193)))
       (t_26 (- t_19 2.19))
       (t_27
        (/
         (- (+ (* t_19 0.19866933) (* t_2 0.9800666)) 0.8012642)
         0.9))
       (t_28 (pow t_27 2.0))
       (t_29 (- (- t_9 (/ 0.1 t_19)) -0.7))
       (t_30
        (-
         1.0
         (*
          0.5
          (exp
           (-
            (/
             (sqrt (+ (+ t_1 (pow t_24 2.0)) (pow t_12 2.0)))
             1.0))))))
       (t_31 (+ (* t_24 t_30) 1.5))
       (t_32 (+ 0.8 (* t_12 t_30)))
       (t_33 (* t_0 t_30))
       (t_34
        (+
         1.0
         (*
          2.0
          (exp
           (-
            (/
             (sqrt
              (+ (+ (pow t_33 2.0) (pow t_31 2.0)) (pow t_32 2.0)))
             1.0))))))
       (t_35 (+ 0.30833334 (* t_9 0.8333333)))
       (t_36 (* t_2 1.0234011))
       (t_37
        (*
         1.5
         (exp
          (-
           (/
            (sqrt (+ t_28 (+ (pow t_23 2.0) (pow t_14 2.0))))
            1.0)))))
       (t_38 (sin t_37))
       (t_39 (/ (- t_2 0.25) 0.9))
       (t_40 (* t_19 1.6334443))
       (t_41 (cos t_37))
       (t_42 (- (+ (* (- t_38) t_23) (* t_41 t_14)) -1.0))
       (t_43 (- (* t_9 0.625) 1.09375))
       (t_44
        (+
         1.0
         (*
          1.2
          (exp
           (-
            (/
             (sqrt
              (+ (pow t_21 2.0) (+ (pow t_25 2.0) (pow t_43 2.0))))
             0.5))))))
       (t_45 (* t_21 t_44))
       (t_46 (pow (* t_25 t_44) 2.0))
       (t_47 (pow (- (* t_43 t_44) -0.5) 2.0))
       (t_48 (* t_19 1.0234011))
       (t_49 (* t_2 1.0889629))
       (t_50 (pow t_18 2.0))
       (t_51
        (-
         1.0
         (*
          1.5
          (exp
           (-
            (/
             (sqrt
              (+ (pow t_39 2.0) (+ (pow t_26 2.0) (pow t_35 2.0))))
             0.15))))))
       (t_52 (* t_26 t_51))
       (t_53 (- (* t_39 t_51) 0.2))
       (t_54 (- (* t_35 t_51) 0.35))
       (t_55 (* t_2 0.33111554))
       (t_56
        (/
         (- (+ (* t_19 0.921061) 1.2962569) (* t_2 0.38941833))
         0.9))
       (t_57 (- t_19 2.0))
       (t_58 (* t_2 0.43268704))
       (t_59 (* t_19 0.43268704))
       (t_60
        (-
         1.0
         (exp
          (-
           (/
            (sqrt (+ (+ t_1 (pow t_57 2.0)) (pow t_13 2.0)))
            0.5)))))
       (t_61 (* t_0 t_60))
       (t_62 (- (* t_13 t_60) -1.0))
       (t_63 (- (* t_57 t_60) 1.0))
       (t_64
        (-
         1.0
         (*
          2.0
          (exp
           (-
            (/
             (sqrt
              (+ (pow t_63 2.0) (+ (pow t_61 2.0) (pow t_62 2.0))))
             0.5))))))
       (t_65
        (sqrt
         (+
          (pow (- (* t_63 t_64) -1.0) 2.0)
          (+ (pow (* t_61 t_64) 2.0) (pow (* t_62 t_64) 2.0)))))
       (t_66 (- (+ (* t_41 t_23) (* t_38 t_14)) -1.5))
       (t_67
        (+
         1.0
         (*
          4.0
          (exp
           (-
            (/
             (sqrt (+ (pow t_42 2.0) (+ t_28 (pow t_66 2.0))))
             0.5))))))
       (t_68 (* t_19 1.0889629))
       (t_69 (/ (- (+ 0.9244498 t_22) t_7) 0.6))
       (t_70
        (*
         1.5
         (exp
          (-
           (/
            (sqrt (+ t_50 (+ (pow t_17 2.0) (pow t_69 2.0))))
            1.0)))))
       (t_71 (sin t_70))
       (t_72 (cos t_70))
       (t_73 (- (+ (* (- t_71) t_69) (* t_72 t_17)) -1.0))
       (t_74 (- (+ (* t_72 t_69) (* t_71 t_17)) -1.5))
       (t_75
        (+
         1.0
         (*
          4.0
          (exp
           (-
            (/
             (sqrt (+ (pow t_73 2.0) (+ t_50 (pow t_74 2.0))))
             0.5))))))
       (t_76
        (-
         1.0
         (exp
          (-
           (/
            (sqrt
             (+ (+ (pow t_53 2.0) (pow t_52 2.0)) (pow t_54 2.0)))
            0.15)))))
       (t_77
        (/
         (- (+ (* t_19 0.38941833) (* t_2 0.921061)) 0.75479674)
         0.9))
       (t_78 (pow t_77 2.0))
       (t_79
        (*
         1.5
         (exp
          (-
           (/
            (sqrt (+ t_78 (+ (pow t_56 2.0) (pow t_11 2.0))))
            1.0)))))
       (t_80 (sin t_79))
       (t_81 (cos t_79))
       (t_82 (- (+ (* t_81 t_56) (* t_80 t_11)) -1.5))
       (t_83 (- (+ (* (- t_80) t_56) (* t_81 t_11)) -1.0))
       (t_84
        (+
         1.0
         (*
          4.0
          (exp
           (-
            (/
             (sqrt (+ (pow t_83 2.0) (+ t_78 (pow t_82 2.0))))
             0.5)))))))
  (fmin
   (/
    (-
     (log
      (+
       (exp
        (*
         -11.0
         (-
          (/
           (-
            (log
             (+
              (exp
               (*
                -30.555555
                (/
                 (-
                  (log
                   (+
                    (exp
                     (*
                      -11.0
                      (/
                       (-
                        (log
                         (+
                          (exp
                           (*
                            -11.0
                            (-
                             (/
                              (-
                               (log
                                (+
                                 (exp
                                  (*
                                   -16.0
                                   (/
                                    (-
                                     (log
                                      (+
                                       (exp
                                        (*
                                         -5.612245
                                         (-
                                          (sqrt
                                           (+
                                            (+
                                             t_1
                                             (pow (- t_19 -0.4) 2.0))
                                            (pow (- t_9 0.1) 2.0)))
                                          1.4)))
                                       (exp
                                        (*
                                         -5.612245
                                         (-
                                          (sqrt
                                           (+
                                            (+
                                             (pow (* t_33 t_34) 2.0)
                                             (pow
                                              (- (* t_31 t_34) 2.0)
                                              2.0))
                                            (pow
                                             (- (* t_32 t_34) -0.2)
                                             2.0)))
                                          0.9))))))
                                    5.612245)))
                                 (exp
                                  (*
                                   -16.0
                                   (-
                                    (/
                                     (-
                                      (log
                                       (+
                                        (exp
                                         (*
                                          -5.612245
                                          (-
                                           (-
                                            (sqrt
                                             (+
                                              (+
                                               (pow (- t_45 -0.5) 2.0)
                                               t_46)
                                              t_47))
                                            0.5))))
                                        (exp
                                         (*
                                          -5.612245
                                          (-
                                           (sqrt
                                            (+
                                             (pow (+ 0.3 t_45) 2.0)
                                             (+ t_46 t_47)))
                                           0.2))))))
                                     5.612245)))))))
                              16.0))))
                          (exp (* -11.0 (- t_6 0.2))))))
                       11.0)))
                    (exp (* -11.0 (- t_65 0.3))))))
                 11.0)))
              (exp
               (*
                -30.555555
                (fmax
                 (fmax
                  (fmax (- -1.5 t_0) (- t_0 1.5))
                  (fmax (- 0.5 t_19) (- t_19 3.0)))
                 (fmax (- t_29) t_29)))))))
           30.555555))))
       (exp
        (*
         -11.0
         (fmin
          (fmin
           (fmax
            (-
             (sqrt
              (+
               (pow (/ (* t_18 t_75) 0.8) 2.0)
               (+
                (pow (- (* t_74 t_75) 1.5) 2.0)
                (pow (* t_73 t_75) 2.0))))
             0.7)
            (fmax
             (fmax
              (- (+ t_15 t_4) 2.8587651)
              (fmax
               (- 0.858765 (+ t_4 t_15))
               (- (+ 0.54074955 t_40) t_55)))
             (fmax
              (- (+ t_5 (- t_8 t_16)) 1.4760667)
              (fmax t_17 (- t_55 (+ 2.5407495 t_40))))))
           (fmax
            (-
             (sqrt
              (+
               (pow (/ (* t_77 t_84) 0.8) 2.0)
               (+
                (pow (- (* t_82 t_84) 1.5) 2.0)
                (pow (* t_83 t_84) 2.0))))
             0.7)
            (fmax
             (fmax
              (- (+ t_36 (+ 0.16133696 t_59)))
              (- (+ t_59 t_36) 1.8386631))
             (fmax
              (fmax (- (* (+ t_9 1.0) 1.1111112)) t_11)
              (fmax
               (- (+ 0.44028544 t_48) t_58)
               (- t_58 (+ 2.4402854 t_48)))))))
          (fmax
           (-
            (sqrt
             (+
              (pow (/ (* t_27 t_67) 0.8) 2.0)
              (+
               (pow (- (* t_66 t_67) 1.5) 2.0)
               (pow (* t_42 t_67) 2.0))))
            0.7)
           (fmax
            (fmax
             (- (+ t_49 (+ 0.1097064 t_20)))
             (- (+ t_20 t_49) 1.8902936))
            (fmax
             (fmax (- (+ 1.7777778 t_10)) t_14)
             (fmax
              (- (+ 0.20081031 t_68) t_3)
              (- t_3 (+ 2.2008104 t_68))))))))))))
    11.0)
   (fmin
    (- t_6 0.25)
    (-
     (/
      (-
       (log
        (+
         (exp (* -30.555555 (- (- t_65 0.4))))
         (exp
          (*
           -30.555555
           (-
            (sqrt
             (+
              (+
               (pow (- (* t_53 t_76) -0.2) 2.0)
               (pow (* t_52 t_76) 2.0))
              (pow (- (* t_54 t_76) -0.1) 2.0)))
            0.14))))))
      30.555555))))))
double code(double x, double y, double z) {
	double t_0 = ((0.87758255 * ((0.9950042 * (x / 1.5)) + (-0.099833414 * (y / 1.5)))) + (0.47942555 * (z / 1.0))) / 0.3;
	double t_1 = pow(t_0, 2.0);
	double t_2 = fabs(t_0);
	double t_3 = t_2 * 0.2207437;
	double t_4 = t_2 * 1.2493271;
	double t_5 = t_2 * 1.0522937;
	double t_6 = sqrt((pow((t_2 - 0.4), 2.0) + (pow(((((((y / 1.5) * 2.0808594) + ((z / 1.0) * 2.3650744)) - ((x / 1.5) * 1.089751)) - 0.92795134) / 0.7), 2.0) + pow(((0.0625 - (((z / 1.0) * 1.7215275) - (((y / 1.5) * 2.5876334) + ((x / 1.5) * 1.2048262)))) / 1.5), 2.0))));
	double t_7 = t_2 * 0.19866933;
	double t_8 = (z / 1.0) * 0.35865277;
	double t_9 = ((((z / 1.0) * 0.06207773) + ((x / 1.5) * 0.06583953)) + ((y / 1.5) * 0.99589735)) / 0.3;
	double t_10 = t_9 * 1.1111112;
	double t_11 = t_10 - 0.8888889;
	double t_12 = t_9 - 0.8;
	double t_13 = t_9 - 1.0;
	double t_14 = t_10 - 0.22222221;
	double t_15 = (((z / 1.0) * 0.96114874) + ((y / 1.5) * 3.5451903)) - ((x / 1.5) * 0.17200887);
	double t_16 = ((y / 1.5) * 4.247789) + ((x / 1.5) * 0.6231172);
	double t_17 = -(t_5 + ((t_8 + 0.5239333) - t_16));
	double t_18 = ((((((z / 1.0) * 0.5766893) + ((y / 1.5) * 2.1271143)) - ((x / 1.5) * 0.10320534)) + (t_2 * 0.7495963)) - 1.115259) / 0.6;
	double t_19 = (((z / 1.0) * 0.8753842) - (((x / 1.5) * 0.4828974) + ((y / 1.5) * 0.022641014))) / 0.3;
	double t_20 = t_19 * 0.2207437;
	double t_21 = ((t_2 * 0.48241276) + (t_19 * 0.7513133)) - 0.5854049;
	double t_22 = t_19 * 0.9800666;
	double t_23 = ((t_22 + 1.0807292) - t_7) / 0.9;
	double t_24 = t_19 - 1.0;
	double t_25 = ((t_19 * 0.33768892) + 0.55581105) - (t_2 * 0.5259193);
	double t_26 = t_19 - 2.19;
	double t_27 = (((t_19 * 0.19866933) + (t_2 * 0.9800666)) - 0.8012642) / 0.9;
	double t_28 = pow(t_27, 2.0);
	double t_29 = (t_9 - (0.1 / t_19)) - -0.7;
	double t_30 = 1.0 - (0.5 * exp(-(sqrt(((t_1 + pow(t_24, 2.0)) + pow(t_12, 2.0))) / 1.0)));
	double t_31 = (t_24 * t_30) + 1.5;
	double t_32 = 0.8 + (t_12 * t_30);
	double t_33 = t_0 * t_30;
	double t_34 = 1.0 + (2.0 * exp(-(sqrt(((pow(t_33, 2.0) + pow(t_31, 2.0)) + pow(t_32, 2.0))) / 1.0)));
	double t_35 = 0.30833334 + (t_9 * 0.8333333);
	double t_36 = t_2 * 1.0234011;
	double t_37 = 1.5 * exp(-(sqrt((t_28 + (pow(t_23, 2.0) + pow(t_14, 2.0)))) / 1.0));
	double t_38 = sin(t_37);
	double t_39 = (t_2 - 0.25) / 0.9;
	double t_40 = t_19 * 1.6334443;
	double t_41 = cos(t_37);
	double t_42 = ((-t_38 * t_23) + (t_41 * t_14)) - -1.0;
	double t_43 = (t_9 * 0.625) - 1.09375;
	double t_44 = 1.0 + (1.2 * exp(-(sqrt((pow(t_21, 2.0) + (pow(t_25, 2.0) + pow(t_43, 2.0)))) / 0.5)));
	double t_45 = t_21 * t_44;
	double t_46 = pow((t_25 * t_44), 2.0);
	double t_47 = pow(((t_43 * t_44) - -0.5), 2.0);
	double t_48 = t_19 * 1.0234011;
	double t_49 = t_2 * 1.0889629;
	double t_50 = pow(t_18, 2.0);
	double t_51 = 1.0 - (1.5 * exp(-(sqrt((pow(t_39, 2.0) + (pow(t_26, 2.0) + pow(t_35, 2.0)))) / 0.15)));
	double t_52 = t_26 * t_51;
	double t_53 = (t_39 * t_51) - 0.2;
	double t_54 = (t_35 * t_51) - 0.35;
	double t_55 = t_2 * 0.33111554;
	double t_56 = (((t_19 * 0.921061) + 1.2962569) - (t_2 * 0.38941833)) / 0.9;
	double t_57 = t_19 - 2.0;
	double t_58 = t_2 * 0.43268704;
	double t_59 = t_19 * 0.43268704;
	double t_60 = 1.0 - exp(-(sqrt(((t_1 + pow(t_57, 2.0)) + pow(t_13, 2.0))) / 0.5));
	double t_61 = t_0 * t_60;
	double t_62 = (t_13 * t_60) - -1.0;
	double t_63 = (t_57 * t_60) - 1.0;
	double t_64 = 1.0 - (2.0 * exp(-(sqrt((pow(t_63, 2.0) + (pow(t_61, 2.0) + pow(t_62, 2.0)))) / 0.5)));
	double t_65 = sqrt((pow(((t_63 * t_64) - -1.0), 2.0) + (pow((t_61 * t_64), 2.0) + pow((t_62 * t_64), 2.0))));
	double t_66 = ((t_41 * t_23) + (t_38 * t_14)) - -1.5;
	double t_67 = 1.0 + (4.0 * exp(-(sqrt((pow(t_42, 2.0) + (t_28 + pow(t_66, 2.0)))) / 0.5)));
	double t_68 = t_19 * 1.0889629;
	double t_69 = ((0.9244498 + t_22) - t_7) / 0.6;
	double t_70 = 1.5 * exp(-(sqrt((t_50 + (pow(t_17, 2.0) + pow(t_69, 2.0)))) / 1.0));
	double t_71 = sin(t_70);
	double t_72 = cos(t_70);
	double t_73 = ((-t_71 * t_69) + (t_72 * t_17)) - -1.0;
	double t_74 = ((t_72 * t_69) + (t_71 * t_17)) - -1.5;
	double t_75 = 1.0 + (4.0 * exp(-(sqrt((pow(t_73, 2.0) + (t_50 + pow(t_74, 2.0)))) / 0.5)));
	double t_76 = 1.0 - exp(-(sqrt(((pow(t_53, 2.0) + pow(t_52, 2.0)) + pow(t_54, 2.0))) / 0.15));
	double t_77 = (((t_19 * 0.38941833) + (t_2 * 0.921061)) - 0.75479674) / 0.9;
	double t_78 = pow(t_77, 2.0);
	double t_79 = 1.5 * exp(-(sqrt((t_78 + (pow(t_56, 2.0) + pow(t_11, 2.0)))) / 1.0));
	double t_80 = sin(t_79);
	double t_81 = cos(t_79);
	double t_82 = ((t_81 * t_56) + (t_80 * t_11)) - -1.5;
	double t_83 = ((-t_80 * t_56) + (t_81 * t_11)) - -1.0;
	double t_84 = 1.0 + (4.0 * exp(-(sqrt((pow(t_83, 2.0) + (t_78 + pow(t_82, 2.0)))) / 0.5)));
	return fmin((-log((exp((-11.0 * -(-log((exp((-30.555555 * (-log((exp((-11.0 * (-log((exp((-11.0 * -(-log((exp((-16.0 * (-log((exp((-5.612245 * (sqrt(((t_1 + pow((t_19 - -0.4), 2.0)) + pow((t_9 - 0.1), 2.0))) - 1.4))) + exp((-5.612245 * (sqrt(((pow((t_33 * t_34), 2.0) + pow(((t_31 * t_34) - 2.0), 2.0)) + pow(((t_32 * t_34) - -0.2), 2.0))) - 0.9))))) / 5.612245))) + exp((-16.0 * -(-log((exp((-5.612245 * -(sqrt(((pow((t_45 - -0.5), 2.0) + t_46) + t_47)) - 0.5))) + exp((-5.612245 * (sqrt((pow((0.3 + t_45), 2.0) + (t_46 + t_47))) - 0.2))))) / 5.612245))))) / 16.0))) + exp((-11.0 * (t_6 - 0.2))))) / 11.0))) + exp((-11.0 * (t_65 - 0.3))))) / 11.0))) + exp((-30.555555 * fmax(fmax(fmax((-1.5 - t_0), (t_0 - 1.5)), fmax((0.5 - t_19), (t_19 - 3.0))), fmax(-t_29, t_29)))))) / 30.555555))) + exp((-11.0 * fmin(fmin(fmax((sqrt((pow(((t_18 * t_75) / 0.8), 2.0) + (pow(((t_74 * t_75) - 1.5), 2.0) + pow((t_73 * t_75), 2.0)))) - 0.7), fmax(fmax(((t_15 + t_4) - 2.8587651), fmax((0.858765 - (t_4 + t_15)), ((0.54074955 + t_40) - t_55))), fmax(((t_5 + (t_8 - t_16)) - 1.4760667), fmax(t_17, (t_55 - (2.5407495 + t_40)))))), fmax((sqrt((pow(((t_77 * t_84) / 0.8), 2.0) + (pow(((t_82 * t_84) - 1.5), 2.0) + pow((t_83 * t_84), 2.0)))) - 0.7), fmax(fmax(-(t_36 + (0.16133696 + t_59)), ((t_59 + t_36) - 1.8386631)), fmax(fmax(-((t_9 + 1.0) * 1.1111112), t_11), fmax(((0.44028544 + t_48) - t_58), (t_58 - (2.4402854 + t_48))))))), fmax((sqrt((pow(((t_27 * t_67) / 0.8), 2.0) + (pow(((t_66 * t_67) - 1.5), 2.0) + pow((t_42 * t_67), 2.0)))) - 0.7), fmax(fmax(-(t_49 + (0.1097064 + t_20)), ((t_20 + t_49) - 1.8902936)), fmax(fmax(-(1.7777778 + t_10), t_14), fmax(((0.20081031 + t_68) - t_3), (t_3 - (2.2008104 + t_68))))))))))) / 11.0), fmin((t_6 - 0.25), -(-log((exp((-30.555555 * -(t_65 - 0.4))) + exp((-30.555555 * (sqrt(((pow(((t_53 * t_76) - -0.2), 2.0) + pow((t_52 * t_76), 2.0)) + pow(((t_54 * t_76) - -0.1), 2.0))) - 0.14))))) / 30.555555)));
}
module fmin_fmax_functions
    implicit none
    private
    public fmax
    public fmin

    interface fmax
        module procedure fmax88
        module procedure fmax44
        module procedure fmax84
        module procedure fmax48
    end interface
    interface fmin
        module procedure fmin88
        module procedure fmin44
        module procedure fmin84
        module procedure fmin48
    end interface
contains
    real(8) function fmax88(x, y) result (res)
        real(8), intent (in) :: x
        real(8), intent (in) :: y
        res = merge(y, merge(x, max(x, y), y /= y), x /= x)
    end function
    real(4) function fmax44(x, y) result (res)
        real(4), intent (in) :: x
        real(4), intent (in) :: y
        res = merge(y, merge(x, max(x, y), y /= y), x /= x)
    end function
    real(8) function fmax84(x, y) result(res)
        real(8), intent (in) :: x
        real(4), intent (in) :: y
        res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
    end function
    real(8) function fmax48(x, y) result(res)
        real(4), intent (in) :: x
        real(8), intent (in) :: y
        res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
    end function
    real(8) function fmin88(x, y) result (res)
        real(8), intent (in) :: x
        real(8), intent (in) :: y
        res = merge(y, merge(x, min(x, y), y /= y), x /= x)
    end function
    real(4) function fmin44(x, y) result (res)
        real(4), intent (in) :: x
        real(4), intent (in) :: y
        res = merge(y, merge(x, min(x, y), y /= y), x /= x)
    end function
    real(8) function fmin84(x, y) result(res)
        real(8), intent (in) :: x
        real(4), intent (in) :: y
        res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
    end function
    real(8) function fmin48(x, y) result(res)
        real(4), intent (in) :: x
        real(8), intent (in) :: y
        res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
    end function
end module

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

Timeout after 2.5min

Use the --timeout flag to change the timeout.