acsch atan sqrt Add x0 cosh Add x0 x6 
Mul Mul -1 Mul Mul Pow Mul 2 sqrt Add x0 cosh Add x0 x6 -1 Add 1 sinh Add x0 x6 Pow Add 1 Mul sqrt Add x0 cosh Add x0 x6 sqrt Add x0 cosh Add x0 x6 -1 Pow Mul Mul atan sqrt Add x0 cosh Add x0 x6 atan sqrt Add x0 cosh Add x0 x6 sqrt Add 1 Mul -1 Pow Mul atan sqrt Add x0 cosh Add x0 x6 atan sqrt Add x0 cosh Add x0 x6 -1 -1 