Mul Pow Add acosh Pow Pow tan x3 x0 coth x0 x0 x2 x0 
Add Mul x0 Mul Pow Add acosh Pow Pow tan x3 x0 coth x0 x0 Add x2 -1 Mul x2 Add Mul Mul Pow Pow tan x3 x0 Add coth x0 -1 Add Mul coth x0 Mul Pow tan x3 Add x0 -1 Mul tan x3 log tan x3 Mul Mul Pow tan x3 x0 log Pow tan x3 x0 Mul -1 Pow csch x0 2 Pow Mul sqrt Add Pow Pow tan x3 x0 coth x0 -1 sqrt Add 1 Pow Pow tan x3 x0 coth x0 -1 1 Pow Add acosh Pow Pow tan x3 x0 coth x0 x0 x2 