Add Pow acos x6 atanh x0 Add x5 acot coth Add x0 x6 
Add Mul Pow acos x6 Add atanh x0 -1 Mul Mul acos x6 log acos x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul -1 Mul Mul -1 Pow csch Add x0 x6 2 Pow Add 1 Mul coth Add x0 x6 coth Add x0 x6 -1 