Pow Pow tanh sec cot x6 Mul csch x0 Pow x0 csch acsch x3 pi 
Mul Pow Pow tanh sec cot x6 Mul csch x0 Pow x0 csch acsch x3 Add pi -1 Mul pi Mul Pow tanh sec cot x6 Add Mul csch x0 Pow x0 csch acsch x3 -1 Mul Mul tanh sec cot x6 log tanh sec cot x6 Add Mul Pow x0 csch acsch x3 Mul Mul -1 coth x0 csch x0 Mul csch x0 Mul Pow x0 Add csch acsch x3 -1 csch acsch x3 