Add Pow x3 coth Add Mul E x0 Pow Pow Mul x0 acoth x4 x0 tan x6 cos x6 
Mul Pow x3 Add coth Add Mul E x0 Pow Pow Mul x0 acoth x4 x0 tan x6 -1 Mul Mul x3 log x3 Mul Mul -1 Pow csch Add Mul E x0 Pow Pow Mul x0 acoth x4 x0 tan x6 2 Add E Mul Pow Pow Mul x0 acoth x4 x0 Add tan x6 -1 Mul tan x6 Mul Pow Mul x0 acoth x4 Add x0 -1 Add Mul x0 acoth x4 Mul Mul x0 acoth x4 log Mul x0 acoth x4 