Mul Pow x7 log Pow Add Pow tan x0 x2 coth Add acos x0 x0 x2 x1 
Mul x1 Mul Pow x7 Add log Pow Add Pow tan x0 x2 coth Add acos x0 x0 x2 -1 Mul Mul x7 log x7 Mul Mul Pow Add Pow tan x0 x2 coth Add acos x0 x0 Add x2 -1 Mul x2 Add Mul Pow tan x0 Add x2 -1 Mul x2 Pow sec x0 2 Mul Mul -1 Pow csch Add acos x0 x0 2 Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Pow Add Pow tan x0 x2 coth Add acos x0 x0 x2 -1 