Average Error: 2.0 → 0.7
Time: 24.8s
Precision: 64
\[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}\]
↓
\[\frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y} \cdot \sqrt[3]{y}} \cdot \left(\frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\right)\]
\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}
↓
\frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y} \cdot \sqrt[3]{y}} \cdot \left(\frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\right)
double f(double x, double y, double z, double t, double a, double b) {
        double r139999 = x;
        double r140000 = y;
        double r140001 = z;
        double r140002 = log(r140001);
        double r140003 = r140000 * r140002;
        double r140004 = t;
        double r140005 = 1.0;
        double r140006 = r140004 - r140005;
        double r140007 = a;
        double r140008 = log(r140007);
        double r140009 = r140006 * r140008;
        double r140010 = r140003 + r140009;
        double r140011 = b;
        double r140012 = r140010 - r140011;
        double r140013 = exp(r140012);
        double r140014 = r139999 * r140013;
        double r140015 = r140014 / r140000;
        return r140015;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r140016 = 1.0;
        double r140017 = a;
        double r140018 = cbrt(r140017);
        double r140019 = r140018 * r140018;
        double r140020 = sqrt(r140019);
        double r140021 = r140016 / r140020;
        double r140022 = 1.0;
        double r140023 = pow(r140021, r140022);
        double r140024 = y;
        double r140025 = z;
        double r140026 = r140016 / r140025;
        double r140027 = log(r140026);
        double r140028 = r140024 * r140027;
        double r140029 = r140016 / r140017;
        double r140030 = log(r140029);
        double r140031 = t;
        double r140032 = r140030 * r140031;
        double r140033 = b;
        double r140034 = r140032 + r140033;
        double r140035 = r140028 + r140034;
        double r140036 = exp(r140035);
        double r140037 = sqrt(r140036);
        double r140038 = cbrt(r140037);
        double r140039 = r140038 * r140038;
        double r140040 = r140023 / r140039;
        double r140041 = cbrt(r140024);
        double r140042 = r140041 * r140041;
        double r140043 = r140040 / r140042;
        double r140044 = sqrt(r140018);
        double r140045 = r140016 / r140044;
        double r140046 = pow(r140045, r140022);
        double r140047 = r140046 / r140038;
        double r140048 = r140047 / r140041;
        double r140049 = sqrt(r140017);
        double r140050 = r140016 / r140049;
        double r140051 = pow(r140050, r140022);
        double r140052 = r140051 / r140037;
        double r140053 = x;
        double r140054 = r140052 * r140053;
        double r140055 = r140048 * r140054;
        double r140056 = r140043 * r140055;
        return r140056;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Bits error versus a

Bits error versus b

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 2.0

    \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}\]

  2. Taylor expanded around inf 2.0

    \[\leadsto \color{blue}{\frac{x \cdot e^{1 \cdot \log \left(\frac{1}{a}\right) - \left(y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)\right)}}{y}}\]

  3. Simplified6.2

    \[\leadsto \color{blue}{\frac{\frac{{\left(\frac{1}{a}\right)}^{1}}{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}{\frac{y}{x}}}\]
  4. Using strategy rm

  5. Applied div-inv6.2

    \[\leadsto \frac{\frac{{\left(\frac{1}{a}\right)}^{1}}{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}{\color{blue}{y \cdot \frac{1}{x}}}\]

  6. Applied add-sqr-sqrt6.2

    \[\leadsto \frac{\frac{{\left(\frac{1}{a}\right)}^{1}}{\color{blue}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{y \cdot \frac{1}{x}}\]

  7. Applied add-sqr-sqrt6.2

    \[\leadsto \frac{\frac{{\left(\frac{1}{\color{blue}{\sqrt{a} \cdot \sqrt{a}}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{y \cdot \frac{1}{x}}\]

  8. Applied *-un-lft-identity6.2

    \[\leadsto \frac{\frac{{\left(\frac{\color{blue}{1 \cdot 1}}{\sqrt{a} \cdot \sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{y \cdot \frac{1}{x}}\]

  9. Applied times-frac6.2

    \[\leadsto \frac{\frac{{\color{blue}{\left(\frac{1}{\sqrt{a}} \cdot \frac{1}{\sqrt{a}}\right)}}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{y \cdot \frac{1}{x}}\]

  10. Applied unpow-prod-down6.2

    \[\leadsto \frac{\frac{\color{blue}{{\left(\frac{1}{\sqrt{a}}\right)}^{1} \cdot {\left(\frac{1}{\sqrt{a}}\right)}^{1}}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{y \cdot \frac{1}{x}}\]

  11. Applied times-frac6.2

    \[\leadsto \frac{\color{blue}{\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{y \cdot \frac{1}{x}}\]

  12. Applied times-frac1.0

    \[\leadsto \color{blue}{\frac{\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{y} \cdot \frac{\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{\frac{1}{x}}}\]

  13. Simplified1.0

    \[\leadsto \frac{\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{y} \cdot \color{blue}{\left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)}\]
  14. Using strategy rm

  15. Applied add-cube-cbrt1.2

    \[\leadsto \frac{\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{\color{blue}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  16. Applied add-cube-cbrt1.2

    \[\leadsto \frac{\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\color{blue}{\left(\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  17. Applied add-cube-cbrt1.2

    \[\leadsto \frac{\frac{{\left(\frac{1}{\sqrt{\color{blue}{\left(\sqrt[3]{a} \cdot \sqrt[3]{a}\right) \cdot \sqrt[3]{a}}}}\right)}^{1}}{\left(\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  18. Applied sqrt-prod1.2

    \[\leadsto \frac{\frac{{\left(\frac{1}{\color{blue}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}} \cdot \sqrt{\sqrt[3]{a}}}}\right)}^{1}}{\left(\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  19. Applied *-un-lft-identity1.2

    \[\leadsto \frac{\frac{{\left(\frac{\color{blue}{1 \cdot 1}}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}} \cdot \sqrt{\sqrt[3]{a}}}\right)}^{1}}{\left(\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  20. Applied times-frac1.2

    \[\leadsto \frac{\frac{{\color{blue}{\left(\frac{1}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}}} \cdot \frac{1}{\sqrt{\sqrt[3]{a}}}\right)}}^{1}}{\left(\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  21. Applied unpow-prod-down1.2

    \[\leadsto \frac{\frac{\color{blue}{{\left(\frac{1}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}}}\right)}^{1} \cdot {\left(\frac{1}{\sqrt{\sqrt[3]{a}}}\right)}^{1}}}{\left(\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  22. Applied times-frac1.2

    \[\leadsto \frac{\color{blue}{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}} \cdot \frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  23. Applied times-frac1.2

    \[\leadsto \color{blue}{\left(\frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y} \cdot \sqrt[3]{y}} \cdot \frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}}\right)} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\]

  24. Applied associate-*l*0.7

    \[\leadsto \color{blue}{\frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y} \cdot \sqrt[3]{y}} \cdot \left(\frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\right)}\]

  25. Final simplification0.7

    \[\leadsto \frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a} \cdot \sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y} \cdot \sqrt[3]{y}} \cdot \left(\frac{\frac{{\left(\frac{1}{\sqrt{\sqrt[3]{a}}}\right)}^{1}}{\sqrt[3]{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}} \cdot \left(\frac{{\left(\frac{1}{\sqrt{a}}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot x\right)\right)\]

Reproduce

herbie shell --seed 2019353 
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2"
  :precision binary64
  (/ (* x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b))) y))