coth Add Pow Pow sec x0 acoth tan x6 x0 -3 
Mul Mul -1 Pow csch Add Pow Pow sec x0 acoth tan x6 x0 -3 2 Mul Pow Pow sec x0 acoth tan x6 Add x0 -1 Add Mul x0 Mul Pow sec x0 Add acoth tan x6 -1 Mul acoth tan x6 Mul tan x0 sec x0 Mul Pow sec x0 acoth tan x6 log Pow sec x0 acoth tan x6 