Mul x0 cosh Add x1 acsch Add x0 asinh x2 
Add cosh Add x1 acsch Add x0 asinh x2 Mul x0 Mul sinh Add x1 acsch Add x0 asinh x2 Mul -1 Pow Mul Mul Add x0 asinh x2 Add x0 asinh x2 sqrt Add 1 Mul -1 Pow Mul Add x0 asinh x2 Add x0 asinh x2 -1 -1 