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