Mul Pow Mul Pow x3 2 atanh x2 x0 cot x0 
Add Mul cot x0 Mul Pow Mul Pow x3 2 atanh x2 Add x0 -1 Mul Mul Pow x3 2 atanh x2 log Mul Pow x3 2 atanh x2 Mul Pow Mul Pow x3 2 atanh x2 x0 Mul -1 Pow csc x0 2 