Mul Mul Pow x2 x6 asech acsc Pow coth E x0 x4 
Mul x4 Mul Pow x2 x6 Mul Mul -1 Mul Mul Pow coth E Add x0 -1 Mul coth E log coth E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow coth E x0 Pow coth E x0 -1 Pow coth E x0 Pow coth E x0 -1 Pow Mul Mul acsc Pow coth E x0 acsc Pow coth E x0 sqrt Add 1 Mul -1 Pow Mul acsc Pow coth E x0 acsc Pow coth E x0 -1 -1 