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