Mul Pow 2 E Pow acos Pow tan x6 Add x0 Add -2 acoth pi cos x7 
Mul Pow 2 E Mul Pow acos Pow tan x6 Add x0 Add -2 acoth pi Add cos x7 -1 Mul cos x7 Mul -1 Mul Mul Pow tan x6 Add Add x0 Add -2 acoth pi -1 Mul tan x6 log tan x6 Pow sqrt Add 1 Mul -1 Mul Pow tan x6 Add x0 Add -2 acoth pi Pow tan x6 Add x0 Add -2 acoth pi -1 