Mul Add Mul x0 Add Mul Pow Pow x6 coth x0 cot asec acoth x1 x0 x0 x0 -2 
Mul -2 Add Add Add Mul Pow Pow x6 coth x0 cot asec acoth x1 x0 x0 Mul x0 Add Add Mul x0 Mul Pow Pow x6 coth x0 Add cot asec acoth x1 -1 Mul cot asec acoth x1 Mul Pow x6 Add coth x0 -1 Mul Mul x6 log x6 Mul -1 Pow csch x0 2 Pow Pow x6 coth x0 cot asec acoth x1 1 1 