Add pi Add Pow x3 cot Mul Add Mul Mul x0 x0 x7 sqrt acot atan x0 x0 x0 
Add Mul Pow x3 Add cot Mul Add Mul Mul x0 x0 x7 sqrt acot atan x0 x0 -1 Mul Mul x3 log x3 Mul Mul -1 Pow csc Mul Add Mul Mul x0 x0 x7 sqrt acot atan x0 x0 2 Add Mul x0 Add Mul x7 Add x0 x0 Mul Pow Mul 2 sqrt acot atan x0 -1 Mul -1 Mul Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul atan x0 atan x0 -1 Add Mul Mul x0 x0 x7 sqrt acot atan x0 1 