exp Mul Add x0 Mul x0 Mul acos Pow x0 pi Pow x0 2 -4 
Mul exp Mul Add x0 Mul x0 Mul acos Pow x0 pi Pow x0 2 -4 Mul -4 Add 1 Add Mul acos Pow x0 pi Pow x0 2 Mul x0 Add Mul Pow x0 2 Mul -1 Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Mul acos Pow x0 pi Mul x0 2 