Average Error: 14.1 → 14.0
Time: 48.2s
Precision: 64
Internal Precision: 128
\[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]
↓
\[(\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left(\sqrt[3]{\sqrt{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_* \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*} \cdot \sqrt{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_* \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*}}\right) + 1)_*\]

Error

Bits error versus x

Derivation

  1. Initial program 14.1

    \[1 - \left(\frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(0.254829592 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-0.284496736 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(1.421413741 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot \left(-1.453152027 + \frac{1}{1 + 0.3275911 \cdot \left|x\right|} \cdot 1.061405429\right)\right)\right)\right)\right) \cdot e^{-\left|x\right| \cdot \left|x\right|}\]

  2. Initial simplification14.1

    \[\leadsto (\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{1.061405429}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\]
  3. Using strategy rm

  4. Applied add-sqr-sqrt14.1

    \[\leadsto (\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{1.061405429}{\color{blue}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\]

  5. Applied associate-/r*14.1

    \[\leadsto (\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\color{blue}{\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) + 1)_*\]
  6. Using strategy rm

  7. Applied add-cbrt-cube14.1

    \[\leadsto (\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \color{blue}{\left(\sqrt[3]{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_* \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*}\right)} + 1)_*\]
  8. Using strategy rm

  9. Applied add-sqr-sqrt14.0

    \[\leadsto (\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left(\sqrt[3]{\color{blue}{\sqrt{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_* \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*} \cdot \sqrt{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_* \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*}}}\right) + 1)_*\]

  10. Final simplification14.0

    \[\leadsto (\left(\frac{-1}{e^{\left|x\right| \cdot \left|x\right|}}\right) \cdot \left(\sqrt[3]{\sqrt{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_* \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*} \cdot \sqrt{\left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_* \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*\right) \cdot (\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*} \cdot \frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left((\left(\frac{1}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right) \cdot \left(\frac{\frac{1.061405429}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}}}{\sqrt{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}} + -1.453152027\right) + 1.421413741)_*\right) + -0.284496736)_*\right) + \left(\frac{0.254829592}{(0.3275911 \cdot \left(\left|x\right|\right) + 1)_*}\right))_*}}\right) + 1)_*\]

Reproduce

herbie shell --seed 2018365 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.erf"
  (- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))

Details

Time bar (total: 41.8s)Debug log

start142.0ms

Algorithm
intervals

setup338.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.8b

localize60.0ms

Local error

Found 4 expressions with local error:

12.7b
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) 1)
0.4b
(fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))
0.2b
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))
0.2b
(/ 1 (fma 0.3275911 (fabs x) 1))

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
4 → 53
Calls

4 calls. Slowest were:

1.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
0.0ms
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))
0.0ms
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) 1)

series657.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

380.0ms
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) 1)
238.0ms
(fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))
20.0ms
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))
19.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))

simplify1.6s

Counts
19 → 65
Calls

19 calls. Slowest were:

346.0ms
(- (+ (* 0.254829592 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 5))) (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.284496736 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4)))))
345.0ms
(- (+ (* 0.254829592 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 5))) (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.284496736 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4)))))
300.0ms
(- (+ (* 0.254829592 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 5))) (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.284496736 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4)))))

prune2.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 12.7b

localize29.0ms

Local error

Found 4 expressions with local error:

12.7b
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) 1)
0.4b
(fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))
0.2b
(/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1)))
0.2b
(/ 1 (fma 0.3275911 (fabs x) 1))

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
4 → 87
Calls

4 calls. Slowest were:

8.0ms
(/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1)))
2.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
0.0ms
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) 1)

series668.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

390.0ms
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) 1)
237.0ms
(fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))
22.0ms
(/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1)))
18.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))

simplify2.9s

Counts
74 → 99
Calls

74 calls. Slowest were:

685.0ms
(- (+ (* 0.254829592 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 5))) (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.284496736 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4)))))
304.0ms
(- (+ (* 0.254829592 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 5))) (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.284496736 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4)))))
284.0ms
(- (+ (* 0.254829592 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 5))) (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.284496736 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4)))))

prune3.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 12.7b

localize24.0ms

Local error

Found 4 expressions with local error:

23.1b
(cbrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))
12.7b
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (cbrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))) 1)
0.6b
(* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))
0.5b
(* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

9.0ms
(* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))
6.0ms
(cbrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))
4.0ms
(* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))

series1.3s

Counts
4 → 12
Calls

4 calls. Slowest were:

389.0ms
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (cbrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))) 1)
317.0ms
(* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))
313.0ms
(* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))
252.0ms
(cbrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))

simplify16.9s

Counts
49 → 87
Calls

49 calls. Slowest were:

740.0ms
(* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))
638.0ms
(* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))
633.0ms
(* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))

prune3.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 12.7b

localize52.0ms

Local error

Found 4 expressions with local error:

23.1b
(cbrt (* (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))) (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))))
12.7b
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (cbrt (* (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))) (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))))) 1)
11.3b
(sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))
11.3b
(sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
4 → 43
Calls

4 calls. Slowest were:

12.0ms
(cbrt (* (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))) (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))))
4.0ms
(sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))
4.0ms
(sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))

series1.5s

Counts
4 → 12
Calls

4 calls. Slowest were:

431.0ms
(fma (/ -1 (exp (* (fabs x) (fabs x)))) (cbrt (* (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))) (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))))) 1)
430.0ms
(sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))
420.0ms
(sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))
265.0ms
(cbrt (* (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))) (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))))

simplify4.9s

Counts
15 → 55
Calls

15 calls. Slowest were:

1.2s
(cbrt (sqrt (* (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))))))
519.0ms
(sqrt (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))
514.0ms
(sqrt (* (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1))) (fma (* (/ 1 (fma 0.3275911 (fabs x) 1)) (/ 1 (fma 0.3275911 (fabs x) 1))) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (/ 1.061405429 (sqrt (fma 0.3275911 (fabs x) 1))) (sqrt (fma 0.3275911 (fabs x) 1))) -1.453152027) 1.421413741) -0.284496736) (/ 0.254829592 (fma 0.3275911 (fabs x) 1)))))

prune2.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 12.7b

regimes183.0ms

Accuracy

0% (0.0b remaining)

Error of 14.0b against oracle of 14.0b and baseline of 14.0b

bsearch4.0ms