Mul acos x7 asinh acoth acos Pow tan x3 Add x7 x0 
Mul acos x7 Mul Mul Mul -1 Mul Mul Pow tan x3 Add Add x7 x0 -1 Mul tan x3 log tan x3 Pow sqrt Add 1 Mul -1 Mul Pow tan x3 Add x7 x0 Pow tan x3 Add x7 x0 -1 Pow Add 1 Mul -1 Mul acos Pow tan x3 Add x7 x0 acos Pow tan x3 Add x7 x0 -1 Pow sqrt Add 1 Mul acoth acos Pow tan x3 Add x7 x0 acoth acos Pow tan x3 Add x7 x0 -1 