coth csch Mul Mul Pow Mul x7 x6 x6 -1 Mul 2 x0 
Mul Mul -1 Pow csch csch Mul Mul Pow Mul x7 x6 x6 -1 Mul 2 x0 2 Mul Mul Mul -1 coth Mul Mul Pow Mul x7 x6 x6 -1 Mul 2 x0 csch Mul Mul Pow Mul x7 x6 x6 -1 Mul 2 x0 Mul Mul Pow Mul x7 x6 x6 -1 2 