Add x3 Pow Add x0 asec log acosh pi asin Mul Add Pow x0 pi x0 x1 
Mul Pow Add x0 asec log acosh pi Add asin Mul Add Pow x0 pi x0 x1 -1 Add asin Mul Add Pow x0 pi x0 x1 Mul Mul Add x0 asec log acosh pi log Add x0 asec log acosh pi Mul Mul x1 Add Mul Pow x0 Add pi -1 pi 1 Pow sqrt Add 1 Mul -1 Mul Mul Add Pow x0 pi x0 x1 Mul Add Pow x0 pi x0 x1 -1 