Mul x0 Pow Pow Add Mul 4 x6 x0 x0 cot Add sqrt x7 E 
Add Pow Pow Add Mul 4 x6 x0 x0 cot Add sqrt x7 E Mul x0 Mul Pow Pow Add Mul 4 x6 x0 x0 Add cot Add sqrt x7 E -1 Mul cot Add sqrt x7 E Mul Pow Add Mul 4 x6 x0 Add x0 -1 Add x0 Mul Add Mul 4 x6 x0 log Add Mul 4 x6 x0 