Average Error: 28.1 → 0.0
Time: 3.9m
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 -1173.6571482049226 \lor \neg \left(x \le 9661066.682649955\right):\\ \;\;\;\;\frac{\frac{0.2514179000665375}{x}}{x \cdot x} + \left(\frac{0.5}{x} + \frac{0.15298196345929327}{{x}^{5}}\right)\\ \mathbf{else}:\\ \;\;\;\;\sqrt[3]{\frac{{\left(\left(1 + x \cdot \left(x \cdot 0.1049934947\right)\right) + \left(\left(0.0424060604 + \left(0.0072644182 \cdot x\right) \cdot x\right) \cdot {x}^{4} + \left(0.0005064034 + \left(x \cdot x\right) \cdot 0.0001789971\right) \cdot \left({x}^{4} \cdot {x}^{4}\right)\right)\right)}^{3}}{{\left(\left({x}^{4} \cdot \left(\left(x \cdot x\right) \cdot 0.0694555761 + 0.2909738639\right) + \left(\left({x}^{4} \cdot {x}^{4}\right) \cdot \left(\left(0.0001789971 \cdot 2\right) \cdot {x}^{4}\right) + \left(1 + x \cdot \left(x \cdot 0.7715471019\right)\right)\right)\right) + \left(0.0008327945 \cdot \left(x \cdot x\right) + 0.0140005442\right) \cdot \left({x}^{4} \cdot {x}^{4}\right)\right)}^{3}}} \cdot x\\ \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 < -1173.6571482049226 or 9661066.682649955 < x

    1. Initial program 58.4

      \[\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. Simplified58.4

      \[\leadsto \color{blue}{\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 -1173.6571482049226 < x < 9661066.682649955

    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. Simplified0.0

      \[\leadsto \color{blue}{\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 add-cbrt-cube0.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)}{\color{blue}{\sqrt[3]{\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 \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 \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\]

    5. Applied add-cbrt-cube0.0

      \[\leadsto \frac{\color{blue}{\sqrt[3]{\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 \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)\right) \cdot \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)}}}{\sqrt[3]{\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 \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 \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\]

    6. Applied cbrt-undiv0.0

      \[\leadsto \color{blue}{\sqrt[3]{\frac{\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 \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)\right) \cdot \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)}{\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 \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 \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\]

    7. Simplified0.0

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

  4. Final simplification0.0

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

Reproduce

herbie shell --seed 2019021 
(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: 3.9m)Debug log

sample92.0ms

Algorithm
intervals
Results
70.0ms256×body80valid

simplify499.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
499.0ms
(* (/ (+ (+ (+ (+ (+ 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)

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.3b

localize162.0ms

Local error

Found 4 expressions with local error:

29.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))))))
14.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)))))) x)
0.4b
(* 0.0008327945 (* x x))
0.3b
(* (* x x) 0.1049934947)

rewrite395.0ms

Algorithm
rewrite-expression-head
Rules
60×frac-add
59×*-un-lft-identity
51×flip-+
51×flip3-+
48×associate-*r/
35×associate-*l*
32×times-frac
28×associate-/r/
23×add-cube-cbrt
23×add-sqr-sqrt
18×distribute-lft-out
14×associate-/l/
6×add-exp-log
6×add-cbrt-cube
4×add-log-exp
4×associate-/l*
4×associate-/r*
4×pow1
3×*-commutative
2×div-inv
1×associate-*l/
1×associate-*r*
1×div-exp
1×frac-2neg
1×clear-num
1×cbrt-undiv
Counts
4 → 125
Calls
4 calls:
Slowest
215.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))))))
168.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)
2.0ms
(* 0.0008327945 (* x x))

series354.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
176.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)
141.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))))))
19.0ms
(* 0.0008327945 (* x x))
18.0ms
(* (* x x) 0.1049934947)

simplify20.7s

Counts
114 → 137
Calls
114 calls:
Slowest
582.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)))))))
552.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)
510.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)))))
506.0ms
(+ (* (+ (pow 1 3) (pow (* (* x x) 0.1049934947) 3)) (* (- 0.0424060604 (* x (* x 0.0072644182))) (- 0.0005064034 (* x (* x 0.0001789971))))) (* (+ (* 1 1) (- (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947)) (* 1 (* (* x x) 0.1049934947)))) (+ (* (* (pow x 4) (- (* 0.0424060604 0.0424060604) (* (* x (* x 0.0072644182)) (* x (* x 0.0072644182))))) (- 0.0005064034 (* x (* x 0.0001789971)))) (* (- 0.0424060604 (* x (* x 0.0072644182))) (* (* (pow x 4) (pow x 4)) (- (* 0.0005064034 0.0005064034) (* (* x (* x 0.0001789971)) (* x (* x 0.0001789971)))))))))
420.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)))))))))

prune5.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize166.0ms

Local error

Found 4 expressions with local error:

26.5b
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
26.5b
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
14.4b
(* (* (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))))) (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))) x)
3.0b
(sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034))))

rewrite993.0ms

Algorithm
rewrite-expression-head
Rules
100×frac-add
87×sqrt-prod
85×flip-+
85×flip3-+
72×times-frac
70×sqrt-div
62×add-sqr-sqrt
61×add-cube-cbrt
61×associate-*r/
61×*-un-lft-identity
28×associate-/l/
28×associate-/r/
12×associate-/l*
12×associate-/r*
8×add-exp-log
8×add-cbrt-cube
4×add-log-exp
4×associate-*l/
4×pow1
2×div-inv
2×div-exp
2×frac-2neg
2×clear-num
2×sqrt-undiv
2×cbrt-undiv
1×*-commutative
1×associate-*l*
1×pow1/2
1×rem-sqrt-square
1×frac-times
Counts
4 → 216
Calls
4 calls:
Slowest
522.0ms
(* (* (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))))) (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))) x)
205.0ms
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
204.0ms
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
50.0ms
(sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034))))

series500.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
190.0ms
(* (* (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))))) (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))) x)
124.0ms
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
112.0ms
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
74.0ms
(sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034))))

simplify56.7s

Counts
262 → 228
Calls
262 calls:
Slowest
907.0ms
(sqrt (+ (* (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019)))) (- (* (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))) (* (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))))))
588.0ms
(/ (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034))) (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))))
544.0ms
(sqrt (+ (* (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019)))) (- (* (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))) (* (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))))))
542.0ms
(sqrt (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
529.0ms
(sqrt (+ (* (+ (* (- (* (* (pow x 4) 0.0424060604) (* (pow x 4) 0.0424060604)) (* (* (* x 0.0072644182) (pow x 5)) (* (* x 0.0072644182) (pow x 5)))) (+ (* 1 1) (- (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947)) (* 1 (* (* x x) 0.1049934947))))) (* (- (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ (pow 1 3) (pow (* (* x x) 0.1049934947) 3)))) (- (* (* x x) 0.0001789971) 0.0005064034)) (* (* (- (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ (* 1 1) (- (* (* (* x x) 0.1049934947) (* (* x x) 0.1049934947)) (* 1 (* (* x x) 0.1049934947))))) (* (* (pow x 4) (pow x 4)) (- (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)) (* 0.0005064034 0.0005064034))))))

prune15.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize93.0ms

Local error

Found 4 expressions with local error:

29.2b
(/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761)))))
26.5b
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
14.4b
(* (* (sqrt (/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761)))))) (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))) x)
14.3b
(sqrt (/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761))))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
100×frac-add
85×flip-+
85×flip3-+
69×sqrt-prod
55×times-frac
50×add-sqr-sqrt
47×add-cube-cbrt
47×*-un-lft-identity
42×associate-/r/
37×associate-*r/
31×sqrt-div
28×associate-/l/
28×associate-*l/
9×associate-/l*
9×associate-/r*
8×add-exp-log
8×add-cbrt-cube
4×add-log-exp
4×pow1
3×div-inv
2×div-exp
2×frac-2neg
2×clear-num
2×rem-sqrt-square
2×cbrt-undiv
1×*-commutative
1×associate-*l*
1×pow1/2
1×sqrt-undiv
1×frac-times
Counts
4 → 194
Calls
4 calls:
Slowest
485.0ms
(* (* (sqrt (/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761)))))) (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))) x)
239.0ms
(/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761)))))
189.0ms
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
173.0ms
(sqrt (/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761))))))

series657.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
274.0ms
(* (* (sqrt (/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761)))))) (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))) x)
142.0ms
(sqrt (/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761))))))
135.0ms
(/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))
106.0ms
(/ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))) (+ (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761)))))

simplify44.1s

Counts
213 → 206
Calls
213 calls:
Slowest
652.0ms
(/ (sqrt (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034))))) 1)
598.0ms
(sqrt (+ (+ (+ 1 (* 0.1049934947 (* x x))) (+ (* (pow x 4) 0.0424060604) (* 0.0072644182 (pow x 6)))) (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* x (* x 0.0001789971))))))
591.0ms
(* (+ (* (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442)) (- (* (* x (* 0.0008327945 x)) (* x (* 0.0008327945 x))) (* (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))))) (* (- (* (* x 0.7715471019) x) 1) (+ (* (* (pow x 4) 0.2909738639) (* (pow x 4) 0.2909738639)) (- (* (* (pow x 6) 0.0694555761) (* (pow x 6) 0.0694555761)) (* (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761))))))
509.0ms
(+ (* (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4)))) (- (* (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761)))) (* (* (+ (+ (* (* 2 0.0001789971) (pow x 4)) 0.0140005442) (* x (* 0.0008327945 x))) (* (pow x 4) (pow x 4))) (+ (+ (* (* x 0.7715471019) x) 1) (+ (* (pow x 4) 0.2909738639) (* (pow x 6) 0.0694555761))))))
500.0ms
(sqrt (* (* (- (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (- 1 (* (* x x) 0.7715471019))) (- (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))

prune14.0s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize59.0ms

Local error

Found 4 expressions with local error:

28.1b
(* (/ 1 (* (cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))))) (cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))))))) (* (/ (+ (+ 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)))))) (cbrt (+ (+ (* (* (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.9b
(/ (+ (+ 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)))))) (cbrt (+ (+ (* (* (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)))))))
5.0b
(cbrt (+ (+ (* (* (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))))))
5.0b
(cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442)))))

rewrite745.0ms

Algorithm
rewrite-expression-head
Rules
680×frac-add
578×flip-+
578×flip3-+
462×cbrt-div
435×associate-*r/
238×associate-/r/
228×associate-*l*
197×frac-times
53×*-un-lft-identity
28×times-frac
27×cbrt-prod
25×add-cube-cbrt
25×add-sqr-sqrt
17×associate-*l/
14×associate-/l/
14×distribute-lft-out
13×add-exp-log
7×add-cbrt-cube
7×associate-/r*
6×pow1
4×add-log-exp
4×associate-/l*
4×prod-exp
2×div-inv
2×pow1/3
2×rec-exp
1×cbrt-unprod
1×*-commutative
1×pow-prod-down
1×associate-*r*
1×div-exp
1×frac-2neg
1×clear-num
1×cbrt-undiv
Counts
4 → 375
Calls
4 calls:
Slowest
475.0ms
(* (/ 1 (* (cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))))) (cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))))))) (* (/ (+ (+ 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)))))) (cbrt (+ (+ (* (* (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
(/ (+ (+ 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)))))) (cbrt (+ (+ (* (* (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)))))))
46.0ms
(cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442)))))
43.0ms
(cbrt (+ (+ (* (* (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))))))

series698.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
235.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)))))) (cbrt (+ (+ (* (* (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)))))))
169.0ms
(cbrt (+ (+ (* (* (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))))))
160.0ms
(cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442)))))
134.0ms
(* (/ 1 (* (cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))))) (cbrt (+ (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))))))) (* (/ (+ (+ 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)))))) (cbrt (+ (+ (* (* (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))

simplify44.2s

Counts
377 → 387
Calls
377 calls:
Slowest
454.0ms
(/ 1 (* (cbrt (+ (pow (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) 3) (pow (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))) 3))) (cbrt (+ (pow (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) 3) (pow (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))) 3)))))
369.0ms
(/ 1 (* (cbrt (+ (* (+ (* (+ (pow (* (* x 0.0694555761) (pow x 5)) 3) (pow (* 0.2909738639 (pow x 4)) 3)) (- (* (* x x) 0.7715471019) 1)) (* (+ (* (* (* x 0.0694555761) (pow x 5)) (* (* x 0.0694555761) (pow x 5))) (- (* (* 0.2909738639 (pow x 4)) (* 0.2909738639 (pow x 4))) (* (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))))) (- (* (* (* x x) 0.7715471019) (* (* x x) 0.7715471019)) (* 1 1)))) (- (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))) (* (* (+ (* (* (* x 0.0694555761) (pow x 5)) (* (* x 0.0694555761) (pow x 5))) (- (* (* 0.2909738639 (pow x 4)) (* 0.2909738639 (pow x 4))) (* (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))))) (- (* (* x x) 0.7715471019) 1)) (* (* (pow x 4) (pow x 4)) (- (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (* 2 0.0001789971))) (* (+ (* 0.0008327945 (* x x)) 0.0140005442) (+ (* 0.0008327945 (* x x)) 0.0140005442))))))) (cbrt (+ (* (+ (* (- (* (* (* x 0.0694555761) (pow x 5)) (* (* x 0.0694555761) (pow x 5))) (* (* 0.2909738639 (pow x 4)) (* 0.2909738639 (pow x 4)))) (+ (* (* (* x x) 0.7715471019) (* (* x x) 0.7715471019)) (- (* 1 1) (* (* (* x x) 0.7715471019) 1)))) (* (- (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (pow (* (* x x) 0.7715471019) 3) (pow 1 3)))) (- (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))) (* (* (- (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* (* x x) 0.7715471019) (* (* x x) 0.7715471019)) (- (* 1 1) (* (* (* x x) 0.7715471019) 1)))) (* (* (pow x 4) (pow x 4)) (- (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (* 2 0.0001789971))) (* (+ (* 0.0008327945 (* x x)) 0.0140005442) (+ (* 0.0008327945 (* x x)) 0.0140005442)))))))))
368.0ms
(/ 1 (* (cbrt (- (* (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1))) (* (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442)))))) (cbrt (+ (pow (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) 3) (pow (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))) 3)))))
368.0ms
(/ 1 (* (cbrt (+ (pow (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) 3) (pow (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))) 3))) (cbrt (- (* (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1)) (+ (+ (* (* x 0.0694555761) (pow x 5)) (* 0.2909738639 (pow x 4))) (+ (* (* x x) 0.7715471019) 1))) (* (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))) (* (* (pow x 4) (pow x 4)) (+ (* (pow x 4) (* 2 0.0001789971)) (+ (* 0.0008327945 (* x x)) 0.0140005442))))))))
348.0ms
(sqrt (cbrt (+ (+ (* (* (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)))))))

prune24.7s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes95.0ms

Accuracy

100% (0.0b remaining)

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

bsearch477.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.5s8000×body80valid