sinh Mul acosh Pow sqrt Mul Mul Add x0 x0 x0 acoth x0 x0 x0 
Mul cosh Mul acosh Pow sqrt Mul Mul Add x0 x0 x0 acoth x0 x0 x0 Add Mul x0 Mul Mul Pow sqrt Mul Mul Add x0 x0 x0 acoth x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Mul Mul Add x0 x0 x0 acoth x0 -1 Add Mul acoth x0 Add Mul x0 2 Add x0 x0 Mul Mul Add x0 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul sqrt Mul Mul Add x0 x0 x0 acoth x0 log sqrt Mul Mul Add x0 x0 x0 acoth x0 Pow Mul sqrt Add Pow sqrt Mul Mul Add x0 x0 x0 acoth x0 x0 -1 sqrt Add 1 Pow sqrt Mul Mul Add x0 x0 x0 acoth x0 x0 -1 acosh Pow sqrt Mul Mul Add x0 x0 x0 acoth x0 x0 