tan Add Add Add coth Pow x0 Add coth x0 x3 x0 Mul acosh Pow acoth E Pow Mul -4 tan x0 x6 x0 E 
Mul Pow sec Add Add Add coth Pow x0 Add coth x0 x3 x0 Mul acosh Pow acoth E Pow Mul -4 tan x0 x6 x0 E 2 Add Add Mul Mul -1 Pow csch Pow x0 Add coth x0 x3 2 Mul Pow x0 Add Add coth x0 x3 -1 Add Add coth x0 x3 Mul Mul x0 log x0 Mul -1 Pow csch x0 2 1 Add Mul x0 Mul Mul Pow acoth E Add Pow Mul -4 tan x0 x6 -1 Mul Mul acoth E log acoth E Mul Pow Mul -4 tan x0 Add x6 -1 Mul x6 Mul -4 Pow sec x0 2 Pow Mul sqrt Add Pow acoth E Pow Mul -4 tan x0 x6 -1 sqrt Add 1 Pow acoth E Pow Mul -4 tan x0 x6 -1 acosh Pow acoth E Pow Mul -4 tan x0 x6 