Pow atan x0 csc Pow Pow Pow log Mul x6 x3 x0 acot x0 x4 
Mul Pow atan x0 Add csc Pow Pow Pow log Mul x6 x3 x0 acot x0 x4 -1 Add Mul csc Pow Pow Pow log Mul x6 x3 x0 acot x0 x4 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Mul Mul -1 cot Pow Pow Pow log Mul x6 x3 x0 acot x0 x4 csc Pow Pow Pow log Mul x6 x3 x0 acot x0 x4 Mul Pow Pow Pow log Mul x6 x3 x0 acot x0 Add x4 -1 Mul x4 Mul Pow Pow log Mul x6 x3 x0 Add acot x0 -1 Add Mul acot x0 Mul Pow log Mul x6 x3 Add x0 -1 Mul log Mul x6 x3 log log Mul x6 x3 Mul Mul Pow log Mul x6 x3 x0 log Pow log Mul x6 x3 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 