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