Add Mul tanh cosh x0 x0 asech Mul 2 Add x0 x6 
Add Add Mul x0 Mul Pow sech cosh x0 2 sinh x0 tanh cosh x0 Mul 2 Pow Mul Mul Mul 2 Add x0 x6 Mul 2 Add x0 x6 sqrt Add 1 Mul -1 Pow Mul Mul 2 Add x0 x6 Mul 2 Add x0 x6 -1 -1 