Pow Mul x0 csc csc Add x0 x0 sqrt x3 
Mul Pow Mul x0 csc csc Add x0 x0 Add sqrt x3 -1 Mul sqrt x3 Add csc csc Add x0 x0 Mul x0 Mul Mul Mul -1 cot csc Add x0 x0 csc csc Add x0 x0 Mul Mul Mul -1 cot Add x0 x0 csc Add x0 x0 2 