Mul Add x0 Add asech Pow sec tan x4 x0 cosh Mul Add Add x0 atan acot E 1 x7 x0 
Add Mul x0 Add 1 Add Mul Mul Pow sec tan x4 Add x0 -1 Mul sec tan x4 log sec tan x4 Pow Mul Mul Pow sec tan x4 x0 Pow sec tan x4 x0 sqrt Add 1 Mul -1 Pow Mul Pow sec tan x4 x0 Pow sec tan x4 x0 -1 -1 Mul sinh Mul Add Add x0 atan acot E 1 x7 x7 Add x0 Add asech Pow sec tan x4 x0 cosh Mul Add Add x0 atan acot E 1 x7 