Error

Try it out

Target

Derivation

1. Initial program 8.4

   \[\frac{x0}{1 - x1} - x0\]

2. Initial simplification8.4

   \[\leadsto \frac{x0}{1 - x1} - x0\]
3. Using strategy rm

4. Applied flip--7.7

   \[\leadsto \color{blue}{\frac{\frac{x0}{1 - x1} \cdot \frac{x0}{1 - x1} - x0 \cdot x0}{\frac{x0}{1 - x1} + x0}}\]
5. Using strategy rm

6. Applied clear-num6.6

   \[\leadsto \frac{\frac{x0}{1 - x1} \cdot \color{blue}{\frac{1}{\frac{1 - x1}{x0}}} - x0 \cdot x0}{\frac{x0}{1 - x1} + x0}\]
7. Using strategy rm

8. Applied flip3--6.0

   \[\leadsto \frac{\color{blue}{\frac{{\left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right)}^{3} - {\left(x0 \cdot x0\right)}^{3}}{\left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right) \cdot \left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right) + \left(\left(x0 \cdot x0\right) \cdot \left(x0 \cdot x0\right) + \left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right) \cdot \left(x0 \cdot x0\right)\right)}}}{\frac{x0}{1 - x1} + x0}\]
9. Using strategy rm

10. Applied flip--5.4

    \[\leadsto \frac{\frac{\color{blue}{\frac{{\left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right)}^{3} \cdot {\left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right)}^{3} - {\left(x0 \cdot x0\right)}^{3} \cdot {\left(x0 \cdot x0\right)}^{3}}{{\left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right)}^{3} + {\left(x0 \cdot x0\right)}^{3}}}}{\left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right) \cdot \left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right) + \left(\left(x0 \cdot x0\right) \cdot \left(x0 \cdot x0\right) + \left(\frac{x0}{1 - x1} \cdot \frac{1}{\frac{1 - x1}{x0}}\right) \cdot \left(x0 \cdot x0\right)\right)}}{\frac{x0}{1 - x1} + x0}\]

11. Final simplification5.4

    \[\leadsto \frac{\frac{\frac{{\left(\frac{1}{\frac{1 - x1}{x0}} \cdot \frac{x0}{1 - x1}\right)}^{3} \cdot {\left(\frac{1}{\frac{1 - x1}{x0}} \cdot \frac{x0}{1 - x1}\right)}^{3} - {\left(x0 \cdot x0\right)}^{3} \cdot {\left(x0 \cdot x0\right)}^{3}}{{\left(x0 \cdot x0\right)}^{3} + {\left(\frac{1}{\frac{1 - x1}{x0}} \cdot \frac{x0}{1 - x1}\right)}^{3}}}{\left(\frac{1}{\frac{1 - x1}{x0}} \cdot \frac{x0}{1 - x1}\right) \cdot \left(\frac{1}{\frac{1 - x1}{x0}} \cdot \frac{x0}{1 - x1}\right) + \left(\left(x0 \cdot x0\right) \cdot \left(\frac{1}{\frac{1 - x1}{x0}} \cdot \frac{x0}{1 - x1}\right) + \left(x0 \cdot x0\right) \cdot \left(x0 \cdot x0\right)\right)}}{x0 + \frac{x0}{1 - x1}}\]

Runtime

Time bar (total: 10.6s)Debug logProfile

herbie shell --seed 2018353 
(FPCore (x0 x1)
  :name "(- (/ x0 (- 1 x1)) x0)"
  :pre (or (and (== x0 1.855) (== x1 0.000209)) (and (== x0 2.985) (== x1 0.0186)))

  :herbie-target
  (/ (* x0 x1) (- 1 x1))

  (- (/ x0 (- 1 x1)) x0))