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