Mul Add x0 Pow x1 x1 Pow Pow sec log Pow x2 pi Add x0 Mul x3 Mul x0 Mul x0 atanh x0 x0 
Add Pow Pow sec log Pow x2 pi Add x0 Mul x3 Mul x0 Mul x0 atanh x0 x0 Mul Add x0 Pow x1 x1 Mul Pow Pow sec log Pow x2 pi Add x0 Mul x3 Mul x0 Mul x0 atanh x0 Add x0 -1 Add Mul x0 Mul Pow sec log Pow x2 pi Add Add x0 Mul x3 Mul x0 Mul x0 atanh x0 -1 Mul Mul sec log Pow x2 pi log sec log Pow x2 pi Add 1 Mul x3 Add Mul x0 atanh x0 Mul x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow sec log Pow x2 pi Add x0 Mul x3 Mul x0 Mul x0 atanh x0 log Pow sec log Pow x2 pi Add x0 Mul x3 Mul x0 Mul x0 atanh x0 