Add Pow x2 Pow Mul x0 coth x0 acosh Pow cot x3 x6 Mul 3 x0 
Add Mul Pow x2 Add Pow Mul x0 coth x0 acosh Pow cot x3 x6 -1 Mul Mul x2 log x2 Mul Pow Mul x0 coth x0 Add acosh Pow cot x3 x6 -1 Mul acosh Pow cot x3 x6 Add coth x0 Mul x0 Mul -1 Pow csch x0 2 3 