Add pi Pow Pow csc x0 coth x1 Pow sech x0 Pow E log atanh x6 
Mul Pow Pow csc x0 coth x1 Add Pow sech x0 Pow E log atanh x6 -1 Add Mul Pow sech x0 Pow E log atanh x6 Mul Pow csc x0 Add coth x1 -1 Mul coth x1 Mul Mul -1 cot x0 csc x0 Mul Mul Pow csc x0 coth x1 log Pow csc x0 coth x1 Mul Pow sech x0 Add Pow E log atanh x6 -1 Mul Pow E log atanh x6 Mul tanh x0 Mul -1 sech x0 