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