Result for Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, C

Alternative 1: 97.8% accurate, 0.0× speedup?

\[\begin{array}{l} \mathbf{if}\;\frac{\left(x - 2\right) \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right) + 137.519416416\right) + y\right) + z\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606} \leq 5 \cdot 10^{+288}:\\ \;\;\;\;\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Derivation

Split input into 2 regimes
if (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) < 5.0000000000000003e288
1. Initial program 97.3%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative97.3%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/98.8%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative98.8%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def98.8%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative98.8%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def98.8%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative98.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def98.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def98.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified98.8%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
if 5.0000000000000003e288 < (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000))
1. Initial program 0.1%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative0.1%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/0.1%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative0.1%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def0.1%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative0.1%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified0.1%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 0.1%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 19.1%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative19.1%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified19.1%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 99.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow299.1%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified99.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
Recombined 2 regimes into one program.
Final simplification98.9%
\[\leadsto \begin{array}{l} \mathbf{if}\;\frac{\left(x - 2\right) \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right) + 137.519416416\right) + y\right) + z\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606} \leq 5 \cdot 10^{+288}:\\ \;\;\;\;\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Alternative 2: 96.4% accurate, 0.2× speedup?

\[\begin{array}{l} t_0 := x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606\\ t_1 := x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right) + 137.519416416\\ \mathbf{if}\;\frac{\left(x - 2\right) \cdot \left(x \cdot \left(x \cdot t_1 + y\right) + z\right)}{t_0} \leq 5 \cdot 10^{+288}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(z + t_1 \cdot {x}^{2}\right)}{t_0} + \frac{y \cdot \left(x \cdot \left(x - 2\right)\right)}{t_0}\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Derivation

Split input into 2 regimes
if (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) < 5.0000000000000003e288
1. Initial program 97.3%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative97.3%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/98.8%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative98.8%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def98.8%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative98.8%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def98.8%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative98.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def98.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def98.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified98.8%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 97.3%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
if 5.0000000000000003e288 < (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000))
1. Initial program 0.1%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative0.1%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/0.1%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative0.1%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def0.1%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative0.1%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified0.1%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 0.1%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 19.1%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative19.1%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified19.1%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 99.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow299.1%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified99.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
Recombined 2 regimes into one program.
Final simplification98.0%
\[\leadsto \begin{array}{l} \mathbf{if}\;\frac{\left(x - 2\right) \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right) + 137.519416416\right) + y\right) + z\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606} \leq 5 \cdot 10^{+288}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(z + \left(x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right) + 137.519416416\right) \cdot {x}^{2}\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606} + \frac{y \cdot \left(x \cdot \left(x - 2\right)\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606}\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Alternative 3: 96.4% accurate, 0.5× speedup?

\[\begin{array}{l} t_0 := \frac{\left(x - 2\right) \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right) + 137.519416416\right) + y\right) + z\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606}\\ \mathbf{if}\;t_0 \leq 5 \cdot 10^{+288}:\\ \;\;\;\;t_0\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Derivation

Split input into 2 regimes
if (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) < 5.0000000000000003e288
1. Initial program 97.3%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
if 5.0000000000000003e288 < (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000))
1. Initial program 0.1%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative0.1%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/0.1%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative0.1%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def0.1%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative0.1%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def0.1%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified0.1%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 0.1%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 19.1%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative19.1%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified19.1%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 99.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow299.1%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified99.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
Recombined 2 regimes into one program.
Final simplification98.0%
\[\leadsto \begin{array}{l} \mathbf{if}\;\frac{\left(x - 2\right) \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right) + 137.519416416\right) + y\right) + z\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606} \leq 5 \cdot 10^{+288}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right) + 137.519416416\right) + y\right) + z\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606}\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Alternative 4: 96.3% accurate, 1.1× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -3.1 \cdot 10^{+22} \lor \neg \left(x \leq 1.4 \cdot 10^{+21}\right):\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{else}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(z + x \cdot \left(y + x \cdot 137.519416416\right)\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606}\\ \end{array} \]

Derivation

Split input into 2 regimes
if x < -3.1000000000000002e22 or 1.4e21 < x
1. Initial program 13.3%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative13.3%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/15.8%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative15.8%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def15.8%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative15.8%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def15.8%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative15.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def15.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def15.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified15.8%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 13.3%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 29.6%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative29.6%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified29.6%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 97.8%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow297.8%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified97.8%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
if -3.1000000000000002e22 < x < 1.4e21
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 98.3%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{137.519416416 \cdot x} + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative98.3%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{x \cdot 137.519416416} + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified98.3%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{x \cdot 137.519416416} + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
Recombined 2 regimes into one program.
Final simplification98.1%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -3.1 \cdot 10^{+22} \lor \neg \left(x \leq 1.4 \cdot 10^{+21}\right):\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{else}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(z + x \cdot \left(y + x \cdot 137.519416416\right)\right)}{x \cdot \left(x \cdot \left(x \cdot \left(x + 43.3400022514\right) + 263.505074721\right) + 313.399215894\right) + 47.066876606}\\ \end{array} \]

Alternative 5: 95.6% accurate, 1.4× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -226 \lor \neg \left(x \leq 64\right):\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{else}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(z + x \cdot \left(y + x \cdot 137.519416416\right)\right)}{47.066876606 + x \cdot \left(313.399215894 + x \cdot 263.505074721\right)}\\ \end{array} \]

Derivation

Split input into 2 regimes
if x < -226 or 64 < x
1. Initial program 18.4%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative18.4%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/20.7%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative20.7%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def20.7%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative20.7%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def20.7%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative20.7%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def20.7%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def20.7%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified20.7%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 18.4%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 31.9%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative31.9%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified31.9%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 95.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow295.1%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified95.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
if -226 < x < 64
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 97.8%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{263.505074721 \cdot x} + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative97.8%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified97.8%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in x around 0 97.2%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{137.519416416 \cdot x} + y\right) \cdot x + z\right)}{\left(x \cdot 263.505074721 + 313.399215894\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative98.9%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{x \cdot 137.519416416} + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
7. Simplified97.2%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{x \cdot 137.519416416} + y\right) \cdot x + z\right)}{\left(x \cdot 263.505074721 + 313.399215894\right) \cdot x + 47.066876606} \]
Recombined 2 regimes into one program.
Final simplification96.3%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -226 \lor \neg \left(x \leq 64\right):\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{else}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(z + x \cdot \left(y + x \cdot 137.519416416\right)\right)}{47.066876606 + x \cdot \left(313.399215894 + x \cdot 263.505074721\right)}\\ \end{array} \]

Alternative 6: 81.0% accurate, 1.6× speedup?

\[\begin{array}{l} t_0 := x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{if}\;x \leq -0.37:\\ \;\;\;\;t_0\\ \mathbf{elif}\;x \leq -9 \cdot 10^{-44}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 2:\\ \;\;\;\;z \cdot -0.0424927283095952 + x \cdot \left(z \cdot 0.3041881842569256 - x \cdot \left(z \cdot 1.787568985856513 + 5.843575199059173\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]

Derivation

Split input into 3 regimes
if x < -0.37 or 2 < x
1. Initial program 19.0%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative19.0%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/21.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative21.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def21.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified21.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 19.0%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 32.5%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative32.5%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified32.5%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow294.4%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
if -0.37 < x < -8.9999999999999997e-44
1. Initial program 99.6%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.6%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 99.7%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 82.9%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative82.9%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified82.9%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around 0 74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{-0.0424927283095952 \cdot \left(y \cdot x\right)} \]
9. Step-by-step derivation
  1. *-commutative74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{\left(y \cdot x\right) \cdot -0.0424927283095952} \]
  2. associate-*l*74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
10. Simplified74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
11. Taylor expanded in x around 0 74.7%
  \[\leadsto \color{blue}{\left(-0.0424927283095952 \cdot y + 4.16438922228\right) \cdot x} \]
if -8.9999999999999997e-44 < x < 2
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 99.0%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{263.505074721 \cdot x} + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative99.0%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified99.0%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in y around 0 71.5%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606}} \]
6. Taylor expanded in x around 0 70.9%
  \[\leadsto \color{blue}{\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x + \left(-1 \cdot \left({x}^{2} \cdot \left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right)\right) + -0.0424927283095952 \cdot z\right)} \]
7. Step-by-step derivation
  1. associate-+r+70.9%
    \[\leadsto \color{blue}{\left(\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x + -1 \cdot \left({x}^{2} \cdot \left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right)\right)\right) + -0.0424927283095952 \cdot z} \]
  2. +-commutative70.9%
    \[\leadsto \color{blue}{-0.0424927283095952 \cdot z + \left(\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x + -1 \cdot \left({x}^{2} \cdot \left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right)\right)\right)} \]
  3. mul-1-neg70.9%
    \[\leadsto -0.0424927283095952 \cdot z + \left(\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x + \color{blue}{\left(-{x}^{2} \cdot \left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right)\right)}\right) \]
  4. unsub-neg70.9%
    \[\leadsto -0.0424927283095952 \cdot z + \color{blue}{\left(\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x - {x}^{2} \cdot \left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right)\right)} \]
  5. *-commutative70.9%
    \[\leadsto -0.0424927283095952 \cdot z + \left(\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x - \color{blue}{\left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right) \cdot {x}^{2}}\right) \]
  6. unpow270.9%
    \[\leadsto -0.0424927283095952 \cdot z + \left(\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x - \left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right) \cdot \color{blue}{\left(x \cdot x\right)}\right) \]
  7. associate-*r*70.9%
    \[\leadsto -0.0424927283095952 \cdot z + \left(\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x - \color{blue}{\left(\left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right) \cdot x\right) \cdot x}\right) \]
  8. distribute-rgt-out--70.9%
    \[\leadsto -0.0424927283095952 \cdot z + \color{blue}{x \cdot \left(\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) - \left(5.843575199059173 + \left(-0.23789659216289816 \cdot z + 6.658593866711955 \cdot \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right)\right)\right) \cdot x\right)} \]
8. Simplified70.9%
  \[\leadsto \color{blue}{-0.0424927283095952 \cdot z + x \cdot \left(z \cdot 0.3041881842569256 - \left(z \cdot 1.787568985856513 + 5.843575199059173\right) \cdot x\right)} \]
Recombined 3 regimes into one program.
Final simplification82.2%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -0.37:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{elif}\;x \leq -9 \cdot 10^{-44}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 2:\\ \;\;\;\;z \cdot -0.0424927283095952 + x \cdot \left(z \cdot 0.3041881842569256 - x \cdot \left(z \cdot 1.787568985856513 + 5.843575199059173\right)\right)\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Alternative 7: 95.4% accurate, 1.6× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -36 \lor \neg \left(x \leq 60\right):\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{else}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(z + x \cdot \left(y + x \cdot 137.519416416\right)\right)}{47.066876606 + x \cdot 313.399215894}\\ \end{array} \]

Derivation

Split input into 2 regimes
if x < -36 or 60 < x
1. Initial program 18.4%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative18.4%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/20.7%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative20.7%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def20.7%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative20.7%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def20.7%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative20.7%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def20.7%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def20.7%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified20.7%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 18.4%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 31.9%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative31.9%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified31.9%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 95.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow295.1%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified95.1%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
if -36 < x < 60
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 98.9%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{137.519416416 \cdot x} + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative98.9%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{x \cdot 137.519416416} + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified98.9%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\color{blue}{x \cdot 137.519416416} + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in x around 0 96.4%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(x \cdot 137.519416416 + y\right) \cdot x + z\right)}{\color{blue}{313.399215894 \cdot x} + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative96.4%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(x \cdot 137.519416416 + y\right) \cdot x + z\right)}{\color{blue}{x \cdot 313.399215894} + 47.066876606} \]
7. Simplified96.4%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(x \cdot 137.519416416 + y\right) \cdot x + z\right)}{\color{blue}{x \cdot 313.399215894} + 47.066876606} \]
Recombined 2 regimes into one program.
Final simplification95.8%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -36 \lor \neg \left(x \leq 60\right):\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{else}:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot \left(z + x \cdot \left(y + x \cdot 137.519416416\right)\right)}{47.066876606 + x \cdot 313.399215894}\\ \end{array} \]

Alternative 8: 79.5% accurate, 1.7× speedup?

\[\begin{array}{l} t_0 := x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{if}\;x \leq -11.5:\\ \;\;\;\;t_0\\ \mathbf{elif}\;x \leq -9.5 \cdot 10^{-46}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 19:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot z}{47.066876606 + x \cdot \left(313.399215894 + x \cdot 263.505074721\right)}\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]

Derivation

Split input into 3 regimes
if x < -11.5 or 19 < x
1. Initial program 19.0%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative19.0%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/21.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative21.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def21.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified21.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 19.0%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 32.5%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative32.5%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified32.5%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow294.4%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
if -11.5 < x < -9.49999999999999993e-46
1. Initial program 99.6%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.6%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 99.7%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 82.9%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative82.9%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified82.9%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around 0 74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{-0.0424927283095952 \cdot \left(y \cdot x\right)} \]
9. Step-by-step derivation
  1. *-commutative74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{\left(y \cdot x\right) \cdot -0.0424927283095952} \]
  2. associate-*l*74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
10. Simplified74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
11. Taylor expanded in x around 0 74.7%
  \[\leadsto \color{blue}{\left(-0.0424927283095952 \cdot y + 4.16438922228\right) \cdot x} \]
if -9.49999999999999993e-46 < x < 19
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 99.0%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{263.505074721 \cdot x} + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative99.0%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified99.0%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in z around inf 69.2%
  \[\leadsto \color{blue}{\frac{z \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606}} \]
Recombined 3 regimes into one program.
Final simplification81.3%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -11.5:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{elif}\;x \leq -9.5 \cdot 10^{-46}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 19:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot z}{47.066876606 + x \cdot \left(313.399215894 + x \cdot 263.505074721\right)}\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Alternative 9: 92.7% accurate, 1.8× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -0.29 \lor \neg \left(x \leq 2\right):\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \left(0.0212463641547976 \cdot \left(z + y \cdot -2\right) - z \cdot -0.28294182010212804\right) + z \cdot -0.0424927283095952\\ \end{array} \]

Derivation

Split input into 2 regimes
if x < -0.28999999999999998 or 2 < x
1. Initial program 19.0%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative19.0%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/21.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative21.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def21.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified21.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 19.0%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 32.5%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative32.5%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified32.5%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow294.4%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
if -0.28999999999999998 < x < 2
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.7%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.5%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.5%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.5%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.5%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in x around 0 93.6%
  \[\leadsto \color{blue}{\left(0.0212463641547976 \cdot \left(-2 \cdot y + z\right) - -0.28294182010212804 \cdot z\right) \cdot x + -0.0424927283095952 \cdot z} \]
Recombined 2 regimes into one program.
Final simplification93.9%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -0.29 \lor \neg \left(x \leq 2\right):\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{else}:\\ \;\;\;\;x \cdot \left(0.0212463641547976 \cdot \left(z + y \cdot -2\right) - z \cdot -0.28294182010212804\right) + z \cdot -0.0424927283095952\\ \end{array} \]

Alternative 10: 79.5% accurate, 2.2× speedup?

\[\begin{array}{l} t_0 := x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{if}\;x \leq -0.35:\\ \;\;\;\;t_0\\ \mathbf{elif}\;x \leq -1.6 \cdot 10^{-46}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 2:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot z}{47.066876606 + x \cdot 313.399215894}\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]

Derivation

Split input into 3 regimes
if x < -0.34999999999999998 or 2 < x
1. Initial program 19.0%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative19.0%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/21.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative21.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def21.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified21.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 19.0%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 32.5%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative32.5%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified32.5%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow294.4%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
if -0.34999999999999998 < x < -1.6e-46
1. Initial program 99.6%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.6%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 99.7%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 82.9%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative82.9%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified82.9%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around 0 74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{-0.0424927283095952 \cdot \left(y \cdot x\right)} \]
9. Step-by-step derivation
  1. *-commutative74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{\left(y \cdot x\right) \cdot -0.0424927283095952} \]
  2. associate-*l*74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
10. Simplified74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
11. Taylor expanded in x around 0 74.7%
  \[\leadsto \color{blue}{\left(-0.0424927283095952 \cdot y + 4.16438922228\right) \cdot x} \]
if -1.6e-46 < x < 2
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 99.0%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{263.505074721 \cdot x} + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative99.0%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified99.0%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in z around inf 69.2%
  \[\leadsto \color{blue}{\frac{z \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606}} \]
6. Taylor expanded in x around 0 68.8%
  \[\leadsto \frac{z \cdot \left(x - 2\right)}{\color{blue}{313.399215894 \cdot x} + 47.066876606} \]
7. Step-by-step derivation
  1. *-commutative68.8%
    \[\leadsto \frac{z \cdot \left(x - 2\right)}{\color{blue}{x \cdot 313.399215894} + 47.066876606} \]
8. Simplified68.8%
  \[\leadsto \frac{z \cdot \left(x - 2\right)}{\color{blue}{x \cdot 313.399215894} + 47.066876606} \]
Recombined 3 regimes into one program.
Final simplification81.1%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -0.35:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{elif}\;x \leq -1.6 \cdot 10^{-46}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 2:\\ \;\;\;\;\frac{\left(x - 2\right) \cdot z}{47.066876606 + x \cdot 313.399215894}\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Alternative 11: 79.4% accurate, 2.4× speedup?

\[\begin{array}{l} t_0 := x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{if}\;x \leq -2.9:\\ \;\;\;\;t_0\\ \mathbf{elif}\;x \leq -1.1 \cdot 10^{-45}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 2:\\ \;\;\;\;z \cdot \left(-0.0424927283095952 + x \cdot 0.3041881842569256\right)\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]

Derivation

Split input into 3 regimes
if x < -2.89999999999999991 or 2 < x
1. Initial program 19.0%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative19.0%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/21.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative21.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def21.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def21.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified21.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 19.0%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 32.5%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative32.5%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified32.5%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around inf 94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{{x}^{2}}} \]
9. Step-by-step derivation
  1. unpow294.4%
    \[\leadsto x \cdot 4.16438922228 + \frac{y}{\color{blue}{x \cdot x}} \]
10. Simplified94.4%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{\frac{y}{x \cdot x}} \]
if -2.89999999999999991 < x < -1.09999999999999997e-45
1. Initial program 99.6%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.6%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 99.7%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 82.9%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative82.9%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified82.9%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around 0 74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{-0.0424927283095952 \cdot \left(y \cdot x\right)} \]
9. Step-by-step derivation
  1. *-commutative74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{\left(y \cdot x\right) \cdot -0.0424927283095952} \]
  2. associate-*l*74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
10. Simplified74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
11. Taylor expanded in x around 0 74.7%
  \[\leadsto \color{blue}{\left(-0.0424927283095952 \cdot y + 4.16438922228\right) \cdot x} \]
if -1.09999999999999997e-45 < x < 2
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 99.0%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{263.505074721 \cdot x} + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative99.0%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified99.0%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in z around inf 69.2%
  \[\leadsto \color{blue}{\frac{z \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606}} \]
6. Taylor expanded in x around 0 68.6%
  \[\leadsto \color{blue}{\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x + -0.0424927283095952 \cdot z} \]
7. Step-by-step derivation
  1. +-commutative68.6%
    \[\leadsto \color{blue}{-0.0424927283095952 \cdot z + \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x} \]
  2. *-commutative68.6%
    \[\leadsto \color{blue}{z \cdot -0.0424927283095952} + \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x \]
  3. distribute-rgt-out--68.6%
    \[\leadsto z \cdot -0.0424927283095952 + \color{blue}{\left(z \cdot \left(0.0212463641547976 - -0.28294182010212804\right)\right)} \cdot x \]
  4. associate-*l*68.6%
    \[\leadsto z \cdot -0.0424927283095952 + \color{blue}{z \cdot \left(\left(0.0212463641547976 - -0.28294182010212804\right) \cdot x\right)} \]
  5. distribute-lft-out68.6%
    \[\leadsto \color{blue}{z \cdot \left(-0.0424927283095952 + \left(0.0212463641547976 - -0.28294182010212804\right) \cdot x\right)} \]
  6. metadata-eval68.6%
    \[\leadsto z \cdot \left(-0.0424927283095952 + \color{blue}{0.3041881842569256} \cdot x\right) \]
8. Simplified68.6%
  \[\leadsto \color{blue}{z \cdot \left(-0.0424927283095952 + 0.3041881842569256 \cdot x\right)} \]
Recombined 3 regimes into one program.
Final simplification81.0%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -2.9:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \mathbf{elif}\;x \leq -1.1 \cdot 10^{-45}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 2:\\ \;\;\;\;z \cdot \left(-0.0424927283095952 + x \cdot 0.3041881842569256\right)\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228 + \frac{y}{x \cdot x}\\ \end{array} \]

Alternative 12: 76.3% accurate, 2.8× speedup?

\[\begin{array}{l} t_0 := \frac{x + -2}{0.24013125253755718}\\ \mathbf{if}\;x \leq -0.43:\\ \;\;\;\;t_0\\ \mathbf{elif}\;x \leq -4.2 \cdot 10^{-47}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 2.55 \cdot 10^{+20}:\\ \;\;\;\;z \cdot \left(-0.0424927283095952 + x \cdot 0.3041881842569256\right)\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]

Derivation

Split input into 3 regimes
if x < -0.429999999999999993 or 2.55e20 < x
1. Initial program 15.6%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. associate-/l*18.0%
    \[\leadsto \color{blue}{\frac{x - 2}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}}} \]
  2. sub-neg18.0%
    \[\leadsto \frac{\color{blue}{x + \left(-2\right)}}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  3. metadata-eval18.0%
    \[\leadsto \frac{x + \color{blue}{-2}}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  4. fma-def18.0%
    \[\leadsto \frac{x + -2}{\frac{\color{blue}{\mathsf{fma}\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894, x, 47.066876606\right)}}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  5. fma-def18.0%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721, x, 313.399215894\right)}, x, 47.066876606\right)}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  6. fma-def18.0%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right)}, x, 313.399215894\right), x, 47.066876606\right)}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  7. fma-def18.0%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\color{blue}{\mathsf{fma}\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, x, z\right)}}} \]
  8. fma-def18.0%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, x, y\right)}, x, z\right)}} \]
  9. fma-def18.0%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x \cdot 4.16438922228 + 78.6994924154, x, 137.519416416\right)}, x, y\right), x, z\right)}} \]
  10. fma-def18.0%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, x, 137.519416416\right), x, y\right), x, z\right)}} \]
3. Simplified18.0%
  \[\leadsto \color{blue}{\frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), x, 137.519416416\right), x, y\right), x, z\right)}}} \]
4. Taylor expanded in x around inf 90.5%
  \[\leadsto \frac{x + -2}{\color{blue}{0.24013125253755718}} \]
if -0.429999999999999993 < x < -4.2000000000000001e-47
1. Initial program 99.6%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.6%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in y around inf 99.7%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606}} \]
5. Taylor expanded in x around inf 82.9%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
6. Step-by-step derivation
  1. *-commutative82.9%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
7. Simplified82.9%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} + \frac{y \cdot \left(\left(x - 2\right) \cdot x\right)}{\left(313.399215894 + \left(263.505074721 + x \cdot \left(43.3400022514 + x\right)\right) \cdot x\right) \cdot x + 47.066876606} \]
8. Taylor expanded in x around 0 74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{-0.0424927283095952 \cdot \left(y \cdot x\right)} \]
9. Step-by-step derivation
  1. *-commutative74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{\left(y \cdot x\right) \cdot -0.0424927283095952} \]
  2. associate-*l*74.7%
    \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
10. Simplified74.7%
  \[\leadsto x \cdot 4.16438922228 + \color{blue}{y \cdot \left(x \cdot -0.0424927283095952\right)} \]
11. Taylor expanded in x around 0 74.7%
  \[\leadsto \color{blue}{\left(-0.0424927283095952 \cdot y + 4.16438922228\right) \cdot x} \]
if -4.2000000000000001e-47 < x < 2.55e20
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 95.5%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{263.505074721 \cdot x} + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative95.5%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified95.5%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in z around inf 66.7%
  \[\leadsto \color{blue}{\frac{z \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606}} \]
6. Taylor expanded in x around 0 66.0%
  \[\leadsto \color{blue}{\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x + -0.0424927283095952 \cdot z} \]
7. Step-by-step derivation
  1. +-commutative66.0%
    \[\leadsto \color{blue}{-0.0424927283095952 \cdot z + \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x} \]
  2. *-commutative66.0%
    \[\leadsto \color{blue}{z \cdot -0.0424927283095952} + \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x \]
  3. distribute-rgt-out--66.0%
    \[\leadsto z \cdot -0.0424927283095952 + \color{blue}{\left(z \cdot \left(0.0212463641547976 - -0.28294182010212804\right)\right)} \cdot x \]
  4. associate-*l*66.0%
    \[\leadsto z \cdot -0.0424927283095952 + \color{blue}{z \cdot \left(\left(0.0212463641547976 - -0.28294182010212804\right) \cdot x\right)} \]
  5. distribute-lft-out66.0%
    \[\leadsto \color{blue}{z \cdot \left(-0.0424927283095952 + \left(0.0212463641547976 - -0.28294182010212804\right) \cdot x\right)} \]
  6. metadata-eval66.0%
    \[\leadsto z \cdot \left(-0.0424927283095952 + \color{blue}{0.3041881842569256} \cdot x\right) \]
8. Simplified66.0%
  \[\leadsto \color{blue}{z \cdot \left(-0.0424927283095952 + 0.3041881842569256 \cdot x\right)} \]
Recombined 3 regimes into one program.
Final simplification77.5%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -0.43:\\ \;\;\;\;\frac{x + -2}{0.24013125253755718}\\ \mathbf{elif}\;x \leq -4.2 \cdot 10^{-47}:\\ \;\;\;\;x \cdot \left(4.16438922228 + y \cdot -0.0424927283095952\right)\\ \mathbf{elif}\;x \leq 2.55 \cdot 10^{+20}:\\ \;\;\;\;z \cdot \left(-0.0424927283095952 + x \cdot 0.3041881842569256\right)\\ \mathbf{else}:\\ \;\;\;\;\frac{x + -2}{0.24013125253755718}\\ \end{array} \]

Alternative 13: 76.5% accurate, 3.3× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -1.12 \cdot 10^{-5} \lor \neg \left(x \leq 2.55 \cdot 10^{+20}\right):\\ \;\;\;\;\frac{x + -2}{0.24013125253755718}\\ \mathbf{else}:\\ \;\;\;\;z \cdot \left(-0.0424927283095952 + x \cdot 0.3041881842569256\right)\\ \end{array} \]

Derivation

Split input into 2 regimes
if x < -1.11999999999999995e-5 or 2.55e20 < x
1. Initial program 17.0%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. associate-/l*19.4%
    \[\leadsto \color{blue}{\frac{x - 2}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}}} \]
  2. sub-neg19.4%
    \[\leadsto \frac{\color{blue}{x + \left(-2\right)}}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  3. metadata-eval19.4%
    \[\leadsto \frac{x + \color{blue}{-2}}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  4. fma-def19.4%
    \[\leadsto \frac{x + -2}{\frac{\color{blue}{\mathsf{fma}\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894, x, 47.066876606\right)}}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  5. fma-def19.4%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721, x, 313.399215894\right)}, x, 47.066876606\right)}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  6. fma-def19.4%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right)}, x, 313.399215894\right), x, 47.066876606\right)}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  7. fma-def19.4%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\color{blue}{\mathsf{fma}\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, x, z\right)}}} \]
  8. fma-def19.4%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, x, y\right)}, x, z\right)}} \]
  9. fma-def19.4%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x \cdot 4.16438922228 + 78.6994924154, x, 137.519416416\right)}, x, y\right), x, z\right)}} \]
  10. fma-def19.4%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, x, 137.519416416\right), x, y\right), x, z\right)}} \]
3. Simplified19.4%
  \[\leadsto \color{blue}{\frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), x, 137.519416416\right), x, y\right), x, z\right)}}} \]
4. Taylor expanded in x around inf 89.1%
  \[\leadsto \frac{x + -2}{\color{blue}{0.24013125253755718}} \]
if -1.11999999999999995e-5 < x < 2.55e20
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 95.8%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{263.505074721 \cdot x} + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative95.8%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified95.8%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in z around inf 63.1%
  \[\leadsto \color{blue}{\frac{z \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606}} \]
6. Taylor expanded in x around 0 62.4%
  \[\leadsto \color{blue}{\left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x + -0.0424927283095952 \cdot z} \]
7. Step-by-step derivation
  1. +-commutative62.4%
    \[\leadsto \color{blue}{-0.0424927283095952 \cdot z + \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x} \]
  2. *-commutative62.4%
    \[\leadsto \color{blue}{z \cdot -0.0424927283095952} + \left(0.0212463641547976 \cdot z - -0.28294182010212804 \cdot z\right) \cdot x \]
  3. distribute-rgt-out--62.4%
    \[\leadsto z \cdot -0.0424927283095952 + \color{blue}{\left(z \cdot \left(0.0212463641547976 - -0.28294182010212804\right)\right)} \cdot x \]
  4. associate-*l*62.4%
    \[\leadsto z \cdot -0.0424927283095952 + \color{blue}{z \cdot \left(\left(0.0212463641547976 - -0.28294182010212804\right) \cdot x\right)} \]
  5. distribute-lft-out62.4%
    \[\leadsto \color{blue}{z \cdot \left(-0.0424927283095952 + \left(0.0212463641547976 - -0.28294182010212804\right) \cdot x\right)} \]
  6. metadata-eval62.4%
    \[\leadsto z \cdot \left(-0.0424927283095952 + \color{blue}{0.3041881842569256} \cdot x\right) \]
8. Simplified62.4%
  \[\leadsto \color{blue}{z \cdot \left(-0.0424927283095952 + 0.3041881842569256 \cdot x\right)} \]
Recombined 2 regimes into one program.
Final simplification74.7%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -1.12 \cdot 10^{-5} \lor \neg \left(x \leq 2.55 \cdot 10^{+20}\right):\\ \;\;\;\;\frac{x + -2}{0.24013125253755718}\\ \mathbf{else}:\\ \;\;\;\;z \cdot \left(-0.0424927283095952 + x \cdot 0.3041881842569256\right)\\ \end{array} \]

Alternative 14: 76.3% accurate, 4.0× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -1.12 \cdot 10^{-5} \lor \neg \left(x \leq 1.85 \cdot 10^{+18}\right):\\ \;\;\;\;\frac{x + -2}{0.24013125253755718}\\ \mathbf{else}:\\ \;\;\;\;z \cdot -0.0424927283095952\\ \end{array} \]

Derivation

Split input into 2 regimes
if x < -1.11999999999999995e-5 or 1.85e18 < x
1. Initial program 17.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. associate-/l*20.1%
    \[\leadsto \color{blue}{\frac{x - 2}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}}} \]
  2. sub-neg20.1%
    \[\leadsto \frac{\color{blue}{x + \left(-2\right)}}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  3. metadata-eval20.1%
    \[\leadsto \frac{x + \color{blue}{-2}}{\frac{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  4. fma-def20.1%
    \[\leadsto \frac{x + -2}{\frac{\color{blue}{\mathsf{fma}\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894, x, 47.066876606\right)}}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  5. fma-def20.1%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721, x, 313.399215894\right)}, x, 47.066876606\right)}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  6. fma-def20.1%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right)}, x, 313.399215894\right), x, 47.066876606\right)}{\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z}} \]
  7. fma-def20.1%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\color{blue}{\mathsf{fma}\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, x, z\right)}}} \]
  8. fma-def20.1%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, x, y\right)}, x, z\right)}} \]
  9. fma-def20.1%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x \cdot 4.16438922228 + 78.6994924154, x, 137.519416416\right)}, x, y\right), x, z\right)}} \]
  10. fma-def20.1%
    \[\leadsto \frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, x, 137.519416416\right), x, y\right), x, z\right)}} \]
3. Simplified20.1%
  \[\leadsto \color{blue}{\frac{x + -2}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x + 43.3400022514, x, 263.505074721\right), x, 313.399215894\right), x, 47.066876606\right)}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), x, 137.519416416\right), x, y\right), x, z\right)}}} \]
4. Taylor expanded in x around inf 88.4%
  \[\leadsto \frac{x + -2}{\color{blue}{0.24013125253755718}} \]
if -1.11999999999999995e-5 < x < 1.85e18
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.7%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.5%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.5%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.5%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.5%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in x around 0 62.3%
  \[\leadsto \color{blue}{-0.0424927283095952 \cdot z} \]
Recombined 2 regimes into one program.
Final simplification74.4%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -1.12 \cdot 10^{-5} \lor \neg \left(x \leq 1.85 \cdot 10^{+18}\right):\\ \;\;\;\;\frac{x + -2}{0.24013125253755718}\\ \mathbf{else}:\\ \;\;\;\;z \cdot -0.0424927283095952\\ \end{array} \]

Alternative 15: 40.2% accurate, 5.2× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -1.1 \cdot 10^{-5}:\\ \;\;\;\;x \cdot 0.5218852675289308\\ \mathbf{elif}\;x \leq 0.00018:\\ \;\;\;\;z \cdot -0.0424927283095952\\ \mathbf{else}:\\ \;\;\;\;x \cdot 0.5218852675289308\\ \end{array} \]

Derivation

Split input into 2 regimes
if x < -1.1e-5 or 1.80000000000000011e-4 < x
1. Initial program 21.6%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Taylor expanded in x around 0 4.4%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{263.505074721 \cdot x} + 313.399215894\right) \cdot x + 47.066876606} \]
3. Step-by-step derivation
  1. *-commutative4.4%
    \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
4. Simplified4.4%
  \[\leadsto \frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\color{blue}{x \cdot 263.505074721} + 313.399215894\right) \cdot x + 47.066876606} \]
5. Taylor expanded in y around 0 2.9%
  \[\leadsto \color{blue}{\frac{\left(\left(137.519416416 + \left(78.6994924154 + 4.16438922228 \cdot x\right) \cdot x\right) \cdot {x}^{2} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606}} \]
6. Taylor expanded in x around 0 4.3%
  \[\leadsto \frac{\left(\color{blue}{137.519416416 \cdot {x}^{2}} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606} \]
7. Step-by-step derivation
  1. *-commutative4.3%
    \[\leadsto \frac{\left(\color{blue}{{x}^{2} \cdot 137.519416416} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606} \]
  2. unpow24.3%
    \[\leadsto \frac{\left(\color{blue}{\left(x \cdot x\right)} \cdot 137.519416416 + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606} \]
  3. associate-*l*4.3%
    \[\leadsto \frac{\left(\color{blue}{x \cdot \left(x \cdot 137.519416416\right)} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606} \]
8. Simplified4.3%
  \[\leadsto \frac{\left(\color{blue}{x \cdot \left(x \cdot 137.519416416\right)} + z\right) \cdot \left(x - 2\right)}{\left(313.399215894 + 263.505074721 \cdot x\right) \cdot x + 47.066876606} \]
9. Taylor expanded in x around inf 14.7%
  \[\leadsto \color{blue}{0.5218852675289308 \cdot x} \]
10. Step-by-step derivation
  1. *-commutative14.7%
    \[\leadsto \color{blue}{x \cdot 0.5218852675289308} \]
11. Simplified14.7%
  \[\leadsto \color{blue}{x \cdot 0.5218852675289308} \]
if -1.1e-5 < x < 1.80000000000000011e-4
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.7%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.5%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.5%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.5%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.5%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in x around 0 65.0%
  \[\leadsto \color{blue}{-0.0424927283095952 \cdot z} \]
Recombined 2 regimes into one program.
Final simplification40.4%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -1.1 \cdot 10^{-5}:\\ \;\;\;\;x \cdot 0.5218852675289308\\ \mathbf{elif}\;x \leq 0.00018:\\ \;\;\;\;z \cdot -0.0424927283095952\\ \mathbf{else}:\\ \;\;\;\;x \cdot 0.5218852675289308\\ \end{array} \]

Alternative 16: 76.3% accurate, 5.2× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -1.12 \cdot 10^{-5}:\\ \;\;\;\;x \cdot 4.16438922228\\ \mathbf{elif}\;x \leq 0.00018:\\ \;\;\;\;z \cdot -0.0424927283095952\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228\\ \end{array} \]

Derivation

Split input into 2 regimes
if x < -1.11999999999999995e-5 or 1.80000000000000011e-4 < x
1. Initial program 21.6%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative21.6%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/23.8%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative23.8%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def23.8%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative23.8%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def23.8%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative23.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def23.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def23.8%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified23.8%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in x around inf 83.9%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} \]
5. Step-by-step derivation
  1. *-commutative83.9%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} \]
6. Simplified83.9%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} \]
if -1.11999999999999995e-5 < x < 1.80000000000000011e-4
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.7%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.5%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.5%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.5%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.5%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in x around 0 65.0%
  \[\leadsto \color{blue}{-0.0424927283095952 \cdot z} \]
Recombined 2 regimes into one program.
Final simplification74.2%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -1.12 \cdot 10^{-5}:\\ \;\;\;\;x \cdot 4.16438922228\\ \mathbf{elif}\;x \leq 0.00018:\\ \;\;\;\;z \cdot -0.0424927283095952\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228\\ \end{array} \]

Alternative 17: 76.4% accurate, 5.2× speedup?

\[\begin{array}{l} \mathbf{if}\;x \leq -1.12 \cdot 10^{-5}:\\ \;\;\;\;x \cdot 4.16438922228 - 110.1139242984811\\ \mathbf{elif}\;x \leq 0.00018:\\ \;\;\;\;z \cdot -0.0424927283095952\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228\\ \end{array} \]

Derivation

Split input into 3 regimes
if x < -1.11999999999999995e-5
1. Initial program 22.9%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative22.9%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/24.4%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative24.4%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def24.4%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative24.4%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def24.4%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative24.4%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def24.4%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def24.4%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified24.4%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in x around inf 87.1%
  \[\leadsto \color{blue}{4.16438922228 \cdot x - 110.1139242984811} \]
if -1.11999999999999995e-5 < x < 1.80000000000000011e-4
1. Initial program 99.7%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative99.7%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/99.5%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative99.5%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def99.5%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def99.5%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified99.5%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in x around 0 65.0%
  \[\leadsto \color{blue}{-0.0424927283095952 \cdot z} \]
if 1.80000000000000011e-4 < x
1. Initial program 20.3%
  \[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. Step-by-step derivation
  1. *-commutative20.3%
    \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  2. associate-*r/23.3%
    \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
  3. *-commutative23.3%
    \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  4. fma-def23.3%
    \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  5. *-commutative23.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  6. fma-def23.3%
    \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  7. *-commutative23.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  8. fma-def23.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
  9. fma-def23.3%
    \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
3. Simplified23.3%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
4. Taylor expanded in x around inf 81.2%
  \[\leadsto \color{blue}{4.16438922228 \cdot x} \]
5. Step-by-step derivation
  1. *-commutative81.2%
    \[\leadsto \color{blue}{x \cdot 4.16438922228} \]
6. Simplified81.2%
  \[\leadsto \color{blue}{x \cdot 4.16438922228} \]
Recombined 3 regimes into one program.
Final simplification74.3%
\[\leadsto \begin{array}{l} \mathbf{if}\;x \leq -1.12 \cdot 10^{-5}:\\ \;\;\;\;x \cdot 4.16438922228 - 110.1139242984811\\ \mathbf{elif}\;x \leq 0.00018:\\ \;\;\;\;z \cdot -0.0424927283095952\\ \mathbf{else}:\\ \;\;\;\;x \cdot 4.16438922228\\ \end{array} \]

Alternative 18: 34.4% accurate, 12.3× speedup?

\[z \cdot -0.0424927283095952 \]

Derivation

Initial program 61.6%
\[\frac{\left(x - 2\right) \cdot \left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right)}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
Step-by-step derivation
1. *-commutative61.6%
  \[\leadsto \frac{\color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \left(x - 2\right)}}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
2. associate-*r/62.5%
  \[\leadsto \color{blue}{\left(\left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right) \cdot x + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606}} \]
3. *-commutative62.5%
  \[\leadsto \left(\color{blue}{x \cdot \left(\left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y\right)} + z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
4. fma-def62.5%
  \[\leadsto \color{blue}{\mathsf{fma}\left(x, \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right) \cdot x + y, z\right)} \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
5. *-commutative62.5%
  \[\leadsto \mathsf{fma}\left(x, \color{blue}{x \cdot \left(\left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416\right)} + y, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
6. fma-def62.5%
  \[\leadsto \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, \left(x \cdot 4.16438922228 + 78.6994924154\right) \cdot x + 137.519416416, y\right)}, z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
7. *-commutative62.5%
  \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{x \cdot \left(x \cdot 4.16438922228 + 78.6994924154\right)} + 137.519416416, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
8. fma-def62.5%
  \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, x \cdot 4.16438922228 + 78.6994924154, 137.519416416\right)}, y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
9. fma-def62.5%
  \[\leadsto \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \color{blue}{\mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right)}, 137.519416416\right), y\right), z\right) \cdot \frac{x - 2}{\left(\left(\left(x + 43.3400022514\right) \cdot x + 263.505074721\right) \cdot x + 313.399215894\right) \cdot x + 47.066876606} \]
Simplified62.5%
\[\leadsto \color{blue}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, 4.16438922228, 78.6994924154\right), 137.519416416\right), y\right), z\right) \cdot \frac{x + -2}{\mathsf{fma}\left(x, \mathsf{fma}\left(x, \mathsf{fma}\left(x, x + 43.3400022514, 263.505074721\right), 313.399215894\right), 47.066876606\right)}} \]
Taylor expanded in x around 0 34.7%
\[\leadsto \color{blue}{-0.0424927283095952 \cdot z} \]
Final simplification34.7%
\[\leadsto z \cdot -0.0424927283095952 \]

Specification

Local Percentage Accuracy vs ?

Accuracy vs Speed?

Alternative 1: 97.8% accurate, 0.0× speedup?

Alternative 2: 96.4% accurate, 0.2× speedup?

Alternative 3: 96.4% accurate, 0.5× speedup?

Alternative 4: 96.3% accurate, 1.1× speedup?

if x < -3.1000000000000002e22 or 1.4e21 < x

if -3.1000000000000002e22 < x < 1.4e21

Alternative 5: 95.6% accurate, 1.4× speedup?

if x < -226 or 64 < x

if -226 < x < 64

Alternative 6: 81.0% accurate, 1.6× speedup?

if x < -0.37 or 2 < x

if -0.37 < x < -8.9999999999999997e-44

if -8.9999999999999997e-44 < x < 2

Alternative 7: 95.4% accurate, 1.6× speedup?

if x < -36 or 60 < x

if -36 < x < 60

Alternative 8: 79.5% accurate, 1.7× speedup?

if x < -11.5 or 19 < x

if -11.5 < x < -9.49999999999999993e-46

if -9.49999999999999993e-46 < x < 19

Alternative 9: 92.7% accurate, 1.8× speedup?

if x < -0.28999999999999998 or 2 < x

if -0.28999999999999998 < x < 2

Alternative 10: 79.5% accurate, 2.2× speedup?

if x < -0.34999999999999998 or 2 < x

if -0.34999999999999998 < x < -1.6e-46

if -1.6e-46 < x < 2

Alternative 11: 79.4% accurate, 2.4× speedup?

if x < -2.89999999999999991 or 2 < x

if -2.89999999999999991 < x < -1.09999999999999997e-45

if -1.09999999999999997e-45 < x < 2

Alternative 12: 76.3% accurate, 2.8× speedup?

if x < -0.429999999999999993 or 2.55e20 < x

if -0.429999999999999993 < x < -4.2000000000000001e-47

if -4.2000000000000001e-47 < x < 2.55e20

Alternative 13: 76.5% accurate, 3.3× speedup?

if x < -1.11999999999999995e-5 or 2.55e20 < x

if -1.11999999999999995e-5 < x < 2.55e20

Alternative 14: 76.3% accurate, 4.0× speedup?

if x < -1.11999999999999995e-5 or 1.85e18 < x

if -1.11999999999999995e-5 < x < 1.85e18

Alternative 15: 40.2% accurate, 5.2× speedup?

if x < -1.1e-5 or 1.80000000000000011e-4 < x

if -1.1e-5 < x < 1.80000000000000011e-4

Alternative 16: 76.3% accurate, 5.2× speedup?

if x < -1.11999999999999995e-5 or 1.80000000000000011e-4 < x

if -1.11999999999999995e-5 < x < 1.80000000000000011e-4

Alternative 17: 76.4% accurate, 5.2× speedup?

if x < -1.11999999999999995e-5

if -1.11999999999999995e-5 < x < 1.80000000000000011e-4

if 1.80000000000000011e-4 < x

Alternative 18: 34.4% accurate, 12.3× speedup?

Developer target: 98.9% accurate, 0.8× speedup?

Reproduce

`if x < -3.1000000000000002e22 or 1.4e21 < x`

`if -3.1000000000000002e22 < x < 1.4e21`

`if x < -226 or 64 < x`

`if -226 < x < 64`

`if x < -0.37 or 2 < x`

`if -0.37 < x < -8.9999999999999997e-44`

`if -8.9999999999999997e-44 < x < 2`

`if x < -36 or 60 < x`

`if -36 < x < 60`

`if x < -11.5 or 19 < x`

`if -11.5 < x < -9.49999999999999993e-46`

`if -9.49999999999999993e-46 < x < 19`

`if x < -0.28999999999999998 or 2 < x`

`if -0.28999999999999998 < x < 2`

`if x < -0.34999999999999998 or 2 < x`

`if -0.34999999999999998 < x < -1.6e-46`

`if -1.6e-46 < x < 2`

`if x < -2.89999999999999991 or 2 < x`

`if -2.89999999999999991 < x < -1.09999999999999997e-45`

`if -1.09999999999999997e-45 < x < 2`

`if x < -0.429999999999999993 or 2.55e20 < x`

`if -0.429999999999999993 < x < -4.2000000000000001e-47`

`if -4.2000000000000001e-47 < x < 2.55e20`

`if x < -1.11999999999999995e-5 or 2.55e20 < x`

`if -1.11999999999999995e-5 < x < 2.55e20`

`if x < -1.11999999999999995e-5 or 1.85e18 < x`

`if -1.11999999999999995e-5 < x < 1.85e18`

`if x < -1.1e-5 or 1.80000000000000011e-4 < x`

`if -1.1e-5 < x < 1.80000000000000011e-4`

`if x < -1.11999999999999995e-5 or 1.80000000000000011e-4 < x`

`if -1.11999999999999995e-5 < x < 1.80000000000000011e-4`

`if x < -1.11999999999999995e-5`

`if -1.11999999999999995e-5 < x < 1.80000000000000011e-4`

`if 1.80000000000000011e-4 < x`