Average Error: 29.8 → 0.0
Time: 16.8s
Precision: 64
\[\frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.00726441819999999999 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 5.0640340000000002 \cdot 10^{-4} \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 1.789971 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.77154710189999998 \cdot \left(x \cdot x\right)\right) + 0.29097386390000002 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.069455576099999999 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.014000544199999999 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 8.32794500000000044 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 1.789971 \cdot 10^{-4}\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x\]
↓
\[\begin{array}{l} \mathbf{if}\;x \le -1964.48217056806675 \lor \neg \left(x \le 634.93208581281988\right):\\ \;\;\;\;\mathsf{fma}\left(0.25141790006653753, \frac{1}{{x}^{3}}, \mathsf{fma}\left(0.1529819634592933, \frac{1}{{x}^{5}}, 0.5 \cdot \frac{1}{x}\right)\right)\\ \mathbf{else}:\\ \;\;\;\;x \cdot \sqrt[3]{\frac{{\left(\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}\right)}^{3}}{{\left(\mathsf{fma}\left(\left(x \cdot x\right) \cdot 0.00726441819999999999, \left(x \cdot x\right) \cdot 0.00726441819999999999 - 0.042406060400000001, 0.042406060400000001 \cdot 0.042406060400000001\right)\right)}^{3}} \cdot \frac{{\left(\mathsf{fma}\left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999 - 0.042406060400000001\right) + 0.042406060400000001 \cdot 0.042406060400000001, {\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - {\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)\right)\right)\right)}^{3}}{{\left(\mathsf{fma}\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot {\left(x \cdot x\right)}^{4}, \mathsf{fma}\left(x, x \cdot 1.789971 \cdot 10^{-4}, 5.0640340000000002 \cdot 10^{-4}\right), \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - {\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)\right)\right)}^{3}}}\\ \end{array}\]
\frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.00726441819999999999 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 5.0640340000000002 \cdot 10^{-4} \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 1.789971 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.77154710189999998 \cdot \left(x \cdot x\right)\right) + 0.29097386390000002 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.069455576099999999 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.014000544199999999 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 8.32794500000000044 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 1.789971 \cdot 10^{-4}\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x
↓
\begin{array}{l}
\mathbf{if}\;x \le -1964.48217056806675 \lor \neg \left(x \le 634.93208581281988\right):\\
\;\;\;\;\mathsf{fma}\left(0.25141790006653753, \frac{1}{{x}^{3}}, \mathsf{fma}\left(0.1529819634592933, \frac{1}{{x}^{5}}, 0.5 \cdot \frac{1}{x}\right)\right)\\

\mathbf{else}:\\
\;\;\;\;x \cdot \sqrt[3]{\frac{{\left(\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}\right)}^{3}}{{\left(\mathsf{fma}\left(\left(x \cdot x\right) \cdot 0.00726441819999999999, \left(x \cdot x\right) \cdot 0.00726441819999999999 - 0.042406060400000001, 0.042406060400000001 \cdot 0.042406060400000001\right)\right)}^{3}} \cdot \frac{{\left(\mathsf{fma}\left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999 - 0.042406060400000001\right) + 0.042406060400000001 \cdot 0.042406060400000001, {\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - {\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)\right)\right)\right)}^{3}}{{\left(\mathsf{fma}\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot {\left(x \cdot x\right)}^{4}, \mathsf{fma}\left(x, x \cdot 1.789971 \cdot 10^{-4}, 5.0640340000000002 \cdot 10^{-4}\right), \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - {\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)\right)\right)}^{3}}}\\

\end{array}
double f(double x) {
        double r192226 = 1.0;
        double r192227 = 0.1049934947;
        double r192228 = x;
        double r192229 = r192228 * r192228;
        double r192230 = r192227 * r192229;
        double r192231 = r192226 + r192230;
        double r192232 = 0.0424060604;
        double r192233 = r192229 * r192229;
        double r192234 = r192232 * r192233;
        double r192235 = r192231 + r192234;
        double r192236 = 0.0072644182;
        double r192237 = r192233 * r192229;
        double r192238 = r192236 * r192237;
        double r192239 = r192235 + r192238;
        double r192240 = 0.0005064034;
        double r192241 = r192237 * r192229;
        double r192242 = r192240 * r192241;
        double r192243 = r192239 + r192242;
        double r192244 = 0.0001789971;
        double r192245 = r192241 * r192229;
        double r192246 = r192244 * r192245;
        double r192247 = r192243 + r192246;
        double r192248 = 0.7715471019;
        double r192249 = r192248 * r192229;
        double r192250 = r192226 + r192249;
        double r192251 = 0.2909738639;
        double r192252 = r192251 * r192233;
        double r192253 = r192250 + r192252;
        double r192254 = 0.0694555761;
        double r192255 = r192254 * r192237;
        double r192256 = r192253 + r192255;
        double r192257 = 0.0140005442;
        double r192258 = r192257 * r192241;
        double r192259 = r192256 + r192258;
        double r192260 = 0.0008327945;
        double r192261 = r192260 * r192245;
        double r192262 = r192259 + r192261;
        double r192263 = 2.0;
        double r192264 = r192263 * r192244;
        double r192265 = r192245 * r192229;
        double r192266 = r192264 * r192265;
        double r192267 = r192262 + r192266;
        double r192268 = r192247 / r192267;
        double r192269 = r192268 * r192228;
        return r192269;
}
↓
double f(double x) {
        double r192270 = x;
        double r192271 = -1964.4821705680667;
        bool r192272 = r192270 <= r192271;
        double r192273 = 634.9320858128199;
        bool r192274 = r192270 <= r192273;
        double r192275 = !r192274;
        bool r192276 = r192272 || r192275;
        double r192277 = 0.2514179000665375;
        double r192278 = 1.0;
        double r192279 = 3.0;
        double r192280 = pow(r192270, r192279);
        double r192281 = r192278 / r192280;
        double r192282 = 0.15298196345929327;
        double r192283 = 5.0;
        double r192284 = pow(r192270, r192283);
        double r192285 = r192278 / r192284;
        double r192286 = 0.5;
        double r192287 = r192278 / r192270;
        double r192288 = r192286 * r192287;
        double r192289 = fma(r192282, r192285, r192288);
        double r192290 = fma(r192277, r192281, r192289);
        double r192291 = r192270 * r192270;
        double r192292 = pow(r192291, r192279);
        double r192293 = r192292 * r192280;
        double r192294 = r192270 * r192293;
        double r192295 = 0.0008327945;
        double r192296 = 2.0;
        double r192297 = 0.0001789971;
        double r192298 = r192296 * r192297;
        double r192299 = r192291 * r192298;
        double r192300 = r192295 + r192299;
        double r192301 = r192294 * r192300;
        double r192302 = 0.2909738639;
        double r192303 = r192302 * r192270;
        double r192304 = 0.7715471019;
        double r192305 = r192304 * r192270;
        double r192306 = 1.0;
        double r192307 = fma(r192305, r192270, r192306);
        double r192308 = fma(r192303, r192280, r192307);
        double r192309 = r192301 + r192308;
        double r192310 = 6.0;
        double r192311 = pow(r192270, r192310);
        double r192312 = 0.0694555761;
        double r192313 = 0.0140005442;
        double r192314 = r192291 * r192313;
        double r192315 = r192312 + r192314;
        double r192316 = r192311 * r192315;
        double r192317 = r192309 + r192316;
        double r192318 = r192278 / r192317;
        double r192319 = pow(r192318, r192279);
        double r192320 = 0.0072644182;
        double r192321 = r192291 * r192320;
        double r192322 = 0.0424060604;
        double r192323 = r192321 - r192322;
        double r192324 = r192322 * r192322;
        double r192325 = fma(r192321, r192323, r192324);
        double r192326 = pow(r192325, r192279);
        double r192327 = r192319 / r192326;
        double r192328 = r192321 * r192323;
        double r192329 = r192328 + r192324;
        double r192330 = 4.0;
        double r192331 = pow(r192291, r192330);
        double r192332 = 0.0005064034;
        double r192333 = r192291 * r192297;
        double r192334 = r192332 + r192333;
        double r192335 = r192331 * r192334;
        double r192336 = pow(r192335, r192279);
        double r192337 = 0.1049934947;
        double r192338 = r192337 * r192270;
        double r192339 = fma(r192338, r192270, r192306);
        double r192340 = pow(r192339, r192279);
        double r192341 = r192336 + r192340;
        double r192342 = pow(r192270, r192330);
        double r192343 = pow(r192322, r192279);
        double r192344 = pow(r192321, r192279);
        double r192345 = r192343 + r192344;
        double r192346 = r192342 * r192345;
        double r192347 = r192339 - r192335;
        double r192348 = r192339 * r192347;
        double r192349 = r192335 * r192335;
        double r192350 = r192348 + r192349;
        double r192351 = r192346 * r192350;
        double r192352 = fma(r192329, r192341, r192351);
        double r192353 = pow(r192352, r192279);
        double r192354 = r192335 * r192331;
        double r192355 = r192270 * r192297;
        double r192356 = fma(r192270, r192355, r192332);
        double r192357 = fma(r192354, r192356, r192348);
        double r192358 = pow(r192357, r192279);
        double r192359 = r192353 / r192358;
        double r192360 = r192327 * r192359;
        double r192361 = cbrt(r192360);
        double r192362 = r192270 * r192361;
        double r192363 = r192276 ? r192290 : r192362;
        return r192363;
}

Error

Bits error versus x

Derivation

  1. Split input into 2 regimes

  2. if x < -1964.4821705680667 or 634.9320858128199 < x

    1. Initial program 59.4

      \[\frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.00726441819999999999 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 5.0640340000000002 \cdot 10^{-4} \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 1.789971 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.77154710189999998 \cdot \left(x \cdot x\right)\right) + 0.29097386390000002 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.069455576099999999 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.014000544199999999 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 8.32794500000000044 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 1.789971 \cdot 10^{-4}\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x\]

    2. Simplified59.3

      \[\leadsto \color{blue}{\frac{x}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right) + \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right) + {x}^{4} \cdot \left(0.042406060400000001 + \left(x \cdot x\right) \cdot 0.00726441819999999999\right)}}}\]

    3. Taylor expanded around inf 0.0

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

    4. Simplified0.0

      \[\leadsto \color{blue}{\mathsf{fma}\left(0.25141790006653753, \frac{1}{{x}^{3}}, \mathsf{fma}\left(0.1529819634592933, \frac{1}{{x}^{5}}, 0.5 \cdot \frac{1}{x}\right)\right)}\]

    if -1964.4821705680667 < x < 634.9320858128199

    1. Initial program 0.0

      \[\frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.00726441819999999999 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 5.0640340000000002 \cdot 10^{-4} \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 1.789971 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.77154710189999998 \cdot \left(x \cdot x\right)\right) + 0.29097386390000002 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.069455576099999999 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.014000544199999999 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 8.32794500000000044 \cdot 10^{-4} \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 1.789971 \cdot 10^{-4}\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x\]

    2. Simplified0.0

      \[\leadsto \color{blue}{\frac{x}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right) + \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right) + {x}^{4} \cdot \left(0.042406060400000001 + \left(x \cdot x\right) \cdot 0.00726441819999999999\right)}}}\]
    3. Using strategy rm

    4. Applied div-inv0.0

      \[\leadsto \color{blue}{x \cdot \frac{1}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right) + \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right) + {x}^{4} \cdot \left(0.042406060400000001 + \left(x \cdot x\right) \cdot 0.00726441819999999999\right)}}}\]
    5. Using strategy rm

    6. Applied flip3-+0.0

      \[\leadsto x \cdot \frac{1}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right) + \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right) + {x}^{4} \cdot \color{blue}{\frac{{0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}}{0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)}}}}\]

    7. Applied associate-*r/0.0

      \[\leadsto x \cdot \frac{1}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right) + \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right) + \color{blue}{\frac{{x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)}{0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)}}}}\]

    8. Applied flip3-+0.0

      \[\leadsto x \cdot \frac{1}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\color{blue}{\frac{{\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}}{\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}} + \frac{{x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)}{0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)}}}\]

    9. Applied frac-add0.0

      \[\leadsto x \cdot \frac{1}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\color{blue}{\frac{\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) + \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)}{\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)}}}}\]

    10. Applied associate-/r/0.0

      \[\leadsto x \cdot \frac{1}{\color{blue}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) + \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)} \cdot \left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right)}}\]

    11. Applied associate-/r*0.0

      \[\leadsto x \cdot \color{blue}{\frac{\frac{1}{\frac{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}{\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) + \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)}}}{\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)}}\]

    12. Simplified0.0

      \[\leadsto x \cdot \frac{\color{blue}{\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)} \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)}}{\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)}\]
    13. Using strategy rm

    14. Applied add-cbrt-cube0.0

      \[\leadsto x \cdot \frac{\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)} \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)}{\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \color{blue}{\sqrt[3]{\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)}}}\]

    15. Applied add-cbrt-cube0.0

      \[\leadsto x \cdot \frac{\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)} \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)}{\color{blue}{\sqrt[3]{\left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)}} \cdot \sqrt[3]{\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)}}\]

    16. Applied cbrt-unprod0.0

      \[\leadsto x \cdot \frac{\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)} \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)}{\color{blue}{\sqrt[3]{\left(\left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right)}}}\]

    17. Applied add-cbrt-cube0.0

      \[\leadsto x \cdot \frac{\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)} \cdot \color{blue}{\sqrt[3]{\left(\mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)}}}{\sqrt[3]{\left(\left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right)}}\]

    18. Applied add-cbrt-cube0.0

      \[\leadsto x \cdot \frac{\frac{1}{\color{blue}{\sqrt[3]{\left(\left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)}}} \cdot \sqrt[3]{\left(\mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)}}{\sqrt[3]{\left(\left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right)}}\]

    19. Applied add-cbrt-cube0.0

      \[\leadsto x \cdot \frac{\frac{\color{blue}{\sqrt[3]{\left(1 \cdot 1\right) \cdot 1}}}{\sqrt[3]{\left(\left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)}} \cdot \sqrt[3]{\left(\mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)}}{\sqrt[3]{\left(\left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right)}}\]

    20. Applied cbrt-undiv0.0

      \[\leadsto x \cdot \frac{\color{blue}{\sqrt[3]{\frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)}}} \cdot \sqrt[3]{\left(\mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)}}{\sqrt[3]{\left(\left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right)}}\]

    21. Applied cbrt-unprod0.0

      \[\leadsto x \cdot \frac{\color{blue}{\sqrt[3]{\frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)} \cdot \left(\left(\mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)\right)}}}{\sqrt[3]{\left(\left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right)}}\]

    22. Applied cbrt-undiv0.0

      \[\leadsto x \cdot \color{blue}{\sqrt[3]{\frac{\frac{\left(1 \cdot 1\right) \cdot 1}{\left(\left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)\right) \cdot \left(\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)\right)} \cdot \left(\left(\mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)\right) \cdot \mathsf{fma}\left({\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \mathsf{fma}\left(0.042406060400000001, 0.042406060400000001, \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right), \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right)\right)\right)}{\left(\left(\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)\right)\right) \cdot \left(\left(\left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right) \cdot \left(0.042406060400000001 \cdot 0.042406060400000001 + \left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) - 0.042406060400000001 \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)\right)\right)\right)}}}\]

    23. Simplified0.0

      \[\leadsto x \cdot \sqrt[3]{\color{blue}{\frac{{\left(\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}\right)}^{3}}{{\left(\mathsf{fma}\left(\left(x \cdot x\right) \cdot 0.00726441819999999999, \left(x \cdot x\right) \cdot 0.00726441819999999999 - 0.042406060400000001, 0.042406060400000001 \cdot 0.042406060400000001\right)\right)}^{3}} \cdot \frac{{\left(\mathsf{fma}\left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999 - 0.042406060400000001\right) + 0.042406060400000001 \cdot 0.042406060400000001, {\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - {\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)\right)\right)\right)}^{3}}{{\left(\mathsf{fma}\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot {\left(x \cdot x\right)}^{4}, \mathsf{fma}\left(x, x \cdot 1.789971 \cdot 10^{-4}, 5.0640340000000002 \cdot 10^{-4}\right), \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - {\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)\right)\right)}^{3}}}}\]
  3. Recombined 2 regimes into one program.

  4. Final simplification0.0

    \[\leadsto \begin{array}{l} \mathbf{if}\;x \le -1964.48217056806675 \lor \neg \left(x \le 634.93208581281988\right):\\ \;\;\;\;\mathsf{fma}\left(0.25141790006653753, \frac{1}{{x}^{3}}, \mathsf{fma}\left(0.1529819634592933, \frac{1}{{x}^{5}}, 0.5 \cdot \frac{1}{x}\right)\right)\\ \mathbf{else}:\\ \;\;\;\;x \cdot \sqrt[3]{\frac{{\left(\frac{1}{\left(\left(x \cdot \left({\left(x \cdot x\right)}^{3} \cdot {x}^{3}\right)\right) \cdot \left(8.32794500000000044 \cdot 10^{-4} + \left(x \cdot x\right) \cdot \left(2 \cdot 1.789971 \cdot 10^{-4}\right)\right) + \mathsf{fma}\left(0.29097386390000002 \cdot x, {x}^{3}, \mathsf{fma}\left(0.77154710189999998 \cdot x, x, 1\right)\right)\right) + {x}^{6} \cdot \left(0.069455576099999999 + \left(x \cdot x\right) \cdot 0.014000544199999999\right)}\right)}^{3}}{{\left(\mathsf{fma}\left(\left(x \cdot x\right) \cdot 0.00726441819999999999, \left(x \cdot x\right) \cdot 0.00726441819999999999 - 0.042406060400000001, 0.042406060400000001 \cdot 0.042406060400000001\right)\right)}^{3}} \cdot \frac{{\left(\mathsf{fma}\left(\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right) \cdot \left(\left(x \cdot x\right) \cdot 0.00726441819999999999 - 0.042406060400000001\right) + 0.042406060400000001 \cdot 0.042406060400000001, {\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)}^{3} + {\left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right)\right)}^{3}, \left({x}^{4} \cdot \left({0.042406060400000001}^{3} + {\left(\left(x \cdot x\right) \cdot 0.00726441819999999999\right)}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - {\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) + \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot \left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)\right)\right)\right)}^{3}}{{\left(\mathsf{fma}\left(\left({\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right) \cdot {\left(x \cdot x\right)}^{4}, \mathsf{fma}\left(x, x \cdot 1.789971 \cdot 10^{-4}, 5.0640340000000002 \cdot 10^{-4}\right), \mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) \cdot \left(\mathsf{fma}\left(0.1049934947 \cdot x, x, 1\right) - {\left(x \cdot x\right)}^{4} \cdot \left(5.0640340000000002 \cdot 10^{-4} + \left(x \cdot x\right) \cdot 1.789971 \cdot 10^{-4}\right)\right)\right)\right)}^{3}}}\\ \end{array}\]

Reproduce

herbie shell --seed 2020049 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.dawson"
  :precision binary64
  (* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))