Add acos acoth Mul x0 cosh x3 Pow acsch Pow acosh x0 4 coth x0 
Add Mul -1 Mul Mul cosh x3 Pow Add 1 Mul -1 Mul Mul x0 cosh x3 Mul x0 cosh x3 -1 Pow sqrt Add 1 Mul -1 Mul acoth Mul x0 cosh x3 acoth Mul x0 cosh x3 -1 Mul Pow acsch Pow acosh x0 4 Add coth x0 -1 Add Mul coth x0 Mul Mul -1 Mul Pow acosh x0 3 Mul 4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Pow acosh x0 4 Pow acosh x0 4 sqrt Add 1 Mul -1 Pow Mul Pow acosh x0 4 Pow acosh x0 4 -1 -1 Mul Mul acsch Pow acosh x0 4 log acsch Pow acosh x0 4 Mul -1 Pow csch x0 2 