Mul sech Pow E Add acosh tan x0 4 Add 4 x0 
Add Mul Add 4 x0 Mul Mul tanh Pow E Add acosh tan x0 4 Mul -1 sech Pow E Add acosh tan x0 4 Mul Pow E Add Add acosh tan x0 4 -1 Mul Mul E log E Mul Pow sec x0 2 Pow Mul sqrt Add tan x0 -1 sqrt Add 1 tan x0 -1 sech Pow E Add acosh tan x0 4 