acosh acot Add asinh exp x0 tan x0 
Mul Mul -1 Mul Add Mul exp x0 Pow sqrt Add 1 Mul exp x0 exp x0 -1 Pow sec x0 2 Pow Add 1 Mul Add asinh exp x0 tan x0 Add asinh exp x0 tan x0 -1 Pow Mul sqrt Add acot Add asinh exp x0 tan x0 -1 sqrt Add 1 acot Add asinh exp x0 tan x0 -1 