Pow x7 Add exp x1 Mul x0 Pow coth Mul tan x0 Add atanh x0 x0 Mul x0 -1 
Mul Pow x7 Add Add exp x1 Mul x0 Pow coth Mul tan x0 Add atanh x0 x0 Mul x0 -1 -1 Mul Mul x7 log x7 Add Pow coth Mul tan x0 Add atanh x0 x0 Mul x0 -1 Mul x0 Mul Pow coth Mul tan x0 Add atanh x0 x0 Add Mul x0 -1 -1 Add Mul Mul x0 -1 Mul Mul -1 Pow csch Mul tan x0 Add atanh x0 x0 2 Add Mul Add atanh x0 x0 Pow sec x0 2 Mul tan x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Mul coth Mul tan x0 Add atanh x0 x0 log coth Mul tan x0 Add atanh x0 x0 -1 