sinh Mul x0 Pow Mul x0 -4 atanh Pow exp acos x0 Pow Add x0 x0 acoth x1 
Mul cosh Mul x0 Pow Mul x0 -4 atanh Pow exp acos x0 Pow Add x0 x0 acoth x1 Add Pow Mul x0 -4 atanh Pow exp acos x0 Pow Add x0 x0 acoth x1 Mul x0 Mul Pow Mul x0 -4 Add atanh Pow exp acos x0 Pow Add x0 x0 acoth x1 -1 Add Mul atanh Pow exp acos x0 Pow Add x0 x0 acoth x1 -4 Mul Mul Mul x0 -4 log Mul x0 -4 Mul Mul Pow exp acos x0 Add Pow Add x0 x0 acoth x1 -1 Add Mul Pow Add x0 x0 acoth x1 Mul exp acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul exp acos x0 log exp acos x0 Mul Pow Add x0 x0 Add acoth x1 -1 Mul acoth x1 2 Pow Add 1 Mul -1 Mul Pow exp acos x0 Pow Add x0 x0 acoth x1 Pow exp acos x0 Pow Add x0 x0 acoth x1 -1 