Pow Add acos x7 Add x5 x0 Add x0 Add x0 acoth Pow E sec x0 
Mul Pow Add acos x7 Add x5 x0 Add Add x0 Add x0 acoth Pow E sec x0 -1 Add Add x0 Add x0 acoth Pow E sec x0 Mul Mul Add acos x7 Add x5 x0 log Add acos x7 Add x5 x0 Add 1 Add 1 Mul Mul Pow E Add sec x0 -1 Mul Mul E log E Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Pow E sec x0 Pow E sec x0 -1 