Pow tan x0 acosh Pow x6 asech sec x0 
Mul Pow tan x0 Add acosh Pow x6 asech sec x0 -1 Add Mul acosh Pow x6 asech sec x0 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Mul Pow x6 Add asech sec x0 -1 Mul Mul x6 log x6 Mul Mul tan x0 sec x0 Pow Mul Mul sec x0 sec x0 sqrt Add 1 Mul -1 Pow Mul sec x0 sec x0 -1 -1 Pow Mul sqrt Add Pow x6 asech sec x0 -1 sqrt Add 1 Pow x6 asech sec x0 -1 