Mul cosh Add x0 Pow x1 x0 cosh asinh asech Add x0 atan x1 
Add Mul cosh asinh asech Add x0 atan x1 Mul sinh Add x0 Pow x1 x0 Add 1 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul cosh Add x0 Pow x1 x0 Mul sinh asinh asech Add x0 atan x1 Mul Pow Mul Mul Add x0 atan x1 Add x0 atan x1 sqrt Add 1 Mul -1 Pow Mul Add x0 atan x1 Add x0 atan x1 -1 -1 Pow sqrt Add 1 Mul asech Add x0 atan x1 asech Add x0 atan x1 -1 