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