Add Add cot Mul x0 Mul pi Mul sec Mul pi 3 x0 sqrt Add x0 x0 1 
Add Mul Mul -1 Pow csc Mul x0 Mul pi Mul sec Mul pi 3 x0 2 Add Mul pi Mul sec Mul pi 3 x0 Mul x0 Mul pi sec Mul pi 3 Mul Pow Mul 2 sqrt Add x0 x0 -1 2 