Mul -4 Pow x0 Mul Add Pow acsch E atan Add 4 x4 acoth tan x6 cot x0 
Mul -4 Mul Pow x0 Add Mul Add Pow acsch E atan Add 4 x4 acoth tan x6 cot x0 -1 Add Mul Add Pow acsch E atan Add 4 x4 acoth tan x6 cot x0 Mul Mul x0 log x0 Mul Add Pow acsch E atan Add 4 x4 acoth tan x6 Mul -1 Pow csc x0 2 