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