Mul acosh Add sinh x7 Add tan x0 5 log x0 
Add Mul log x0 Mul Pow sec x0 2 Pow Mul sqrt Add Add sinh x7 Add tan x0 5 -1 sqrt Add 1 Add sinh x7 Add tan x0 5 -1 Mul acosh Add sinh x7 Add tan x0 5 Pow x0 -1 