Pow acos sqrt sin acoth Pow acos x0 acsch Pow Add x3 2 x4 2 
Mul acos sqrt sin acoth Pow acos x0 acsch Pow Add x3 2 x4 Mul 2 Mul -1 Mul Mul Pow Mul 2 sqrt sin acoth Pow acos x0 acsch Pow Add x3 2 x4 -1 Mul cos acoth Pow acos x0 acsch Pow Add x3 2 x4 Mul Mul Pow acos x0 Add acsch Pow Add x3 2 x4 -1 Mul acsch Pow Add x3 2 x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acos x0 acsch Pow Add x3 2 x4 Pow acos x0 acsch Pow Add x3 2 x4 -1 Pow sqrt Add 1 Mul -1 Mul sqrt sin acoth Pow acos x0 acsch Pow Add x3 2 x4 sqrt sin acoth Pow acos x0 acsch Pow Add x3 2 x4 -1 