Add Mul Pow x0 tan x6 Pow Pow acoth asin acsch x1 sin x1 x0 x0 
Add Add Mul Pow Pow acoth asin acsch x1 sin x1 x0 Mul Pow x0 Add tan x6 -1 tan x6 Mul Pow x0 tan x6 Mul Pow Pow acoth asin acsch x1 sin x1 Add x0 -1 Mul Pow acoth asin acsch x1 sin x1 log Pow acoth asin acsch x1 sin x1 1 