Pow cos coth Mul x0 x2 Pow Mul acosh Mul Add acoth x0 3 x0 x0 4 
Mul Pow cos coth Mul x0 x2 Add Pow Mul acosh Mul Add acoth x0 3 x0 x0 4 -1 Add Mul Pow Mul acosh Mul Add acoth x0 3 x0 x0 4 Mul Mul -1 sin coth Mul x0 x2 Mul Mul -1 Pow csch Mul x0 x2 2 x2 Mul Mul cos coth Mul x0 x2 log cos coth Mul x0 x2 Mul Pow Mul acosh Mul Add acoth x0 3 x0 x0 3 Mul 4 Add Mul x0 Mul Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Add acoth x0 3 Pow Mul sqrt Add Mul Add acoth x0 3 x0 -1 sqrt Add 1 Mul Add acoth x0 3 x0 -1 acosh Mul Add acoth x0 3 x0 