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