Mul Mul x4 Pow Pow tan x0 cosh Mul x6 x0 acot Pow x6 Mul x0 Add cosh x0 x0 x0 
Add Mul x0 Mul x4 Mul Pow Pow tan x0 cosh Mul x6 x0 Add acot Pow x6 Mul x0 Add cosh x0 x0 -1 Add Mul acot Pow x6 Mul x0 Add cosh x0 x0 Mul Pow tan x0 Add cosh Mul x6 x0 -1 Add Mul cosh Mul x6 x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul sinh Mul x6 x0 x6 Mul Mul Pow tan x0 cosh Mul x6 x0 log Pow tan x0 cosh Mul x6 x0 Mul -1 Mul Mul Pow x6 Add Mul x0 Add cosh x0 x0 -1 Mul Mul x6 log x6 Add Add cosh x0 x0 Mul x0 Add sinh x0 1 Pow Add 1 Mul Pow x6 Mul x0 Add cosh x0 x0 Pow x6 Mul x0 Add cosh x0 x0 -1 Mul x4 Pow Pow tan x0 cosh Mul x6 x0 acot Pow x6 Mul x0 Add cosh x0 x0 