Mul x7 Add Mul Add pi x6 Add 5 Add Pow x0 Pow coth x0 csch x3 x0 Add x5 acot x3 
Mul x7 Mul Add pi x6 Add Mul Pow x0 Add Pow coth x0 csch x3 -1 Add Pow coth x0 csch x3 Mul Mul x0 log x0 Mul Pow coth x0 Add csch x3 -1 Mul csch x3 Mul -1 Pow csch x0 2 1 