cot Pow Pow atan E csch acot x0 Add -4 Mul tan x7 x0 
Mul Mul -1 Pow csc Pow Pow atan E csch acot x0 Add -4 Mul tan x7 x0 2 Mul Pow Pow atan E csch acot x0 Add Add -4 Mul tan x7 x0 -1 Add Mul Add -4 Mul tan x7 x0 Mul Pow atan E Add csch acot x0 -1 Mul Mul atan E log atan E Mul Mul Mul -1 coth acot x0 csch acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow atan E csch acot x0 log Pow atan E csch acot x0 tan x7 