Initial program 79.0%
\[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|}
\]
Applied rewrites79.0%
\[\leadsto \color{blue}{\frac{{1}^{3} - {\left(\frac{\frac{\frac{\frac{\frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -1.453152027}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{e^{x \cdot x} \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}\right)}^{3}}{\mathsf{fma}\left(1, 1, \mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -1.453152027}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{e^{x \cdot x} \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}, \frac{\frac{\frac{\frac{\frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -1.453152027}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{e^{x \cdot x} \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}, \frac{\frac{\frac{\frac{\frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -1.453152027}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{e^{x \cdot x} \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}\right)\right)}}
\]
Applied rewrites80.1%
\[\leadsto \frac{{1}^{3} - \color{blue}{\frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}}{\mathsf{fma}\left(1, 1, \mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -1.453152027}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{e^{x \cdot x} \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}, \frac{\frac{\frac{\frac{\frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -1.453152027}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{e^{x \cdot x} \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}, \frac{\frac{\frac{\frac{\frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -1.453152027}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{e^{x \cdot x} \cdot \mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}\right)\right)}
\]
Applied rewrites80.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\color{blue}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}}
\]
Step-by-step derivation
lift-fma.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| + -1}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
add-flipN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| - \left(\mathsf{neg}\left(-1\right)\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
metadata-evalN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\frac{-3275911}{10000000} \cdot \left|x\right| - \color{blue}{1}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
sub-to-multN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound--.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right)} \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-/.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \color{blue}{\frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f6480.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \color{blue}{\left(-0.3275911 \cdot \left|x\right|\right)}} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Applied rewrites80.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\color{blue}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)}} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Step-by-step derivation
lift-fma.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| + -1}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
add-flipN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| - \left(\mathsf{neg}\left(-1\right)\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
metadata-evalN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\frac{-3275911}{10000000} \cdot \left|x\right| - \color{blue}{1}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
sub-to-multN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound--.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right)} \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-/.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \color{blue}{\frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f6480.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \color{blue}{\left(-0.3275911 \cdot \left|x\right|\right)}} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Applied rewrites80.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\color{blue}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)}} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Step-by-step derivation
lift-fma.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| + -1}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
add-flipN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| - \left(\mathsf{neg}\left(-1\right)\right)}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
metadata-evalN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\frac{-3275911}{10000000} \cdot \left|x\right| - \color{blue}{1}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
sub-to-multN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound--.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right)} \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-/.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \color{blue}{\frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f6480.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \color{blue}{\left(-0.3275911 \cdot \left|x\right|\right)}} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Applied rewrites80.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\color{blue}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)}} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Step-by-step derivation
lift-fma.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| + -1}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
add-flipN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| - \left(\mathsf{neg}\left(-1\right)\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
metadata-evalN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\frac{-3275911}{10000000} \cdot \left|x\right| - \color{blue}{1}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
sub-to-multN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound--.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right)} \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-/.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \color{blue}{\frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\mathsf{fma}\left(\frac{-3275911}{10000000}, \left|x\right|, -1\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f6480.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \color{blue}{\left(-0.3275911 \cdot \left|x\right|\right)}} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Applied rewrites80.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\color{blue}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)}} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\mathsf{fma}\left(-0.3275911, \left|x\right|, -1\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Step-by-step derivation
lift-fma.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| + -1}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
add-flipN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right| - \left(\mathsf{neg}\left(-1\right)\right)}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
metadata-evalN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\frac{-3275911}{10000000} \cdot \left|x\right| - \color{blue}{1}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
sub-to-multN/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)}} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound--.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\color{blue}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right)} \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-unsound-/.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \color{blue}{\frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f64N/A
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{\frac{-8890523}{31250000} - \frac{\frac{\frac{\frac{1061405429}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{1453152027}{1000000000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)}}{\mathsf{fma}\left(\frac{3275911}{10000000}, \left|x\right|, 1\right)} - \frac{-31853699}{125000000}\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{\frac{-1453152027}{1000000000} - \frac{\frac{-1061405429}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)}}{\left(1 - \frac{1}{\frac{-3275911}{10000000} \cdot \left|x\right|}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{1421413741}{1000000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right)} - \frac{-8890523}{31250000}}{\left(1 - \frac{1}{\color{blue}{\frac{-3275911}{10000000} \cdot \left|x\right|}}\right) \cdot \left(\frac{-3275911}{10000000} \cdot \left|x\right|\right)} - \frac{-31853699}{125000000}}{\mathsf{fma}\left(\left|x\right|, \frac{3275911}{10000000}, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
lower-*.f6480.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \color{blue}{\left(-0.3275911 \cdot \left|x\right|\right)}} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
Applied rewrites80.1%
\[\leadsto \frac{{1}^{3} - \frac{1}{\frac{{\left(e^{x \cdot x} \cdot \mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)\right)}^{3}}{{\left(\frac{-0.284496736 - \frac{\frac{\frac{1.061405429}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - 1.453152027}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)}}{\mathsf{fma}\left(0.3275911, \left|x\right|, 1\right)} - -0.254829592\right)}^{3}}}}{\mathsf{fma}\left(\frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}}, \frac{\frac{\frac{\frac{-1.453152027 - \frac{-1.061405429}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)}}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)} - 1.421413741}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right)} - -0.284496736}{\color{blue}{\left(1 - \frac{1}{-0.3275911 \cdot \left|x\right|}\right) \cdot \left(-0.3275911 \cdot \left|x\right|\right)}} - -0.254829592}{\mathsf{fma}\left(\left|x\right|, 0.3275911, 1\right) \cdot e^{x \cdot x}} - -1, 1\right)}
\]
- Add Preprocessing