asech Mul sqrt sqrt sqrt Add x0 Pow Pow cosh x0 2 x3 Add x1 x0 
Mul Add Mul Add x1 x0 Mul Pow Mul 2 sqrt sqrt sqrt Add x0 Pow Pow cosh x0 2 x3 -1 Mul Pow Mul 2 sqrt sqrt Add x0 Pow Pow cosh x0 2 x3 -1 Mul Pow Mul 2 sqrt Add x0 Pow Pow cosh x0 2 x3 -1 Add 1 Mul Pow Pow cosh x0 2 Add x3 -1 Mul x3 Mul cosh x0 Mul 2 sinh x0 sqrt sqrt sqrt Add x0 Pow Pow cosh x0 2 x3 Pow Mul Mul Mul sqrt sqrt sqrt Add x0 Pow Pow cosh x0 2 x3 Add x1 x0 Mul sqrt sqrt sqrt Add x0 Pow Pow cosh x0 2 x3 Add x1 x0 sqrt Add 1 Mul -1 Pow Mul Mul sqrt sqrt sqrt Add x0 Pow Pow cosh x0 2 x3 Add x1 x0 Mul sqrt sqrt sqrt Add x0 Pow Pow cosh x0 2 x3 Add x1 x0 -1 -1 