Add x0 cosh cosh Mul -2 Mul Pow x0 x7 tanh acosh x0 
Add 1 Mul sinh cosh Mul -2 Mul Pow x0 x7 tanh acosh x0 Mul sinh Mul -2 Mul Pow x0 x7 tanh acosh x0 Mul -2 Add Mul tanh acosh x0 Mul Pow x0 Add x7 -1 x7 Mul Pow x0 x7 Mul Pow sech acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 