Add coth cot x0 Pow tanh Pow x0 acot Pow Mul x2 x2 Pow x1 acosh E x0 
Add Mul Mul -1 Pow csch cot x0 2 Mul -1 Pow csc x0 2 Mul Pow tanh Pow x0 acot Pow Mul x2 x2 Pow x1 acosh E Add x0 -1 Add Mul x0 Mul Pow sech Pow x0 acot Pow Mul x2 x2 Pow x1 acosh E 2 Mul Pow x0 Add acot Pow Mul x2 x2 Pow x1 acosh E -1 acot Pow Mul x2 x2 Pow x1 acosh E Mul tanh Pow x0 acot Pow Mul x2 x2 Pow x1 acosh E log tanh Pow x0 acot Pow Mul x2 x2 Pow x1 acosh E 