Added Coth class. Added tests.

* Found a bug mul(im1, sub(im1, x)) != add(i1, x)
* Added API for `Coth` class. Found a bug in SymPy coth.
* Added tests.
* TODO: fill issues corresponding to bugs.