Mul Pow x4 log x0 Pow Mul tan asin Pow 4 pi Mul Pow x0 x0 Add x4 Add 2 Mul x2 Add x2 x0 asec pi 
Add Mul Pow Mul tan asin Pow 4 pi Mul Pow x0 x0 Add x4 Add 2 Mul x2 Add x2 x0 asec pi Mul Pow x4 Add log x0 -1 Mul Mul x4 log x4 Pow x0 -1 Mul Pow x4 log x0 Mul Pow Mul tan asin Pow 4 pi Mul Pow x0 x0 Add x4 Add 2 Mul x2 Add x2 x0 Add asec pi -1 Mul asec pi Mul tan asin Pow 4 pi Add Mul Add x4 Add 2 Mul x2 Add x2 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 x2 