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