Pow Add x0 x3 csc Pow Mul Mul 4 x0 x0 sqrt x2 
Mul Pow Add x0 x3 Add csc Pow Mul Mul 4 x0 x0 sqrt x2 -1 Add csc Pow Mul Mul 4 x0 x0 sqrt x2 Mul Mul Add x0 x3 log Add x0 x3 Mul Mul Mul -1 cot Pow Mul Mul 4 x0 x0 sqrt x2 csc Pow Mul Mul 4 x0 x0 sqrt x2 Mul Pow Mul Mul 4 x0 x0 Add sqrt x2 -1 Mul sqrt x2 Add Mul x0 4 Mul 4 x0 