From Warwick Tucker's Validated Numerics

Average Error: 58.1 → 63.6

Time: 20.8s

Precision: 64

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{e^{\log \left(\frac{\left(\left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(5.5 \cdot \left(5.5 \cdot 5.5\right)\right) \cdot 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056\right) \cdot \left(\left(5.5 \cdot \left(5.5 \cdot 5.5\right)\right) \cdot 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056 + \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right)}{\left(\left(5.5 \cdot 5.5\right) \cdot 2072087668778481942361612104703059945972513386907210959776023202964176896\right) \cdot \left(\left(5.5 \cdot 5.5\right) \cdot 2072087668778481942361612104703059945972513386907210959776023202964176896 + \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right) + \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right) \cdot \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right)}\right)}}{\left(\left(\left(1314174534371215466459037696 \cdot 333.75\right)\right) + -7917111779274712207494296632228773890\right) - 1439474789212538429291115400277262336 \cdot 5.5} + \frac{77617}{66192}\]

C

double f() {
        double r2775104 = 333.75;
        double r2775105 = 33096.0;
        double r2775106 = 6.0;
        double r2775107 = pow(r2775105, r2775106);
        double r2775108 = r2775104 * r2775107;
        double r2775109 = 77617.0;
        double r2775110 = r2775109 * r2775109;
        double r2775111 = 11.0;
        double r2775112 = r2775111 * r2775110;
        double r2775113 = r2775105 * r2775105;
        double r2775114 = r2775112 * r2775113;
        double r2775115 = -r2775107;
        double r2775116 = r2775114 + r2775115;
        double r2775117 = -121.0;
        double r2775118 = 4.0;
        double r2775119 = pow(r2775105, r2775118);
        double r2775120 = r2775117 * r2775119;
        double r2775121 = r2775116 + r2775120;
        double r2775122 = -2.0;
        double r2775123 = r2775121 + r2775122;
        double r2775124 = r2775110 * r2775123;
        double r2775125 = r2775108 + r2775124;
        double r2775126 = 5.5;
        double r2775127 = 8.0;
        double r2775128 = pow(r2775105, r2775127);
        double r2775129 = r2775126 * r2775128;
        double r2775130 = r2775125 + r2775129;
        double r2775131 = 2.0;
        double r2775132 = r2775131 * r2775105;
        double r2775133 = r2775109 / r2775132;
        double r2775134 = r2775130 + r2775133;
        return r2775134;
}

↓

double f() {
        double r2775135 = -7.917111779274712e+36;
        double r2775136 = 1.3141745343712155e+27;
        double r2775137 = 333.75;
        double r2775138 = r2775136 * r2775137;
        double r2775139 = r2775135 + r2775138;
        double r2775140 = r2775139 * r2775139;
        double r2775141 = r2775140 * r2775139;
        double r2775142 = 5.5;
        double r2775143 = r2775142 * r2775142;
        double r2775144 = r2775142 * r2775143;
        double r2775145 = 2.9827179602448054e+108;
        double r2775146 = r2775144 * r2775145;
        double r2775147 = r2775141 - r2775146;
        double r2775148 = r2775146 + r2775141;
        double r2775149 = r2775147 * r2775148;
        double r2775150 = 2.072087668778482e+72;
        double r2775151 = r2775143 * r2775150;
        double r2775152 = r2775151 + r2775140;
        double r2775153 = r2775151 * r2775152;
        double r2775154 = r2775140 * r2775140;
        double r2775155 = r2775153 + r2775154;
        double r2775156 = r2775149 / r2775155;
        double r2775157 = log(r2775156);
        double r2775158 = exp(r2775157);
        double r2775159 = /* ERROR: no posit support in C */;
        double r2775160 = /* ERROR: no posit support in C */;
        double r2775161 = r2775160 + r2775135;
        double r2775162 = 1.4394747892125385e+36;
        double r2775163 = r2775162 * r2775142;
        double r2775164 = r2775161 - r2775163;
        double r2775165 = r2775158 / r2775164;
        double r2775166 = 1.1726039400531787;
        double r2775167 = r2775165 + r2775166;
        return r2775167;
}

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 flip-+ 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) \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(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) - 5.5 \cdot {33096}^{8}}} + \frac{77617}{2 \cdot 33096}\]
4. Using strategy rm

5. Applied add-exp-log 58.1

   \[\leadsto \frac{\color{blue}{e^{\log \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(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\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) - 5.5 \cdot {33096}^{8}} + \frac{77617}{2 \cdot 33096}\]
6. Using strategy rm

7. Applied insert-posit16 58.1

   \[\leadsto \frac{e^{\log \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(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)}}{\left(\color{blue}{\left(\left(333.75 \cdot {33096}^{6}\right)\right)} + \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}} + \frac{77617}{2 \cdot 33096}\]
8. Using strategy rm

9. Applied flip3-- 58.1

   \[\leadsto \frac{e^{\log \color{blue}{\left(\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) \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)\right)}^{3} - {\left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)}^{3}}{\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)\right) \cdot \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)\right) + \left(\left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right) \cdot \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\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)\right) \cdot \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)\right)}\right)}}}{\left(\left(\left(333.75 \cdot {33096}^{6}\right)\right) + \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}} + \frac{77617}{2 \cdot 33096}\]

10. Simplified 58.1

    \[\leadsto \frac{e^{\log \left(\frac{\color{blue}{\left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right)\right) + \left(\left(5.5 \cdot 5.5\right) \cdot 5.5\right) \cdot 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056\right) \cdot \left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right)\right) - \left(\left(5.5 \cdot 5.5\right) \cdot 5.5\right) \cdot 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056\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)\right) \cdot \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)\right) + \left(\left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right) \cdot \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\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)\right) \cdot \left(\left(5.5 \cdot {33096}^{8}\right) \cdot \left(5.5 \cdot {33096}^{8}\right)\right)\right)}\right)}}{\left(\left(\left(333.75 \cdot {33096}^{6}\right)\right) + \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}} + \frac{77617}{2 \cdot 33096}\]

11. Simplified 58.1

    \[\leadsto \frac{e^{\log \left(\frac{\left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right)\right) + \left(\left(5.5 \cdot 5.5\right) \cdot 5.5\right) \cdot 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056\right) \cdot \left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right)\right) - \left(\left(5.5 \cdot 5.5\right) \cdot 5.5\right) \cdot 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056\right)}{\color{blue}{\left(2072087668778481942361612104703059945972513386907210959776023202964176896 \cdot \left(5.5 \cdot 5.5\right) + \left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right)\right) \cdot \left(2072087668778481942361612104703059945972513386907210959776023202964176896 \cdot \left(5.5 \cdot 5.5\right)\right) + \left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right)\right) \cdot \left(\left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(\left(-7917110904691559438276885483785904448 + -874583152769217411148442869442\right) + 1314174534371215466459037696 \cdot 333.75\right)\right)}}\right)}}{\left(\left(\left(333.75 \cdot {33096}^{6}\right)\right) + \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}} + \frac{77617}{2 \cdot 33096}\]

12. Final simplification 63.6

    \[\leadsto \frac{e^{\log \left(\frac{\left(\left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) - \left(5.5 \cdot \left(5.5 \cdot 5.5\right)\right) \cdot 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056\right) \cdot \left(\left(5.5 \cdot \left(5.5 \cdot 5.5\right)\right) \cdot 2982717960244805440196959278257715859509800802206226837608419884111561210238575275846436156793848210502189056 + \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right)}{\left(\left(5.5 \cdot 5.5\right) \cdot 2072087668778481942361612104703059945972513386907210959776023202964176896\right) \cdot \left(\left(5.5 \cdot 5.5\right) \cdot 2072087668778481942361612104703059945972513386907210959776023202964176896 + \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right) + \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right) \cdot \left(\left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right) \cdot \left(-7917111779274712207494296632228773890 + 1314174534371215466459037696 \cdot 333.75\right)\right)}\right)}}{\left(\left(\left(1314174534371215466459037696 \cdot 333.75\right)\right) + -7917111779274712207494296632228773890\right) - 1439474789212538429291115400277262336 \cdot 5.5} + \frac{77617}{66192}\]

Reproduce

herbie shell --seed 2019165 
(FPCore ()
  :name "From Warwick Tucker's Validated Numerics"
  (+ (+ (+ (* 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))))