; Mathomatic fails to simplify the following 3 identities with the simplify command.
; Solving for x verifies they are identities.

((e#^x) - 1)/((e#^(x/2)) + 1) = (e#^(x/2)) - 1
((2^x) - 1)/((2^(x/2)) + 1) = (2^(x/2)) - 1
((4^x) - 1)/((4^(x/2)) + 1) = (4^(x/2)) - 1