Mul x0 Pow Pow acoth x4 tan x0 Pow Pow x0 x6 -3 
Add Pow Pow acoth x4 tan x0 Pow Pow x0 x6 -3 Mul x0 Mul Pow Pow acoth x4 tan x0 Add Pow Pow x0 x6 -3 -1 Add Mul Pow Pow x0 x6 -3 Mul Pow acoth x4 Add tan x0 -1 Mul Mul acoth x4 log acoth x4 Pow sec x0 2 Mul Mul Pow acoth x4 tan x0 log Pow acoth x4 tan x0 Mul Pow Pow x0 x6 4 Mul -3 Mul Pow x0 Add x6 -1 x6 