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