Mul Pow acosh coth x0 Mul -3 Add asech Mul Add Add sec x0 x2 Mul x1 x0 pi x0 x4 
Mul x4 Mul Pow acosh coth x0 Add Mul -3 Add asech Mul Add Add sec x0 x2 Mul x1 x0 pi x0 -1 Add Mul Mul -3 Add asech Mul Add Add sec x0 x2 Mul x1 x0 pi x0 Mul Mul -1 Pow csch x0 2 Pow Mul sqrt Add coth x0 -1 sqrt Add 1 coth x0 -1 Mul Mul acosh coth x0 log acosh coth x0 Mul -3 Add Mul Mul pi Add Mul tan x0 sec x0 x1 Pow Mul Mul Mul Add Add sec x0 x2 Mul x1 x0 pi Mul Add Add sec x0 x2 Mul x1 x0 pi sqrt Add 1 Mul -1 Pow Mul Mul Add Add sec x0 x2 Mul x1 x0 pi Mul Add Add sec x0 x2 Mul x1 x0 pi -1 -1 1 