Mul x0 sqrt Pow cot Mul Mul x0 x0 4 x2 
Add sqrt Pow cot Mul Mul x0 x0 4 x2 Mul x0 Mul Pow Mul 2 sqrt Pow cot Mul Mul x0 x0 4 x2 -1 Mul Pow cot Mul Mul x0 x0 4 Add x2 -1 Mul x2 Mul Mul -1 Pow csc Mul Mul x0 x0 4 2 Mul 4 Add x0 x0 