Mul Pow cot x0 sqrt Pow Mul x0 x3 Pow Mul atan x7 5 -4 Add Add x0 -3 x0 
Add Mul Add Add x0 -3 x0 Mul Pow cot x0 Add sqrt Pow Mul x0 x3 Pow Mul atan x7 5 -4 -1 Add Mul sqrt Pow Mul x0 x3 Pow Mul atan x7 5 -4 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul Pow Mul 2 sqrt Pow Mul x0 x3 Pow Mul atan x7 5 -4 -1 Mul Pow Mul x0 x3 Add Pow Mul atan x7 5 -4 -1 Mul Pow Mul atan x7 5 -4 x3 Mul Pow cot x0 sqrt Pow Mul x0 x3 Pow Mul atan x7 5 -4 2 