Average Error: 14.0 → 13.2
Time: 37.8s
Precision: 64
\[1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
↓
\[\frac{{1}^{3} - \frac{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{{\left(0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}^{3}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]
1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
↓
\frac{{1}^{3} - \frac{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{{\left(0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}^{3}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}
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) {
	return ((pow(1.0, 3.0) - (pow((((1.0 / (1.0 + (0.3275911 * fabs(x)))) * ((0.254829592 * 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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429))))))) * ((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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429)))))))))) * exp(-(fabs(x) * fabs(x)))), 3.0) / pow((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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429)))))))), 3.0))) / (((((1.0 / (1.0 + (0.3275911 * fabs(x)))) * (((0.254829592 * 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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429))))))) * ((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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429))))))))) / (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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429)))))))))) * exp(-(fabs(x) * fabs(x)))) * ((((1.0 / (1.0 + (0.3275911 * fabs(x)))) * (((0.254829592 * 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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429))))))) * ((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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429))))))))) / (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 / sqrt((1.0 + (0.3275911 * fabs(x))))) / sqrt((1.0 + (0.3275911 * fabs(x))))) * 1.061405429)))))))))) * exp(-(fabs(x) * fabs(x)))) + 1.0)) + (1.0 * 1.0)));
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 14.0

    \[1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  2. Using strategy rm

  3. Applied add-sqr-sqrt14.0

    \[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{1}{\color{blue}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

  4. Applied associate-/r*14.0

    \[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \color{blue}{\frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}} \cdot 1.0614054289999999\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  5. Using strategy rm

  6. Applied flip-+14.0

    \[\leadsto 1 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \color{blue}{\frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  7. Using strategy rm

  8. Applied flip3--14.0

    \[\leadsto \color{blue}{\frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{1 \cdot 1 + \left(\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) + 1 \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)\right)}}\]

  9. Simplified14.0

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\color{blue}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}}\]
  10. Using strategy rm

  11. Applied associate-*r/14.0

    \[\leadsto \frac{{1}^{3} - {\left(\color{blue}{\frac{\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}} \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

  12. Applied associate-*l/14.0

    \[\leadsto \frac{{1}^{3} - {\color{blue}{\left(\frac{\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right)}}^{3}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

  13. Applied cube-div13.2

    \[\leadsto \frac{{1}^{3} - \color{blue}{\frac{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{{\left(0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}^{3}}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

  14. Final simplification13.2

    \[\leadsto \frac{{1}^{3} - \frac{{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{{\left(0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}^{3}}}{\left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \frac{0.25482959199999999 \cdot 0.25482959199999999 - \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)\right)}{0.25482959199999999 - \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-0.284496735999999972 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(1.42141374100000006 + \frac{1}{1 + 0.32759110000000002 \cdot \left|x\right|} \cdot \left(-1.45315202700000001 + \frac{\frac{1}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}}}{\sqrt{1 + 0.32759110000000002 \cdot \left|x\right|}} \cdot 1.0614054289999999\right)\right)\right)}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

Reproduce

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