Error

Derivation

1. Initial program 2.1

   \[-\left(\left(\left(1.0 \cdot e^{-\left(\left(\left(\left(\left(10.0 \cdot \left(\left(x1 - 0.1312\right) \cdot \left(x1 - 0.1312\right)\right) + 3.0 \cdot \left(\left(x2 - 0.1696\right) \cdot \left(x2 - 0.1696\right)\right)\right) + 17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right) + 8.0 \cdot \left(\left(x6 - 0.5886\right) \cdot \left(x6 - 0.5886\right)\right)\right)} + 1.2 \cdot e^{-\left(\left(\left(\left(\left(0.05 \cdot \left(\left(x1 - 0.2329\right) \cdot \left(x1 - 0.2329\right)\right) + 10.0 \cdot \left(\left(x2 - 0.4135\right) \cdot \left(x2 - 0.4135\right)\right)\right) + 17.0 \cdot \left(\left(x3 - 0.8307\right) \cdot \left(x3 - 0.8307\right)\right)\right) + 0.1 \cdot \left(\left(x4 - 0.3736\right) \cdot \left(x4 - 0.3736\right)\right)\right) + 8.0 \cdot \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right)\right) + 14.0 \cdot \left(\left(x6 - 0.9991\right) \cdot \left(x6 - 0.9991\right)\right)\right)}\right) + 3.0 \cdot e^{-\left(\left(\left(\left(\left(3.0 \cdot \left(\left(x1 - 0.2348\right) \cdot \left(x1 - 0.2348\right)\right) + 3.5 \cdot \left(\left(x2 - 0.1451\right) \cdot \left(x2 - 0.1451\right)\right)\right) + 1.7 \cdot \left(\left(x3 - 0.3522\right) \cdot \left(x3 - 0.3522\right)\right)\right) + 10.0 \cdot \left(\left(x4 - 0.2883\right) \cdot \left(x4 - 0.2883\right)\right)\right) + 17.0 \cdot \left(\left(x5 - 0.3047\right) \cdot \left(x5 - 0.3047\right)\right)\right) + 8.0 \cdot \left(\left(x6 - 0.665\right) \cdot \left(x6 - 0.665\right)\right)\right)}\right) + 3.2 \cdot e^{-\left(\left(\left(\left(\left(17.0 \cdot \left(\left(x1 - 0.4047\right) \cdot \left(x1 - 0.4047\right)\right) + 8.0 \cdot \left(\left(x2 - 0.8828\right) \cdot \left(x2 - 0.8828\right)\right)\right) + 0.05 \cdot \left(\left(x3 - 0.8732\right) \cdot \left(x3 - 0.8732\right)\right)\right) + 10.0 \cdot \left(\left(x4 - 0.5743\right) \cdot \left(x4 - 0.5743\right)\right)\right) + 0.1 \cdot \left(\left(x5 - 0.1091\right) \cdot \left(x5 - 0.1091\right)\right)\right) + 14.0 \cdot \left(\left(x6 - 0.0381\right) \cdot \left(x6 - 0.0381\right)\right)\right)}\right)\]

2. Applied simplify 1.9

   \[\leadsto \color{blue}{-\left(\left(\frac{1.2 \cdot 1}{e^{\left(\left(\left(\left(x4 - 0.3736\right) \cdot 0.1\right) \cdot \left(x4 - 0.3736\right) + \left(0.05 \cdot \left(x1 - 0.2329\right)\right) \cdot \left(x1 - 0.2329\right)\right) + \left(\left(x3 - 0.8307\right) \cdot \left(17.0 \cdot \left(x3 - 0.8307\right)\right) + {\left(x2 - 0.4135\right)}^2 \cdot 10.0\right)\right) + \left(\left(14.0 \cdot \left(x6 - 0.9991\right)\right) \cdot \left(x6 - 0.9991\right) + \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right) \cdot 8.0\right)}} + \frac{1.0 \cdot 1}{e^{\left(\left(17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + \left(\left(x1 - 0.1312\right) \cdot \left(10.0 \cdot \left(x1 - 0.1312\right)\right) + \left(\left(x2 - 0.1696\right) \cdot 3.0\right) \cdot \left(x2 - 0.1696\right)\right)\right) + \left(\left(x6 - 0.5886\right) \cdot \left(\left(x6 - 0.5886\right) \cdot 8.0\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right)}}\right) + \left(\frac{3.2 \cdot 1}{e^{\left(\left(x5 - 0.1091\right) \cdot \left(\left(x5 - 0.1091\right) \cdot 0.1\right) + \left(x6 - 0.0381\right) \cdot \left(\left(x6 - 0.0381\right) \cdot 14.0\right)\right) + \left(\left(\left(x4 - 0.5743\right) \cdot \left(\left(x4 - 0.5743\right) \cdot 10.0\right) + \left(\left(x3 - 0.8732\right) \cdot 0.05\right) \cdot \left(x3 - 0.8732\right)\right) + \left(\left(x2 - 0.8828\right) \cdot \left(8.0 \cdot \left(x2 - 0.8828\right)\right) + \left(\left(x1 - 0.4047\right) \cdot 17.0\right) \cdot \left(x1 - 0.4047\right)\right)\right)}} + \frac{3.0 \cdot 1}{e^{\left(8.0 \cdot \left(\left(x6 - 0.665\right) \cdot \left(x6 - 0.665\right)\right) + \left(\left(3.5 \cdot \left(\left(x2 - 0.1451\right) \cdot \left(x2 - 0.1451\right)\right) + \left(x1 - 0.2348\right) \cdot \left(3.0 \cdot \left(x1 - 0.2348\right)\right)\right) + {\left(x3 - 0.3522\right)}^2 \cdot 1.7\right)\right) + \left(\left(\left(x4 - 0.2883\right) \cdot 10.0\right) \cdot \left(x4 - 0.2883\right) + 17.0 \cdot {\left(x5 - 0.3047\right)}^2\right)}}\right)\right)}\]
3. Using strategy rm

4. Applied exp-sum 1.9

   \[\leadsto -\left(\left(\frac{1.2 \cdot 1}{e^{\left(\left(\left(\left(x4 - 0.3736\right) \cdot 0.1\right) \cdot \left(x4 - 0.3736\right) + \left(0.05 \cdot \left(x1 - 0.2329\right)\right) \cdot \left(x1 - 0.2329\right)\right) + \left(\left(x3 - 0.8307\right) \cdot \left(17.0 \cdot \left(x3 - 0.8307\right)\right) + {\left(x2 - 0.4135\right)}^2 \cdot 10.0\right)\right) + \left(\left(14.0 \cdot \left(x6 - 0.9991\right)\right) \cdot \left(x6 - 0.9991\right) + \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right) \cdot 8.0\right)}} + \frac{1.0 \cdot 1}{e^{\left(\left(17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + \left(\left(x1 - 0.1312\right) \cdot \left(10.0 \cdot \left(x1 - 0.1312\right)\right) + \left(\left(x2 - 0.1696\right) \cdot 3.0\right) \cdot \left(x2 - 0.1696\right)\right)\right) + \left(\left(x6 - 0.5886\right) \cdot \left(\left(x6 - 0.5886\right) \cdot 8.0\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right)}}\right) + \left(\frac{3.2 \cdot 1}{e^{\left(\left(x5 - 0.1091\right) \cdot \left(\left(x5 - 0.1091\right) \cdot 0.1\right) + \left(x6 - 0.0381\right) \cdot \left(\left(x6 - 0.0381\right) \cdot 14.0\right)\right) + \left(\left(\left(x4 - 0.5743\right) \cdot \left(\left(x4 - 0.5743\right) \cdot 10.0\right) + \left(\left(x3 - 0.8732\right) \cdot 0.05\right) \cdot \left(x3 - 0.8732\right)\right) + \left(\left(x2 - 0.8828\right) \cdot \left(8.0 \cdot \left(x2 - 0.8828\right)\right) + \left(\left(x1 - 0.4047\right) \cdot 17.0\right) \cdot \left(x1 - 0.4047\right)\right)\right)}} + \frac{3.0 \cdot 1}{\color{blue}{e^{8.0 \cdot \left(\left(x6 - 0.665\right) \cdot \left(x6 - 0.665\right)\right) + \left(\left(3.5 \cdot \left(\left(x2 - 0.1451\right) \cdot \left(x2 - 0.1451\right)\right) + \left(x1 - 0.2348\right) \cdot \left(3.0 \cdot \left(x1 - 0.2348\right)\right)\right) + {\left(x3 - 0.3522\right)}^2 \cdot 1.7\right)} \cdot e^{\left(\left(x4 - 0.2883\right) \cdot 10.0\right) \cdot \left(x4 - 0.2883\right) + 17.0 \cdot {\left(x5 - 0.3047\right)}^2}}}\right)\right)\]

5. Applied simplify 1.5

   \[\leadsto -\left(\left(\frac{1.2 \cdot 1}{e^{\left(\left(\left(\left(x4 - 0.3736\right) \cdot 0.1\right) \cdot \left(x4 - 0.3736\right) + \left(0.05 \cdot \left(x1 - 0.2329\right)\right) \cdot \left(x1 - 0.2329\right)\right) + \left(\left(x3 - 0.8307\right) \cdot \left(17.0 \cdot \left(x3 - 0.8307\right)\right) + {\left(x2 - 0.4135\right)}^2 \cdot 10.0\right)\right) + \left(\left(14.0 \cdot \left(x6 - 0.9991\right)\right) \cdot \left(x6 - 0.9991\right) + \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right) \cdot 8.0\right)}} + \frac{1.0 \cdot 1}{e^{\left(\left(17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + \left(\left(x1 - 0.1312\right) \cdot \left(10.0 \cdot \left(x1 - 0.1312\right)\right) + \left(\left(x2 - 0.1696\right) \cdot 3.0\right) \cdot \left(x2 - 0.1696\right)\right)\right) + \left(\left(x6 - 0.5886\right) \cdot \left(\left(x6 - 0.5886\right) \cdot 8.0\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right)}}\right) + \left(\frac{3.2 \cdot 1}{e^{\left(\left(x5 - 0.1091\right) \cdot \left(\left(x5 - 0.1091\right) \cdot 0.1\right) + \left(x6 - 0.0381\right) \cdot \left(\left(x6 - 0.0381\right) \cdot 14.0\right)\right) + \left(\left(\left(x4 - 0.5743\right) \cdot \left(\left(x4 - 0.5743\right) \cdot 10.0\right) + \left(\left(x3 - 0.8732\right) \cdot 0.05\right) \cdot \left(x3 - 0.8732\right)\right) + \left(\left(x2 - 0.8828\right) \cdot \left(8.0 \cdot \left(x2 - 0.8828\right)\right) + \left(\left(x1 - 0.4047\right) \cdot 17.0\right) \cdot \left(x1 - 0.4047\right)\right)\right)}} + \frac{3.0 \cdot 1}{\color{blue}{\left(\left({\left(e^{x2 - 0.1451}\right)}^{\left(3.5 \cdot \left(x2 - 0.1451\right)\right)} \cdot {\left(e^{8.0}\right)}^{\left({\left(x6 - 0.665\right)}^2\right)}\right) \cdot \left({\left(e^{3.0}\right)}^{\left({\left(x1 - 0.2348\right)}^2\right)} \cdot {\left(e^{1.7}\right)}^{\left({\left(x3 - 0.3522\right)}^2\right)}\right)\right)} \cdot e^{\left(\left(x4 - 0.2883\right) \cdot 10.0\right) \cdot \left(x4 - 0.2883\right) + 17.0 \cdot {\left(x5 - 0.3047\right)}^2}}\right)\right)\]
6. Using strategy rm

7. Applied exp-sum 0.3

   \[\leadsto -\left(\left(\frac{1.2 \cdot 1}{e^{\left(\left(\left(\left(x4 - 0.3736\right) \cdot 0.1\right) \cdot \left(x4 - 0.3736\right) + \left(0.05 \cdot \left(x1 - 0.2329\right)\right) \cdot \left(x1 - 0.2329\right)\right) + \left(\left(x3 - 0.8307\right) \cdot \left(17.0 \cdot \left(x3 - 0.8307\right)\right) + {\left(x2 - 0.4135\right)}^2 \cdot 10.0\right)\right) + \left(\left(14.0 \cdot \left(x6 - 0.9991\right)\right) \cdot \left(x6 - 0.9991\right) + \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right) \cdot 8.0\right)}} + \frac{1.0 \cdot 1}{e^{\left(\left(17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + \left(\left(x1 - 0.1312\right) \cdot \left(10.0 \cdot \left(x1 - 0.1312\right)\right) + \left(\left(x2 - 0.1696\right) \cdot 3.0\right) \cdot \left(x2 - 0.1696\right)\right)\right) + \left(\left(x6 - 0.5886\right) \cdot \left(\left(x6 - 0.5886\right) \cdot 8.0\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right)}}\right) + \left(\frac{3.2 \cdot 1}{e^{\left(\left(x5 - 0.1091\right) \cdot \left(\left(x5 - 0.1091\right) \cdot 0.1\right) + \left(x6 - 0.0381\right) \cdot \left(\left(x6 - 0.0381\right) \cdot 14.0\right)\right) + \left(\left(\left(x4 - 0.5743\right) \cdot \left(\left(x4 - 0.5743\right) \cdot 10.0\right) + \left(\left(x3 - 0.8732\right) \cdot 0.05\right) \cdot \left(x3 - 0.8732\right)\right) + \left(\left(x2 - 0.8828\right) \cdot \left(8.0 \cdot \left(x2 - 0.8828\right)\right) + \left(\left(x1 - 0.4047\right) \cdot 17.0\right) \cdot \left(x1 - 0.4047\right)\right)\right)}} + \frac{3.0 \cdot 1}{\left(\left({\left(e^{x2 - 0.1451}\right)}^{\left(3.5 \cdot \left(x2 - 0.1451\right)\right)} \cdot {\left(e^{8.0}\right)}^{\left({\left(x6 - 0.665\right)}^2\right)}\right) \cdot \left({\left(e^{3.0}\right)}^{\left({\left(x1 - 0.2348\right)}^2\right)} \cdot {\left(e^{1.7}\right)}^{\left({\left(x3 - 0.3522\right)}^2\right)}\right)\right) \cdot \color{blue}{\left(e^{\left(\left(x4 - 0.2883\right) \cdot 10.0\right) \cdot \left(x4 - 0.2883\right)} \cdot e^{17.0 \cdot {\left(x5 - 0.3047\right)}^2}\right)}}\right)\right)\]
8. Using strategy rm

9. Applied add-exp-log 0.3

   \[\leadsto -\left(\left(\frac{1.2 \cdot 1}{e^{\left(\left(\left(\left(x4 - 0.3736\right) \cdot 0.1\right) \cdot \left(x4 - 0.3736\right) + \left(0.05 \cdot \left(x1 - 0.2329\right)\right) \cdot \left(x1 - 0.2329\right)\right) + \left(\left(x3 - 0.8307\right) \cdot \left(17.0 \cdot \left(x3 - 0.8307\right)\right) + {\left(x2 - 0.4135\right)}^2 \cdot 10.0\right)\right) + \left(\left(14.0 \cdot \left(x6 - 0.9991\right)\right) \cdot \left(x6 - 0.9991\right) + \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right) \cdot 8.0\right)}} + \frac{1.0 \cdot 1}{e^{\left(\left(17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + \left(\left(x1 - 0.1312\right) \cdot \left(10.0 \cdot \left(x1 - 0.1312\right)\right) + \left(\left(x2 - 0.1696\right) \cdot 3.0\right) \cdot \left(x2 - 0.1696\right)\right)\right) + \left(\left(x6 - 0.5886\right) \cdot \left(\left(x6 - 0.5886\right) \cdot 8.0\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right)}}\right) + \left(\frac{3.2 \cdot 1}{\color{blue}{e^{\log \left(e^{\left(\left(x5 - 0.1091\right) \cdot \left(\left(x5 - 0.1091\right) \cdot 0.1\right) + \left(x6 - 0.0381\right) \cdot \left(\left(x6 - 0.0381\right) \cdot 14.0\right)\right) + \left(\left(\left(x4 - 0.5743\right) \cdot \left(\left(x4 - 0.5743\right) \cdot 10.0\right) + \left(\left(x3 - 0.8732\right) \cdot 0.05\right) \cdot \left(x3 - 0.8732\right)\right) + \left(\left(x2 - 0.8828\right) \cdot \left(8.0 \cdot \left(x2 - 0.8828\right)\right) + \left(\left(x1 - 0.4047\right) \cdot 17.0\right) \cdot \left(x1 - 0.4047\right)\right)\right)}\right)}}} + \frac{3.0 \cdot 1}{\left(\left({\left(e^{x2 - 0.1451}\right)}^{\left(3.5 \cdot \left(x2 - 0.1451\right)\right)} \cdot {\left(e^{8.0}\right)}^{\left({\left(x6 - 0.665\right)}^2\right)}\right) \cdot \left({\left(e^{3.0}\right)}^{\left({\left(x1 - 0.2348\right)}^2\right)} \cdot {\left(e^{1.7}\right)}^{\left({\left(x3 - 0.3522\right)}^2\right)}\right)\right) \cdot \left(e^{\left(\left(x4 - 0.2883\right) \cdot 10.0\right) \cdot \left(x4 - 0.2883\right)} \cdot e^{17.0 \cdot {\left(x5 - 0.3047\right)}^2}\right)}\right)\right)\]

10. Applied simplify 0.3

    \[\leadsto -\left(\left(\frac{1.2 \cdot 1}{e^{\left(\left(\left(\left(x4 - 0.3736\right) \cdot 0.1\right) \cdot \left(x4 - 0.3736\right) + \left(0.05 \cdot \left(x1 - 0.2329\right)\right) \cdot \left(x1 - 0.2329\right)\right) + \left(\left(x3 - 0.8307\right) \cdot \left(17.0 \cdot \left(x3 - 0.8307\right)\right) + {\left(x2 - 0.4135\right)}^2 \cdot 10.0\right)\right) + \left(\left(14.0 \cdot \left(x6 - 0.9991\right)\right) \cdot \left(x6 - 0.9991\right) + \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right) \cdot 8.0\right)}} + \frac{1.0 \cdot 1}{e^{\left(\left(17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + \left(\left(x1 - 0.1312\right) \cdot \left(10.0 \cdot \left(x1 - 0.1312\right)\right) + \left(\left(x2 - 0.1696\right) \cdot 3.0\right) \cdot \left(x2 - 0.1696\right)\right)\right) + \left(\left(x6 - 0.5886\right) \cdot \left(\left(x6 - 0.5886\right) \cdot 8.0\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right)}}\right) + \left(\frac{3.2 \cdot 1}{e^{\color{blue}{\left(\left(x1 - 0.4047\right) \cdot \left(17.0 \cdot \left(x1 - 0.4047\right)\right) + \left(\left(x2 - 0.8828\right) \cdot \left(x2 - 0.8828\right)\right) \cdot 8.0\right) + \left(\left(\left(x5 - 0.1091\right) \cdot \left(0.1 \cdot \left(x5 - 0.1091\right)\right) + \left(x6 - 0.0381\right) \cdot \left(\left(x6 - 0.0381\right) \cdot 14.0\right)\right) + \left(\left(\left(x3 - 0.8732\right) \cdot 0.05\right) \cdot \left(x3 - 0.8732\right) + \left(10.0 \cdot \left(x4 - 0.5743\right)\right) \cdot \left(x4 - 0.5743\right)\right)\right)}}} + \frac{3.0 \cdot 1}{\left(\left({\left(e^{x2 - 0.1451}\right)}^{\left(3.5 \cdot \left(x2 - 0.1451\right)\right)} \cdot {\left(e^{8.0}\right)}^{\left({\left(x6 - 0.665\right)}^2\right)}\right) \cdot \left({\left(e^{3.0}\right)}^{\left({\left(x1 - 0.2348\right)}^2\right)} \cdot {\left(e^{1.7}\right)}^{\left({\left(x3 - 0.3522\right)}^2\right)}\right)\right) \cdot \left(e^{\left(\left(x4 - 0.2883\right) \cdot 10.0\right) \cdot \left(x4 - 0.2883\right)} \cdot e^{17.0 \cdot {\left(x5 - 0.3047\right)}^2}\right)}\right)\right)\]

11. Applied simplify 0.3

    \[\leadsto -\left(\left(\frac{1.2 \cdot 1}{e^{\left(\left(\left(\left(x4 - 0.3736\right) \cdot 0.1\right) \cdot \left(x4 - 0.3736\right) + \left(0.05 \cdot \left(x1 - 0.2329\right)\right) \cdot \left(x1 - 0.2329\right)\right) + \left(\left(x3 - 0.8307\right) \cdot \left(17.0 \cdot \left(x3 - 0.8307\right)\right) + {\left(x2 - 0.4135\right)}^2 \cdot 10.0\right)\right) + \left(\left(14.0 \cdot \left(x6 - 0.9991\right)\right) \cdot \left(x6 - 0.9991\right) + \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right) \cdot 8.0\right)}} + \frac{1.0 \cdot 1}{e^{\left(\left(17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + \left(\left(x1 - 0.1312\right) \cdot \left(10.0 \cdot \left(x1 - 0.1312\right)\right) + \left(\left(x2 - 0.1696\right) \cdot 3.0\right) \cdot \left(x2 - 0.1696\right)\right)\right) + \left(\left(x6 - 0.5886\right) \cdot \left(\left(x6 - 0.5886\right) \cdot 8.0\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right)}}\right) + \left(\frac{3.2 \cdot 1}{e^{\color{blue}{\left(8.0 \cdot {\left(x2 - 0.8828\right)}^2 + \left(x1 - 0.4047\right) \cdot \left(\left(x1 - 0.4047\right) \cdot 17.0\right)\right)} + \left(\left(\left(x5 - 0.1091\right) \cdot \left(0.1 \cdot \left(x5 - 0.1091\right)\right) + \left(x6 - 0.0381\right) \cdot \left(\left(x6 - 0.0381\right) \cdot 14.0\right)\right) + \left(\left(\left(x3 - 0.8732\right) \cdot 0.05\right) \cdot \left(x3 - 0.8732\right) + \left(10.0 \cdot \left(x4 - 0.5743\right)\right) \cdot \left(x4 - 0.5743\right)\right)\right)}} + \frac{3.0 \cdot 1}{\left(\left({\left(e^{x2 - 0.1451}\right)}^{\left(3.5 \cdot \left(x2 - 0.1451\right)\right)} \cdot {\left(e^{8.0}\right)}^{\left({\left(x6 - 0.665\right)}^2\right)}\right) \cdot \left({\left(e^{3.0}\right)}^{\left({\left(x1 - 0.2348\right)}^2\right)} \cdot {\left(e^{1.7}\right)}^{\left({\left(x3 - 0.3522\right)}^2\right)}\right)\right) \cdot \left(e^{\left(\left(x4 - 0.2883\right) \cdot 10.0\right) \cdot \left(x4 - 0.2883\right)} \cdot e^{17.0 \cdot {\left(x5 - 0.3047\right)}^2}\right)}\right)\right)\]

12. Applied simplify 0.3

    \[\leadsto -\left(\left(\frac{1.2 \cdot 1}{e^{\left(\left(\left(\left(x4 - 0.3736\right) \cdot 0.1\right) \cdot \left(x4 - 0.3736\right) + \left(0.05 \cdot \left(x1 - 0.2329\right)\right) \cdot \left(x1 - 0.2329\right)\right) + \left(\left(x3 - 0.8307\right) \cdot \left(17.0 \cdot \left(x3 - 0.8307\right)\right) + {\left(x2 - 0.4135\right)}^2 \cdot 10.0\right)\right) + \left(\left(14.0 \cdot \left(x6 - 0.9991\right)\right) \cdot \left(x6 - 0.9991\right) + \left(\left(x5 - 0.1004\right) \cdot \left(x5 - 0.1004\right)\right) \cdot 8.0\right)}} + \frac{1.0 \cdot 1}{e^{\left(\left(17.0 \cdot \left(\left(x3 - 0.5569\right) \cdot \left(x3 - 0.5569\right)\right) + 3.5 \cdot \left(\left(x4 - 0.0124\right) \cdot \left(x4 - 0.0124\right)\right)\right) + \left(\left(x1 - 0.1312\right) \cdot \left(10.0 \cdot \left(x1 - 0.1312\right)\right) + \left(\left(x2 - 0.1696\right) \cdot 3.0\right) \cdot \left(x2 - 0.1696\right)\right)\right) + \left(\left(x6 - 0.5886\right) \cdot \left(\left(x6 - 0.5886\right) \cdot 8.0\right) + 1.7 \cdot \left(\left(x5 - 0.8283\right) \cdot \left(x5 - 0.8283\right)\right)\right)}}\right) + \left(\frac{3.2 \cdot 1}{e^{\left(8.0 \cdot {\left(x2 - 0.8828\right)}^2 + \left(x1 - 0.4047\right) \cdot \left(\left(x1 - 0.4047\right) \cdot 17.0\right)\right) + \color{blue}{\left(\left(14.0 \cdot {\left(x6 - 0.0381\right)}^2 + 0.1 \cdot \left(\left(x5 - 0.1091\right) \cdot \left(x5 - 0.1091\right)\right)\right) + \left(\left(\left(x4 - 0.5743\right) \cdot 10.0\right) \cdot \left(x4 - 0.5743\right) + \left(x3 - 0.8732\right) \cdot \left(0.05 \cdot \left(x3 - 0.8732\right)\right)\right)\right)}}} + \frac{3.0 \cdot 1}{\left(\left({\left(e^{x2 - 0.1451}\right)}^{\left(3.5 \cdot \left(x2 - 0.1451\right)\right)} \cdot {\left(e^{8.0}\right)}^{\left({\left(x6 - 0.665\right)}^2\right)}\right) \cdot \left({\left(e^{3.0}\right)}^{\left({\left(x1 - 0.2348\right)}^2\right)} \cdot {\left(e^{1.7}\right)}^{\left({\left(x3 - 0.3522\right)}^2\right)}\right)\right) \cdot \left(e^{\left(\left(x4 - 0.2883\right) \cdot 10.0\right) \cdot \left(x4 - 0.2883\right)} \cdot e^{17.0 \cdot {\left(x5 - 0.3047\right)}^2}\right)}\right)\right)\]
13. Removed slow pow expressions

Runtime

Time bar (total: 2.3m) Debug log

Please include this information when filing a bug report:

herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(FPCore (x1 x2 x3 x4 x5 x6)
  :name "hartman6"
  :pre (and (<= 0 x1 1) (<= 0 x2 1) (<= 0 x3 1) (<= 0 x4 1) (<= 0 x5 1) (<= 0 x6 1))
  (- (+ (+ (+ (* 1.0 (exp (- (+ (+ (+ (+ (+ (* 10.0 (* (- x1 0.1312) (- x1 0.1312))) (* 3.0 (* (- x2 0.1696) (- x2 0.1696)))) (* 17.0 (* (- x3 0.5569) (- x3 0.5569)))) (* 3.5 (* (- x4 0.0124) (- x4 0.0124)))) (* 1.7 (* (- x5 0.8283) (- x5 0.8283)))) (* 8.0 (* (- x6 0.5886) (- x6 0.5886))))))) (* 1.2 (exp (- (+ (+ (+ (+ (+ (* 0.05 (* (- x1 0.2329) (- x1 0.2329))) (* 10.0 (* (- x2 0.4135) (- x2 0.4135)))) (* 17.0 (* (- x3 0.8307) (- x3 0.8307)))) (* 0.1 (* (- x4 0.3736) (- x4 0.3736)))) (* 8.0 (* (- x5 0.1004) (- x5 0.1004)))) (* 14.0 (* (- x6 0.9991) (- x6 0.9991)))))))) (* 3.0 (exp (- (+ (+ (+ (+ (+ (* 3.0 (* (- x1 0.2348) (- x1 0.2348))) (* 3.5 (* (- x2 0.1451) (- x2 0.1451)))) (* 1.7 (* (- x3 0.3522) (- x3 0.3522)))) (* 10.0 (* (- x4 0.2883) (- x4 0.2883)))) (* 17.0 (* (- x5 0.3047) (- x5 0.3047)))) (* 8.0 (* (- x6 0.665) (- x6 0.665)))))))) (* 3.2 (exp (- (+ (+ (+ (+ (+ (* 17.0 (* (- x1 0.4047) (- x1 0.4047))) (* 8.0 (* (- x2 0.8828) (- x2 0.8828)))) (* 0.05 (* (- x3 0.8732) (- x3 0.8732)))) (* 10.0 (* (- x4 0.5743) (- x4 0.5743)))) (* 0.1 (* (- x5 0.1091) (- x5 0.1091)))) (* 14.0 (* (- x6 0.0381) (- x6 0.0381))))))))))