Mul Add acos Add Mul x0 pi Add x0 x0 -3 atanh Pow pi x0 
Add Mul atanh Pow pi x0 Mul -1 Mul Add pi 2 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 pi Add x0 x0 Add Mul x0 pi Add x0 x0 -1 Mul Add acos Add Mul x0 pi Add x0 x0 -3 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul -1 Mul Pow pi x0 Pow pi x0 -1 