Pow Add x7 atanh csc x0 Pow x0 3 
Mul Pow Add x7 atanh csc x0 Add Pow x0 3 -1 Add Mul Pow x0 3 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul csc x0 csc x0 -1 Mul Mul Add x7 atanh csc x0 log Add x7 atanh csc x0 Mul Pow x0 2 3 