Add Pow Mul 2 Pow sec log x0 atan Add x7 x0 Add 9 Pow x0 x0 Mul atanh x0 Pow Add 1 x0 x0 
Add Mul Pow Mul 2 Pow sec log x0 atan Add x7 x0 Add Add 9 Pow x0 x0 -1 Add Mul Add 9 Pow x0 x0 Mul 2 Mul Pow sec log x0 Add atan Add x7 x0 -1 Add Mul atan Add x7 x0 Mul Mul tan log x0 sec log x0 Pow x0 -1 Mul Mul sec log x0 log sec log x0 Pow Add 1 Mul Add x7 x0 Add x7 x0 -1 Mul Mul Mul 2 Pow sec log x0 atan Add x7 x0 log Mul 2 Pow sec log x0 atan Add x7 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Mul Pow Add 1 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow Add 1 x0 Add x0 -1 Add x0 Mul Add 1 x0 log Add 1 x0 