Mul Pow x0 Pow csc atanh x6 x0 x0 
Add Mul x0 Mul Pow x0 Add Pow csc atanh x6 x0 -1 Add Pow csc atanh x6 x0 Mul Mul x0 log x0 Mul Pow csc atanh x6 Add x0 -1 Mul csc atanh x6 log csc atanh x6 Pow x0 Pow csc atanh x6 x0 