Add Mul x0 Mul acsc Pow sqrt atan x0 x4 x3 Add Mul 0.814278723292245 x2 Mul 4 Add x0 pi 
Add Add Mul acsc Pow sqrt atan x0 x4 x3 Mul x0 Mul x3 Mul -1 Mul Mul Pow sqrt atan x0 Add x4 -1 Mul x4 Mul Pow Mul 2 sqrt atan x0 -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow sqrt atan x0 x4 Pow sqrt atan x0 x4 -1 Pow sqrt atan x0 x4 Pow sqrt atan x0 x4 -1 4 