if z < -2.633003449024554 or 7.005206523294958e+127 < z

1. Started with
   \[(x * y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)\]
   61.1
2. Using strategy rm
   61.1
3. Applied add-cbrt-cube to get
   \[(x * y + z)_* - \left(1 + \color{red}{\left(x \cdot y + z\right)}\right) \leadsto (x * y + z)_* - \left(1 + \color{blue}{\sqrt[3]{{\left(x \cdot y + z\right)}^3}}\right)\]
   61.9
4. Using strategy rm
   61.9
5. Applied add-log-exp to get
   \[\color{red}{(x * y + z)_* - \left(1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}\right)} \leadsto \color{blue}{\log \left(e^{(x * y + z)_* - \left(1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}\right)}\right)}\]
   62.0
6. Applied simplify to get
   \[\log \color{red}{\left(e^{(x * y + z)_* - \left(1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}\right)}\right)} \leadsto \log \color{blue}{\left(e^{\left((x * y + z)_* - z\right) - \left(y \cdot x + 1\right)}\right)}\]
   31.2

if -2.633003449024554 < z < 10651329494355302.0

1. Started with
   \[(x * y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)\]
   28.8
2. Using strategy rm
   28.8
3. Applied add-cbrt-cube to get
   \[(x * y + z)_* - \left(1 + \color{red}{\left(x \cdot y + z\right)}\right) \leadsto (x * y + z)_* - \left(1 + \color{blue}{\sqrt[3]{{\left(x \cdot y + z\right)}^3}}\right)\]
   29.4
4. Using strategy rm
   29.4
5. Applied add-log-exp to get
   \[(x * y + z)_* - \color{red}{\left(1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}\right)} \leadsto (x * y + z)_* - \color{blue}{\log \left(e^{1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}}\right)}\]
   31.1
6. Applied add-log-exp to get
   \[\color{red}{(x * y + z)_*} - \log \left(e^{1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}}\right) \leadsto \color{blue}{\log \left(e^{(x * y + z)_*}\right)} - \log \left(e^{1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}}\right)\]
   31.4
7. Applied diff-log to get
   \[\color{red}{\log \left(e^{(x * y + z)_*}\right) - \log \left(e^{1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}}\right)} \leadsto \color{blue}{\log \left(\frac{e^{(x * y + z)_*}}{e^{1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}}}\right)}\]
   31.4
8. Applied simplify to get
   \[\log \color{red}{\left(\frac{e^{(x * y + z)_*}}{e^{1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}}}\right)} \leadsto \log \color{blue}{\left(e^{\left((x * y + z)_* - y \cdot x\right) - \left(z + 1\right)}\right)}\]
   8.1

if 10651329494355302.0 < z < 7.005206523294958e+127

1. Started with
   \[(x * y + z)_* - \left(1 + \left(x \cdot y + z\right)\right)\]
   62.4
2. Using strategy rm
   62.4
3. Applied add-cbrt-cube to get
   \[(x * y + z)_* - \left(1 + \color{red}{\left(x \cdot y + z\right)}\right) \leadsto (x * y + z)_* - \left(1 + \color{blue}{\sqrt[3]{{\left(x \cdot y + z\right)}^3}}\right)\]
   62.5
4. Applied taylor to get
   \[(x * y + z)_* - \left(1 + \sqrt[3]{{\left(x \cdot y + z\right)}^3}\right) \leadsto (\left(\frac{-1}{x}\right) * \left(\frac{-1}{y}\right) + \left(\frac{-1}{z}\right))_* - 1\]
   0.2
5. Taylor expanded around -inf to get
   \[\color{red}{(\left(\frac{-1}{x}\right) * \left(\frac{-1}{y}\right) + \left(\frac{-1}{z}\right))_* - 1} \leadsto \color{blue}{(\left(\frac{-1}{x}\right) * \left(\frac{-1}{y}\right) + \left(\frac{-1}{z}\right))_* - 1}\]
   0.2