cos Mul Pow tan x4 x0 Mul x0 Pow Pow x0 Mul 12 asinh Pow x7 x1 csch sec Pow 3 x1 
Mul Mul -1 sin Mul Pow tan x4 x0 Mul x0 Pow Pow x0 Mul 12 asinh Pow x7 x1 csch sec Pow 3 x1 Add Mul Mul x0 Pow Pow x0 Mul 12 asinh Pow x7 x1 csch sec Pow 3 x1 Mul Pow tan x4 Add x0 -1 Mul tan x4 log tan x4 Mul Pow tan x4 x0 Add Pow Pow x0 Mul 12 asinh Pow x7 x1 csch sec Pow 3 x1 Mul x0 Mul Pow Pow x0 Mul 12 asinh Pow x7 x1 Add csch sec Pow 3 x1 -1 Mul csch sec Pow 3 x1 Mul Pow x0 Add Mul 12 asinh Pow x7 x1 -1 Mul 12 asinh Pow x7 x1 