Pow Pow x0 Pow Pow Mul x6 x0 pi Pow Pow x0 atanh x4 x0 sec exp x5 
Mul Pow Pow x0 Pow Pow Mul x6 x0 pi Pow Pow x0 atanh x4 x0 Add sec exp x5 -1 Mul sec exp x5 Mul Pow x0 Add Pow Pow Mul x6 x0 pi Pow Pow x0 atanh x4 x0 -1 Add Pow Pow Mul x6 x0 pi Pow Pow x0 atanh x4 x0 Mul Mul x0 log x0 Mul Pow Pow Mul x6 x0 pi Add Pow Pow x0 atanh x4 x0 -1 Add Mul Pow Pow x0 atanh x4 x0 Mul Pow Mul x6 x0 Add pi -1 Mul pi x6 Mul Mul Pow Mul x6 x0 pi log Pow Mul x6 x0 pi Mul Pow Pow x0 atanh x4 Add x0 -1 Add Mul x0 Mul Pow x0 Add atanh x4 -1 atanh x4 Mul Pow x0 atanh x4 log Pow x0 atanh x4 