Pow sech x0 acot acosh Add x0 3 
Mul Pow sech x0 Add acot acosh Add x0 3 -1 Add Mul acot acosh Add x0 3 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Mul -1 Mul Pow Mul sqrt Add Add x0 3 -1 sqrt Add 1 Add x0 3 -1 Pow Add 1 Mul acosh Add x0 3 acosh Add x0 3 -1 