Average Error: 13.6 → 12.8
Time: 22.2s
Precision: 64
\[1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
↓
\[\frac{{1}^{3} - \frac{{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{{\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}^{3}}}{\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]
1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}
↓
\frac{{1}^{3} - \frac{{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{{\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}^{3}}}{\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}
double f(double x) {
        double r320988 = 1.0;
        double r320989 = 0.3275911;
        double r320990 = x;
        double r320991 = fabs(r320990);
        double r320992 = r320989 * r320991;
        double r320993 = r320988 + r320992;
        double r320994 = r320988 / r320993;
        double r320995 = 0.254829592;
        double r320996 = -0.284496736;
        double r320997 = 1.421413741;
        double r320998 = -1.453152027;
        double r320999 = 1.061405429;
        double r321000 = r320994 * r320999;
        double r321001 = r320998 + r321000;
        double r321002 = r320994 * r321001;
        double r321003 = r320997 + r321002;
        double r321004 = r320994 * r321003;
        double r321005 = r320996 + r321004;
        double r321006 = r320994 * r321005;
        double r321007 = r320995 + r321006;
        double r321008 = r320994 * r321007;
        double r321009 = r320991 * r320991;
        double r321010 = -r321009;
        double r321011 = exp(r321010);
        double r321012 = r321008 * r321011;
        double r321013 = r320988 - r321012;
        return r321013;
}
↓
double f(double x) {
        double r321014 = 1.0;
        double r321015 = 3.0;
        double r321016 = pow(r321014, r321015);
        double r321017 = 0.254829592;
        double r321018 = r321017 * r321017;
        double r321019 = 0.3275911;
        double r321020 = x;
        double r321021 = fabs(r321020);
        double r321022 = r321019 * r321021;
        double r321023 = r321014 + r321022;
        double r321024 = r321014 / r321023;
        double r321025 = -0.284496736;
        double r321026 = 1.421413741;
        double r321027 = cbrt(r321024);
        double r321028 = r321027 * r321027;
        double r321029 = cbrt(r321027);
        double r321030 = r321029 * r321029;
        double r321031 = r321030 * r321029;
        double r321032 = r321028 * r321031;
        double r321033 = -1.453152027;
        double r321034 = 1.061405429;
        double r321035 = r321024 * r321034;
        double r321036 = r321033 + r321035;
        double r321037 = r321032 * r321036;
        double r321038 = r321026 + r321037;
        double r321039 = r321024 * r321038;
        double r321040 = r321025 + r321039;
        double r321041 = r321024 * r321040;
        double r321042 = r321041 * r321041;
        double r321043 = r321018 - r321042;
        double r321044 = r321014 * r321043;
        double r321045 = r321021 * r321021;
        double r321046 = -r321045;
        double r321047 = exp(r321046);
        double r321048 = r321044 * r321047;
        double r321049 = pow(r321048, r321015);
        double r321050 = r321017 - r321041;
        double r321051 = r321023 * r321050;
        double r321052 = pow(r321051, r321015);
        double r321053 = r321049 / r321052;
        double r321054 = r321016 - r321053;
        double r321055 = r321017 + r321041;
        double r321056 = r321024 * r321055;
        double r321057 = r321056 * r321047;
        double r321058 = r321057 + r321014;
        double r321059 = r321057 * r321058;
        double r321060 = r321014 * r321014;
        double r321061 = r321059 + r321060;
        double r321062 = r321054 / r321061;
        return r321062;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 13.6

    \[1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  2. Using strategy rm

  3. Applied add-cube-cbrt13.6

    \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \color{blue}{\left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right)} \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  4. Using strategy rm

  5. Applied add-cube-cbrt13.6

    \[\leadsto 1 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)}\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
  6. Using strategy rm

  7. Applied flip3--13.6

    \[\leadsto \color{blue}{\frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\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.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) + 1 \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)\right)}}\]

  8. Simplified13.6

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\color{blue}{\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}}\]
  9. Using strategy rm

  10. Applied flip-+13.6

    \[\leadsto \frac{{1}^{3} - {\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \color{blue}{\frac{0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)}{0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)}}\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

  11. Applied frac-times13.6

    \[\leadsto \frac{{1}^{3} - {\left(\color{blue}{\frac{1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}{\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)}} \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

  12. Applied associate-*l/13.6

    \[\leadsto \frac{{1}^{3} - {\color{blue}{\left(\frac{\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}}{\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)}\right)}}^{3}}{\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

  13. Applied cube-div12.8

    \[\leadsto \frac{{1}^{3} - \color{blue}{\frac{{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{{\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}^{3}}}}{\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

  14. Final simplification12.8

    \[\leadsto \frac{{1}^{3} - \frac{{\left(\left(1 \cdot \left(0.2548295919999999936678136691625695675611 \cdot 0.2548295919999999936678136691625695675611 - \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right) \cdot \left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right)}^{3}}{{\left(\left(1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|\right) \cdot \left(0.2548295919999999936678136691625695675611 - \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right)}^{3}}}{\left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\right) \cdot \left(\left(\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(0.2548295919999999936678136691625695675611 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(-0.2844967359999999723108032867457950487733 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot \left(1.421413741000000063863240029604639858007 + \left(\left(\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}} \cdot \sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}} \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right) \cdot \sqrt[3]{\sqrt[3]{\frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|}}}\right)\right) \cdot \left(-1.453152027000000012790792425221297889948 + \frac{1}{1 + 0.3275911000000000239396058532292954623699 \cdot \left|x\right|} \cdot 1.061405428999999900341322245367337018251\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|} + 1\right) + 1 \cdot 1}\]

Reproduce

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