\[\left(\left(3 + \frac{2}{r \cdot r}\right) - \frac{\left(0.125 \cdot \left(3 - 2 \cdot v\right)\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{1 - v}\right) - 4.5\]

↓

\[\left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \frac{3 + -2 \cdot v}{1 - v} \cdot \left(\left(w \cdot r\right) \cdot \left(\left(w \cdot r\right) \cdot 0.125\right)\right)\]

double f(double v, double w, double r) {
        double r28232665 = 3.0;
        double r28232666 = 2.0;
        double r28232667 = r;
        double r28232668 = r28232667 * r28232667;
        double r28232669 = r28232666 / r28232668;
        double r28232670 = r28232665 + r28232669;
        double r28232671 = 0.125;
        double r28232672 = v;
        double r28232673 = r28232666 * r28232672;
        double r28232674 = r28232665 - r28232673;
        double r28232675 = r28232671 * r28232674;
        double r28232676 = w;
        double r28232677 = r28232676 * r28232676;
        double r28232678 = r28232677 * r28232667;
        double r28232679 = r28232678 * r28232667;
        double r28232680 = r28232675 * r28232679;
        double r28232681 = 1.0;
        double r28232682 = r28232681 - r28232672;
        double r28232683 = r28232680 / r28232682;
        double r28232684 = r28232670 - r28232683;
        double r28232685 = 4.5;
        double r28232686 = r28232684 - r28232685;
        return r28232686;
}

↓

double f(double v, double w, double r) {
        double r28232687 = 3.0;
        double r28232688 = 2.0;
        double r28232689 = r;
        double r28232690 = r28232689 * r28232689;
        double r28232691 = r28232688 / r28232690;
        double r28232692 = r28232687 + r28232691;
        double r28232693 = 4.5;
        double r28232694 = r28232692 - r28232693;
        double r28232695 = -2.0;
        double r28232696 = v;
        double r28232697 = r28232695 * r28232696;
        double r28232698 = r28232687 + r28232697;
        double r28232699 = 1.0;
        double r28232700 = r28232699 - r28232696;
        double r28232701 = r28232698 / r28232700;
        double r28232702 = w;
        double r28232703 = r28232702 * r28232689;
        double r28232704 = 0.125;
        double r28232705 = r28232703 * r28232704;
        double r28232706 = r28232703 * r28232705;
        double r28232707 = r28232701 * r28232706;
        double r28232708 = r28232694 - r28232707;
        return r28232708;
}

\left(\left(3 + \frac{2}{r \cdot r}\right) - \frac{\left(0.125 \cdot \left(3 - 2 \cdot v\right)\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{1 - v}\right) - 4.5

↓

\left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \frac{3 + -2 \cdot v}{1 - v} \cdot \left(\left(w \cdot r\right) \cdot \left(\left(w \cdot r\right) \cdot 0.125\right)\right)

Derivation

Initial program 12.5
\[\left(\left(3 + \frac{2}{r \cdot r}\right) - \frac{\left(0.125 \cdot \left(3 - 2 \cdot v\right)\right) \cdot \left(\left(\left(w \cdot w\right) \cdot r\right) \cdot r\right)}{1 - v}\right) - 4.5\]
Simplified0.4
\[\leadsto \color{blue}{\left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \frac{0.125}{\frac{\frac{1 - v}{3 - 2 \cdot v}}{\left(w \cdot r\right) \cdot \left(w \cdot r\right)}}}\]
Using strategy rm
Applied div-inv0.4
\[\leadsto \left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \frac{0.125}{\color{blue}{\frac{1 - v}{3 - 2 \cdot v} \cdot \frac{1}{\left(w \cdot r\right) \cdot \left(w \cdot r\right)}}}\]
Applied *-un-lft-identity0.4
\[\leadsto \left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \frac{\color{blue}{1 \cdot 0.125}}{\frac{1 - v}{3 - 2 \cdot v} \cdot \frac{1}{\left(w \cdot r\right) \cdot \left(w \cdot r\right)}}\]
Applied times-frac0.4
\[\leadsto \left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \color{blue}{\frac{1}{\frac{1 - v}{3 - 2 \cdot v}} \cdot \frac{0.125}{\frac{1}{\left(w \cdot r\right) \cdot \left(w \cdot r\right)}}}\]
Simplified0.4
\[\leadsto \left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \color{blue}{\frac{v \cdot -2 + 3}{1 - v}} \cdot \frac{0.125}{\frac{1}{\left(w \cdot r\right) \cdot \left(w \cdot r\right)}}\]
Simplified0.3
\[\leadsto \left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \frac{v \cdot -2 + 3}{1 - v} \cdot \color{blue}{\left(\left(\left(w \cdot r\right) \cdot 0.125\right) \cdot \left(w \cdot r\right)\right)}\]
Final simplification0.3
\[\leadsto \left(\left(3 + \frac{2}{r \cdot r}\right) - 4.5\right) - \frac{3 + -2 \cdot v}{1 - v} \cdot \left(\left(w \cdot r\right) \cdot \left(\left(w \cdot r\right) \cdot 0.125\right)\right)\]

Error

Derivation

Reproduce