Pow Mul x5 Pow cosh x0 Mul x0 acoth Mul x3 x1 sin sqrt Pow tan x1 x0 
Mul Pow Mul x5 Pow cosh x0 Mul x0 acoth Mul x3 x1 Add sin sqrt Pow tan x1 x0 -1 Add Mul sin sqrt Pow tan x1 x0 Mul x5 Mul Pow cosh x0 Add Mul x0 acoth Mul x3 x1 -1 Add Mul Mul x0 acoth Mul x3 x1 sinh x0 Mul Mul cosh x0 log cosh x0 acoth Mul x3 x1 Mul Mul Mul x5 Pow cosh x0 Mul x0 acoth Mul x3 x1 log Mul x5 Pow cosh x0 Mul x0 acoth Mul x3 x1 Mul cos sqrt Pow tan x1 x0 Mul Pow Mul 2 sqrt Pow tan x1 x0 -1 Mul Pow tan x1 Add x0 -1 Mul tan x1 log tan x1 