Mul Mul Mul acosh Mul x2 Pow x6 4 x0 Pow coth x0 -1 Mul tan sec x4 x0 
Add Mul Mul tan sec x4 x0 Add Mul Pow coth x0 -1 acosh Mul x2 Pow x6 4 Mul Mul acosh Mul x2 Pow x6 4 x0 Mul Pow coth x0 2 Mul -1 Mul -1 Pow csch x0 2 Mul Mul Mul acosh Mul x2 Pow x6 4 x0 Pow coth x0 -1 tan sec x4 