Pow x0 Pow x7 Add Mul x0 tan x0 Pow x0 cosh log x0 
Mul Pow x0 Add Pow x7 Add Mul x0 tan x0 Pow x0 cosh log x0 -1 Add Pow x7 Add Mul x0 tan x0 Pow x0 cosh log x0 Mul Mul x0 log x0 Mul Pow x7 Add Add Mul x0 tan x0 Pow x0 cosh log x0 -1 Mul Mul x7 log x7 Add Add tan x0 Mul x0 Pow sec x0 2 Mul Pow x0 Add cosh log x0 -1 Add cosh log x0 Mul Mul x0 log x0 Mul sinh log x0 Pow x0 -1 