Add Pow Pow atan x0 Pow sec Add -1 x0 x0 cosh atanh Add x0 atan Pow atanh Add x0 x1 x0 log x0 
Add Mul Pow Pow atan x0 Pow sec Add -1 x0 x0 Add cosh atanh Add x0 atan Pow atanh Add x0 x1 x0 -1 Add Mul cosh atanh Add x0 atan Pow atanh Add x0 x1 x0 Mul Pow atan x0 Add Pow sec Add -1 x0 x0 -1 Add Mul Pow sec Add -1 x0 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow sec Add -1 x0 Add x0 -1 Add Mul x0 Mul tan Add -1 x0 sec Add -1 x0 Mul sec Add -1 x0 log sec Add -1 x0 Mul Mul Pow atan x0 Pow sec Add -1 x0 x0 log Pow atan x0 Pow sec Add -1 x0 x0 Mul sinh atanh Add x0 atan Pow atanh Add x0 x1 x0 Mul Add 1 Mul Mul Pow atanh Add x0 x1 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul Add x0 x1 Add x0 x1 -1 Mul atanh Add x0 x1 log atanh Add x0 x1 Pow Add 1 Mul Pow atanh Add x0 x1 x0 Pow atanh Add x0 x1 x0 -1 Pow Add 1 Mul -1 Mul Add x0 atan Pow atanh Add x0 x1 x0 Add x0 atan Pow atanh Add x0 x1 x0 -1 Pow x0 -1 