coth Mul Pow Pow acos x2 atanh x0 -3 Mul -3 x5 
Mul Mul -1 Pow csch Mul Pow Pow acos x2 atanh x0 -3 Mul -3 x5 2 Mul Mul -3 x5 Mul Pow Pow acos x2 atanh x0 4 Mul -3 Mul Pow acos x2 Add atanh x0 -1 Mul Mul acos x2 log acos x2 Pow Add 1 Mul -1 Mul x0 x0 -1 