Average Error: 13.6 → 13.6
Time: 28.8s
Precision: binary64
\[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
↓
\[\left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(\left(1 + \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right) \cdot \left(\sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}} \cdot \left(\sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}} \cdot \sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}}\right)\right)\right)\]
1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
↓
\left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(\left(1 + \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right) \cdot \left(\sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}} \cdot \left(\sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}} \cdot \sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}}\right)\right)\right)
(FPCore (x)
 :precision binary64
 (-
  1.0
  (*
   (*
    (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
    (+
     0.254829592
     (*
      (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
      (+
       -0.284496736
       (*
        (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
        (+
         1.421413741
         (*
          (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
          (+
           -1.453152027
           (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
   (exp (- (* (fabs x) (fabs x)))))))
↓
(FPCore (x)
 :precision binary64
 (*
  (+
   1.0
   (sqrt
    (/
     (+
      0.254829592
      (/
       (+
        -0.023026708567164888
        (pow
         (/
          (+
           1.421413741
           (/
            (+ -1.453152027 (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
            (+ 1.0 (* 0.3275911 (fabs x)))))
          (+ 1.0 (* 0.3275911 (fabs x))))
         3.0))
       (*
        (+ 1.0 (* 0.3275911 (fabs x)))
        (+
         0.08093839279465367
         (*
          (+
           1.421413741
           (/
            (+ -1.453152027 (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
            (+ 1.0 (* 0.3275911 (fabs x)))))
          (/
           (+
            (/
             (+
              1.421413741
              (/
               (+ -1.453152027 (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
               (+ 1.0 (* 0.3275911 (fabs x)))))
             (+ 1.0 (* 0.3275911 (fabs x))))
            0.284496736)
           (+ 1.0 (* 0.3275911 (fabs x)))))))))
     (* (+ 1.0 (* 0.3275911 (fabs x))) (exp (pow (fabs x) 2.0))))))
  (*
   (+
    1.0
    (sqrt
     (sqrt
      (/
       (+
        0.254829592
        (/
         (+
          -0.023026708567164888
          (pow
           (/
            (+
             1.421413741
             (/
              (+ -1.453152027 (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
              (+ 1.0 (* 0.3275911 (fabs x)))))
            (+ 1.0 (* 0.3275911 (fabs x))))
           3.0))
         (*
          (+ 1.0 (* 0.3275911 (fabs x)))
          (+
           0.08093839279465367
           (*
            (+
             1.421413741
             (/
              (+ -1.453152027 (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
              (+ 1.0 (* 0.3275911 (fabs x)))))
            (/
             (+
              (/
               (+
                1.421413741
                (/
                 (+
                  -1.453152027
                  (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                 (+ 1.0 (* 0.3275911 (fabs x)))))
               (+ 1.0 (* 0.3275911 (fabs x))))
              0.284496736)
             (+ 1.0 (* 0.3275911 (fabs x)))))))))
       (* (+ 1.0 (* 0.3275911 (fabs x))) (exp (pow (fabs x) 2.0)))))))
   (*
    (cbrt
     (-
      1.0
      (sqrt
       (sqrt
        (/
         (+
          0.254829592
          (/
           (+
            -0.023026708567164888
            (pow
             (/
              (+
               1.421413741
               (/
                (+ -1.453152027 (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                (+ 1.0 (* 0.3275911 (fabs x)))))
              (+ 1.0 (* 0.3275911 (fabs x))))
             3.0))
           (*
            (+ 1.0 (* 0.3275911 (fabs x)))
            (+
             0.08093839279465367
             (*
              (+
               1.421413741
               (/
                (+ -1.453152027 (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                (+ 1.0 (* 0.3275911 (fabs x)))))
              (/
               (+
                (/
                 (+
                  1.421413741
                  (/
                   (+
                    -1.453152027
                    (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                   (+ 1.0 (* 0.3275911 (fabs x)))))
                 (+ 1.0 (* 0.3275911 (fabs x))))
                0.284496736)
               (+ 1.0 (* 0.3275911 (fabs x)))))))))
         (* (+ 1.0 (* 0.3275911 (fabs x))) (exp (pow (fabs x) 2.0))))))))
    (*
     (cbrt
      (-
       1.0
       (sqrt
        (sqrt
         (/
          (+
           0.254829592
           (/
            (+
             -0.023026708567164888
             (pow
              (/
               (+
                1.421413741
                (/
                 (+
                  -1.453152027
                  (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                 (+ 1.0 (* 0.3275911 (fabs x)))))
               (+ 1.0 (* 0.3275911 (fabs x))))
              3.0))
            (*
             (+ 1.0 (* 0.3275911 (fabs x)))
             (+
              0.08093839279465367
              (*
               (+
                1.421413741
                (/
                 (+
                  -1.453152027
                  (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                 (+ 1.0 (* 0.3275911 (fabs x)))))
               (/
                (+
                 (/
                  (+
                   1.421413741
                   (/
                    (+
                     -1.453152027
                     (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                    (+ 1.0 (* 0.3275911 (fabs x)))))
                  (+ 1.0 (* 0.3275911 (fabs x))))
                 0.284496736)
                (+ 1.0 (* 0.3275911 (fabs x)))))))))
          (* (+ 1.0 (* 0.3275911 (fabs x))) (exp (pow (fabs x) 2.0))))))))
     (cbrt
      (-
       1.0
       (sqrt
        (sqrt
         (/
          (+
           0.254829592
           (/
            (+
             -0.023026708567164888
             (pow
              (/
               (+
                1.421413741
                (/
                 (+
                  -1.453152027
                  (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                 (+ 1.0 (* 0.3275911 (fabs x)))))
               (+ 1.0 (* 0.3275911 (fabs x))))
              3.0))
            (*
             (+ 1.0 (* 0.3275911 (fabs x)))
             (+
              0.08093839279465367
              (*
               (+
                1.421413741
                (/
                 (+
                  -1.453152027
                  (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                 (+ 1.0 (* 0.3275911 (fabs x)))))
               (/
                (+
                 (/
                  (+
                   1.421413741
                   (/
                    (+
                     -1.453152027
                     (/ 1.061405429 (+ 1.0 (* 0.3275911 (fabs x)))))
                    (+ 1.0 (* 0.3275911 (fabs x)))))
                  (+ 1.0 (* 0.3275911 (fabs x))))
                 0.284496736)
                (+ 1.0 (* 0.3275911 (fabs x)))))))))
          (* (+ 1.0 (* 0.3275911 (fabs x))) (exp (pow (fabs x) 2.0)))))))))))))
double code(double x) {
	return ((double) (1.0 - ((double) (((double) ((1.0 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) * ((double) (0.254829592 + ((double) ((1.0 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) * ((double) (-0.284496736 + ((double) ((1.0 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) * ((double) (1.421413741 + ((double) ((1.0 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) * ((double) (-1.453152027 + ((double) ((1.0 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) * 1.061405429)))))))))))))))))) * ((double) exp(((double) -(((double) (((double) fabs(x)) * ((double) fabs(x))))))))))));
}
↓
double code(double x) {
	return ((double) (((double) (1.0 + ((double) sqrt((((double) (0.254829592 + (((double) (-0.023026708567164888 + ((double) pow((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))), 3.0)))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) (0.08093839279465367 + ((double) (((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) * (((double) ((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) + 0.284496736)) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))))))))))))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) exp(((double) pow(((double) fabs(x)), 2.0))))))))))) * ((double) (((double) (1.0 + ((double) sqrt(((double) sqrt((((double) (0.254829592 + (((double) (-0.023026708567164888 + ((double) pow((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))), 3.0)))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) (0.08093839279465367 + ((double) (((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) * (((double) ((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) + 0.284496736)) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))))))))))))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) exp(((double) pow(((double) fabs(x)), 2.0))))))))))))) * ((double) (((double) cbrt(((double) (1.0 - ((double) sqrt(((double) sqrt((((double) (0.254829592 + (((double) (-0.023026708567164888 + ((double) pow((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))), 3.0)))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) (0.08093839279465367 + ((double) (((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) * (((double) ((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) + 0.284496736)) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))))))))))))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) exp(((double) pow(((double) fabs(x)), 2.0))))))))))))))) * ((double) (((double) cbrt(((double) (1.0 - ((double) sqrt(((double) sqrt((((double) (0.254829592 + (((double) (-0.023026708567164888 + ((double) pow((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))), 3.0)))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) (0.08093839279465367 + ((double) (((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) * (((double) ((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) + 0.284496736)) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))))))))))))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) exp(((double) pow(((double) fabs(x)), 2.0))))))))))))))) * ((double) cbrt(((double) (1.0 - ((double) sqrt(((double) sqrt((((double) (0.254829592 + (((double) (-0.023026708567164888 + ((double) pow((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))), 3.0)))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) (0.08093839279465367 + ((double) (((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) * (((double) ((((double) (1.421413741 + (((double) (-1.453152027 + (1.061405429 / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))))) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x))))))) + 0.284496736)) / ((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))))))))))))) / ((double) (((double) (1.0 + ((double) (0.3275911 * ((double) fabs(x)))))) * ((double) exp(((double) pow(((double) fabs(x)), 2.0)))))))))))))))))))))));
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 13.6

    \[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

  2. Simplified13.6

    \[\leadsto \color{blue}{1 - \frac{0.254829592 + \frac{-0.284496736 + \frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}}\]
  3. Using strategy rm

  4. Applied flip3-+_binary6413.6

    \[\leadsto 1 - \frac{0.254829592 + \frac{\color{blue}{\frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{-0.284496736 \cdot -0.284496736 + \left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} - -0.284496736 \cdot \frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}}}{1 + 0.3275911 \cdot \left|x\right|}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}\]

  5. Applied associate-/l/_binary6413.6

    \[\leadsto 1 - \frac{0.254829592 + \color{blue}{\frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(-0.284496736 \cdot -0.284496736 + \left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} \cdot \frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} - -0.284496736 \cdot \frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)\right)}}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}\]

  6. Simplified13.6

    \[\leadsto 1 - \frac{0.254829592 + \frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\color{blue}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}\]
  7. Using strategy rm

  8. Applied add-sqr-sqrt_binary6413.6

    \[\leadsto 1 - \color{blue}{\sqrt{\frac{0.254829592 + \frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt{\frac{0.254829592 + \frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}}}\]

  9. Applied add-sqr-sqrt_binary6413.6

    \[\leadsto \color{blue}{\sqrt{1} \cdot \sqrt{1}} - \sqrt{\frac{0.254829592 + \frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}} \cdot \sqrt{\frac{0.254829592 + \frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}}\]

  10. Applied difference-of-squares_binary6413.6

    \[\leadsto \color{blue}{\left(\sqrt{1} + \sqrt{\frac{0.254829592 + \frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}}\right) \cdot \left(\sqrt{1} - \sqrt{\frac{0.254829592 + \frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}}\right)}\]

  11. Simplified13.6

    \[\leadsto \color{blue}{\left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right)} \cdot \left(\sqrt{1} - \sqrt{\frac{0.254829592 + \frac{{-0.284496736}^{3} + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{\left|x\right| \cdot \left|x\right|}}}\right)\]

  12. Simplified13.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \color{blue}{\left(1 - \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right)}\]
  13. Using strategy rm

  14. Applied add-sqr-sqrt_binary6413.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(1 - \sqrt{\color{blue}{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}} \cdot \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}}\right)\]

  15. Applied sqrt-prod_binary6413.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(1 - \color{blue}{\sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}} \cdot \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}}\right)\]

  16. Applied add-sqr-sqrt_binary6413.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(\color{blue}{\sqrt{1} \cdot \sqrt{1}} - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}} \cdot \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right)\]

  17. Applied difference-of-squares_binary6413.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \color{blue}{\left(\left(\sqrt{1} + \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right) \cdot \left(\sqrt{1} - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right)\right)}\]

  18. Simplified13.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(\color{blue}{\left(1 + \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right)} \cdot \left(\sqrt{1} - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right)\right)\]

  19. Simplified13.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(\left(1 + \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right) \cdot \color{blue}{\left(1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right)}\right)\]
  20. Using strategy rm

  21. Applied add-cube-cbrt_binary6413.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(\left(1 + \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right) \cdot \color{blue}{\left(\left(\sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}} \cdot \sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}}\right) \cdot \sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}}\right)}\right)\]

  22. Final simplification13.6

    \[\leadsto \left(1 + \sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}\right) \cdot \left(\left(1 + \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}\right) \cdot \left(\sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}} \cdot \left(\sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}} \cdot \sqrt[3]{1 - \sqrt{\sqrt{\frac{0.254829592 + \frac{-0.023026708567164888 + {\left(\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right)}^{3}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot \left(0.08093839279465367 + \left(1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}\right) \cdot \frac{\frac{1.421413741 + \frac{-1.453152027 + \frac{1.061405429}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|}}{1 + 0.3275911 \cdot \left|x\right|} + 0.284496736}{1 + 0.3275911 \cdot \left|x\right|}\right)}}{\left(1 + 0.3275911 \cdot \left|x\right|\right) \cdot e^{{\left(\left|x\right|\right)}^{2}}}}}}\right)\right)\right)\]

Reproduce

herbie shell --seed 2020219 
(FPCore (x)
  :name "Jmat.Real.erf"
  :precision binary64
  (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))