Pow Mul 3 sinh x2 Pow Mul tan x0 tan x6 x0 
Mul Pow Mul 3 sinh x2 Add Pow Mul tan x0 tan x6 x0 -1 Mul Mul Mul 3 sinh x2 log Mul 3 sinh x2 Mul Pow Mul tan x0 tan x6 Add x0 -1 Add Mul x0 Mul tan x6 Pow sec x0 2 Mul Mul tan x0 tan x6 log Mul tan x0 tan x6 