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