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