1. Split input into 2 regimes

2. if (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj))))) < 5e-31

   1. Initial program 72.9%

      \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
   2. Step-by-step derivation

      1. sub-neg72.9%

         \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      2. div-sub72.9%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      3. sub-neg72.9%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

      4. +-commutative72.9%

         \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      5. distribute-neg-in72.9%

         \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

      6. remove-double-neg72.9%

         \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

      7. sub-neg72.9%

         \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      8. div-sub72.9%

         \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

      9. distribute-rgt1-in73.4%

         \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

      10. associate-/l/73.4%

          \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

   3. Simplified73.4%

      \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

   4. Taylor expanded in wj around 0 99.1%

      \[\leadsto \color{blue}{-1 \cdot \left(\left(0.6666666666666666 \cdot x + \left(-3 \cdot x + \left(1 + -2 \cdot \left(-4 \cdot x + 1.5 \cdot x\right)\right)\right)\right) \cdot {wj}^{3}\right) + \left(\left(1 - \left(-4 \cdot x + 1.5 \cdot x\right)\right) \cdot {wj}^{2} + \left(-2 \cdot \left(wj \cdot x\right) + x\right)\right)} \]

   if 5e-31 < (-.f64 wj (/.f64 (-.f64 (*.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (*.f64 wj (exp.f64 wj)))))

   1. Initial program 93.0%

      \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
   2. Step-by-step derivation

      1. sub-neg93.0%

         \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      2. div-sub93.0%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      3. sub-neg93.0%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

      4. +-commutative93.0%

         \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      5. distribute-neg-in93.0%

         \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

      6. remove-double-neg93.0%

         \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

      7. sub-neg93.0%

         \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      8. div-sub93.0%

         \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

      9. distribute-rgt1-in95.7%

         \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

      10. associate-/l/95.7%

          \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

   3. Simplified99.8%

      \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]
3. Recombined 2 regimes into one program.

4. Final simplification99.3%

   \[\leadsto \begin{array}{l} \mathbf{if}\;wj + \frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} \leq 5 \cdot 10^{-31}:\\ \;\;\;\;{wj}^{3} \cdot \left(\left(\left(-1 - -2 \cdot \left(x \cdot -4 + x \cdot 1.5\right)\right) - x \cdot -3\right) - x \cdot 0.6666666666666666\right) + \left(\left(1 - \left(x \cdot -4 + x \cdot 1.5\right)\right) \cdot {wj}^{2} + \left(x + -2 \cdot \left(wj \cdot x\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}\\ \end{array} \]

1. Split input into 2 regimes

2. if wj < -1.79999999999999997e-7

   1. Initial program 47.9%

      \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
   2. Step-by-step derivation

      1. sub-neg47.9%

         \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      2. div-sub47.9%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      3. sub-neg47.9%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

      4. +-commutative47.9%

         \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      5. distribute-neg-in47.9%

         \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

      6. remove-double-neg47.9%

         \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

      7. sub-neg47.9%

         \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      8. div-sub47.9%

         \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

      9. distribute-rgt1-in97.9%

         \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

      10. associate-/l/97.9%

          \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

   3. Simplified97.9%

      \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

   if -1.79999999999999997e-7 < wj

   1. Initial program 79.4%

      \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
   2. Step-by-step derivation

      1. sub-neg79.4%

         \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      2. div-sub79.4%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      3. sub-neg79.4%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

      4. +-commutative79.4%

         \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      5. distribute-neg-in79.4%

         \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

      6. remove-double-neg79.4%

         \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

      7. sub-neg79.4%

         \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      8. div-sub79.4%

         \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

      9. distribute-rgt1-in79.4%

         \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

      10. associate-/l/79.3%

          \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

   3. Simplified80.5%

      \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

   4. Taylor expanded in wj around 0 98.8%

      \[\leadsto \color{blue}{\left(1 - \left(-4 \cdot x + 1.5 \cdot x\right)\right) \cdot {wj}^{2} + \left(-2 \cdot \left(wj \cdot x\right) + x\right)} \]
3. Recombined 2 regimes into one program.

4. Final simplification98.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;wj \leq -1.8 \cdot 10^{-7}:\\ \;\;\;\;wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}\\ \mathbf{else}:\\ \;\;\;\;\left(1 - \left(x \cdot -4 + x \cdot 1.5\right)\right) \cdot {wj}^{2} + \left(x + -2 \cdot \left(wj \cdot x\right)\right)\\ \end{array} \]

1. Split input into 2 regimes

2. if wj < -5.59999999999999969e-9

   1. Initial program 60.8%

      \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
   2. Step-by-step derivation

      1. sub-neg60.8%

         \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      2. div-sub60.8%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      3. sub-neg60.8%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

      4. +-commutative60.8%

         \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      5. distribute-neg-in60.8%

         \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

      6. remove-double-neg60.8%

         \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

      7. sub-neg60.8%

         \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      8. div-sub60.8%

         \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

      9. distribute-rgt1-in98.3%

         \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

      10. associate-/l/98.3%

          \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

   3. Simplified98.3%

      \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

   if -5.59999999999999969e-9 < wj

   1. Initial program 79.2%

      \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
   2. Step-by-step derivation

      1. sub-neg79.2%

         \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      2. div-sub79.2%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      3. sub-neg79.2%

         \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

      4. +-commutative79.2%

         \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

      5. distribute-neg-in79.2%

         \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

      6. remove-double-neg79.2%

         \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

      7. sub-neg79.2%

         \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

      8. div-sub79.2%

         \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

      9. distribute-rgt1-in79.2%

         \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

      10. associate-/l/79.2%

          \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

   3. Simplified80.4%

      \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

   4. Taylor expanded in wj around 0 79.2%

      \[\leadsto wj + \frac{\color{blue}{\left(-1 \cdot \left(wj \cdot x\right) + x\right)} - wj}{wj + 1} \]

   5. Taylor expanded in wj around 0 98.8%

      \[\leadsto \color{blue}{{wj}^{2} \cdot \left(\left(1 + x\right) - -1 \cdot x\right) + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right)} \]

   6. Taylor expanded in x around 0 98.8%

      \[\leadsto \color{blue}{{wj}^{2}} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]
   7. Step-by-step derivation

      1. unpow298.8%

         \[\leadsto \color{blue}{wj \cdot wj} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]

   8. Simplified98.8%

      \[\leadsto \color{blue}{wj \cdot wj} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]
3. Recombined 2 regimes into one program.

4. Final simplification98.8%

   \[\leadsto \begin{array}{l} \mathbf{if}\;wj \leq -5.6 \cdot 10^{-9}:\\ \;\;\;\;wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}\\ \mathbf{else}:\\ \;\;\;\;wj \cdot wj + \left(x - wj \cdot \left(x + x\right)\right)\\ \end{array} \]

1. Initial program 78.6%

   \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
2. Step-by-step derivation

   1. sub-neg78.6%

      \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   2. div-sub78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   3. sub-neg78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

   4. +-commutative78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   5. distribute-neg-in78.6%

      \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

   6. remove-double-neg78.6%

      \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

   7. sub-neg78.6%

      \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   8. div-sub78.6%

      \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

   9. distribute-rgt1-in79.8%

      \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

   10. associate-/l/79.8%

       \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

3. Simplified81.0%

   \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

4. Taylor expanded in wj around 0 78.2%

   \[\leadsto wj + \frac{\color{blue}{\left(-1 \cdot \left(wj \cdot x\right) + x\right)} - wj}{wj + 1} \]

5. Taylor expanded in wj around 0 97.0%

   \[\leadsto \color{blue}{{wj}^{2} \cdot \left(\left(1 + x\right) - -1 \cdot x\right) + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right)} \]

6. Taylor expanded in x around 0 96.9%

   \[\leadsto \color{blue}{{wj}^{2}} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]
7. Step-by-step derivation

   1. unpow296.9%

      \[\leadsto \color{blue}{wj \cdot wj} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]

8. Simplified96.9%

   \[\leadsto \color{blue}{wj \cdot wj} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]

9. Taylor expanded in x around 0 96.9%

   \[\leadsto wj \cdot wj + \color{blue}{\left(-2 \cdot wj + 1\right) \cdot x} \]

10. Final simplification96.9%

    \[\leadsto wj \cdot wj + x \cdot \left(1 + wj \cdot -2\right) \]

1. Initial program 78.6%

   \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
2. Step-by-step derivation

   1. sub-neg78.6%

      \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   2. div-sub78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   3. sub-neg78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

   4. +-commutative78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   5. distribute-neg-in78.6%

      \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

   6. remove-double-neg78.6%

      \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

   7. sub-neg78.6%

      \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   8. div-sub78.6%

      \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

   9. distribute-rgt1-in79.8%

      \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

   10. associate-/l/79.8%

       \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

3. Simplified81.0%

   \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

4. Taylor expanded in wj around 0 78.2%

   \[\leadsto wj + \frac{\color{blue}{\left(-1 \cdot \left(wj \cdot x\right) + x\right)} - wj}{wj + 1} \]

5. Taylor expanded in wj around 0 97.0%

   \[\leadsto \color{blue}{{wj}^{2} \cdot \left(\left(1 + x\right) - -1 \cdot x\right) + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right)} \]

6. Taylor expanded in x around 0 96.9%

   \[\leadsto \color{blue}{{wj}^{2}} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]
7. Step-by-step derivation

   1. unpow296.9%

      \[\leadsto \color{blue}{wj \cdot wj} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]

8. Simplified96.9%

   \[\leadsto \color{blue}{wj \cdot wj} + \left(\left(-1 \cdot x - x\right) \cdot wj + x\right) \]

9. Final simplification96.9%

   \[\leadsto wj \cdot wj + \left(x - wj \cdot \left(x + x\right)\right) \]

1. Initial program 78.6%

   \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
2. Step-by-step derivation

   1. sub-neg78.6%

      \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   2. div-sub78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   3. sub-neg78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

   4. +-commutative78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   5. distribute-neg-in78.6%

      \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

   6. remove-double-neg78.6%

      \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

   7. sub-neg78.6%

      \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   8. div-sub78.6%

      \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

   9. distribute-rgt1-in79.8%

      \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

   10. associate-/l/79.8%

       \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

3. Simplified81.0%

   \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

4. Taylor expanded in wj around 0 78.2%

   \[\leadsto wj + \frac{\color{blue}{\left(-1 \cdot \left(wj \cdot x\right) + x\right)} - wj}{wj + 1} \]

5. Taylor expanded in x around inf 87.2%

   \[\leadsto \color{blue}{\left(-1 \cdot \frac{wj}{1 + wj} + \frac{1}{1 + wj}\right) \cdot x} \]
6. Step-by-step derivation

   1. +-commutative87.2%

      \[\leadsto \color{blue}{\left(\frac{1}{1 + wj} + -1 \cdot \frac{wj}{1 + wj}\right)} \cdot x \]

   2. neg-mul-187.2%

      \[\leadsto \left(\frac{1}{1 + wj} + \color{blue}{\left(-\frac{wj}{1 + wj}\right)}\right) \cdot x \]

   3. unsub-neg87.2%

      \[\leadsto \color{blue}{\left(\frac{1}{1 + wj} - \frac{wj}{1 + wj}\right)} \cdot x \]

   4. div-sub87.2%

      \[\leadsto \color{blue}{\frac{1 - wj}{1 + wj}} \cdot x \]

   5. unsub-neg87.2%

      \[\leadsto \frac{\color{blue}{1 + \left(-wj\right)}}{1 + wj} \cdot x \]

   6. +-commutative87.2%

      \[\leadsto \frac{\color{blue}{\left(-wj\right) + 1}}{1 + wj} \cdot x \]

   7. mul-1-neg87.2%

      \[\leadsto \frac{\color{blue}{-1 \cdot wj} + 1}{1 + wj} \cdot x \]

   8. metadata-eval87.2%

      \[\leadsto \frac{-1 \cdot wj + \color{blue}{-1 \cdot -1}}{1 + wj} \cdot x \]

   9. distribute-lft-in87.2%

      \[\leadsto \frac{\color{blue}{-1 \cdot \left(wj + -1\right)}}{1 + wj} \cdot x \]

   10. metadata-eval87.2%

       \[\leadsto \frac{-1 \cdot \left(wj + \color{blue}{\left(-1\right)}\right)}{1 + wj} \cdot x \]

   11. sub-neg87.2%

       \[\leadsto \frac{-1 \cdot \color{blue}{\left(wj - 1\right)}}{1 + wj} \cdot x \]

   12. associate-/r/87.0%

       \[\leadsto \color{blue}{\frac{-1 \cdot \left(wj - 1\right)}{\frac{1 + wj}{x}}} \]

   13. associate-/l*87.2%

       \[\leadsto \color{blue}{\frac{\left(-1 \cdot \left(wj - 1\right)\right) \cdot x}{1 + wj}} \]

   14. associate-*r*87.2%

       \[\leadsto \frac{\color{blue}{-1 \cdot \left(\left(wj - 1\right) \cdot x\right)}}{1 + wj} \]

7. Simplified87.2%

   \[\leadsto \color{blue}{\frac{x \cdot \left(1 - wj\right)}{wj + 1}} \]

8. Final simplification87.2%

   \[\leadsto \frac{x \cdot \left(1 - wj\right)}{wj + 1} \]

1. Initial program 78.6%

   \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
2. Step-by-step derivation

   1. sub-neg78.6%

      \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   2. div-sub78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   3. sub-neg78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

   4. +-commutative78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   5. distribute-neg-in78.6%

      \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

   6. remove-double-neg78.6%

      \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

   7. sub-neg78.6%

      \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   8. div-sub78.6%

      \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

   9. distribute-rgt1-in79.8%

      \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

   10. associate-/l/79.8%

       \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

3. Simplified81.0%

   \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

4. Taylor expanded in wj around 0 78.2%

   \[\leadsto wj + \frac{\color{blue}{\left(-1 \cdot \left(wj \cdot x\right) + x\right)} - wj}{wj + 1} \]

5. Taylor expanded in x around inf 87.2%

   \[\leadsto \color{blue}{\left(-1 \cdot \frac{wj}{1 + wj} + \frac{1}{1 + wj}\right) \cdot x} \]
6. Step-by-step derivation

   1. +-commutative87.2%

      \[\leadsto \color{blue}{\left(\frac{1}{1 + wj} + -1 \cdot \frac{wj}{1 + wj}\right)} \cdot x \]

   2. neg-mul-187.2%

      \[\leadsto \left(\frac{1}{1 + wj} + \color{blue}{\left(-\frac{wj}{1 + wj}\right)}\right) \cdot x \]

   3. unsub-neg87.2%

      \[\leadsto \color{blue}{\left(\frac{1}{1 + wj} - \frac{wj}{1 + wj}\right)} \cdot x \]

   4. div-sub87.2%

      \[\leadsto \color{blue}{\frac{1 - wj}{1 + wj}} \cdot x \]

   5. unsub-neg87.2%

      \[\leadsto \frac{\color{blue}{1 + \left(-wj\right)}}{1 + wj} \cdot x \]

   6. +-commutative87.2%

      \[\leadsto \frac{\color{blue}{\left(-wj\right) + 1}}{1 + wj} \cdot x \]

   7. mul-1-neg87.2%

      \[\leadsto \frac{\color{blue}{-1 \cdot wj} + 1}{1 + wj} \cdot x \]

   8. metadata-eval87.2%

      \[\leadsto \frac{-1 \cdot wj + \color{blue}{-1 \cdot -1}}{1 + wj} \cdot x \]

   9. distribute-lft-in87.2%

      \[\leadsto \frac{\color{blue}{-1 \cdot \left(wj + -1\right)}}{1 + wj} \cdot x \]

   10. metadata-eval87.2%

       \[\leadsto \frac{-1 \cdot \left(wj + \color{blue}{\left(-1\right)}\right)}{1 + wj} \cdot x \]

   11. sub-neg87.2%

       \[\leadsto \frac{-1 \cdot \color{blue}{\left(wj - 1\right)}}{1 + wj} \cdot x \]

   12. associate-/r/87.0%

       \[\leadsto \color{blue}{\frac{-1 \cdot \left(wj - 1\right)}{\frac{1 + wj}{x}}} \]

   13. associate-/l*87.2%

       \[\leadsto \color{blue}{\frac{\left(-1 \cdot \left(wj - 1\right)\right) \cdot x}{1 + wj}} \]

   14. associate-*r*87.2%

       \[\leadsto \frac{\color{blue}{-1 \cdot \left(\left(wj - 1\right) \cdot x\right)}}{1 + wj} \]

7. Simplified87.2%

   \[\leadsto \color{blue}{\frac{x \cdot \left(1 - wj\right)}{wj + 1}} \]

8. Taylor expanded in x around 0 87.2%

   \[\leadsto \frac{\color{blue}{\left(1 - wj\right) \cdot x}}{wj + 1} \]
9. Step-by-step derivation

   1. sub-neg87.2%

      \[\leadsto \frac{\color{blue}{\left(1 + \left(-wj\right)\right)} \cdot x}{wj + 1} \]

   2. +-commutative87.2%

      \[\leadsto \frac{\color{blue}{\left(\left(-wj\right) + 1\right)} \cdot x}{wj + 1} \]

   3. distribute-rgt1-in87.2%

      \[\leadsto \frac{\color{blue}{x + \left(-wj\right) \cdot x}}{wj + 1} \]

   4. distribute-lft-neg-in87.2%

      \[\leadsto \frac{x + \color{blue}{\left(-wj \cdot x\right)}}{wj + 1} \]

   5. unsub-neg87.2%

      \[\leadsto \frac{\color{blue}{x - wj \cdot x}}{wj + 1} \]

10. Simplified87.2%

    \[\leadsto \frac{\color{blue}{x - wj \cdot x}}{wj + 1} \]

11. Final simplification87.2%

    \[\leadsto \frac{x - wj \cdot x}{wj + 1} \]

1. Initial program 78.6%

   \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
2. Step-by-step derivation

   1. sub-neg78.6%

      \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   2. div-sub78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   3. sub-neg78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

   4. +-commutative78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   5. distribute-neg-in78.6%

      \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

   6. remove-double-neg78.6%

      \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

   7. sub-neg78.6%

      \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   8. div-sub78.6%

      \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

   9. distribute-rgt1-in79.8%

      \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

   10. associate-/l/79.8%

       \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

3. Simplified81.0%

   \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

4. Taylor expanded in wj around 0 87.2%

   \[\leadsto \color{blue}{-2 \cdot \left(wj \cdot x\right) + x} \]

5. Final simplification87.2%

   \[\leadsto x + -2 \cdot \left(wj \cdot x\right) \]

1. Initial program 78.6%

   \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
2. Step-by-step derivation

   1. sub-neg78.6%

      \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   2. div-sub78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   3. sub-neg78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

   4. +-commutative78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   5. distribute-neg-in78.6%

      \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

   6. remove-double-neg78.6%

      \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

   7. sub-neg78.6%

      \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   8. div-sub78.6%

      \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

   9. distribute-rgt1-in79.8%

      \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

   10. associate-/l/79.8%

       \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

3. Simplified81.0%

   \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

4. Taylor expanded in x around inf 88.8%

   \[\leadsto \color{blue}{\frac{x}{\left(1 + wj\right) \cdot e^{wj}}} \]

5. Taylor expanded in wj around 0 87.2%

   \[\leadsto \frac{x}{\color{blue}{1 + 2 \cdot wj}} \]
6. Step-by-step derivation

   1. *-commutative87.2%

      \[\leadsto \frac{x}{1 + \color{blue}{wj \cdot 2}} \]

7. Simplified87.2%

   \[\leadsto \frac{x}{\color{blue}{1 + wj \cdot 2}} \]

8. Final simplification87.2%

   \[\leadsto \frac{x}{1 + wj \cdot 2} \]

1. Initial program 78.6%

   \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
2. Step-by-step derivation

   1. sub-neg78.6%

      \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   2. div-sub78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   3. sub-neg78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

   4. +-commutative78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   5. distribute-neg-in78.6%

      \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

   6. remove-double-neg78.6%

      \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

   7. sub-neg78.6%

      \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   8. div-sub78.6%

      \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

   9. distribute-rgt1-in79.8%

      \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

   10. associate-/l/79.8%

       \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

3. Simplified81.0%

   \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

4. Taylor expanded in wj around inf 4.3%

   \[\leadsto \color{blue}{wj} \]

5. Final simplification4.3%

   \[\leadsto wj \]

1. Initial program 78.6%

   \[wj - \frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}} \]
2. Step-by-step derivation

   1. sub-neg78.6%

      \[\leadsto \color{blue}{wj + \left(-\frac{wj \cdot e^{wj} - x}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   2. div-sub78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} - \frac{x}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   3. sub-neg78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}} + \left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right)}\right) \]

   4. +-commutative78.6%

      \[\leadsto wj + \left(-\color{blue}{\left(\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right) + \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)}\right) \]

   5. distribute-neg-in78.6%

      \[\leadsto wj + \color{blue}{\left(\left(-\left(-\frac{x}{e^{wj} + wj \cdot e^{wj}}\right)\right) + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right)} \]

   6. remove-double-neg78.6%

      \[\leadsto wj + \left(\color{blue}{\frac{x}{e^{wj} + wj \cdot e^{wj}}} + \left(-\frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)\right) \]

   7. sub-neg78.6%

      \[\leadsto wj + \color{blue}{\left(\frac{x}{e^{wj} + wj \cdot e^{wj}} - \frac{wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}\right)} \]

   8. div-sub78.6%

      \[\leadsto wj + \color{blue}{\frac{x - wj \cdot e^{wj}}{e^{wj} + wj \cdot e^{wj}}} \]

   9. distribute-rgt1-in79.8%

      \[\leadsto wj + \frac{x - wj \cdot e^{wj}}{\color{blue}{\left(wj + 1\right) \cdot e^{wj}}} \]

   10. associate-/l/79.8%

       \[\leadsto wj + \color{blue}{\frac{\frac{x - wj \cdot e^{wj}}{e^{wj}}}{wj + 1}} \]

3. Simplified81.0%

   \[\leadsto \color{blue}{wj + \frac{\frac{x}{e^{wj}} - wj}{wj + 1}} \]

4. Taylor expanded in wj around 0 86.6%

   \[\leadsto \color{blue}{x} \]

5. Final simplification86.6%

   \[\leadsto x \]

herbie shell --seed 2023166 
(FPCore (wj x)
  :name "Jmat.Real.lambertw, newton loop step"
  :precision binary64

  :herbie-target
  (- wj (- (/ wj (+ wj 1.0)) (/ x (+ (exp wj) (* wj (exp wj))))))

  (- wj (/ (- (* wj (exp wj)) x) (+ (exp wj) (* wj (exp wj))))))