sqrt acos Mul Add Add x0 Add Add x0 Pow x0 log x3 1.24904577239825 x0 pi 
Mul Pow Mul 2 sqrt acos Mul Add Add x0 Add Add x0 Pow x0 log x3 1.24904577239825 x0 pi -1 Mul -1 Mul Mul pi Add Add 1 Add 1 Mul Pow x0 Add log x3 -1 log x3 1 Pow sqrt Add 1 Mul -1 Mul Mul Add Add x0 Add Add x0 Pow x0 log x3 1.24904577239825 x0 pi Mul Add Add x0 Add Add x0 Pow x0 log x3 1.24904577239825 x0 pi -1 