Mul x5 Pow sqrt x5 sech Mul acosh x0 Pow E -4 
Mul x5 Mul Pow sqrt x5 Add sech Mul acosh x0 Pow E -4 -1 Mul Mul sqrt x5 log sqrt x5 Mul Mul tanh Mul acosh x0 Pow E -4 Mul -1 sech Mul acosh x0 Pow E -4 Mul Pow E -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 