Pow Mul x0 Mul Pow Mul x0 x2 atanh asec E pi Mul Mul x6 x0 x0 
Mul Pow Mul x0 Mul Pow Mul x0 x2 atanh asec E pi Add Mul Mul x6 x0 x0 -1 Add Mul Mul Mul x6 x0 x0 Add Mul Pow Mul x0 x2 atanh asec E pi Mul x0 Mul pi Mul Pow Mul x0 x2 Add atanh asec E -1 Mul atanh asec E x2 Mul Mul Mul x0 Mul Pow Mul x0 x2 atanh asec E pi log Mul x0 Mul Pow Mul x0 x2 atanh asec E pi Add Mul x0 x6 Mul x6 x0 