Average Error: 1.9 → 0.5
Time: 16.5s
Precision: 64
\[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}\]
↓
\[\left(\frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}} \cdot \sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \left|\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}\right|} \cdot \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right)\right) \cdot \frac{\frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}}\]
\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}
↓
\left(\frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}} \cdot \sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\left(\sqrt[3]{y} \cdot \sqrt[3]{y}\right) \cdot \left|\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}\right|} \cdot \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right)\right) \cdot \frac{\frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}}
double f(double x, double y, double z, double t, double a, double b) {
        double r113154 = x;
        double r113155 = y;
        double r113156 = z;
        double r113157 = log(r113156);
        double r113158 = r113155 * r113157;
        double r113159 = t;
        double r113160 = 1.0;
        double r113161 = r113159 - r113160;
        double r113162 = a;
        double r113163 = log(r113162);
        double r113164 = r113161 * r113163;
        double r113165 = r113158 + r113164;
        double r113166 = b;
        double r113167 = r113165 - r113166;
        double r113168 = exp(r113167);
        double r113169 = r113154 * r113168;
        double r113170 = r113169 / r113155;
        return r113170;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r113171 = 1.0;
        double r113172 = cbrt(r113171);
        double r113173 = a;
        double r113174 = r113172 / r113173;
        double r113175 = cbrt(r113174);
        double r113176 = r113175 * r113175;
        double r113177 = 1.0;
        double r113178 = pow(r113176, r113177);
        double r113179 = y;
        double r113180 = cbrt(r113179);
        double r113181 = r113180 * r113180;
        double r113182 = z;
        double r113183 = r113171 / r113182;
        double r113184 = log(r113183);
        double r113185 = r113179 * r113184;
        double r113186 = r113171 / r113173;
        double r113187 = log(r113186);
        double r113188 = t;
        double r113189 = r113187 * r113188;
        double r113190 = b;
        double r113191 = r113189 + r113190;
        double r113192 = r113185 + r113191;
        double r113193 = exp(r113192);
        double r113194 = cbrt(r113193);
        double r113195 = fabs(r113194);
        double r113196 = r113181 * r113195;
        double r113197 = r113178 / r113196;
        double r113198 = x;
        double r113199 = r113172 * r113172;
        double r113200 = r113199 / r113171;
        double r113201 = pow(r113200, r113177);
        double r113202 = sqrt(r113193);
        double r113203 = r113201 / r113202;
        double r113204 = r113198 * r113203;
        double r113205 = r113197 * r113204;
        double r113206 = pow(r113175, r113177);
        double r113207 = sqrt(r113194);
        double r113208 = r113206 / r113207;
        double r113209 = r113208 / r113180;
        double r113210 = r113205 * r113209;
        return r113210;
}

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 1.9

    \[\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 \frac{x \cdot \color{blue}{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. Simplified1.2

    \[\leadsto \frac{x \cdot \color{blue}{\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)}}}}{y}\]
  4. Using strategy rm

  5. Applied add-sqr-sqrt1.2

    \[\leadsto \frac{x \cdot \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}\]

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

    \[\leadsto \frac{x \cdot \frac{{\left(\frac{1}{\color{blue}{1 \cdot 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}\]

  7. Applied add-cube-cbrt1.2

    \[\leadsto \frac{x \cdot \frac{{\left(\frac{\color{blue}{\left(\sqrt[3]{1} \cdot \sqrt[3]{1}\right) \cdot \sqrt[3]{1}}}{1 \cdot 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}\]

  8. Applied times-frac1.2

    \[\leadsto \frac{x \cdot \frac{{\color{blue}{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1} \cdot \frac{\sqrt[3]{1}}{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}\]

  9. Applied unpow-prod-down1.2

    \[\leadsto \frac{x \cdot \frac{\color{blue}{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1} \cdot {\left(\frac{\sqrt[3]{1}}{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}\]

  10. Applied times-frac1.2

    \[\leadsto \frac{x \cdot \color{blue}{\left(\frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\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{\sqrt[3]{1}}{a}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right)}}{y}\]

  11. Applied associate-*r*1.2

    \[\leadsto \frac{\color{blue}{\left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{{\left(\frac{\sqrt[3]{1}}{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}\]
  12. Using strategy rm

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

    \[\leadsto \frac{\left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{{\left(\frac{\sqrt[3]{1}}{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}{1 \cdot y}}\]

  14. Applied times-frac1.5

    \[\leadsto \color{blue}{\frac{x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}{1} \cdot \frac{\frac{{\left(\frac{\sqrt[3]{1}}{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}}\]

  15. Simplified1.5

    \[\leadsto \color{blue}{\left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right)} \cdot \frac{\frac{{\left(\frac{\sqrt[3]{1}}{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}\]
  16. Using strategy rm

  17. Applied add-cube-cbrt1.6

    \[\leadsto \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{\frac{{\left(\frac{\sqrt[3]{1}}{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}}}\]

  18. Applied add-cube-cbrt1.6

    \[\leadsto \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{\frac{{\left(\frac{\sqrt[3]{1}}{a}\right)}^{1}}{\sqrt{\color{blue}{\left(\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}\right) \cdot \sqrt[3]{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}}\]

  19. Applied sqrt-prod1.6

    \[\leadsto \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{\frac{{\left(\frac{\sqrt[3]{1}}{a}\right)}^{1}}{\color{blue}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt{\sqrt[3]{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}}\]

  20. Applied add-cube-cbrt1.7

    \[\leadsto \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{\frac{{\color{blue}{\left(\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}} \cdot \sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right) \cdot \sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}}^{1}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt{\sqrt[3]{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}}\]

  21. Applied unpow-prod-down1.7

    \[\leadsto \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{\frac{\color{blue}{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}} \cdot \sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1} \cdot {\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}} \cdot \sqrt{\sqrt[3]{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}}\]

  22. Applied times-frac1.7

    \[\leadsto \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{\color{blue}{\frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}} \cdot \sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}} \cdot \frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\sqrt{\sqrt[3]{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}}\]

  23. Applied times-frac1.7

    \[\leadsto \left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \color{blue}{\left(\frac{\frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}} \cdot \sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt[3]{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(\sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}}\right)}\]

  24. Applied associate-*r*0.5

    \[\leadsto \color{blue}{\left(\left(x \cdot \frac{{\left(\frac{\sqrt[3]{1} \cdot \sqrt[3]{1}}{1}\right)}^{1}}{\sqrt{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}\right) \cdot \frac{\frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}} \cdot \sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}} \cdot \sqrt[3]{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}}\right) \cdot \frac{\frac{{\left(\sqrt[3]{\frac{\sqrt[3]{1}}{a}}\right)}^{1}}{\sqrt{\sqrt[3]{e^{y \cdot \log \left(\frac{1}{z}\right) + \left(\log \left(\frac{1}{a}\right) \cdot t + b\right)}}}}}{\sqrt[3]{y}}}\]

  25. Simplified0.5

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

  26. Final simplification0.5

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

Reproduce

herbie shell --seed 2020062 
(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))