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