Average Error: 28.6 → 0.0
Time: 8.8m
Precision: 64
Internal Precision: 128
\[\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\]
↓
\[\begin{array}{l} \mathbf{if}\;x \le -95715532139.49852 \lor \neg \left(x \le 144106.87501767854\right):\\ \;\;\;\;\frac{\frac{0.2514179000665375}{x}}{x \cdot x} + \left(\frac{0.5}{x} + \frac{0.15298196345929327}{{x}^{5}}\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(x \cdot \left(\left(\left(\left(0.7715471019 \cdot x\right) \cdot x + 1\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left({x}^{4} \cdot \left(0.0001789971 \cdot 2\right)\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(\left(x \cdot x\right) \cdot 0.0008327945 + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + x \cdot \left(0.0694555761 \cdot x\right)\right)\right)\right)\right) \cdot \frac{1}{\left(\left(1 + \left(x \cdot x\right) \cdot 0.7715471019\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left({x}^{4} \cdot \left(0.0001789971 \cdot 2\right)\right)\right) \cdot \left(\left(1 + \left(x \cdot x\right) \cdot 0.7715471019\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left({x}^{4} \cdot \left(0.0001789971 \cdot 2\right)\right)\right) - \left({x}^{4} \cdot \left(\left(0.2909738639 + x \cdot \left(0.0694555761 \cdot x\right)\right) + \left({x}^{4} \cdot 0.0140005442 + \left(x \cdot 0.0008327945\right) \cdot {x}^{5}\right)\right)\right) \cdot \left({x}^{4} \cdot \left(\left(0.2909738639 + x \cdot \left(0.0694555761 \cdot x\right)\right) + \left({x}^{4} \cdot 0.0140005442 + \left(x \cdot 0.0008327945\right) \cdot {x}^{5}\right)\right)\right)}\right) \cdot \left(\left(\left(x \cdot \left(x \cdot 0.0072644182\right) + 0.0424060604\right) \cdot {x}^{4} + \left(0.0005064034 + \left(0.0001789971 \cdot x\right) \cdot x\right) \cdot \left({x}^{4} \cdot {x}^{4}\right)\right) + \left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right)\right)\\ \end{array}\]

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Split input into 2 regimes

  2. if x < -95715532139.49852 or 144106.87501767854 < x

    1. Initial program 59.6

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

    2. Initial simplification59.5

      \[\leadsto \frac{\left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right) + \left({x}^{4} \cdot \left(0.0424060604 + x \cdot \left(x \cdot 0.0072644182\right)\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0005064034 + x \cdot \left(x \cdot 0.0001789971\right)\right)\right)}{\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) + \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)} \cdot x\]

    3. Taylor expanded around inf 0.0

      \[\leadsto \color{blue}{0.15298196345929327 \cdot \frac{1}{{x}^{5}} + \left(0.2514179000665375 \cdot \frac{1}{{x}^{3}} + 0.5 \cdot \frac{1}{x}\right)}\]

    4. Simplified0.0

      \[\leadsto \color{blue}{\frac{\frac{0.2514179000665375}{x}}{x \cdot x} + \left(\frac{0.15298196345929327}{{x}^{5}} + \frac{0.5}{x}\right)}\]

    if -95715532139.49852 < x < 144106.87501767854

    1. Initial program 0.0

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

    2. Initial simplification0.0

      \[\leadsto \frac{\left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right) + \left({x}^{4} \cdot \left(0.0424060604 + x \cdot \left(x \cdot 0.0072644182\right)\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0005064034 + x \cdot \left(x \cdot 0.0001789971\right)\right)\right)}{\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) + \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)} \cdot x\]
    3. Using strategy rm

    4. Applied div-inv0.0

      \[\leadsto \color{blue}{\left(\left(\left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right) + \left({x}^{4} \cdot \left(0.0424060604 + x \cdot \left(x \cdot 0.0072644182\right)\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0005064034 + x \cdot \left(x \cdot 0.0001789971\right)\right)\right)\right) \cdot \frac{1}{\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) + \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)}\right)} \cdot x\]

    5. Applied associate-*l*0.0

      \[\leadsto \color{blue}{\left(\left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right) + \left({x}^{4} \cdot \left(0.0424060604 + x \cdot \left(x \cdot 0.0072644182\right)\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0005064034 + x \cdot \left(x \cdot 0.0001789971\right)\right)\right)\right) \cdot \left(\frac{1}{\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) + \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)} \cdot x\right)}\]
    6. Using strategy rm

    7. Applied flip-+0.0

      \[\leadsto \left(\left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right) + \left({x}^{4} \cdot \left(0.0424060604 + x \cdot \left(x \cdot 0.0072644182\right)\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0005064034 + x \cdot \left(x \cdot 0.0001789971\right)\right)\right)\right) \cdot \left(\frac{1}{\color{blue}{\frac{\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) \cdot \left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right) \cdot \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)}{\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)}}} \cdot x\right)\]

    8. Applied associate-/r/0.0

      \[\leadsto \left(\left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right) + \left({x}^{4} \cdot \left(0.0424060604 + x \cdot \left(x \cdot 0.0072644182\right)\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0005064034 + x \cdot \left(x \cdot 0.0001789971\right)\right)\right)\right) \cdot \left(\color{blue}{\left(\frac{1}{\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) \cdot \left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right) \cdot \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)} \cdot \left(\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)\right)\right)} \cdot x\right)\]

    9. Applied associate-*l*0.0

      \[\leadsto \left(\left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right) + \left({x}^{4} \cdot \left(0.0424060604 + x \cdot \left(x \cdot 0.0072644182\right)\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0005064034 + x \cdot \left(x \cdot 0.0001789971\right)\right)\right)\right) \cdot \color{blue}{\left(\frac{1}{\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) \cdot \left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right) \cdot \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)} \cdot \left(\left(\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)\right) \cdot x\right)\right)}\]

    10. Simplified0.0

      \[\leadsto \left(\left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right) + \left({x}^{4} \cdot \left(0.0424060604 + x \cdot \left(x \cdot 0.0072644182\right)\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0005064034 + x \cdot \left(x \cdot 0.0001789971\right)\right)\right)\right) \cdot \left(\color{blue}{\frac{1}{\left(\left(0.7715471019 \cdot \left(x \cdot x\right) + 1\right) + \left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right)\right) \cdot \left(\left(0.7715471019 \cdot \left(x \cdot x\right) + 1\right) + \left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right)\right) - \left({x}^{4} \cdot \left(\left(\left(0.0008327945 \cdot x\right) \cdot {x}^{5} + {x}^{4} \cdot 0.0140005442\right) + \left(x \cdot \left(x \cdot 0.0694555761\right) + 0.2909738639\right)\right)\right) \cdot \left({x}^{4} \cdot \left(\left(\left(0.0008327945 \cdot x\right) \cdot {x}^{5} + {x}^{4} \cdot 0.0140005442\right) + \left(x \cdot \left(x \cdot 0.0694555761\right) + 0.2909738639\right)\right)\right)}} \cdot \left(\left(\left(\left({x}^{4} \cdot \left(2 \cdot 0.0001789971\right)\right) \cdot \left({x}^{4} \cdot {x}^{4}\right) + \left(\left(x \cdot 0.7715471019\right) \cdot x + 1\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + \left(x \cdot 0.0694555761\right) \cdot x\right)\right)\right) \cdot x\right)\right)\]
  3. Recombined 2 regimes into one program.

  4. Final simplification0.0

    \[\leadsto \begin{array}{l} \mathbf{if}\;x \le -95715532139.49852 \lor \neg \left(x \le 144106.87501767854\right):\\ \;\;\;\;\frac{\frac{0.2514179000665375}{x}}{x \cdot x} + \left(\frac{0.5}{x} + \frac{0.15298196345929327}{{x}^{5}}\right)\\ \mathbf{else}:\\ \;\;\;\;\left(\left(x \cdot \left(\left(\left(\left(0.7715471019 \cdot x\right) \cdot x + 1\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left({x}^{4} \cdot \left(0.0001789971 \cdot 2\right)\right)\right) - \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(\left(x \cdot x\right) \cdot 0.0008327945 + 0.0140005442\right) + {x}^{4} \cdot \left(0.2909738639 + x \cdot \left(0.0694555761 \cdot x\right)\right)\right)\right)\right) \cdot \frac{1}{\left(\left(1 + \left(x \cdot x\right) \cdot 0.7715471019\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left({x}^{4} \cdot \left(0.0001789971 \cdot 2\right)\right)\right) \cdot \left(\left(1 + \left(x \cdot x\right) \cdot 0.7715471019\right) + \left({x}^{4} \cdot {x}^{4}\right) \cdot \left({x}^{4} \cdot \left(0.0001789971 \cdot 2\right)\right)\right) - \left({x}^{4} \cdot \left(\left(0.2909738639 + x \cdot \left(0.0694555761 \cdot x\right)\right) + \left({x}^{4} \cdot 0.0140005442 + \left(x \cdot 0.0008327945\right) \cdot {x}^{5}\right)\right)\right) \cdot \left({x}^{4} \cdot \left(\left(0.2909738639 + x \cdot \left(0.0694555761 \cdot x\right)\right) + \left({x}^{4} \cdot 0.0140005442 + \left(x \cdot 0.0008327945\right) \cdot {x}^{5}\right)\right)\right)}\right) \cdot \left(\left(\left(x \cdot \left(x \cdot 0.0072644182\right) + 0.0424060604\right) \cdot {x}^{4} + \left(0.0005064034 + \left(0.0001789971 \cdot x\right) \cdot x\right) \cdot \left({x}^{4} \cdot {x}^{4}\right)\right) + \left(1 + \left(x \cdot x\right) \cdot 0.1049934947\right)\right)\\ \end{array}\]

Reproduce

herbie shell --seed 2018365 
(FPCore (x)
  :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))

Details

Time bar (total: 8.7m)Debug log

start161.0ms

Algorithm
intervals

setup549.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.5b

localize182.0ms

Local error

Found 4 expressions with local error:

31.4b
(/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))))
17.2b
(* (/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x)
0.6b
(* 0.0008327945 (* x x))
0.3b
(* (* x x) 0.1049934947)

rewrite376.0ms

Algorithm
rewrite-expression-head
Counts
4 → 125
Calls

4 calls. Slowest were:

198.0ms
(/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))))
167.0ms
(* (/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x)
4.0ms
(* (* x x) 0.1049934947)

series296.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

146.0ms
(* (/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x)
125.0ms
(/ (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))))
13.0ms
(* (* x x) 0.1049934947)
13.0ms
(* 0.0008327945 (* x x))

simplify21.1s

Counts
114 → 137
Calls

114 calls. Slowest were:

524.0ms
(* (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) x)
516.0ms
(* (+ (* (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (- (* (+ (* (* x 0.7715471019) x) 1) (+ (* (* x 0.7715471019) x) 1)) (* (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)))) (* (+ (* (* 0.0008327945 (* x x)) (* 0.0008327945 (* x x))) (- (* 0.0140005442 0.0140005442) (* (* 0.0008327945 (* x x)) 0.0140005442))) (+ (* 0.2909738639 0.2909738639) (- (* (* (* x 0.0694555761) x) (* (* x 0.0694555761) x)) (* 0.2909738639 (* (* x 0.0694555761) x))))))
500.0ms
(+ (* (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1))) (- (* (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) (* (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))))

prune8.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ 0.2514179000665375 x) (* x x))
0.0b
(/ 0.15298196345929327 (pow x 5))
0.0b
(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x))
0.0b
(+ (/ (/ 0.2514179000665375 x) (* x x)) (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

26.0ms
(+ (/ (/ 0.2514179000665375 x) (* x x)) (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)))
8.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x))
5.0ms
(/ (/ 0.2514179000665375 x) (* x x))

series146.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

66.0ms
(+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x))
30.0ms
(/ 0.15298196345929327 (pow x 5))
27.0ms
(/ (/ 0.2514179000665375 x) (* x x))
22.0ms
(+ (/ (/ 0.2514179000665375 x) (* x x)) (+ (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)))

simplify2.1s

Counts
42 → 78
Calls

42 calls. Slowest were:

568.0ms
(/ (* (* (/ 0.2514179000665375 x) (/ 0.2514179000665375 x)) (/ 0.2514179000665375 x)) (* (* (* x x) (* x x)) (* x x)))
277.0ms
(+ (* (/ 0.2514179000665375 x) (- (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x))) (* (* x x) (- (* (/ 0.15298196345929327 (pow x 5)) (/ 0.15298196345929327 (pow x 5))) (* (/ 0.5 x) (/ 0.5 x)))))
226.0ms
(* (* x x) (+ (* (/ 0.15298196345929327 (pow x 5)) (/ 0.15298196345929327 (pow x 5))) (- (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.15298196345929327 (pow x 5)) (/ 0.5 x)))))

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

31.4b
(* (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (* (/ 1 (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x))
0.6b
(* 0.0008327945 (* x x))
0.3b
(* (* x x) 0.1049934947)
0.1b
(* (/ 1 (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x)

rewrite129.0ms

Algorithm
rewrite-expression-head
Counts
4 → 90
Calls

4 calls. Slowest were:

78.0ms
(* (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (* (/ 1 (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x))
42.0ms
(* (/ 1 (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x)
4.0ms
(* (* x x) 0.1049934947)

series327.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

185.0ms
(* (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (* (/ 1 (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x))
102.0ms
(* (/ 1 (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))) x)
21.0ms
(* (* x x) 0.1049934947)
19.0ms
(* 0.0008327945 (* x x))

simplify13.8s

Counts
77 → 102
Calls

77 calls. Slowest were:

602.0ms
(* (* (+ (* 1 1) (- (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947)) (* 1 (* (* x x) 0.1049934947)))) (* (- 0.0424060604 (* x (* x 0.0072644182))) (- 0.0005064034 (* x (* x 0.0001789971))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))))
551.0ms
(* (* (- 1 (* (* x x) 0.1049934947)) (* (+ (* 0.0424060604 0.0424060604) (- (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (* 0.0424060604 (* x (* x 0.0072644182))))) (- 0.0005064034 (* x (* x 0.0001789971))))) (+ (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))))
519.0ms
(* (+ (* (- (* 1 1) (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947))) (* (+ (* 0.0424060604 0.0424060604) (- (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (* 0.0424060604 (* x (* x 0.0072644182))))) (- 0.0005064034 (* x (* x 0.0001789971))))) (* (- 1 (* (* x x) 0.1049934947)) (+ (* (* (pow x 4) (+ (pow 0.0424060604 3) (pow (* x (* x 0.0072644182)) 3))) (- 0.0005064034 (* x (* x 0.0001789971)))) (* (+ (* 0.0424060604 0.0424060604) (- (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (* 0.0424060604 (* x (* x 0.0072644182))))) (* (* (pow x 4) (pow x 4)) (- (* 0.0005064034 0.0005064034) (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))))))))) (* 1 x))

prune6.8s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize94.0ms

Local error

Found 4 expressions with local error:

32.5b
(* (/ 1 (- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))) (* (- (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) x))
31.4b
(* (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (* (/ 1 (- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))) (* (- (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) x)))
26.3b
(- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))
25.3b
(- (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))

rewrite3.0s

Algorithm
rewrite-expression-head
Counts
4 → 1335
Calls

4 calls. Slowest were:

1.8s
(* (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (* (/ 1 (- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))) (* (- (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) x)))
729.0ms
(* (/ 1 (- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))) (* (- (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) x))
147.0ms
(- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))

series610.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

266.0ms
(* (+ (+ 1 (* (* x x) 0.1049934947)) (+ (* (pow x 4) (+ 0.0424060604 (* x (* x 0.0072644182)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971)))))) (* (/ 1 (- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))) (* (- (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) x)))
187.0ms
(* (/ 1 (- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))) (* (- (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) x))
111.0ms
(- (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))
44.0ms
(- (+ (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x)))))

simplify5.2m

Counts
2122 → 1347
Calls

2122 calls. Slowest were:

674.0ms
(/ 1 (- (* (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))))) (* (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))) (* (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639))) (* (pow x 4) (+ (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))))
664.0ms
(* (+ (* (+ (pow 1 3) (pow (* (* x x) 0.1049934947) 3)) (* (+ (* 0.0424060604 0.0424060604) (- (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (* 0.0424060604 (* x (* x 0.0072644182))))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971))))))) (* (+ (* 1 1) (- (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947)) (* 1 (* (* x x) 0.1049934947)))) (+ (* (* (pow x 4) (+ (pow 0.0424060604 3) (pow (* x (* x 0.0072644182)) 3))) (+ (* 0.0005064034 0.0005064034) (- (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971))) (* 0.0005064034 (* x (* x 0.0001789971)))))) (* (+ (* 0.0424060604 0.0424060604) (- (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))) (* 0.0424060604 (* x (* x 0.0072644182))))) (* (* (pow x 4) (pow x 4)) (+ (pow 0.0005064034 3) (pow (* x (* x 0.0001789971)) 3))))))) (* 1 (* (- (* (+ (pow (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) 3) (pow (+ (* (* x 0.7715471019) x) 1) 3)) (* (- (* 0.0008327945 (* x x)) 0.0140005442) (- 0.2909738639 (* (* x 0.0694555761) x)))) (* (+ (* (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (- (* (+ (* (* x 0.7715471019) x) 1) (+ (* (* x 0.7715471019) x) 1)) (* (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)))) (+ (* (* (* (pow x 4) (pow x 4)) (- (* (* 0.0008327945 (* x x)) (* 0.0008327945 (* x x))) (* 0.0140005442 0.0140005442))) (- 0.2909738639 (* (* x 0.0694555761) x))) (* (- (* 0.0008327945 (* x x)) 0.0140005442) (* (pow x 4) (- (* 0.2909738639 0.2909738639) (* (* (* x 0.0694555761) x) (* (* x 0.0694555761) x)))))))) x)))
643.0ms
(/ 1 (- (* (* (+ (pow (+ (* 0.7715471019 (* x x)) 1) 3) (pow (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) 3)) (+ (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))))) (* (* (- (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* (* x (* x 0.0694555761)) (* x (* x 0.0694555761))) (- (* 0.2909738639 0.2909738639) (* (* x (* x 0.0694555761)) 0.2909738639)))) (+ (* (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442))) (- (* (+ (* x (* x 0.0694555761)) 0.2909738639) (+ (* x (* x 0.0694555761)) 0.2909738639)) (* (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (* x (* x 0.0694555761)) 0.2909738639)))))) (* (+ (* (+ (* 0.7715471019 (* x x)) 1) (+ (* 0.7715471019 (* x x)) 1)) (- (* (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4))) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))) (* (+ (* 0.7715471019 (* x x)) 1) (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (pow x 4)))))) (* (* (pow x 4) (+ (* (- (* (* (* 0.0008327945 x) (pow x 5)) (* (* 0.0008327945 x) (pow x 5))) (* (* (pow x 4) 0.0140005442) (* (pow x 4) 0.0140005442))) (+ (* (* x (* x 0.0694555761)) (* x (* x 0.0694555761))) (- (* 0.2909738639 0.2909738639) (* (* x (* x 0.0694555761)) 0.2909738639)))) (* (- (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) (+ (pow (* x (* x 0.0694555761)) 3) (pow 0.2909738639 3))))) (* (pow x 4) (+ (pow (+ (* (* 0.0008327945 x) (pow x 5)) (* (pow x 4) 0.0140005442)) 3) (pow (+ (* x (* x 0.0694555761)) 0.2909738639) 3)))))))

prune2.5m

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes52.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 31.8b

bsearch477.0ms