csc Mul x0 Mul x0 Pow acoth cot x0 Mul coth x1 tan x0 
Mul Mul Mul -1 cot Mul x0 Mul x0 Pow acoth cot x0 Mul coth x1 tan x0 csc Mul x0 Mul x0 Pow acoth cot x0 Mul coth x1 tan x0 Add Mul x0 Pow acoth cot x0 Mul coth x1 tan x0 Mul x0 Add Pow acoth cot x0 Mul coth x1 tan x0 Mul x0 Mul Pow acoth cot x0 Add Mul coth x1 tan x0 -1 Add Mul Mul coth x1 tan x0 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul cot x0 cot x0 -1 Mul Mul acoth cot x0 log acoth cot x0 Mul coth x1 Pow sec x0 2 