acot Pow x6 tan coth exp Add x0 x0 
Mul -1 Mul Mul Pow x6 Add tan coth exp Add x0 x0 -1 Mul Mul x6 log x6 Mul Pow sec coth exp Add x0 x0 2 Mul Mul -1 Pow csch exp Add x0 x0 2 Mul exp Add x0 x0 2 Pow Add 1 Mul Pow x6 tan coth exp Add x0 x0 Pow x6 tan coth exp Add x0 x0 -1 