Add x0 Pow x6 Mul Add Pow x5 x0 acot sin coth x1 x0 
Add 1 Mul Pow x6 Add Mul Add Pow x5 x0 acot sin coth x1 x0 -1 Mul Mul x6 log x6 Add Mul x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Add Pow x5 x0 acot sin coth x1 