Mul Pow csch log x0 Add x3 tanh sech E x0 
Add Mul x0 Mul Pow csch log x0 Add Add x3 tanh sech E -1 Mul Add x3 tanh sech E Mul Mul Mul -1 coth log x0 csch log x0 Pow x0 -1 Pow csch log x0 Add x3 tanh sech E 