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