Mul pi Mul Pow coth x0 Mul E 4 sech Add x0 asec cot x5 
Mul pi Add Mul sech Add x0 asec cot x5 Mul Pow coth x0 Add Mul E 4 -1 Mul Mul E 4 Mul -1 Pow csch x0 2 Mul Pow coth x0 Mul E 4 Mul tanh Add x0 asec cot x5 Mul -1 sech Add x0 asec cot x5 