Initial program 46.2
\[\frac{\frac{\left(i \cdot i\right) \cdot \left(i \cdot i\right)}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right)}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1.0}\]
Simplified15.9
\[\leadsto \color{blue}{\frac{i \cdot i}{\left(4 \cdot \left(i \cdot i\right) - 1.0\right) \cdot 4}}\]
- Using strategy
rm Applied *-un-lft-identity15.9
\[\leadsto \frac{i \cdot i}{\left(4 \cdot \left(i \cdot i\right) - \color{blue}{1 \cdot 1.0}\right) \cdot 4}\]
Applied *-un-lft-identity15.9
\[\leadsto \frac{i \cdot i}{\left(\color{blue}{\left(1 \cdot 4\right)} \cdot \left(i \cdot i\right) - 1 \cdot 1.0\right) \cdot 4}\]
Applied associate-*l*15.9
\[\leadsto \frac{i \cdot i}{\left(\color{blue}{1 \cdot \left(4 \cdot \left(i \cdot i\right)\right)} - 1 \cdot 1.0\right) \cdot 4}\]
Applied distribute-lft-out--15.9
\[\leadsto \frac{i \cdot i}{\color{blue}{\left(1 \cdot \left(4 \cdot \left(i \cdot i\right) - 1.0\right)\right)} \cdot 4}\]
Applied associate-*l*15.9
\[\leadsto \frac{i \cdot i}{\color{blue}{1 \cdot \left(\left(4 \cdot \left(i \cdot i\right) - 1.0\right) \cdot 4\right)}}\]
Applied *-un-lft-identity15.9
\[\leadsto \frac{\color{blue}{1 \cdot \left(i \cdot i\right)}}{1 \cdot \left(\left(4 \cdot \left(i \cdot i\right) - 1.0\right) \cdot 4\right)}\]
Applied times-frac15.9
\[\leadsto \color{blue}{\frac{1}{1} \cdot \frac{i \cdot i}{\left(4 \cdot \left(i \cdot i\right) - 1.0\right) \cdot 4}}\]
Simplified15.9
\[\leadsto \color{blue}{1} \cdot \frac{i \cdot i}{\left(4 \cdot \left(i \cdot i\right) - 1.0\right) \cdot 4}\]
Simplified0.2
\[\leadsto 1 \cdot \color{blue}{\frac{i}{(\left(\frac{1.0}{i}\right) \cdot -4 + \left(i \cdot 16\right))_*}}\]
Final simplification0.2
\[\leadsto \frac{i}{(\left(\frac{1.0}{i}\right) \cdot -4 + \left(16 \cdot i\right))_*}\]
