Pow tan x0 sec sinh Pow Mul x1 Mul E -4 x0 
Mul Pow tan x0 Add sec sinh Pow Mul x1 Mul E -4 x0 -1 Add Mul sec sinh Pow Mul x1 Mul E -4 x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Mul tan sinh Pow Mul x1 Mul E -4 x0 sec sinh Pow Mul x1 Mul E -4 x0 Mul cosh Pow Mul x1 Mul E -4 x0 Mul Pow Mul x1 Mul E -4 Add x0 -1 Mul Mul x1 Mul E -4 log Mul x1 Mul E -4 