Mul Pow E x0 asech cosh sqrt exp x0 
Add Mul asech cosh sqrt exp x0 Mul Pow E Add x0 -1 Mul E log E Mul Pow E x0 Mul Mul sinh sqrt exp x0 Mul Pow Mul 2 sqrt exp x0 -1 exp x0 Pow Mul Mul cosh sqrt exp x0 cosh sqrt exp x0 sqrt Add 1 Mul -1 Pow Mul cosh sqrt exp x0 cosh sqrt exp x0 -1 -1 