sech Mul log acsch pi acosh tan x0 
Mul Mul tanh Mul log acsch pi acosh tan x0 Mul -1 sech Mul log acsch pi acosh tan x0 Mul log acsch pi Mul Pow sec x0 2 Pow Mul sqrt Add tan x0 -1 sqrt Add 1 tan x0 -1 