Mul Pow Pow Add x1 atanh Pow x0 pi Mul x4 asec x1 x0 x0 
Add Mul x0 Mul Pow Pow Add x1 atanh Pow x0 pi Mul x4 asec x1 Add x0 -1 Add Mul x0 Mul Pow Add x1 atanh Pow x0 pi Add Mul x4 asec x1 -1 Mul Mul x4 asec x1 Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Mul Pow Add x1 atanh Pow x0 pi Mul x4 asec x1 log Pow Add x1 atanh Pow x0 pi Mul x4 asec x1 Pow Pow Add x1 atanh Pow x0 pi Mul x4 asec x1 x0 