From Warwick Tucker's Validated Numerics

Average Error: 58.1 → 58.1

Time: 9.5s

Precision: 64

• Falling back on racket egraph because egg-herbie package not installed

Math

\[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]

↓

\[\frac{\mathsf{fma}\left(2 \cdot 33096, \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), \left(77617 \cdot 77617\right) \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) + \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(333.75 \cdot {33096}^{6}\right), 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{\mathsf{expm1}\left(\mathsf{log1p}\left(33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)\right)\right)}\]

C

double f() {
        double r77202 = 333.75;
        double r77203 = 33096.0;
        double r77204 = 6.0;
        double r77205 = pow(r77203, r77204);
        double r77206 = r77202 * r77205;
        double r77207 = 77617.0;
        double r77208 = r77207 * r77207;
        double r77209 = 11.0;
        double r77210 = r77209 * r77208;
        double r77211 = r77203 * r77203;
        double r77212 = r77210 * r77211;
        double r77213 = -r77205;
        double r77214 = r77212 + r77213;
        double r77215 = -121.0;
        double r77216 = 4.0;
        double r77217 = pow(r77203, r77216);
        double r77218 = r77215 * r77217;
        double r77219 = r77214 + r77218;
        double r77220 = -2.0;
        double r77221 = r77219 + r77220;
        double r77222 = r77208 * r77221;
        double r77223 = r77206 + r77222;
        double r77224 = 5.5;
        double r77225 = 8.0;
        double r77226 = pow(r77203, r77225);
        double r77227 = r77224 * r77226;
        double r77228 = r77223 + r77227;
        double r77229 = 2.0;
        double r77230 = r77229 * r77203;
        double r77231 = r77207 / r77230;
        double r77232 = r77228 + r77231;
        return r77232;
}

↓

double f() {
        double r77233 = 2.0;
        double r77234 = 33096.0;
        double r77235 = r77233 * r77234;
        double r77236 = 4.0;
        double r77237 = pow(r77234, r77236);
        double r77238 = -121.0;
        double r77239 = -2.0;
        double r77240 = fma(r77237, r77238, r77239);
        double r77241 = 11.0;
        double r77242 = 77617.0;
        double r77243 = r77242 * r77242;
        double r77244 = r77241 * r77243;
        double r77245 = r77234 * r77234;
        double r77246 = r77244 * r77245;
        double r77247 = 6.0;
        double r77248 = pow(r77234, r77247);
        double r77249 = r77246 - r77248;
        double r77250 = r77240 + r77249;
        double r77251 = 333.75;
        double r77252 = r77251 * r77248;
        double r77253 = fma(r77250, r77243, r77252);
        double r77254 = r77253 * r77253;
        double r77255 = r77243 * r77254;
        double r77256 = 5.5;
        double r77257 = 8.0;
        double r77258 = pow(r77234, r77257);
        double r77259 = r77256 * r77258;
        double r77260 = 3.0;
        double r77261 = pow(r77259, r77260);
        double r77262 = fma(r77250, r77255, r77261);
        double r77263 = r77254 * r77252;
        double r77264 = r77262 + r77263;
        double r77265 = -r77253;
        double r77266 = fma(r77256, r77258, r77265);
        double r77267 = fma(r77259, r77266, r77254);
        double r77268 = r77242 * r77267;
        double r77269 = fma(r77235, r77264, r77268);
        double r77270 = r77233 * r77267;
        double r77271 = r77234 * r77270;
        double r77272 = log1p(r77271);
        double r77273 = expm1(r77272);
        double r77274 = r77269 / r77273;
        return r77274;
}

Derivation

1. Initial program 58.1

   \[\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + 5.5 \cdot {33096}^{8}\right) + \frac{77617}{2 \cdot 33096}\]
2. Using strategy rm

3. Applied flip3-+ 58.1

   \[\leadsto \color{blue}{\frac{{\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}}{\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right) - \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)}} + \frac{77617}{2 \cdot 33096}\]

4. Applied frac-add 58.1

   \[\leadsto \color{blue}{\frac{\left({\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right)}^{3} + {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) \cdot \left(2 \cdot 33096\right) + \left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right) - \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)\right) \cdot 77617}{\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right) - \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}}\]

5. Simplified 58.1

   \[\leadsto \frac{\color{blue}{\mathsf{fma}\left(2 \cdot 33096, {\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)}^{3}, 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}}{\left(\left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) + \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right) - \left(333.75 \cdot {33096}^{6} + \left(77617 \cdot 77617\right) \cdot \left(\left(\left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) + \left(-{33096}^{6}\right)\right) + -121 \cdot {33096}^{4}\right) + -2\right)\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)\right) \cdot \left(2 \cdot 33096\right)}\]

6. Simplified 58.1

   \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, {\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)}^{3}, 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{\color{blue}{33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}}\]
7. Using strategy rm

8. Applied add-cbrt-cube 58.2

   \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, {\left(5.5 \cdot {33096}^{8}\right)}^{3} + {\color{blue}{\left(\sqrt[3]{\left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)}\right)}}^{3}, 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}\]

9. Applied rem-cube-cbrt 58.1

   \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, {\left(5.5 \cdot {33096}^{8}\right)}^{3} + \color{blue}{\left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)}, 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}\]
10. Using strategy rm

11. Applied fma-udef 58.1

    \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, {\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \color{blue}{\left(\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) \cdot \left(77617 \cdot 77617\right) + 333.75 \cdot {33096}^{6}\right)}, 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}\]

12. Applied distribute-lft-in 58.1

    \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, {\left(5.5 \cdot {33096}^{8}\right)}^{3} + \color{blue}{\left(\left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) \cdot \left(77617 \cdot 77617\right)\right) + \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(333.75 \cdot {33096}^{6}\right)\right)}, 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}\]

13. Applied associate-+r+ 58.1

    \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, \color{blue}{\left({\left(5.5 \cdot {33096}^{8}\right)}^{3} + \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right) \cdot \left(77617 \cdot 77617\right)\right)\right) + \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(333.75 \cdot {33096}^{6}\right)}, 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}\]

14. Simplified 58.1

    \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, \color{blue}{\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), \left(77617 \cdot 77617\right) \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right)} + \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(333.75 \cdot {33096}^{6}\right), 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}\]
15. Using strategy rm

16. Applied expm1-log1p-u 58.1

    \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), \left(77617 \cdot 77617\right) \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) + \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(333.75 \cdot {33096}^{6}\right), 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{\color{blue}{\mathsf{expm1}\left(\mathsf{log1p}\left(33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)\right)\right)}}\]

17. Final simplification 58.1

    \[\leadsto \frac{\mathsf{fma}\left(2 \cdot 33096, \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), \left(77617 \cdot 77617\right) \cdot \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), {\left(5.5 \cdot {33096}^{8}\right)}^{3}\right) + \left(\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right) \cdot \left(333.75 \cdot {33096}^{6}\right), 77617 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)}{\mathsf{expm1}\left(\mathsf{log1p}\left(33096 \cdot \left(2 \cdot \mathsf{fma}\left(5.5 \cdot {33096}^{8}, \mathsf{fma}\left(5.5, {33096}^{8}, -\mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left({33096}^{4}, -121, -2\right) + \left(\left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), 77617 \cdot 77617, 333.75 \cdot {33096}^{6}\right)\right)\right)\right)\right)}\]

Reproduce

herbie shell --seed 2020042 +o rules:numerics
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  :precision binary64
  (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))))