Mul x0 acot Mul cot Add atan Mul x6 -1 Add Add Mul E x2 x0 4 Mul x3 x5 
Add acot Mul cot Add atan Mul x6 -1 Add Add Mul E x2 x0 4 Mul x3 x5 Mul x0 Mul -1 Mul Mul Mul x3 x5 Mul -1 Pow csc Add atan Mul x6 -1 Add Add Mul E x2 x0 4 2 Pow Add 1 Mul Mul cot Add atan Mul x6 -1 Add Add Mul E x2 x0 4 Mul x3 x5 Mul cot Add atan Mul x6 -1 Add Add Mul E x2 x0 4 Mul x3 x5 -1 