Add x6 sin Pow Pow x0 Pow atanh Pow x5 -3 cos log acot x0 x6 
Mul cos Pow Pow x0 Pow atanh Pow x5 -3 cos log acot x0 x6 Mul Pow Pow x0 Pow atanh Pow x5 -3 cos log acot x0 Add x6 -1 Mul x6 Mul Pow x0 Add Pow atanh Pow x5 -3 cos log acot x0 -1 Add Pow atanh Pow x5 -3 cos log acot x0 Mul Mul x0 log x0 Mul Pow atanh Pow x5 -3 Add cos log acot x0 -1 Mul Mul atanh Pow x5 -3 log atanh Pow x5 -3 Mul Mul -1 sin log acot x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 -1 