asech Add Mul x0 Pow x7 coth x0 sec Mul -2 x0 
Mul Add Add Pow x7 coth x0 Mul x0 Mul Pow x7 Add coth x0 -1 Mul Mul x7 log x7 Mul -1 Pow csch x0 2 Mul Mul tan Mul -2 x0 sec Mul -2 x0 -2 Pow Mul Mul Add Mul x0 Pow x7 coth x0 sec Mul -2 x0 Add Mul x0 Pow x7 coth x0 sec Mul -2 x0 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 Pow x7 coth x0 sec Mul -2 x0 Add Mul x0 Pow x7 coth x0 sec Mul -2 x0 -1 -1 