Pow acoth x7 Pow sec tan x0 Mul x5 x0 
Mul Pow acoth x7 Add Pow sec tan x0 Mul x5 x0 -1 Mul Mul acoth x7 log acoth x7 Mul Pow sec tan x0 Add Mul x5 x0 -1 Add Mul Mul x5 x0 Mul Mul tan tan x0 sec tan x0 Pow sec x0 2 Mul Mul sec tan x0 log sec tan x0 x5 