acos Mul Pow Add x2 x0 Add acosh x0 x0 sqrt Mul asec x6 tan x0 
Mul -1 Mul Add Mul sqrt Mul asec x6 tan x0 Mul Pow Add x2 x0 Add Add acosh x0 x0 -1 Add Add acosh x0 x0 Mul Mul Add x2 x0 log Add x2 x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Pow Add x2 x0 Add acosh x0 x0 Mul Pow Mul 2 sqrt Mul asec x6 tan x0 -1 Mul asec x6 Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul Mul Pow Add x2 x0 Add acosh x0 x0 sqrt Mul asec x6 tan x0 Mul Pow Add x2 x0 Add acosh x0 x0 sqrt Mul asec x6 tan x0 -1 