?

Average Error: 13.2 → 12.8
Time: 1.4min
Precision: binary64
Cost: 2658000

?

\[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|} \]
\[\begin{array}{l} t_0 := e^{-x \cdot \left(x - \left(-x\right)\right)}\\ t_1 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\ t_2 := e^{x \cdot \left(\left(-x\right) - x\right)}\\ t_3 := t_1 \cdot \left(0.284496736 + t_1 \cdot \left(-1.421413741 + t_1 \cdot \left(1.453152027 + t_1 \cdot -1.061405429\right)\right)\right)\\ t_4 := 1 + \left|x\right| \cdot 0.3275911\\ t_5 := \frac{1}{t_4}\\ t_6 := 0.254829592 + t_5 \cdot \left(-0.284496736 + t_5 \cdot \left(1.421413741 + t_5 \cdot \left(-1.453152027 + t_5 \cdot 1.061405429\right)\right)\right)\\ t_7 := t_2 \cdot t_6\\ t_8 := \frac{-1}{-1 + \left|x\right| \cdot -0.3275911}\\ t_9 := t_4 \cdot t_4\\ t_10 := \frac{1}{t_9}\\ t_11 := e^{-x \cdot x}\\ t_12 := e^{x \cdot \left(-x\right)}\\ t_13 := -1 - t_1 \cdot \left(\left(0.254829592 - t_3\right) \cdot t_12\right)\\ t_14 := t_8 \cdot \left(-0.284496736 + t_8 \cdot \left(1.421413741 + t_8 \cdot \left(-1.453152027 + t_8 \cdot 1.061405429\right)\right)\right)\\ t_15 := 0.254829592 + t_14\\ t_16 := t_8 \cdot \left(t_11 \cdot \left(t_11 \cdot \left(t_15 \cdot \left(t_8 \cdot t_15\right)\right)\right)\right)\\ t_17 := t_5 \cdot \left(1.453152027 + t_5 \cdot -1.061405429\right)\\ t_18 := -0.254829592 + t_5 \cdot \left(0.284496736 + t_5 \cdot \left(-1.421413741 + t_17\right)\right)\\ t_19 := t_18 \cdot t_18\\ t_20 := t_19 \cdot t_10\\ t_21 := t_2 \cdot t_19\\ t_22 := t_21 \cdot \frac{1}{t_4 \cdot \left(t_4 \cdot t_9\right)}\\ t_23 := \left(t_18 \cdot t_7\right) \cdot t_22\\ t_24 := t_2 \cdot \left(t_23 \cdot t_20\right)\\ t_25 := 0.254829592 + t_5 \cdot \left(-0.284496736 + t_5 \cdot \left(1.421413741 - t_17\right)\right)\\ t_26 := t_5 \cdot \left(t_0 \cdot \left(t_25 \cdot t_25\right)\right)\\ t_27 := t_26 \cdot t_10\\ t_28 := t_7 \cdot \left(t_18 \cdot t_24\right)\\ t_29 := t_21 \cdot t_22\\ t_30 := t_21 \cdot t_29\\ t_31 := t_5 \cdot \left(t_28 - \left(-t_30\right)\right)\\ t_32 := t_26 \cdot t_27\\ t_33 := t_18 \cdot \left(t_5 \cdot t_7\right)\\ \mathbf{if}\;t_13 \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_8 \cdot \left(\left(\left(t_8 \cdot t_11\right) \cdot \left(-0.254829592 - t_14\right)\right) \cdot \left(t_11 \cdot t_15\right)\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_32 \ne 0:\\ \;\;\;\;\frac{t_5 \cdot \begin{array}{l} \mathbf{if}\;t_31 \ne 0:\\ \;\;\;\;\frac{t_33 \cdot \left(\left(t_2 \cdot t_20\right) \cdot \left(\left(t_18 \cdot \left(t_2 \cdot \left(t_24 \cdot \left(t_5 \cdot t_6\right)\right)\right)\right) \cdot t_23\right)\right) + \left(t_5 \cdot t_30\right) \cdot \left(t_29 \cdot t_33\right)}{t_31}\\ \mathbf{else}:\\ \;\;\;\;t_5 \cdot \left(t_28 - t_30\right)\\ \end{array}}{t_32}\\ \mathbf{else}:\\ \;\;\;\;\left(t_18 \cdot \left(t_5 \cdot \left(t_0 \cdot t_25\right)\right)\right) \cdot \left(t_5 - t_27\right)\\ \end{array}}{t_16}\\ \mathbf{else}:\\ \;\;\;\;-1 + t_16\\ \end{array}}{t_13}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(t_1 \cdot t_12\right) \cdot \left(t_3 + -0.254829592\right)\\ \end{array} \]
(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
 (let* ((t_0 (exp (- (* x (- x (- x))))))
        (t_1 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))
        (t_2 (exp (* x (- (- x) x))))
        (t_3
         (*
          t_1
          (+
           0.284496736
           (*
            t_1
            (+ -1.421413741 (* t_1 (+ 1.453152027 (* t_1 -1.061405429))))))))
        (t_4 (+ 1.0 (* (fabs x) 0.3275911)))
        (t_5 (/ 1.0 t_4))
        (t_6
         (+
          0.254829592
          (*
           t_5
           (+
            -0.284496736
            (*
             t_5
             (+ 1.421413741 (* t_5 (+ -1.453152027 (* t_5 1.061405429)))))))))
        (t_7 (* t_2 t_6))
        (t_8 (/ -1.0 (+ -1.0 (* (fabs x) -0.3275911))))
        (t_9 (* t_4 t_4))
        (t_10 (/ 1.0 t_9))
        (t_11 (exp (- (* x x))))
        (t_12 (exp (* x (- x))))
        (t_13 (- -1.0 (* t_1 (* (- 0.254829592 t_3) t_12))))
        (t_14
         (*
          t_8
          (+
           -0.284496736
           (*
            t_8
            (+ 1.421413741 (* t_8 (+ -1.453152027 (* t_8 1.061405429))))))))
        (t_15 (+ 0.254829592 t_14))
        (t_16 (* t_8 (* t_11 (* t_11 (* t_15 (* t_8 t_15))))))
        (t_17 (* t_5 (+ 1.453152027 (* t_5 -1.061405429))))
        (t_18
         (+
          -0.254829592
          (* t_5 (+ 0.284496736 (* t_5 (+ -1.421413741 t_17))))))
        (t_19 (* t_18 t_18))
        (t_20 (* t_19 t_10))
        (t_21 (* t_2 t_19))
        (t_22 (* t_21 (/ 1.0 (* t_4 (* t_4 t_9)))))
        (t_23 (* (* t_18 t_7) t_22))
        (t_24 (* t_2 (* t_23 t_20)))
        (t_25
         (+ 0.254829592 (* t_5 (+ -0.284496736 (* t_5 (- 1.421413741 t_17))))))
        (t_26 (* t_5 (* t_0 (* t_25 t_25))))
        (t_27 (* t_26 t_10))
        (t_28 (* t_7 (* t_18 t_24)))
        (t_29 (* t_21 t_22))
        (t_30 (* t_21 t_29))
        (t_31 (* t_5 (- t_28 (- t_30))))
        (t_32 (* t_26 t_27))
        (t_33 (* t_18 (* t_5 t_7))))
   (if (!= t_13 0.0)
     (/
      (if (!=
           (* t_8 (* (* (* t_8 t_11) (- -0.254829592 t_14)) (* t_11 t_15)))
           0.0)
        (/
         (if (!= t_32 0.0)
           (/
            (*
             t_5
             (if (!= t_31 0.0)
               (/
                (+
                 (*
                  t_33
                  (*
                   (* t_2 t_20)
                   (* (* t_18 (* t_2 (* t_24 (* t_5 t_6)))) t_23)))
                 (* (* t_5 t_30) (* t_29 t_33)))
                t_31)
               (* t_5 (- t_28 t_30))))
            t_32)
           (* (* t_18 (* t_5 (* t_0 t_25))) (- t_5 t_27)))
         t_16)
        (+ -1.0 t_16))
      t_13)
     (+ 1.0 (* (* t_1 t_12) (+ t_3 -0.254829592))))))
double code(double x) {
	return 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))));
}
double code(double x) {
	double t_0 = exp(-(x * (x - -x)));
	double t_1 = 1.0 / (1.0 + (0.3275911 * fabs(x)));
	double t_2 = exp((x * (-x - x)));
	double t_3 = t_1 * (0.284496736 + (t_1 * (-1.421413741 + (t_1 * (1.453152027 + (t_1 * -1.061405429))))));
	double t_4 = 1.0 + (fabs(x) * 0.3275911);
	double t_5 = 1.0 / t_4;
	double t_6 = 0.254829592 + (t_5 * (-0.284496736 + (t_5 * (1.421413741 + (t_5 * (-1.453152027 + (t_5 * 1.061405429)))))));
	double t_7 = t_2 * t_6;
	double t_8 = -1.0 / (-1.0 + (fabs(x) * -0.3275911));
	double t_9 = t_4 * t_4;
	double t_10 = 1.0 / t_9;
	double t_11 = exp(-(x * x));
	double t_12 = exp((x * -x));
	double t_13 = -1.0 - (t_1 * ((0.254829592 - t_3) * t_12));
	double t_14 = t_8 * (-0.284496736 + (t_8 * (1.421413741 + (t_8 * (-1.453152027 + (t_8 * 1.061405429))))));
	double t_15 = 0.254829592 + t_14;
	double t_16 = t_8 * (t_11 * (t_11 * (t_15 * (t_8 * t_15))));
	double t_17 = t_5 * (1.453152027 + (t_5 * -1.061405429));
	double t_18 = -0.254829592 + (t_5 * (0.284496736 + (t_5 * (-1.421413741 + t_17))));
	double t_19 = t_18 * t_18;
	double t_20 = t_19 * t_10;
	double t_21 = t_2 * t_19;
	double t_22 = t_21 * (1.0 / (t_4 * (t_4 * t_9)));
	double t_23 = (t_18 * t_7) * t_22;
	double t_24 = t_2 * (t_23 * t_20);
	double t_25 = 0.254829592 + (t_5 * (-0.284496736 + (t_5 * (1.421413741 - t_17))));
	double t_26 = t_5 * (t_0 * (t_25 * t_25));
	double t_27 = t_26 * t_10;
	double t_28 = t_7 * (t_18 * t_24);
	double t_29 = t_21 * t_22;
	double t_30 = t_21 * t_29;
	double t_31 = t_5 * (t_28 - -t_30);
	double t_32 = t_26 * t_27;
	double t_33 = t_18 * (t_5 * t_7);
	double tmp_7;
	if (t_13 != 0.0) {
		double tmp_11;
		if ((t_8 * (((t_8 * t_11) * (-0.254829592 - t_14)) * (t_11 * t_15))) != 0.0) {
			double tmp_13;
			if (t_32 != 0.0) {
				double tmp_14;
				if (t_31 != 0.0) {
					tmp_14 = ((t_33 * ((t_2 * t_20) * ((t_18 * (t_2 * (t_24 * (t_5 * t_6)))) * t_23))) + ((t_5 * t_30) * (t_29 * t_33))) / t_31;
				} else {
					tmp_14 = t_5 * (t_28 - t_30);
				}
				tmp_13 = (t_5 * tmp_14) / t_32;
			} else {
				tmp_13 = (t_18 * (t_5 * (t_0 * t_25))) * (t_5 - t_27);
			}
			tmp_11 = tmp_13 / t_16;
		} else {
			tmp_11 = -1.0 + t_16;
		}
		tmp_7 = tmp_11 / t_13;
	} else {
		tmp_7 = 1.0 + ((t_1 * t_12) * (t_3 + -0.254829592));
	}
	return tmp_7;
}
real(8) function code(x)
    real(8), intent (in) :: x
    code = 1.0d0 - (((1.0d0 / (1.0d0 + (0.3275911d0 * abs(x)))) * (0.254829592d0 + ((1.0d0 / (1.0d0 + (0.3275911d0 * abs(x)))) * ((-0.284496736d0) + ((1.0d0 / (1.0d0 + (0.3275911d0 * abs(x)))) * (1.421413741d0 + ((1.0d0 / (1.0d0 + (0.3275911d0 * abs(x)))) * ((-1.453152027d0) + ((1.0d0 / (1.0d0 + (0.3275911d0 * abs(x)))) * 1.061405429d0))))))))) * exp(-(abs(x) * abs(x))))
end function
real(8) function code(x)
    real(8), intent (in) :: x
    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_4
    real(8) :: t_5
    real(8) :: t_6
    real(8) :: t_7
    real(8) :: t_8
    real(8) :: t_9
    real(8) :: tmp
    real(8) :: tmp_1
    real(8) :: tmp_10
    real(8) :: tmp_11
    real(8) :: tmp_12
    real(8) :: tmp_13
    real(8) :: tmp_14
    real(8) :: tmp_2
    real(8) :: tmp_3
    real(8) :: tmp_4
    real(8) :: tmp_5
    real(8) :: tmp_6
    real(8) :: tmp_7
    real(8) :: tmp_8
    real(8) :: tmp_9
    t_0 = exp(-(x * (x - -x)))
    t_1 = 1.0d0 / (1.0d0 + (0.3275911d0 * abs(x)))
    t_2 = exp((x * (-x - x)))
    t_3 = t_1 * (0.284496736d0 + (t_1 * ((-1.421413741d0) + (t_1 * (1.453152027d0 + (t_1 * (-1.061405429d0)))))))
    t_4 = 1.0d0 + (abs(x) * 0.3275911d0)
    t_5 = 1.0d0 / t_4
    t_6 = 0.254829592d0 + (t_5 * ((-0.284496736d0) + (t_5 * (1.421413741d0 + (t_5 * ((-1.453152027d0) + (t_5 * 1.061405429d0)))))))
    t_7 = t_2 * t_6
    t_8 = (-1.0d0) / ((-1.0d0) + (abs(x) * (-0.3275911d0)))
    t_9 = t_4 * t_4
    t_10 = 1.0d0 / t_9
    t_11 = exp(-(x * x))
    t_12 = exp((x * -x))
    t_13 = (-1.0d0) - (t_1 * ((0.254829592d0 - t_3) * t_12))
    t_14 = t_8 * ((-0.284496736d0) + (t_8 * (1.421413741d0 + (t_8 * ((-1.453152027d0) + (t_8 * 1.061405429d0))))))
    t_15 = 0.254829592d0 + t_14
    t_16 = t_8 * (t_11 * (t_11 * (t_15 * (t_8 * t_15))))
    t_17 = t_5 * (1.453152027d0 + (t_5 * (-1.061405429d0)))
    t_18 = (-0.254829592d0) + (t_5 * (0.284496736d0 + (t_5 * ((-1.421413741d0) + t_17))))
    t_19 = t_18 * t_18
    t_20 = t_19 * t_10
    t_21 = t_2 * t_19
    t_22 = t_21 * (1.0d0 / (t_4 * (t_4 * t_9)))
    t_23 = (t_18 * t_7) * t_22
    t_24 = t_2 * (t_23 * t_20)
    t_25 = 0.254829592d0 + (t_5 * ((-0.284496736d0) + (t_5 * (1.421413741d0 - t_17))))
    t_26 = t_5 * (t_0 * (t_25 * t_25))
    t_27 = t_26 * t_10
    t_28 = t_7 * (t_18 * t_24)
    t_29 = t_21 * t_22
    t_30 = t_21 * t_29
    t_31 = t_5 * (t_28 - -t_30)
    t_32 = t_26 * t_27
    t_33 = t_18 * (t_5 * t_7)
    if (t_13 /= 0.0d0) then
        if ((t_8 * (((t_8 * t_11) * ((-0.254829592d0) - t_14)) * (t_11 * t_15))) /= 0.0d0) then
            if (t_32 /= 0.0d0) then
                if (t_31 /= 0.0d0) then
                    tmp_14 = ((t_33 * ((t_2 * t_20) * ((t_18 * (t_2 * (t_24 * (t_5 * t_6)))) * t_23))) + ((t_5 * t_30) * (t_29 * t_33))) / t_31
                else
                    tmp_14 = t_5 * (t_28 - t_30)
                end if
                tmp_13 = (t_5 * tmp_14) / t_32
            else
                tmp_13 = (t_18 * (t_5 * (t_0 * t_25))) * (t_5 - t_27)
            end if
            tmp_11 = tmp_13 / t_16
        else
            tmp_11 = (-1.0d0) + t_16
        end if
        tmp_7 = tmp_11 / t_13
    else
        tmp_7 = 1.0d0 + ((t_1 * t_12) * (t_3 + (-0.254829592d0)))
    end if
    code = tmp_7
end function
public static double code(double x) {
	return 1.0 - (((1.0 / (1.0 + (0.3275911 * Math.abs(x)))) * (0.254829592 + ((1.0 / (1.0 + (0.3275911 * Math.abs(x)))) * (-0.284496736 + ((1.0 / (1.0 + (0.3275911 * Math.abs(x)))) * (1.421413741 + ((1.0 / (1.0 + (0.3275911 * Math.abs(x)))) * (-1.453152027 + ((1.0 / (1.0 + (0.3275911 * Math.abs(x)))) * 1.061405429))))))))) * Math.exp(-(Math.abs(x) * Math.abs(x))));
}
public static double code(double x) {
	double t_0 = Math.exp(-(x * (x - -x)));
	double t_1 = 1.0 / (1.0 + (0.3275911 * Math.abs(x)));
	double t_2 = Math.exp((x * (-x - x)));
	double t_3 = t_1 * (0.284496736 + (t_1 * (-1.421413741 + (t_1 * (1.453152027 + (t_1 * -1.061405429))))));
	double t_4 = 1.0 + (Math.abs(x) * 0.3275911);
	double t_5 = 1.0 / t_4;
	double t_6 = 0.254829592 + (t_5 * (-0.284496736 + (t_5 * (1.421413741 + (t_5 * (-1.453152027 + (t_5 * 1.061405429)))))));
	double t_7 = t_2 * t_6;
	double t_8 = -1.0 / (-1.0 + (Math.abs(x) * -0.3275911));
	double t_9 = t_4 * t_4;
	double t_10 = 1.0 / t_9;
	double t_11 = Math.exp(-(x * x));
	double t_12 = Math.exp((x * -x));
	double t_13 = -1.0 - (t_1 * ((0.254829592 - t_3) * t_12));
	double t_14 = t_8 * (-0.284496736 + (t_8 * (1.421413741 + (t_8 * (-1.453152027 + (t_8 * 1.061405429))))));
	double t_15 = 0.254829592 + t_14;
	double t_16 = t_8 * (t_11 * (t_11 * (t_15 * (t_8 * t_15))));
	double t_17 = t_5 * (1.453152027 + (t_5 * -1.061405429));
	double t_18 = -0.254829592 + (t_5 * (0.284496736 + (t_5 * (-1.421413741 + t_17))));
	double t_19 = t_18 * t_18;
	double t_20 = t_19 * t_10;
	double t_21 = t_2 * t_19;
	double t_22 = t_21 * (1.0 / (t_4 * (t_4 * t_9)));
	double t_23 = (t_18 * t_7) * t_22;
	double t_24 = t_2 * (t_23 * t_20);
	double t_25 = 0.254829592 + (t_5 * (-0.284496736 + (t_5 * (1.421413741 - t_17))));
	double t_26 = t_5 * (t_0 * (t_25 * t_25));
	double t_27 = t_26 * t_10;
	double t_28 = t_7 * (t_18 * t_24);
	double t_29 = t_21 * t_22;
	double t_30 = t_21 * t_29;
	double t_31 = t_5 * (t_28 - -t_30);
	double t_32 = t_26 * t_27;
	double t_33 = t_18 * (t_5 * t_7);
	double tmp_7;
	if (t_13 != 0.0) {
		double tmp_11;
		if ((t_8 * (((t_8 * t_11) * (-0.254829592 - t_14)) * (t_11 * t_15))) != 0.0) {
			double tmp_13;
			if (t_32 != 0.0) {
				double tmp_14;
				if (t_31 != 0.0) {
					tmp_14 = ((t_33 * ((t_2 * t_20) * ((t_18 * (t_2 * (t_24 * (t_5 * t_6)))) * t_23))) + ((t_5 * t_30) * (t_29 * t_33))) / t_31;
				} else {
					tmp_14 = t_5 * (t_28 - t_30);
				}
				tmp_13 = (t_5 * tmp_14) / t_32;
			} else {
				tmp_13 = (t_18 * (t_5 * (t_0 * t_25))) * (t_5 - t_27);
			}
			tmp_11 = tmp_13 / t_16;
		} else {
			tmp_11 = -1.0 + t_16;
		}
		tmp_7 = tmp_11 / t_13;
	} else {
		tmp_7 = 1.0 + ((t_1 * t_12) * (t_3 + -0.254829592));
	}
	return tmp_7;
}
def code(x):
	return 1.0 - (((1.0 / (1.0 + (0.3275911 * math.fabs(x)))) * (0.254829592 + ((1.0 / (1.0 + (0.3275911 * math.fabs(x)))) * (-0.284496736 + ((1.0 / (1.0 + (0.3275911 * math.fabs(x)))) * (1.421413741 + ((1.0 / (1.0 + (0.3275911 * math.fabs(x)))) * (-1.453152027 + ((1.0 / (1.0 + (0.3275911 * math.fabs(x)))) * 1.061405429))))))))) * math.exp(-(math.fabs(x) * math.fabs(x))))
def code(x):
	t_0 = math.exp(-(x * (x - -x)))
	t_1 = 1.0 / (1.0 + (0.3275911 * math.fabs(x)))
	t_2 = math.exp((x * (-x - x)))
	t_3 = t_1 * (0.284496736 + (t_1 * (-1.421413741 + (t_1 * (1.453152027 + (t_1 * -1.061405429))))))
	t_4 = 1.0 + (math.fabs(x) * 0.3275911)
	t_5 = 1.0 / t_4
	t_6 = 0.254829592 + (t_5 * (-0.284496736 + (t_5 * (1.421413741 + (t_5 * (-1.453152027 + (t_5 * 1.061405429)))))))
	t_7 = t_2 * t_6
	t_8 = -1.0 / (-1.0 + (math.fabs(x) * -0.3275911))
	t_9 = t_4 * t_4
	t_10 = 1.0 / t_9
	t_11 = math.exp(-(x * x))
	t_12 = math.exp((x * -x))
	t_13 = -1.0 - (t_1 * ((0.254829592 - t_3) * t_12))
	t_14 = t_8 * (-0.284496736 + (t_8 * (1.421413741 + (t_8 * (-1.453152027 + (t_8 * 1.061405429))))))
	t_15 = 0.254829592 + t_14
	t_16 = t_8 * (t_11 * (t_11 * (t_15 * (t_8 * t_15))))
	t_17 = t_5 * (1.453152027 + (t_5 * -1.061405429))
	t_18 = -0.254829592 + (t_5 * (0.284496736 + (t_5 * (-1.421413741 + t_17))))
	t_19 = t_18 * t_18
	t_20 = t_19 * t_10
	t_21 = t_2 * t_19
	t_22 = t_21 * (1.0 / (t_4 * (t_4 * t_9)))
	t_23 = (t_18 * t_7) * t_22
	t_24 = t_2 * (t_23 * t_20)
	t_25 = 0.254829592 + (t_5 * (-0.284496736 + (t_5 * (1.421413741 - t_17))))
	t_26 = t_5 * (t_0 * (t_25 * t_25))
	t_27 = t_26 * t_10
	t_28 = t_7 * (t_18 * t_24)
	t_29 = t_21 * t_22
	t_30 = t_21 * t_29
	t_31 = t_5 * (t_28 - -t_30)
	t_32 = t_26 * t_27
	t_33 = t_18 * (t_5 * t_7)
	tmp_7 = 0
	if t_13 != 0.0:
		tmp_11 = 0
		if (t_8 * (((t_8 * t_11) * (-0.254829592 - t_14)) * (t_11 * t_15))) != 0.0:
			tmp_13 = 0
			if t_32 != 0.0:
				tmp_14 = 0
				if t_31 != 0.0:
					tmp_14 = ((t_33 * ((t_2 * t_20) * ((t_18 * (t_2 * (t_24 * (t_5 * t_6)))) * t_23))) + ((t_5 * t_30) * (t_29 * t_33))) / t_31
				else:
					tmp_14 = t_5 * (t_28 - t_30)
				tmp_13 = (t_5 * tmp_14) / t_32
			else:
				tmp_13 = (t_18 * (t_5 * (t_0 * t_25))) * (t_5 - t_27)
			tmp_11 = tmp_13 / t_16
		else:
			tmp_11 = -1.0 + t_16
		tmp_7 = tmp_11 / t_13
	else:
		tmp_7 = 1.0 + ((t_1 * t_12) * (t_3 + -0.254829592))
	return tmp_7
function code(x)
	return Float64(1.0 - Float64(Float64(Float64(1.0 / Float64(1.0 + Float64(0.3275911 * abs(x)))) * Float64(0.254829592 + Float64(Float64(1.0 / Float64(1.0 + Float64(0.3275911 * abs(x)))) * Float64(-0.284496736 + Float64(Float64(1.0 / Float64(1.0 + Float64(0.3275911 * abs(x)))) * Float64(1.421413741 + Float64(Float64(1.0 / Float64(1.0 + Float64(0.3275911 * abs(x)))) * Float64(-1.453152027 + Float64(Float64(1.0 / Float64(1.0 + Float64(0.3275911 * abs(x)))) * 1.061405429))))))))) * exp(Float64(-Float64(abs(x) * abs(x))))))
end
function code(x)
	t_0 = exp(Float64(-Float64(x * Float64(x - Float64(-x)))))
	t_1 = Float64(1.0 / Float64(1.0 + Float64(0.3275911 * abs(x))))
	t_2 = exp(Float64(x * Float64(Float64(-x) - x)))
	t_3 = Float64(t_1 * Float64(0.284496736 + Float64(t_1 * Float64(-1.421413741 + Float64(t_1 * Float64(1.453152027 + Float64(t_1 * -1.061405429)))))))
	t_4 = Float64(1.0 + Float64(abs(x) * 0.3275911))
	t_5 = Float64(1.0 / t_4)
	t_6 = Float64(0.254829592 + Float64(t_5 * Float64(-0.284496736 + Float64(t_5 * Float64(1.421413741 + Float64(t_5 * Float64(-1.453152027 + Float64(t_5 * 1.061405429))))))))
	t_7 = Float64(t_2 * t_6)
	t_8 = Float64(-1.0 / Float64(-1.0 + Float64(abs(x) * -0.3275911)))
	t_9 = Float64(t_4 * t_4)
	t_10 = Float64(1.0 / t_9)
	t_11 = exp(Float64(-Float64(x * x)))
	t_12 = exp(Float64(x * Float64(-x)))
	t_13 = Float64(-1.0 - Float64(t_1 * Float64(Float64(0.254829592 - t_3) * t_12)))
	t_14 = Float64(t_8 * Float64(-0.284496736 + Float64(t_8 * Float64(1.421413741 + Float64(t_8 * Float64(-1.453152027 + Float64(t_8 * 1.061405429)))))))
	t_15 = Float64(0.254829592 + t_14)
	t_16 = Float64(t_8 * Float64(t_11 * Float64(t_11 * Float64(t_15 * Float64(t_8 * t_15)))))
	t_17 = Float64(t_5 * Float64(1.453152027 + Float64(t_5 * -1.061405429)))
	t_18 = Float64(-0.254829592 + Float64(t_5 * Float64(0.284496736 + Float64(t_5 * Float64(-1.421413741 + t_17)))))
	t_19 = Float64(t_18 * t_18)
	t_20 = Float64(t_19 * t_10)
	t_21 = Float64(t_2 * t_19)
	t_22 = Float64(t_21 * Float64(1.0 / Float64(t_4 * Float64(t_4 * t_9))))
	t_23 = Float64(Float64(t_18 * t_7) * t_22)
	t_24 = Float64(t_2 * Float64(t_23 * t_20))
	t_25 = Float64(0.254829592 + Float64(t_5 * Float64(-0.284496736 + Float64(t_5 * Float64(1.421413741 - t_17)))))
	t_26 = Float64(t_5 * Float64(t_0 * Float64(t_25 * t_25)))
	t_27 = Float64(t_26 * t_10)
	t_28 = Float64(t_7 * Float64(t_18 * t_24))
	t_29 = Float64(t_21 * t_22)
	t_30 = Float64(t_21 * t_29)
	t_31 = Float64(t_5 * Float64(t_28 - Float64(-t_30)))
	t_32 = Float64(t_26 * t_27)
	t_33 = Float64(t_18 * Float64(t_5 * t_7))
	tmp_7 = 0.0
	if (t_13 != 0.0)
		tmp_11 = 0.0
		if (Float64(t_8 * Float64(Float64(Float64(t_8 * t_11) * Float64(-0.254829592 - t_14)) * Float64(t_11 * t_15))) != 0.0)
			tmp_13 = 0.0
			if (t_32 != 0.0)
				tmp_14 = 0.0
				if (t_31 != 0.0)
					tmp_14 = Float64(Float64(Float64(t_33 * Float64(Float64(t_2 * t_20) * Float64(Float64(t_18 * Float64(t_2 * Float64(t_24 * Float64(t_5 * t_6)))) * t_23))) + Float64(Float64(t_5 * t_30) * Float64(t_29 * t_33))) / t_31);
				else
					tmp_14 = Float64(t_5 * Float64(t_28 - t_30));
				end
				tmp_13 = Float64(Float64(t_5 * tmp_14) / t_32);
			else
				tmp_13 = Float64(Float64(t_18 * Float64(t_5 * Float64(t_0 * t_25))) * Float64(t_5 - t_27));
			end
			tmp_11 = Float64(tmp_13 / t_16);
		else
			tmp_11 = Float64(-1.0 + t_16);
		end
		tmp_7 = Float64(tmp_11 / t_13);
	else
		tmp_7 = Float64(1.0 + Float64(Float64(t_1 * t_12) * Float64(t_3 + -0.254829592)));
	end
	return tmp_7
end
function tmp = code(x)
	tmp = 1.0 - (((1.0 / (1.0 + (0.3275911 * abs(x)))) * (0.254829592 + ((1.0 / (1.0 + (0.3275911 * abs(x)))) * (-0.284496736 + ((1.0 / (1.0 + (0.3275911 * abs(x)))) * (1.421413741 + ((1.0 / (1.0 + (0.3275911 * abs(x)))) * (-1.453152027 + ((1.0 / (1.0 + (0.3275911 * abs(x)))) * 1.061405429))))))))) * exp(-(abs(x) * abs(x))));
end
function tmp_16 = code(x)
	t_0 = exp(-(x * (x - -x)));
	t_1 = 1.0 / (1.0 + (0.3275911 * abs(x)));
	t_2 = exp((x * (-x - x)));
	t_3 = t_1 * (0.284496736 + (t_1 * (-1.421413741 + (t_1 * (1.453152027 + (t_1 * -1.061405429))))));
	t_4 = 1.0 + (abs(x) * 0.3275911);
	t_5 = 1.0 / t_4;
	t_6 = 0.254829592 + (t_5 * (-0.284496736 + (t_5 * (1.421413741 + (t_5 * (-1.453152027 + (t_5 * 1.061405429)))))));
	t_7 = t_2 * t_6;
	t_8 = -1.0 / (-1.0 + (abs(x) * -0.3275911));
	t_9 = t_4 * t_4;
	t_10 = 1.0 / t_9;
	t_11 = exp(-(x * x));
	t_12 = exp((x * -x));
	t_13 = -1.0 - (t_1 * ((0.254829592 - t_3) * t_12));
	t_14 = t_8 * (-0.284496736 + (t_8 * (1.421413741 + (t_8 * (-1.453152027 + (t_8 * 1.061405429))))));
	t_15 = 0.254829592 + t_14;
	t_16 = t_8 * (t_11 * (t_11 * (t_15 * (t_8 * t_15))));
	t_17 = t_5 * (1.453152027 + (t_5 * -1.061405429));
	t_18 = -0.254829592 + (t_5 * (0.284496736 + (t_5 * (-1.421413741 + t_17))));
	t_19 = t_18 * t_18;
	t_20 = t_19 * t_10;
	t_21 = t_2 * t_19;
	t_22 = t_21 * (1.0 / (t_4 * (t_4 * t_9)));
	t_23 = (t_18 * t_7) * t_22;
	t_24 = t_2 * (t_23 * t_20);
	t_25 = 0.254829592 + (t_5 * (-0.284496736 + (t_5 * (1.421413741 - t_17))));
	t_26 = t_5 * (t_0 * (t_25 * t_25));
	t_27 = t_26 * t_10;
	t_28 = t_7 * (t_18 * t_24);
	t_29 = t_21 * t_22;
	t_30 = t_21 * t_29;
	t_31 = t_5 * (t_28 - -t_30);
	t_32 = t_26 * t_27;
	t_33 = t_18 * (t_5 * t_7);
	tmp_8 = 0.0;
	if (t_13 ~= 0.0)
		tmp_12 = 0.0;
		if ((t_8 * (((t_8 * t_11) * (-0.254829592 - t_14)) * (t_11 * t_15))) ~= 0.0)
			tmp_14 = 0.0;
			if (t_32 ~= 0.0)
				tmp_15 = 0.0;
				if (t_31 ~= 0.0)
					tmp_15 = ((t_33 * ((t_2 * t_20) * ((t_18 * (t_2 * (t_24 * (t_5 * t_6)))) * t_23))) + ((t_5 * t_30) * (t_29 * t_33))) / t_31;
				else
					tmp_15 = t_5 * (t_28 - t_30);
				end
				tmp_14 = (t_5 * tmp_15) / t_32;
			else
				tmp_14 = (t_18 * (t_5 * (t_0 * t_25))) * (t_5 - t_27);
			end
			tmp_12 = tmp_14 / t_16;
		else
			tmp_12 = -1.0 + t_16;
		end
		tmp_8 = tmp_12 / t_13;
	else
		tmp_8 = 1.0 + ((t_1 * t_12) * (t_3 + -0.254829592));
	end
	tmp_16 = tmp_8;
end
code[x_] := N[(1.0 - N[(N[(N[(1.0 / N[(1.0 + N[(0.3275911 * N[Abs[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(0.254829592 + N[(N[(1.0 / N[(1.0 + N[(0.3275911 * N[Abs[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(-0.284496736 + N[(N[(1.0 / N[(1.0 + N[(0.3275911 * N[Abs[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(1.421413741 + N[(N[(1.0 / N[(1.0 + N[(0.3275911 * N[Abs[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(-1.453152027 + N[(N[(1.0 / N[(1.0 + N[(0.3275911 * N[Abs[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * 1.061405429), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[Exp[(-N[(N[Abs[x], $MachinePrecision] * N[Abs[x], $MachinePrecision]), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
code[x_] := Block[{t$95$0 = N[Exp[(-N[(x * N[(x - (-x)), $MachinePrecision]), $MachinePrecision])], $MachinePrecision]}, Block[{t$95$1 = N[(1.0 / N[(1.0 + N[(0.3275911 * N[Abs[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[Exp[N[(x * N[((-x) - x), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$3 = N[(t$95$1 * N[(0.284496736 + N[(t$95$1 * N[(-1.421413741 + N[(t$95$1 * N[(1.453152027 + N[(t$95$1 * -1.061405429), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$4 = N[(1.0 + N[(N[Abs[x], $MachinePrecision] * 0.3275911), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$5 = N[(1.0 / t$95$4), $MachinePrecision]}, Block[{t$95$6 = N[(0.254829592 + N[(t$95$5 * N[(-0.284496736 + N[(t$95$5 * N[(1.421413741 + N[(t$95$5 * N[(-1.453152027 + N[(t$95$5 * 1.061405429), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$7 = N[(t$95$2 * t$95$6), $MachinePrecision]}, Block[{t$95$8 = N[(-1.0 / N[(-1.0 + N[(N[Abs[x], $MachinePrecision] * -0.3275911), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$9 = N[(t$95$4 * t$95$4), $MachinePrecision]}, Block[{t$95$10 = N[(1.0 / t$95$9), $MachinePrecision]}, Block[{t$95$11 = N[Exp[(-N[(x * x), $MachinePrecision])], $MachinePrecision]}, Block[{t$95$12 = N[Exp[N[(x * (-x)), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$13 = N[(-1.0 - N[(t$95$1 * N[(N[(0.254829592 - t$95$3), $MachinePrecision] * t$95$12), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$14 = N[(t$95$8 * N[(-0.284496736 + N[(t$95$8 * N[(1.421413741 + N[(t$95$8 * N[(-1.453152027 + N[(t$95$8 * 1.061405429), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$15 = N[(0.254829592 + t$95$14), $MachinePrecision]}, Block[{t$95$16 = N[(t$95$8 * N[(t$95$11 * N[(t$95$11 * N[(t$95$15 * N[(t$95$8 * t$95$15), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$17 = N[(t$95$5 * N[(1.453152027 + N[(t$95$5 * -1.061405429), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$18 = N[(-0.254829592 + N[(t$95$5 * N[(0.284496736 + N[(t$95$5 * N[(-1.421413741 + t$95$17), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$19 = N[(t$95$18 * t$95$18), $MachinePrecision]}, Block[{t$95$20 = N[(t$95$19 * t$95$10), $MachinePrecision]}, Block[{t$95$21 = N[(t$95$2 * t$95$19), $MachinePrecision]}, Block[{t$95$22 = N[(t$95$21 * N[(1.0 / N[(t$95$4 * N[(t$95$4 * t$95$9), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$23 = N[(N[(t$95$18 * t$95$7), $MachinePrecision] * t$95$22), $MachinePrecision]}, Block[{t$95$24 = N[(t$95$2 * N[(t$95$23 * t$95$20), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$25 = N[(0.254829592 + N[(t$95$5 * N[(-0.284496736 + N[(t$95$5 * N[(1.421413741 - t$95$17), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$26 = N[(t$95$5 * N[(t$95$0 * N[(t$95$25 * t$95$25), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$27 = N[(t$95$26 * t$95$10), $MachinePrecision]}, Block[{t$95$28 = N[(t$95$7 * N[(t$95$18 * t$95$24), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$29 = N[(t$95$21 * t$95$22), $MachinePrecision]}, Block[{t$95$30 = N[(t$95$21 * t$95$29), $MachinePrecision]}, Block[{t$95$31 = N[(t$95$5 * N[(t$95$28 - (-t$95$30)), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$32 = N[(t$95$26 * t$95$27), $MachinePrecision]}, Block[{t$95$33 = N[(t$95$18 * N[(t$95$5 * t$95$7), $MachinePrecision]), $MachinePrecision]}, If[Unequal[t$95$13, 0.0], N[(If[Unequal[N[(t$95$8 * N[(N[(N[(t$95$8 * t$95$11), $MachinePrecision] * N[(-0.254829592 - t$95$14), $MachinePrecision]), $MachinePrecision] * N[(t$95$11 * t$95$15), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 0.0], N[(If[Unequal[t$95$32, 0.0], N[(N[(t$95$5 * If[Unequal[t$95$31, 0.0], N[(N[(N[(t$95$33 * N[(N[(t$95$2 * t$95$20), $MachinePrecision] * N[(N[(t$95$18 * N[(t$95$2 * N[(t$95$24 * N[(t$95$5 * t$95$6), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * t$95$23), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(t$95$5 * t$95$30), $MachinePrecision] * N[(t$95$29 * t$95$33), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$31), $MachinePrecision], N[(t$95$5 * N[(t$95$28 - t$95$30), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision] / t$95$32), $MachinePrecision], N[(N[(t$95$18 * N[(t$95$5 * N[(t$95$0 * t$95$25), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(t$95$5 - t$95$27), $MachinePrecision]), $MachinePrecision]] / t$95$16), $MachinePrecision], N[(-1.0 + t$95$16), $MachinePrecision]] / t$95$13), $MachinePrecision], N[(1.0 + N[(N[(t$95$1 * t$95$12), $MachinePrecision] * N[(t$95$3 + -0.254829592), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
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|}
\begin{array}{l}
t_0 := e^{-x \cdot \left(x - \left(-x\right)\right)}\\
t_1 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\
t_2 := e^{x \cdot \left(\left(-x\right) - x\right)}\\
t_3 := t_1 \cdot \left(0.284496736 + t_1 \cdot \left(-1.421413741 + t_1 \cdot \left(1.453152027 + t_1 \cdot -1.061405429\right)\right)\right)\\
t_4 := 1 + \left|x\right| \cdot 0.3275911\\
t_5 := \frac{1}{t_4}\\
t_6 := 0.254829592 + t_5 \cdot \left(-0.284496736 + t_5 \cdot \left(1.421413741 + t_5 \cdot \left(-1.453152027 + t_5 \cdot 1.061405429\right)\right)\right)\\
t_7 := t_2 \cdot t_6\\
t_8 := \frac{-1}{-1 + \left|x\right| \cdot -0.3275911}\\
t_9 := t_4 \cdot t_4\\
t_10 := \frac{1}{t_9}\\
t_11 := e^{-x \cdot x}\\
t_12 := e^{x \cdot \left(-x\right)}\\
t_13 := -1 - t_1 \cdot \left(\left(0.254829592 - t_3\right) \cdot t_12\right)\\
t_14 := t_8 \cdot \left(-0.284496736 + t_8 \cdot \left(1.421413741 + t_8 \cdot \left(-1.453152027 + t_8 \cdot 1.061405429\right)\right)\right)\\
t_15 := 0.254829592 + t_14\\
t_16 := t_8 \cdot \left(t_11 \cdot \left(t_11 \cdot \left(t_15 \cdot \left(t_8 \cdot t_15\right)\right)\right)\right)\\
t_17 := t_5 \cdot \left(1.453152027 + t_5 \cdot -1.061405429\right)\\
t_18 := -0.254829592 + t_5 \cdot \left(0.284496736 + t_5 \cdot \left(-1.421413741 + t_17\right)\right)\\
t_19 := t_18 \cdot t_18\\
t_20 := t_19 \cdot t_10\\
t_21 := t_2 \cdot t_19\\
t_22 := t_21 \cdot \frac{1}{t_4 \cdot \left(t_4 \cdot t_9\right)}\\
t_23 := \left(t_18 \cdot t_7\right) \cdot t_22\\
t_24 := t_2 \cdot \left(t_23 \cdot t_20\right)\\
t_25 := 0.254829592 + t_5 \cdot \left(-0.284496736 + t_5 \cdot \left(1.421413741 - t_17\right)\right)\\
t_26 := t_5 \cdot \left(t_0 \cdot \left(t_25 \cdot t_25\right)\right)\\
t_27 := t_26 \cdot t_10\\
t_28 := t_7 \cdot \left(t_18 \cdot t_24\right)\\
t_29 := t_21 \cdot t_22\\
t_30 := t_21 \cdot t_29\\
t_31 := t_5 \cdot \left(t_28 - \left(-t_30\right)\right)\\
t_32 := t_26 \cdot t_27\\
t_33 := t_18 \cdot \left(t_5 \cdot t_7\right)\\
\mathbf{if}\;t_13 \ne 0:\\
\;\;\;\;\frac{\begin{array}{l}
\mathbf{if}\;t_8 \cdot \left(\left(\left(t_8 \cdot t_11\right) \cdot \left(-0.254829592 - t_14\right)\right) \cdot \left(t_11 \cdot t_15\right)\right) \ne 0:\\
\;\;\;\;\frac{\begin{array}{l}
\mathbf{if}\;t_32 \ne 0:\\
\;\;\;\;\frac{t_5 \cdot \begin{array}{l}
\mathbf{if}\;t_31 \ne 0:\\
\;\;\;\;\frac{t_33 \cdot \left(\left(t_2 \cdot t_20\right) \cdot \left(\left(t_18 \cdot \left(t_2 \cdot \left(t_24 \cdot \left(t_5 \cdot t_6\right)\right)\right)\right) \cdot t_23\right)\right) + \left(t_5 \cdot t_30\right) \cdot \left(t_29 \cdot t_33\right)}{t_31}\\

\mathbf{else}:\\
\;\;\;\;t_5 \cdot \left(t_28 - t_30\right)\\


\end{array}}{t_32}\\

\mathbf{else}:\\
\;\;\;\;\left(t_18 \cdot \left(t_5 \cdot \left(t_0 \cdot t_25\right)\right)\right) \cdot \left(t_5 - t_27\right)\\


\end{array}}{t_16}\\

\mathbf{else}:\\
\;\;\;\;-1 + t_16\\


\end{array}}{t_13}\\

\mathbf{else}:\\
\;\;\;\;1 + \left(t_1 \cdot t_12\right) \cdot \left(t_3 + -0.254829592\right)\\


\end{array}

Error?

Derivation?

  1. Initial program 13.2

    \[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.2

    \[\leadsto \color{blue}{1 + e^{-x \cdot x} \cdot \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)} \]
    Proof

    [Start]13.2

    \[ 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|} \]

    rational_best-simplify-61 [=>]13.2

    \[ \color{blue}{1 + \left(-\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|}\right)} \]

    rational_best-simplify-52 [=>]13.2

    \[ 1 + \color{blue}{e^{-\left|x\right| \cdot \left|x\right|} \cdot \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)} \]

    rational_best-simplify-100 [=>]13.2

    \[ 1 + e^{-\color{blue}{\left|x \cdot x\right|}} \cdot \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) \]

    rational_best-simplify-47 [<=]13.2

    \[ 1 + e^{-\color{blue}{x \cdot x}} \cdot \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) \]
  3. Applied egg-rr13.1

    \[\leadsto \color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(e^{x \cdot \left(-x\right)} \cdot \left(-0.254829592 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) + -1 \ne 0:\\ \;\;\;\;\frac{-1 + \left(\left(0.254829592 - \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(-x\right)} \cdot \frac{1}{1 - \left|x\right| \cdot -0.3275911}\right)\right) \cdot \left(\left(0.254829592 - \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(-x\right)} \cdot \frac{1}{1 - \left|x\right| \cdot -0.3275911}\right)\right)}{\frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(e^{x \cdot \left(-x\right)} \cdot \left(-0.254829592 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) + -1}\\ \mathbf{else}:\\ \;\;\;\;1 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(e^{x \cdot \left(-x\right)} \cdot \left(-0.254829592 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\\ } \end{array}} \]
  4. Simplified13.2

    \[\leadsto \color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right) \ne 0:\\ \;\;\;\;\frac{-1 + \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) \cdot \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right)\right) \cdot e^{x \cdot \left(-x\right)}\right)\right)}{-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot e^{x \cdot \left(-x\right)}\right) \cdot \left(\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) + -0.254829592\right)\\ } \end{array}} \]
    Proof

    [Start]13.1

    \[ \begin{array}{l} \mathbf{if}\;\frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(e^{x \cdot \left(-x\right)} \cdot \left(-0.254829592 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) + -1 \ne 0:\\ \;\;\;\;\frac{-1 + \left(\left(0.254829592 - \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(-x\right)} \cdot \frac{1}{1 - \left|x\right| \cdot -0.3275911}\right)\right) \cdot \left(\left(0.254829592 - \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(-x\right)} \cdot \frac{1}{1 - \left|x\right| \cdot -0.3275911}\right)\right)}{\frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(e^{x \cdot \left(-x\right)} \cdot \left(-0.254829592 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) + -1}\\ \mathbf{else}:\\ \;\;\;\;1 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(e^{x \cdot \left(-x\right)} \cdot \left(-0.254829592 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(0.284496736 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot \left(1.453152027 + \frac{1}{1 - \left|x\right| \cdot -0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\\ \end{array} \]
  5. Applied egg-rr13.1

    \[\leadsto \begin{array}{l} \mathbf{if}\;-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right) \ne 0:\\ \;\;\;\;\frac{\color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(\left(\left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot e^{-x \cdot x}\right) \cdot \left(-0.254829592 - \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(e^{-x \cdot x} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \ne 0:\\ \;\;\;\;\frac{\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(\left(\left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot e^{-x \cdot x}\right) \cdot \left(-0.254829592 - \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(e^{-x \cdot x} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) - \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(\left(\left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot e^{-x \cdot x}\right) \cdot \left(-0.254829592 - \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(e^{-x \cdot x} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)}{\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;-1 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)\\ } \end{array}}}{-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot e^{x \cdot \left(-x\right)}\right) \cdot \left(\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) + -0.254829592\right)\\ \end{array} \]
  6. Applied egg-rr13.0

    \[\leadsto \begin{array}{l} \mathbf{if}\;-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(\left(\left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot e^{-x \cdot x}\right) \cdot \left(-0.254829592 - \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(e^{-x \cdot x} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \ne 0:\\ \;\;\;\;\frac{\color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right)\right) \ne 0:\\ \;\;\;\;\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right)\right)\right)\right)\right) - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1 \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right)\right)\right)}{\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{e^{x \cdot x + x \cdot x}}\right)\right)\right)\\ } \end{array}}}{\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;-1 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)\\ \end{array}}{-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot e^{x \cdot \left(-x\right)}\right) \cdot \left(\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) + -0.254829592\right)\\ \end{array} \]
  7. Simplified13.0

    \[\leadsto \begin{array}{l} \mathbf{if}\;-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(\left(\left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot e^{-x \cdot x}\right) \cdot \left(-0.254829592 - \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(e^{-x \cdot x} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \ne 0:\\ \;\;\;\;\frac{\color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \ne 0:\\ \;\;\;\;\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right) - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(1 \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}{\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\\ } \end{array}}}{\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;-1 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)\\ \end{array}}{-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot e^{x \cdot \left(-x\right)}\right) \cdot \left(\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) + -0.254829592\right)\\ \end{array} \]
    Proof
  8. No proof available- proof too large to flatten.
  9. Applied egg-rr12.8

    \[\leadsto \begin{array}{l} \mathbf{if}\;-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(\left(\left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot e^{-x \cdot x}\right) \cdot \left(-0.254829592 - \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(e^{-x \cdot x} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \ne 0:\\ \;\;\;\;\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \color{blue}{\begin{array}{l} \color{blue}{\mathbf{if}\;\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right)\right) - \left(-\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\right) \ne 0:\\ \;\;\;\;\frac{\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\right) + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\right) \cdot \left(\left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)}{\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right)\right) - \left(-\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right)\right) - \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\\ } \end{array}}}{\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\\ \end{array}}{\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;-1 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)\\ \end{array}}{-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot e^{x \cdot \left(-x\right)}\right) \cdot \left(\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) + -0.254829592\right)\\ \end{array} \]
  10. Final simplification12.8

    \[\leadsto \begin{array}{l} \mathbf{if}\;-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(\left(\left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot e^{-x \cdot x}\right) \cdot \left(-0.254829592 - \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(e^{-x \cdot x} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right) \ne 0:\\ \;\;\;\;\frac{\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \begin{array}{l} \mathbf{if}\;\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right)\right) - \left(-\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\right) \ne 0:\\ \;\;\;\;\frac{\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\right) + \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\right) \cdot \left(\left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)}{\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right)\right) - \left(-\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right) \cdot \left(\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\right)\right)\right) - \left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \left(\left(e^{x \cdot \left(\left(-x\right) - x\right)} \cdot \left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)\right)\right)}\right)\right)\right)\\ \end{array}}{\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;\left(\left(-0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-1.421413741 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} - \left(\frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(e^{-x \cdot \left(x - \left(-x\right)\right)} \cdot \left(\left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right) \cdot \left(0.254829592 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(-0.284496736 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.421413741 - \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot \left(1.453152027 + \frac{1}{1 + \left|x\right| \cdot 0.3275911} \cdot -1.061405429\right)\right)\right)\right)\right)\right)\right) \cdot \frac{1}{\left(1 + \left|x\right| \cdot 0.3275911\right) \cdot \left(1 + \left|x\right| \cdot 0.3275911\right)}\right)\\ \end{array}}{\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)}\\ \mathbf{else}:\\ \;\;\;\;-1 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(e^{-x \cdot x} \cdot \left(e^{-x \cdot x} \cdot \left(\left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right) \cdot \left(\frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(0.254829592 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-0.284496736 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(1.421413741 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot \left(-1.453152027 + \frac{-1}{-1 + \left|x\right| \cdot -0.3275911} \cdot 1.061405429\right)\right)\right)\right)\right)\right)\right)\right)\\ \end{array}}{-1 - \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(\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) \cdot e^{x \cdot \left(-x\right)}\right)}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot e^{x \cdot \left(-x\right)}\right) \cdot \left(\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) + -0.254829592\right)\\ \end{array} \]

Alternatives

Alternative 1
Error13.0
Cost1094988
\[\begin{array}{l} t_0 := e^{-x \cdot \left(x - \left(-x\right)\right)}\\ t_1 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\ t_2 := t_1 \cdot \left(0.284496736 + t_1 \cdot \left(-1.421413741 + t_1 \cdot \left(1.453152027 + t_1 \cdot -1.061405429\right)\right)\right)\\ t_3 := 1 + \left|x\right| \cdot 0.3275911\\ t_4 := \frac{1}{t_3}\\ t_5 := \frac{-1}{-1 + \left|x\right| \cdot -0.3275911}\\ t_6 := e^{-x \cdot x}\\ t_7 := e^{x \cdot \left(-x\right)}\\ t_8 := -1 - t_1 \cdot \left(\left(0.254829592 - t_2\right) \cdot t_7\right)\\ t_9 := t_5 \cdot \left(-0.284496736 + t_5 \cdot \left(1.421413741 + t_5 \cdot \left(-1.453152027 + t_5 \cdot 1.061405429\right)\right)\right)\\ t_10 := 0.254829592 + t_9\\ t_11 := t_5 \cdot \left(t_6 \cdot \left(t_6 \cdot \left(t_10 \cdot \left(t_5 \cdot t_10\right)\right)\right)\right)\\ t_12 := t_4 \cdot \left(1.453152027 + t_4 \cdot -1.061405429\right)\\ t_13 := 0.254829592 + t_4 \cdot \left(-0.284496736 + t_4 \cdot \left(1.421413741 - t_12\right)\right)\\ t_14 := t_13 \cdot t_13\\ t_15 := t_4 \cdot \left(t_0 \cdot t_14\right)\\ t_16 := t_15 \cdot \frac{1}{t_3 \cdot t_3}\\ t_17 := \left(-0.254829592 + t_4 \cdot \left(0.284496736 + t_4 \cdot \left(-1.421413741 + t_12\right)\right)\right) \cdot \left(t_4 \cdot \left(t_0 \cdot t_13\right)\right)\\ t_18 := t_15 \cdot t_16\\ \mathbf{if}\;t_8 \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_5 \cdot \left(\left(\left(t_5 \cdot t_6\right) \cdot \left(-0.254829592 - t_9\right)\right) \cdot \left(t_6 \cdot t_10\right)\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_18 \ne 0:\\ \;\;\;\;\frac{t_4 \cdot \left(t_17 \cdot \left(\left(t_4 \cdot t_15\right) \cdot \left(t_17 \cdot t_16\right)\right) - t_4 \cdot \left(\left(t_4 \cdot \left(t_0 \cdot \left(1 \cdot \left(t_4 \cdot t_14\right)\right)\right)\right) \cdot \left(t_15 \cdot t_15\right)\right)\right)}{t_18}\\ \mathbf{else}:\\ \;\;\;\;t_17 \cdot \left(t_4 - t_16\right)\\ \end{array}}{t_11}\\ \mathbf{else}:\\ \;\;\;\;-1 + t_11\\ \end{array}}{t_8}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(t_1 \cdot t_7\right) \cdot \left(t_2 + -0.254829592\right)\\ \end{array} \]
Alternative 2
Error13.1
Cost794444
\[\begin{array}{l} t_0 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\ t_1 := e^{-x \cdot x}\\ t_2 := t_0 \cdot \left(0.284496736 + t_0 \cdot \left(-1.421413741 + t_0 \cdot \left(1.453152027 + t_0 \cdot -1.061405429\right)\right)\right)\\ t_3 := \frac{1}{1 + \left|x\right| \cdot 0.3275911}\\ t_4 := t_3 \cdot \left(1.453152027 + t_3 \cdot -1.061405429\right)\\ t_5 := \frac{-1}{-1 + \left|x\right| \cdot -0.3275911}\\ t_6 := 0.254829592 + t_3 \cdot \left(-0.284496736 + t_3 \cdot \left(1.421413741 - t_4\right)\right)\\ t_7 := e^{x \cdot \left(-x\right)}\\ t_8 := -1 - t_0 \cdot \left(\left(0.254829592 - t_2\right) \cdot t_7\right)\\ t_9 := t_5 \cdot \left(-0.284496736 + t_5 \cdot \left(1.421413741 + t_5 \cdot \left(-1.453152027 + t_5 \cdot 1.061405429\right)\right)\right)\\ t_10 := 0.254829592 + t_9\\ t_11 := t_5 \cdot \left(t_1 \cdot \left(t_1 \cdot \left(t_10 \cdot \left(t_5 \cdot t_10\right)\right)\right)\right)\\ t_12 := \frac{1}{e^{x \cdot x + x \cdot x}}\\ t_13 := \left(t_3 \cdot \left(t_6 \cdot t_6\right)\right) \cdot t_12\\ t_14 := t_3 \cdot t_13\\ t_15 := t_3 \cdot \left(1 \cdot t_13\right)\\ \mathbf{if}\;t_8 \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_5 \cdot \left(\left(\left(t_5 \cdot t_1\right) \cdot \left(-0.254829592 - t_9\right)\right) \cdot \left(t_1 \cdot t_10\right)\right) \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_15 \ne 0:\\ \;\;\;\;\frac{t_15 \cdot \left(t_3 \cdot \left(t_13 \cdot t_14\right)\right) - t_15 \cdot t_15}{t_15}\\ \mathbf{else}:\\ \;\;\;\;\left(\left(-0.254829592 + t_3 \cdot \left(0.284496736 + t_3 \cdot \left(-1.421413741 + t_4\right)\right)\right) \cdot \left(\left(t_3 \cdot t_6\right) \cdot t_12\right)\right) \cdot \left(t_3 - t_3 \cdot t_14\right)\\ \end{array}}{t_11}\\ \mathbf{else}:\\ \;\;\;\;-1 + t_11\\ \end{array}}{t_8}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(t_0 \cdot t_7\right) \cdot \left(t_2 + -0.254829592\right)\\ \end{array} \]
Alternative 3
Error13.1
Cost503240
\[\begin{array}{l} t_0 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\ t_1 := t_0 \cdot \left(0.284496736 + t_0 \cdot \left(-1.421413741 + t_0 \cdot \left(1.453152027 + t_0 \cdot -1.061405429\right)\right)\right)\\ t_2 := e^{-x \cdot x}\\ t_3 := \frac{-1}{-1 + \left|x\right| \cdot -0.3275911}\\ t_4 := e^{x \cdot \left(-x\right)}\\ t_5 := -1 - t_0 \cdot \left(\left(0.254829592 - t_1\right) \cdot t_4\right)\\ t_6 := t_3 \cdot \left(-0.284496736 + t_3 \cdot \left(1.421413741 + t_3 \cdot \left(-1.453152027 + t_3 \cdot 1.061405429\right)\right)\right)\\ t_7 := 0.254829592 + t_6\\ t_8 := t_3 \cdot \left(\left(\left(t_3 \cdot t_2\right) \cdot \left(-0.254829592 - t_6\right)\right) \cdot \left(t_2 \cdot t_7\right)\right)\\ t_9 := t_3 \cdot \left(t_2 \cdot \left(t_2 \cdot \left(t_7 \cdot \left(t_3 \cdot t_7\right)\right)\right)\right)\\ \mathbf{if}\;t_5 \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_8 \ne 0:\\ \;\;\;\;\frac{t_8 - t_9 \cdot t_8}{t_9}\\ \mathbf{else}:\\ \;\;\;\;-1 + t_9\\ \end{array}}{t_5}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(t_0 \cdot t_4\right) \cdot \left(t_1 + -0.254829592\right)\\ \end{array} \]
Alternative 4
Error13.1
Cost496328
\[\begin{array}{l} t_0 := e^{x \cdot \left(-x\right)}\\ t_1 := \frac{-1}{-1 + \left|x\right| \cdot -0.3275911}\\ t_2 := t_1 \cdot \left(-0.284496736 + t_1 \cdot \left(1.421413741 + t_1 \cdot \left(-1.453152027 + 1.061405429 \cdot t_1\right)\right)\right)\\ t_3 := 0.254829592 + t_2\\ t_4 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\ t_5 := t_4 \cdot \left(0.284496736 + t_4 \cdot \left(-1.421413741 + t_4 \cdot \left(1.453152027 + t_4 \cdot -1.061405429\right)\right)\right)\\ t_6 := -1 - t_4 \cdot \left(\left(0.254829592 - t_5\right) \cdot t_0\right)\\ t_7 := e^{-x \cdot x}\\ t_8 := t_1 \cdot t_7\\ t_9 := t_1 \cdot \left(t_3 \cdot \left(t_7 \cdot \left(t_8 \cdot t_3\right)\right)\right)\\ t_10 := t_8 \cdot \left(-0.254829592 - t_2\right)\\ t_11 := t_3 \cdot \left(t_10 \cdot t_7\right)\\ \mathbf{if}\;t_6 \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_1 \cdot t_11 \ne 0:\\ \;\;\;\;\frac{t_1 \cdot \left(t_11 - t_10 \cdot \left(t_9 \cdot \left(t_7 \cdot t_3\right)\right)\right)}{t_9}\\ \mathbf{else}:\\ \;\;\;\;-1 + t_9\\ \end{array}}{t_6}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(t_4 \cdot t_0\right) \cdot \left(t_5 + -0.254829592\right)\\ \end{array} \]
Alternative 5
Error13.1
Cost370184
\[\begin{array}{l} t_0 := -0.3275911 \cdot \left|x\right|\\ t_1 := e^{-x \cdot x}\\ t_2 := -1 + t_0\\ t_3 := \frac{-1}{-1 + \left|x\right| \cdot -0.3275911}\\ t_4 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\ t_5 := t_4 \cdot \left(0.284496736 + t_4 \cdot \left(-1.421413741 + t_4 \cdot \left(1.453152027 + t_4 \cdot -1.061405429\right)\right)\right)\\ t_6 := e^{x \cdot \left(-x\right)}\\ t_7 := -1 - t_4 \cdot \left(\left(0.254829592 - t_5\right) \cdot t_6\right)\\ t_8 := t_3 \cdot \left(-0.284496736 + t_3 \cdot \left(1.421413741 + t_3 \cdot \left(-1.453152027 + t_3 \cdot 1.061405429\right)\right)\right)\\ t_9 := 0.254829592 + t_8\\ t_10 := {t_2}^{2}\\ t_11 := \left(\left(-\frac{\left(-\frac{1.061405429 \cdot \frac{1}{t_10} + \left(1.421413741 + 1.453152027 \cdot \frac{-1}{1 - t_0}\right)}{t_2}\right) + -0.284496736}{t_2}\right) + 0.254829592\right) \cdot e^{-{x}^{2}}\\ t_12 := {t_11}^{2}\\ \mathbf{if}\;t_7 \ne 0:\\ \;\;\;\;\frac{\begin{array}{l} \mathbf{if}\;t_3 \cdot \left(\left(\left(t_3 \cdot t_1\right) \cdot \left(-0.254829592 - t_8\right)\right) \cdot \left(t_1 \cdot t_9\right)\right) \ne 0:\\ \;\;\;\;\frac{-1 \cdot \left(t_10 \cdot \left(\frac{t_12}{t_10} - \frac{{t_11}^{4}}{{t_2}^{4}}\right)\right)}{t_12}\\ \mathbf{else}:\\ \;\;\;\;-1 + t_3 \cdot \left(t_1 \cdot \left(t_1 \cdot \left(t_9 \cdot \left(t_3 \cdot t_9\right)\right)\right)\right)\\ \end{array}}{t_7}\\ \mathbf{else}:\\ \;\;\;\;1 + \left(t_4 \cdot t_6\right) \cdot \left(t_5 + -0.254829592\right)\\ \end{array} \]
Alternative 6
Error13.1
Cost84160
\[\begin{array}{l} t_0 := \frac{-1}{\left|x\right| \cdot -0.3275911 + -1}\\ t_1 := \left(0.254829592 + t_0 \cdot \left(-0.284496736 + t_0 \cdot \left(1.421413741 + t_0 \cdot \left(-1.453152027 + t_0 \cdot 1.061405429\right)\right)\right)\right) \cdot \left(t_0 \cdot e^{-x \cdot x}\right)\\ \frac{t_1 + \left(-1 + \left(-1 + t_1\right)\right)}{-2} \end{array} \]
Alternative 7
Error13.2
Cost42116
\[\begin{array}{l} t_0 := 1 - \left|x\right| \cdot -0.3275911\\ t_1 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\ 1 + e^{-x \cdot x} \cdot \left(t_1 \cdot \left(-0.254829592 - t_1 \cdot \left(-0.284496736 + t_1 \cdot \left(1.421413741 + t_1 \cdot \begin{array}{l} \mathbf{if}\;-1.453152027 \ne 0:\\ \;\;\;\;\frac{2.111650813574209 - \frac{1.5423834506201546}{t_0}}{-1.453152027}\\ \mathbf{else}:\\ \;\;\;\;-1.453152027 - \frac{1}{t_0} \cdot -1.061405429\\ \end{array}\right)\right)\right)\right) \end{array} \]
Alternative 8
Error13.2
Cost42116
\[\begin{array}{l} t_0 := \frac{1}{1 - -0.3275911 \cdot \left|x\right|}\\ t_1 := 1 + 0.3275911 \cdot \left|x\right|\\ t_2 := \frac{1}{t_1}\\ 1 + e^{-x \cdot x} \cdot \left(t_2 \cdot \left(-0.254829592 - t_2 \cdot \left(-0.284496736 + t_2 \cdot \left(\frac{\begin{array}{l} \mathbf{if}\;-1.453152027 \ne 0:\\ \;\;\;\;-0.6881592437815868 \cdot \left(2.111650813574209 - 1.5423834506201546 \cdot t_0\right)\\ \mathbf{else}:\\ \;\;\;\;1.061405429 \cdot t_0 - 1.453152027\\ \end{array}}{t_1} + 1.421413741\right)\right)\right)\right) \end{array} \]
Alternative 9
Error13.2
Cost41984
\[\begin{array}{l} t_0 := \frac{1}{1 + 0.3275911 \cdot \left|x\right|}\\ 1 + e^{-x \cdot x} \cdot \left(t_0 \cdot \left(-0.254829592 - t_0 \cdot \left(-0.284496736 + t_0 \cdot \left(1.421413741 + t_0 \cdot \left(-1.453152027 + t_0 \cdot 1.061405429\right)\right)\right)\right)\right) \end{array} \]
Alternative 10
Error13.2
Cost41856
\[\begin{array}{l} t_0 := \left|x\right| \cdot -0.3275911 + -1\\ t_1 := \frac{-1}{t_0}\\ \left(-0.254829592 + t_1 \cdot \left(0.284496736 + t_1 \cdot \left(-1.421413741 - \frac{1.453152027 + t_1 \cdot -1.061405429}{t_0}\right)\right)\right) \cdot \left(e^{x \cdot \left(-x\right)} \cdot t_1\right) - -1 \end{array} \]

Error

Reproduce?

herbie shell --seed 2023104 
(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)))))))