Mul Pow x0 acosh E Add Mul sqrt x0 Add Mul Mul x0 x0 tan x0 x0 1 
Add Mul Add Mul sqrt x0 Add Mul Mul x0 x0 tan x0 x0 1 Mul Pow x0 Add acosh E -1 acosh E Mul Pow x0 acosh E Add Mul Add Mul Mul x0 x0 tan x0 x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Add Add Mul tan x0 Add x0 x0 Mul Mul x0 x0 Pow sec x0 2 1 