The function types diverge at \(\Omega_2\)
Here is the comparison.
| Function A | Function B |
|---|---|
| \(\psi(\psi_1(\Omega_2))\) | \(\psi(\Omega_2)\) |
| \(\psi(\psi_1(\Omega_2)+1)\) | \(\psi(\Omega_2+1)\) |
| \(\psi(\psi_1(\Omega_2)+\Omega)\) | \(\psi(\Omega_2+\Omega)\) |
| \(\psi(\psi_1(\Omega_2)*2)\) | \(\psi(\Omega_2+\psi_1(\Omega_2))\) |
| \(\psi(\psi_1(\Omega_2+1))\) | \(\psi(\Omega_2+\psi_1(\Omega_2+1))\) |
| \(\psi(\psi_1(\Omega_2+\Omega))\) | \(\psi(\Omega_2+\psi_1(\Omega_2+\Omega))\) |
| \( \psi(\psi_1(\Omega_2+\psi_1(\Omega_2)))\) | \(\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))\) |
| \(\psi(\psi_1(\Omega_2*2))\) | \(\psi(\Omega_2*2)\) |
So the function catches up at \(\Omega_2*2\) and all multiples of \(\Omega_2\).
I like Function B better because it is more extensible.