Pow acos coth Pow sinh coth acosh x0 x2 Pow x0 3 
Mul Pow acos coth Pow sinh coth acosh x0 x2 Add Pow x0 3 -1 Add Mul Pow x0 3 Mul -1 Mul Mul Mul -1 Pow csch Pow sinh coth acosh x0 x2 2 Mul Pow sinh coth acosh x0 Add x2 -1 Mul x2 Mul cosh coth acosh x0 Mul Mul -1 Pow csch acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul coth Pow sinh coth acosh x0 x2 coth Pow sinh coth acosh x0 x2 -1 Mul Mul acos coth Pow sinh coth acosh x0 x2 log acos coth Pow sinh coth acosh x0 x2 Mul Pow x0 2 3 