Pow Mul Mul x0 x0 Pow Pow acoth x4 x0 Mul Pow Mul x0 x1 cosh cosh x0 tan x0 tan x2 
Mul Pow Mul Mul x0 x0 Pow Pow acoth x4 x0 Mul Pow Mul x0 x1 cosh cosh x0 tan x0 Add tan x2 -1 Mul tan x2 Add Mul Pow Pow acoth x4 x0 Mul Pow Mul x0 x1 cosh cosh x0 tan x0 Add x0 x0 Mul Mul x0 x0 Mul Pow Pow acoth x4 x0 Add Mul Pow Mul x0 x1 cosh cosh x0 tan x0 -1 Add Mul Mul Pow Mul x0 x1 cosh cosh x0 tan x0 Mul Pow acoth x4 Add x0 -1 Mul acoth x4 log acoth x4 Mul Mul Pow acoth x4 x0 log Pow acoth x4 x0 Add Mul tan x0 Mul Pow Mul x0 x1 Add cosh cosh x0 -1 Add Mul cosh cosh x0 x1 Mul Mul Mul x0 x1 log Mul x0 x1 Mul sinh cosh x0 sinh x0 Mul Pow Mul x0 x1 cosh cosh x0 Pow sec x0 2 