Error

Try it out

Derivation

1. Split input into 2 regimes

2. if (/ (pow a (- t 1.0)) (exp b)) < 1.3132982387813807e-305 or 8.899030995520257e+57 < (/ (pow a (- t 1.0)) (exp b))

   1. Initial program 0.3

      \[\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1.0\right) \cdot \log a\right) - b}}{y}\]
   2. Using strategy rm

   3. Applied *-un-lft-identity0.3

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

   4. Applied exp-prod0.3

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

   5. Applied simplify0.3

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

   if 1.3132982387813807e-305 < (/ (pow a (- t 1.0)) (exp b)) < 8.899030995520257e+57

   1. Initial program 8.3

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

   2. Applied simplify0.6

      \[\leadsto \color{blue}{\frac{{z}^{y} \cdot x}{e^{b}} \cdot \frac{{a}^{\left(t - 1.0\right)}}{y}}\]
3. Recombined 2 regimes into one program.

4. Applied simplify0.4

   \[\leadsto \color{blue}{\begin{array}{l} \mathbf{if}\;\frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \le 1.3132982387813807 \cdot 10^{-305} \lor \neg \left(\frac{{a}^{\left(t - 1.0\right)}}{e^{b}} \le 8.899030995520257 \cdot 10^{+57}\right):\\ \;\;\;\;\frac{{e}^{\left(\left(\left(t - 1.0\right) \cdot \log a + y \cdot \log z\right) - b\right)} \cdot x}{y}\\ \mathbf{else}:\\ \;\;\;\;\frac{{z}^{y} \cdot x}{e^{b}} \cdot \frac{{a}^{\left(t - 1.0\right)}}{y}\\ \end{array}}\]

Runtime

Time bar (total: 2.4m)Debug logProfile

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