sinh tanh Pow Pow asech Add x0 x1 acos x0 acot x1 
Mul cosh tanh Pow Pow asech Add x0 x1 acos x0 acot x1 Mul Pow sech Pow Pow asech Add x0 x1 acos x0 acot x1 2 Mul Pow Pow asech Add x0 x1 acos x0 Add acot x1 -1 Mul acot x1 Mul Pow asech Add x0 x1 Add acos x0 -1 Add Mul acos x0 Pow Mul Mul Add x0 x1 Add x0 x1 sqrt Add 1 Mul -1 Pow Mul Add x0 x1 Add x0 x1 -1 -1 Mul Mul asech Add x0 x1 log asech Add x0 x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 