Pow Add 1 cot Pow Pow x0 acot x0 acoth coth x4 tan x7 
Mul Pow Add 1 cot Pow Pow x0 acot x0 acoth coth x4 Add tan x7 -1 Mul tan x7 Mul Mul -1 Pow csc Pow Pow x0 acot x0 acoth coth x4 2 Mul Pow Pow x0 acot x0 Add acoth coth x4 -1 Mul acoth coth x4 Mul Pow x0 Add acot x0 -1 Add acot x0 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 