Mul acot x0 Mul -2 acos Add Mul x0 x4 4 
Add Mul Mul -2 acos Add Mul x0 x4 4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul -2 Mul -1 Mul x4 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 x4 4 Add Mul x0 x4 4 -1 