Add Pow Mul tan x0 x0 acoth x1 Pow x2 acos x0 
Add Mul Pow Mul tan x0 x0 Add acoth x1 -1 Mul acoth x1 Add Mul x0 Pow sec x0 2 tan x0 Mul Pow x2 Add acos x0 -1 Mul Mul x2 log x2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 