Mul asinh asech Mul -1 x0 sech x0 
Add Mul sech x0 Mul Mul -1 Pow Mul Mul Mul -1 x0 Mul -1 x0 sqrt Add 1 Mul -1 Pow Mul Mul -1 x0 Mul -1 x0 -1 -1 Pow sqrt Add 1 Mul asech Mul -1 x0 asech Mul -1 x0 -1 Mul asinh asech Mul -1 x0 Mul tanh x0 Mul -1 sech x0 