Pow sec Pow coth x3 x0 Mul -2 x0 
Mul Pow sec Pow coth x3 x0 Add Mul -2 x0 -1 Add Mul Mul -2 x0 Mul Mul tan Pow coth x3 x0 sec Pow coth x3 x0 Mul Pow coth x3 Add x0 -1 Mul coth x3 log coth x3 Mul Mul sec Pow coth x3 x0 log sec Pow coth x3 x0 -2 