Pow Pow Mul acosh Add Add x6 x0 1 asech x2 asinh x0 tanh x6 
Mul Pow Pow Mul acosh Add Add x6 x0 1 asech x2 asinh x0 Add tanh x6 -1 Mul tanh x6 Mul Pow Mul acosh Add Add x6 x0 1 asech x2 Add asinh x0 -1 Add Mul asinh x0 Mul asech x2 Pow Mul sqrt Add Add Add x6 x0 1 -1 sqrt Add 1 Add Add x6 x0 1 -1 Mul Mul Mul acosh Add Add x6 x0 1 asech x2 log Mul acosh Add Add x6 x0 1 asech x2 Pow sqrt Add 1 Mul x0 x0 -1 