Pow Mul Mul atanh x0 -4 csc Mul x0 2 x1 
Mul Pow Mul Mul atanh x0 -4 csc Mul x0 2 Add x1 -1 Mul x1 Add Mul csc Mul x0 2 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 -4 Mul Mul Mul -1 cot Mul x0 2 csc Mul x0 2 2 