Pow x0 Mul acos Mul Mul x0 Add 4 E x0 Mul -2 pi 
Mul Pow x0 Add Mul acos Mul Mul x0 Add 4 E x0 Mul -2 pi -1 Add Mul acos Mul Mul x0 Add 4 E x0 Mul -2 pi Mul Mul x0 log x0 Mul Mul -2 pi Mul -1 Mul Add Mul x0 Add 4 E Mul x0 Add 4 E Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Add 4 E x0 Mul Mul x0 Add 4 E x0 -1 