Mul Pow x4 asech Add x0 Mul log Add x6 x0 pi x0 
Add Mul x0 Mul Pow x4 Add asech Add x0 Mul log Add x6 x0 pi -1 Mul Mul x4 log x4 Mul Add 1 Mul pi Pow Add x6 x0 -1 Pow Mul Mul Add x0 Mul log Add x6 x0 pi Add x0 Mul log Add x6 x0 pi sqrt Add 1 Mul -1 Pow Mul Add x0 Mul log Add x6 x0 pi Add x0 Mul log Add x6 x0 pi -1 -1 Pow x4 asech Add x0 Mul log Add x6 x0 pi 