Pow Add csc Mul x0 x0 -1 Mul acot csc x0 x3 
Mul Pow Add csc Mul x0 x0 -1 Add Mul acot csc x0 x3 -1 Add Mul Mul acot csc x0 x3 Mul Mul Mul -1 cot Mul x0 x0 csc Mul x0 x0 Add x0 x0 Mul Mul Add csc Mul x0 x0 -1 log Add csc Mul x0 x0 -1 Mul x3 Mul -1 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul csc x0 csc x0 -1 