Pow tanh x0 sin acsch Mul acosh x0 E 
Mul Pow tanh x0 Add sin acsch Mul acosh x0 E -1 Add Mul sin acsch Mul acosh x0 E Pow sech x0 2 Mul Mul tanh x0 log tanh x0 Mul cos acsch Mul acosh x0 E Mul Mul -1 Mul E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Mul acosh x0 E Mul acosh x0 E sqrt Add 1 Mul -1 Pow Mul Mul acosh x0 E Mul acosh x0 E -1 -1 