\[\frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.0424060604 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0072644182 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0005064034 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0001789971 \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.7715471019 \cdot \left(x \cdot x\right)\right) + 0.2909738639 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0694555761 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0140005442 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0008327945 \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 0.0001789971\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x\]
Test:
Jmat.Real.dawson
Bits:
128 bits
Bits error versus x
Time: 41.7 s
Input Error: 14.4
Output Error: 14.0
Log: ⚲
Profile: 🕒
\(\frac{x}{\left({\left({x}^3\right)}^2 \cdot \left({x}^{4} \cdot 0.0008327945 + {x}^{6} \cdot 0.0003579942\right) + \left(\left(1 + {x}^3 \cdot \left(x \cdot 0.2909738639\right)\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left({x}^2 \cdot 0.0140005442 + 0.0694555761\right) \cdot {\left({x}^3\right)}^2} \cdot \left(\left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right) + \left(\left(\left(0.0424060604 \cdot x\right) \cdot {x}^3 + {x}^2 \cdot 0.1049934947\right) + 1\right)\right) + \left({\left({x}^2\right)}^2 \cdot {\left({x}^2\right)}^2\right) \cdot \left(0.0001789971 \cdot {x}^2\right)\right)\)
  1. Started with
    \[\frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.0424060604 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0072644182 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0005064034 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0001789971 \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.7715471019 \cdot \left(x \cdot x\right)\right) + 0.2909738639 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0694555761 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0140005442 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0008327945 \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 0.0001789971\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x\]
    14.4
  2. Applied simplify to get
    \[\color{red}{\frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.0424060604 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0072644182 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0005064034 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0001789971 \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.7715471019 \cdot \left(x \cdot x\right)\right) + 0.2909738639 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0694555761 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0140005442 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0008327945 \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 0.0001789971\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x} \leadsto \color{blue}{\frac{x}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left({x}^3 \cdot {x}^3\right)\right) \cdot \left(\left(2 \cdot 0.0001789971\right) \cdot \left(x \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0694555761 + 0.0140005442 \cdot \left(x \cdot x\right)\right)\right)} \cdot \left(\left(\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(\left(x \cdot x\right) \cdot 0.1049934947 + 1\right)\right) + \left(\left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right)\right)\right)}\]
    14.3
  3. Using strategy rm
    14.3
  4. Applied add-cube-cbrt to get
    \[\frac{x}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left({x}^3 \cdot {x}^3\right)\right) \cdot \left(\left(2 \cdot 0.0001789971\right) \cdot \left(x \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0694555761 + 0.0140005442 \cdot \left(x \cdot x\right)\right)\right)} \cdot \color{red}{\left(\left(\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(\left(x \cdot x\right) \cdot 0.1049934947 + 1\right)\right) + \left(\left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right)\right)\right)} \leadsto \frac{x}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left({x}^3 \cdot {x}^3\right)\right) \cdot \left(\left(2 \cdot 0.0001789971\right) \cdot \left(x \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0694555761 + 0.0140005442 \cdot \left(x \cdot x\right)\right)\right)} \cdot \color{blue}{{\left(\sqrt[3]{\left(\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(\left(x \cdot x\right) \cdot 0.1049934947 + 1\right)\right) + \left(\left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right)\right)}\right)}^3}\]
    14.4
  5. Applied add-cube-cbrt to get
    \[\color{red}{\frac{x}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left({x}^3 \cdot {x}^3\right)\right) \cdot \left(\left(2 \cdot 0.0001789971\right) \cdot \left(x \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0694555761 + 0.0140005442 \cdot \left(x \cdot x\right)\right)\right)}} \cdot {\left(\sqrt[3]{\left(\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(\left(x \cdot x\right) \cdot 0.1049934947 + 1\right)\right) + \left(\left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right)\right)}\right)}^3 \leadsto \color{blue}{{\left(\sqrt[3]{\frac{x}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left({x}^3 \cdot {x}^3\right)\right) \cdot \left(\left(2 \cdot 0.0001789971\right) \cdot \left(x \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0694555761 + 0.0140005442 \cdot \left(x \cdot x\right)\right)\right)}}\right)}^3} \cdot {\left(\sqrt[3]{\left(\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(\left(x \cdot x\right) \cdot 0.1049934947 + 1\right)\right) + \left(\left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right)\right)}\right)}^3\]
    14.7
  6. Applied cube-unprod to get
    \[\color{red}{{\left(\sqrt[3]{\frac{x}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left({x}^3 \cdot {x}^3\right)\right) \cdot \left(\left(2 \cdot 0.0001789971\right) \cdot \left(x \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0694555761 + 0.0140005442 \cdot \left(x \cdot x\right)\right)\right)}}\right)}^3 \cdot {\left(\sqrt[3]{\left(\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(\left(x \cdot x\right) \cdot 0.1049934947 + 1\right)\right) + \left(\left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right)\right)}\right)}^3} \leadsto \color{blue}{{\left(\sqrt[3]{\frac{x}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left({x}^3 \cdot {x}^3\right)\right) \cdot \left(\left(2 \cdot 0.0001789971\right) \cdot \left(x \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0694555761 + 0.0140005442 \cdot \left(x \cdot x\right)\right)\right)}} \cdot \sqrt[3]{\left(\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(\left(x \cdot x\right) \cdot 0.1049934947 + 1\right)\right) + \left(\left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right)\right)}\right)}^3}\]
    14.7
  7. Applied simplify to get
    \[{\color{red}{\left(\sqrt[3]{\frac{x}{\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left({x}^3 \cdot {x}^3\right)\right) \cdot \left(\left(2 \cdot 0.0001789971\right) \cdot \left(x \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0694555761 + 0.0140005442 \cdot \left(x \cdot x\right)\right)\right)}} \cdot \sqrt[3]{\left(\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(\left(x \cdot x\right) \cdot 0.1049934947 + 1\right)\right) + \left(\left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + \left(x \cdot x\right) \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right)\right)}\right)}}^3 \leadsto {\color{blue}{\left(\sqrt[3]{\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(1 + {x}^2 \cdot 0.1049934947\right)\right) + \left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + 0.0005064034 \cdot {x}^2\right) + \left(\left({x}^2 \cdot {x}^2\right) \cdot \left({x}^2 \cdot 0.0001789971\right)\right) \cdot \left({x}^2 \cdot {x}^2\right)\right)} \cdot \sqrt[3]{\frac{x}{\left(\left(\left({x}^3 \cdot {x}^3\right) \cdot \left({x}^2 \cdot {x}^2\right)\right) \cdot \left(\left(x \cdot 2\right) \cdot \left(0.0001789971 \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.7715471019\right) \cdot x\right) + {x}^3 \cdot \left(x \cdot 0.2909738639\right)\right)\right) + \left({x}^3 \cdot {x}^3\right) \cdot \left(0.0694555761 + \left(0.0140005442 \cdot x\right) \cdot x\right)}}\right)}}^3\]
    14.7
  8. Applied taylor to get
    \[{\left(\sqrt[3]{\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(1 + {x}^2 \cdot 0.1049934947\right)\right) + \left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + 0.0005064034 \cdot {x}^2\right) + \left(\left({x}^2 \cdot {x}^2\right) \cdot \left({x}^2 \cdot 0.0001789971\right)\right) \cdot \left({x}^2 \cdot {x}^2\right)\right)} \cdot \sqrt[3]{\frac{x}{\left(\left(\left({x}^3 \cdot {x}^3\right) \cdot \left({x}^2 \cdot {x}^2\right)\right) \cdot \left(\left(x \cdot 2\right) \cdot \left(0.0001789971 \cdot x\right) + 0.0008327945\right) + \left(\left(1 + \left(x \cdot 0.7715471019\right) \cdot x\right) + {x}^3 \cdot \left(x \cdot 0.2909738639\right)\right)\right) + \left({x}^3 \cdot {x}^3\right) \cdot \left(0.0694555761 + \left(0.0140005442 \cdot x\right) \cdot x\right)}}\right)}^3 \leadsto {\left(\sqrt[3]{\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(1 + {x}^2 \cdot 0.1049934947\right)\right) + \left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + 0.0005064034 \cdot {x}^2\right) + \left(\left({x}^2 \cdot {x}^2\right) \cdot \left({x}^2 \cdot 0.0001789971\right)\right) \cdot \left({x}^2 \cdot {x}^2\right)\right)} \cdot \sqrt[3]{\frac{x}{0.7715471019 \cdot {x}^2 + \left(0.0003579942 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^{6}\right) + \left(0.2909738639 \cdot \left({x}^3 \cdot x\right) + \left(0.0008327945 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^{4}\right) + \left(1 + \left(0.0694555761 \cdot {\left({x}^3\right)}^2 + 0.0140005442 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^2\right)\right)\right)\right)\right)\right)}}\right)}^3\]
    14.5
  9. Taylor expanded around 0 to get
    \[{\left(\sqrt[3]{\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(1 + {x}^2 \cdot 0.1049934947\right)\right) + \left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + 0.0005064034 \cdot {x}^2\right) + \left(\left({x}^2 \cdot {x}^2\right) \cdot \left({x}^2 \cdot 0.0001789971\right)\right) \cdot \left({x}^2 \cdot {x}^2\right)\right)} \cdot \color{red}{\sqrt[3]{\frac{x}{0.7715471019 \cdot {x}^2 + \left(0.0003579942 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^{6}\right) + \left(0.2909738639 \cdot \left({x}^3 \cdot x\right) + \left(0.0008327945 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^{4}\right) + \left(1 + \left(0.0694555761 \cdot {\left({x}^3\right)}^2 + 0.0140005442 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^2\right)\right)\right)\right)\right)\right)}}}\right)}^3 \leadsto {\left(\sqrt[3]{\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(1 + {x}^2 \cdot 0.1049934947\right)\right) + \left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + 0.0005064034 \cdot {x}^2\right) + \left(\left({x}^2 \cdot {x}^2\right) \cdot \left({x}^2 \cdot 0.0001789971\right)\right) \cdot \left({x}^2 \cdot {x}^2\right)\right)} \cdot \color{blue}{\sqrt[3]{\frac{x}{0.7715471019 \cdot {x}^2 + \left(0.0003579942 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^{6}\right) + \left(0.2909738639 \cdot \left({x}^3 \cdot x\right) + \left(0.0008327945 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^{4}\right) + \left(1 + \left(0.0694555761 \cdot {\left({x}^3\right)}^2 + 0.0140005442 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^2\right)\right)\right)\right)\right)\right)}}}\right)}^3\]
    14.5
  10. Applied simplify to get
    \[\color{red}{{\left(\sqrt[3]{\left(\left(x \cdot 0.0424060604\right) \cdot {x}^3 + \left(1 + {x}^2 \cdot 0.1049934947\right)\right) + \left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + 0.0005064034 \cdot {x}^2\right) + \left(\left({x}^2 \cdot {x}^2\right) \cdot \left({x}^2 \cdot 0.0001789971\right)\right) \cdot \left({x}^2 \cdot {x}^2\right)\right)} \cdot \sqrt[3]{\frac{x}{0.7715471019 \cdot {x}^2 + \left(0.0003579942 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^{6}\right) + \left(0.2909738639 \cdot \left({x}^3 \cdot x\right) + \left(0.0008327945 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^{4}\right) + \left(1 + \left(0.0694555761 \cdot {\left({x}^3\right)}^2 + 0.0140005442 \cdot \left({\left({x}^3\right)}^2 \cdot {x}^2\right)\right)\right)\right)\right)\right)}}\right)}^3} \leadsto \color{blue}{\frac{x}{\left(\left(\left(x \cdot 0.7715471019\right) \cdot x + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left({x}^3 \cdot {x}^3\right) \cdot \left({x}^{6} \cdot 0.0003579942\right)\right) + \left(\left(\left({x}^{4} \cdot 0.0008327945\right) \cdot \left({x}^3 \cdot {x}^3\right) + 1\right) + \left({x}^3 \cdot {x}^3\right) \cdot \left(x \cdot \left(0.0140005442 \cdot x\right) + 0.0694555761\right)\right)} \cdot \left(\left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right) + \left(\left(\left(0.0424060604 \cdot x\right) \cdot {x}^3 + {x}^2 \cdot 0.1049934947\right) + 1\right)\right) + \left({\left({x}^2\right)}^2 \cdot {\left({x}^2\right)}^2\right) \cdot \left(0.0001789971 \cdot {x}^2\right)\right)}\]
    14.0
  11. Applied simplify to get
    \[\color{red}{\frac{x}{\left(\left(\left(x \cdot 0.7715471019\right) \cdot x + \left(x \cdot 0.2909738639\right) \cdot {x}^3\right) + \left({x}^3 \cdot {x}^3\right) \cdot \left({x}^{6} \cdot 0.0003579942\right)\right) + \left(\left(\left({x}^{4} \cdot 0.0008327945\right) \cdot \left({x}^3 \cdot {x}^3\right) + 1\right) + \left({x}^3 \cdot {x}^3\right) \cdot \left(x \cdot \left(0.0140005442 \cdot x\right) + 0.0694555761\right)\right)}} \cdot \left(\left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right) + \left(\left(\left(0.0424060604 \cdot x\right) \cdot {x}^3 + {x}^2 \cdot 0.1049934947\right) + 1\right)\right) + \left({\left({x}^2\right)}^2 \cdot {\left({x}^2\right)}^2\right) \cdot \left(0.0001789971 \cdot {x}^2\right)\right) \leadsto \color{blue}{\frac{x}{\left({\left({x}^3\right)}^2 \cdot \left({x}^{4} \cdot 0.0008327945 + {x}^{6} \cdot 0.0003579942\right) + \left(\left(1 + {x}^3 \cdot \left(x \cdot 0.2909738639\right)\right) + \left(0.7715471019 \cdot x\right) \cdot x\right)\right) + \left({x}^2 \cdot 0.0140005442 + 0.0694555761\right) \cdot {\left({x}^3\right)}^2}} \cdot \left(\left(\left({x}^3 \cdot {x}^3\right) \cdot \left(0.0072644182 + \left(0.0005064034 \cdot x\right) \cdot x\right) + \left(\left(\left(0.0424060604 \cdot x\right) \cdot {x}^3 + {x}^2 \cdot 0.1049934947\right) + 1\right)\right) + \left({\left({x}^2\right)}^2 \cdot {\left({x}^2\right)}^2\right) \cdot \left(0.0001789971 \cdot {x}^2\right)\right)\]
    14.0

Original test:


(lambda ((x default))
  #:name "Jmat.Real.dawson"
  (* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))