acot Pow x7 Pow Pow Pow E x0 Pow atanh x6 x2 x0 
Mul -1 Mul Mul Pow x7 Add Pow Pow Pow E x0 Pow atanh x6 x2 x0 -1 Mul Mul x7 log x7 Mul Pow Pow Pow E x0 Pow atanh x6 x2 Add x0 -1 Add Mul x0 Mul Pow Pow E x0 Add Pow atanh x6 x2 -1 Mul Pow atanh x6 x2 Mul Pow E Add x0 -1 Mul E log E Mul Pow Pow E x0 Pow atanh x6 x2 log Pow Pow E x0 Pow atanh x6 x2 Pow Add 1 Mul Pow x7 Pow Pow Pow E x0 Pow atanh x6 x2 x0 Pow x7 Pow Pow Pow E x0 Pow atanh x6 x2 x0 -1 