Pow Pow tan x1 x0 Pow csch acoth x3 -0.989992496600445 
Mul Pow Pow tan x1 x0 Add Pow csch acoth x3 -0.989992496600445 -1 Mul Pow csch acoth x3 -0.989992496600445 Mul Pow tan x1 Add x0 -1 Mul tan x1 log tan x1 