How do you verify #tanh x/(cosh x - sinh x tanh x) = sinh x#?