Mul Mul x6 acot Mul coth x1 x6 tan Pow x0 Pow Add Pow log x0 x6 x2 x0 
Mul Mul x6 acot Mul coth x1 x6 Mul Pow sec Pow x0 Pow Add Pow log x0 x6 x2 x0 2 Mul Pow x0 Add Pow Add Pow log x0 x6 x2 x0 -1 Add Pow Add Pow log x0 x6 x2 x0 Mul Mul x0 log x0 Mul Pow Add Pow log x0 x6 x2 Add x0 -1 Add Mul x0 Mul Pow log x0 Add x6 -1 Mul x6 Pow x0 -1 Mul Add Pow log x0 x6 x2 log Add Pow log x0 x6 x2 