Pow x6 Mul Pow x1 2 asech Add sqrt x0 Pow x0 pi 
Mul Pow x6 Add Mul Pow x1 2 asech Add sqrt x0 Pow x0 pi -1 Mul Mul x6 log x6 Mul Pow x1 2 Mul Add Pow Mul 2 sqrt x0 -1 Mul Pow x0 Add pi -1 pi Pow Mul Mul Add sqrt x0 Pow x0 pi Add sqrt x0 Pow x0 pi sqrt Add 1 Mul -1 Pow Mul Add sqrt x0 Pow x0 pi Add sqrt x0 Pow x0 pi -1 -1 