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