acos asinh Mul Mul 2 sech x2 acosh tan x0 
Mul -1 Mul Mul Mul Mul 2 sech x2 Mul Pow sec x0 2 Pow Mul sqrt Add tan x0 -1 sqrt Add 1 tan x0 -1 Pow sqrt Add 1 Mul Mul Mul 2 sech x2 acosh tan x0 Mul Mul 2 sech x2 acosh tan x0 -1 Pow sqrt Add 1 Mul -1 Mul asinh Mul Mul 2 sech x2 acosh tan x0 asinh Mul Mul 2 sech x2 acosh tan x0 -1 