Mul acot Mul cosh Pow 2 x2 coth log Add x0 exp x0 x3 
Mul x3 Mul -1 Mul Mul cosh Pow 2 x2 Mul Mul -1 Pow csch log Add x0 exp x0 2 Mul Add 1 exp x0 Pow Add x0 exp x0 -1 Pow Add 1 Mul Mul cosh Pow 2 x2 coth log Add x0 exp x0 Mul cosh Pow 2 x2 coth log Add x0 exp x0 -1 