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