Pow Pow Pow Add acoth x0 x0 x0 Pow Pow atanh sqrt sqrt x6 atan x0 sec x7 Mul 2 x0 
Mul Pow Pow Pow Add acoth x0 x0 x0 Pow Pow atanh sqrt sqrt x6 atan x0 sec x7 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Mul Pow Pow Add acoth x0 x0 x0 Add Pow Pow atanh sqrt sqrt x6 atan x0 sec x7 -1 Add Mul Pow Pow atanh sqrt sqrt x6 atan x0 sec x7 Mul Pow Add acoth x0 x0 Add x0 -1 Add Mul x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add acoth x0 x0 log Add acoth x0 x0 Mul Mul Pow Add acoth x0 x0 x0 log Pow Add acoth x0 x0 x0 Mul Pow Pow atanh sqrt sqrt x6 atan x0 Add sec x7 -1 Mul sec x7 Mul Pow atanh sqrt sqrt x6 Add atan x0 -1 Mul Mul atanh sqrt sqrt x6 log atanh sqrt sqrt x6 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow Pow Add acoth x0 x0 x0 Pow Pow atanh sqrt sqrt x6 atan x0 sec x7 log Pow Pow Add acoth x0 x0 x0 Pow Pow atanh sqrt sqrt x6 atan x0 sec x7 2 