Add Mul Pow x0 cot Pow E x2 Mul Mul -4 x0 Mul acos Add Add Add sqrt Mul x0 E Add x4 x0 x2 x0 3 5 
Add Mul Mul Mul -4 x0 Mul acos Add Add Add sqrt Mul x0 E Add x4 x0 x2 x0 3 Mul Pow x0 Add cot Pow E x2 -1 cot Pow E x2 Mul Pow x0 cot Pow E x2 Add Mul Mul acos Add Add Add sqrt Mul x0 E Add x4 x0 x2 x0 3 -4 Mul Mul -4 x0 Mul 3 Mul -1 Mul Add Add Mul Pow Mul 2 sqrt Mul x0 E -1 E 1 1 Pow sqrt Add 1 Mul -1 Mul Add Add Add sqrt Mul x0 E Add x4 x0 x2 x0 Add Add Add sqrt Mul x0 E Add x4 x0 x2 x0 -1 