Pow sqrt sinh Mul x0 Pow Mul acosh x1 acoth x0 E sqrt x0 
Mul Pow sqrt sinh Mul x0 Pow Mul acosh x1 acoth x0 E Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow Mul 2 sqrt sinh Mul x0 Pow Mul acosh x1 acoth x0 E -1 Mul cosh Mul x0 Pow Mul acosh x1 acoth x0 E Add Pow Mul acosh x1 acoth x0 E Mul x0 Mul Pow Mul acosh x1 acoth x0 Add E -1 Mul E Mul acosh x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sqrt sinh Mul x0 Pow Mul acosh x1 acoth x0 E log sqrt sinh Mul x0 Pow Mul acosh x1 acoth x0 E Pow Mul 2 sqrt x0 -1 