Mul cot acos Add Add pi E Mul x2 x0 x0 
Add Mul x0 Mul Mul -1 Pow csc acos Add Add pi E Mul x2 x0 2 Mul -1 Mul x2 Pow sqrt Add 1 Mul -1 Mul Add Add pi E Mul x2 x0 Add Add pi E Mul x2 x0 -1 cot acos Add Add pi E Mul x2 x0 