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