Add acosh tan cos sqrt sec x0 x1 
Mul Mul Pow sec cos sqrt sec x0 2 Mul Mul -1 sin sqrt sec x0 Mul Pow Mul 2 sqrt sec x0 -1 Mul tan x0 sec x0 Pow Mul sqrt Add tan cos sqrt sec x0 -1 sqrt Add 1 tan cos sqrt sec x0 -1 