Pow asinh sec x0 sinh sinh cos x0 
Mul Pow asinh sec x0 Add sinh sinh cos x0 -1 Add Mul sinh sinh cos x0 Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul sec x0 sec x0 -1 Mul Mul asinh sec x0 log asinh sec x0 Mul cosh sinh cos x0 Mul cosh cos x0 Mul -1 sin x0 