From Warwick Tucker's Validated Numerics

Average Error: 58.1 → 58.0

Time: 23.9s

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{\mathsf{fma}\left(77617 \cdot 77617, -2 + \mathsf{fma}\left(-121, {33096}^{4}, \left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), \mathsf{fma}\left({33096}^{6}, 333.75, \mathsf{fma}\left(5.5, {33096}^{8}, \frac{77617}{2 \cdot 33096}\right)\right)\right) \cdot \left(\frac{{\left({33096}^{8} \cdot 5.5\right)}^{3} + {\left(\mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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}}{\mathsf{fma}\left({33096}^{\left(2 \cdot 8\right)}, 5.5 \cdot 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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 \left(\mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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) - {33096}^{8} \cdot 5.5\right)\right)} - \frac{77617}{2 \cdot 33096}\right)}{\frac{\mathsf{fma}\left({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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(\sqrt[3]{\frac{77617}{2 \cdot 33096}}\right)}^{6}}{\mathsf{fma}\left(77617 \cdot \left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right), 77617, \mathsf{fma}\left({33096}^{6}, 333.75, \mathsf{fma}\left(5.5, {33096}^{8}, \frac{77617}{2 \cdot 33096}\right)\right)\right)}}\]

C

double f() {
        double r96917 = 333.75;
        double r96918 = 33096.0;
        double r96919 = 6.0;
        double r96920 = pow(r96918, r96919);
        double r96921 = r96917 * r96920;
        double r96922 = 77617.0;
        double r96923 = r96922 * r96922;
        double r96924 = 11.0;
        double r96925 = r96924 * r96923;
        double r96926 = r96918 * r96918;
        double r96927 = r96925 * r96926;
        double r96928 = -r96920;
        double r96929 = r96927 + r96928;
        double r96930 = -121.0;
        double r96931 = 4.0;
        double r96932 = pow(r96918, r96931);
        double r96933 = r96930 * r96932;
        double r96934 = r96929 + r96933;
        double r96935 = -2.0;
        double r96936 = r96934 + r96935;
        double r96937 = r96923 * r96936;
        double r96938 = r96921 + r96937;
        double r96939 = 5.5;
        double r96940 = 8.0;
        double r96941 = pow(r96918, r96940);
        double r96942 = r96939 * r96941;
        double r96943 = r96938 + r96942;
        double r96944 = 2.0;
        double r96945 = r96944 * r96918;
        double r96946 = r96922 / r96945;
        double r96947 = r96943 + r96946;
        return r96947;
}

↓

double f() {
        double r96948 = 77617.0;
        double r96949 = r96948 * r96948;
        double r96950 = -2.0;
        double r96951 = -121.0;
        double r96952 = 33096.0;
        double r96953 = 4.0;
        double r96954 = pow(r96952, r96953);
        double r96955 = 11.0;
        double r96956 = r96955 * r96949;
        double r96957 = r96952 * r96952;
        double r96958 = r96956 * r96957;
        double r96959 = 6.0;
        double r96960 = pow(r96952, r96959);
        double r96961 = r96958 - r96960;
        double r96962 = fma(r96951, r96954, r96961);
        double r96963 = r96950 + r96962;
        double r96964 = 333.75;
        double r96965 = 5.5;
        double r96966 = 8.0;
        double r96967 = pow(r96952, r96966);
        double r96968 = 2.0;
        double r96969 = r96968 * r96952;
        double r96970 = r96948 / r96969;
        double r96971 = fma(r96965, r96967, r96970);
        double r96972 = fma(r96960, r96964, r96971);
        double r96973 = fma(r96949, r96963, r96972);
        double r96974 = r96967 * r96965;
        double r96975 = 3.0;
        double r96976 = pow(r96974, r96975);
        double r96977 = r96964 * r96960;
        double r96978 = fma(r96963, r96949, r96977);
        double r96979 = pow(r96978, r96975);
        double r96980 = r96976 + r96979;
        double r96981 = 2.0;
        double r96982 = r96981 * r96966;
        double r96983 = pow(r96952, r96982);
        double r96984 = r96965 * r96965;
        double r96985 = r96978 - r96974;
        double r96986 = r96978 * r96985;
        double r96987 = fma(r96983, r96984, r96986);
        double r96988 = r96980 / r96987;
        double r96989 = r96988 - r96970;
        double r96990 = r96973 * r96989;
        double r96991 = fma(r96967, r96965, r96978);
        double r96992 = r96991 * r96991;
        double r96993 = cbrt(r96970);
        double r96994 = 6.0;
        double r96995 = pow(r96993, r96994);
        double r96996 = r96992 - r96995;
        double r96997 = r96948 * r96963;
        double r96998 = fma(r96997, r96948, r96972);
        double r96999 = r96996 / r96998;
        double r97000 = r96990 / r96999;
        return r97000;
}

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(\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) \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) + 5.5 \cdot {33096}^{8}\right) - \frac{77617}{2 \cdot 33096} \cdot \frac{77617}{2 \cdot 33096}}{\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}}}\]

4. Simplified 58.1

   \[\leadsto \frac{\color{blue}{\mathsf{fma}\left(77617 \cdot 77617, -2 + \mathsf{fma}\left(-121, {33096}^{4}, \left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), \mathsf{fma}\left({33096}^{6}, 333.75, \mathsf{fma}\left(5.5, {33096}^{8}, \frac{77617}{2 \cdot 33096}\right)\right)\right) \cdot \left(\mathsf{fma}\left({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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) - \frac{77617}{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) + 5.5 \cdot {33096}^{8}\right) - \frac{77617}{2 \cdot 33096}}\]

5. Simplified 58.1

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

7. Applied flip-- 58.1

   \[\leadsto \frac{\mathsf{fma}\left(77617 \cdot 77617, -2 + \mathsf{fma}\left(-121, {33096}^{4}, \left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), \mathsf{fma}\left({33096}^{6}, 333.75, \mathsf{fma}\left(5.5, {33096}^{8}, \frac{77617}{2 \cdot 33096}\right)\right)\right) \cdot \left(\mathsf{fma}\left({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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) - \frac{77617}{2 \cdot 33096}\right)}{\color{blue}{\frac{\mathsf{fma}\left({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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) - \frac{77617}{2 \cdot 33096} \cdot \frac{77617}{2 \cdot 33096}}{\mathsf{fma}\left({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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) + \frac{77617}{2 \cdot 33096}}}}\]

8. Simplified 58.1

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

9. Simplified 58.0

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

11. Applied fma-udef 58.0

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

13. Applied flip3-+ 58.0

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

14. Simplified 58.0

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

15. Final simplification 58.0

    \[\leadsto \frac{\mathsf{fma}\left(77617 \cdot 77617, -2 + \mathsf{fma}\left(-121, {33096}^{4}, \left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right), \mathsf{fma}\left({33096}^{6}, 333.75, \mathsf{fma}\left(5.5, {33096}^{8}, \frac{77617}{2 \cdot 33096}\right)\right)\right) \cdot \left(\frac{{\left({33096}^{8} \cdot 5.5\right)}^{3} + {\left(\mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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}}{\mathsf{fma}\left({33096}^{\left(2 \cdot 8\right)}, 5.5 \cdot 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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 \left(\mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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) - {33096}^{8} \cdot 5.5\right)\right)} - \frac{77617}{2 \cdot 33096}\right)}{\frac{\mathsf{fma}\left({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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({33096}^{8}, 5.5, \mathsf{fma}\left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \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(\sqrt[3]{\frac{77617}{2 \cdot 33096}}\right)}^{6}}{\mathsf{fma}\left(77617 \cdot \left(-2 + \mathsf{fma}\left(-121, {33096}^{4}, \left(11 \cdot \left(77617 \cdot 77617\right)\right) \cdot \left(33096 \cdot 33096\right) - {33096}^{6}\right)\right), 77617, \mathsf{fma}\left({33096}^{6}, 333.75, \mathsf{fma}\left(5.5, {33096}^{8}, \frac{77617}{2 \cdot 33096}\right)\right)\right)}}\]

Reproduce

herbie shell --seed 2019325 +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))))