Pow Mul x4 Pow atanh csc log tan x1 Add Mul Add x0 cot x0 x0 x0 Pow acoth x0 x0 
Mul Pow Mul x4 Pow atanh csc log tan x1 Add Mul Add x0 cot x0 x0 x0 Add Pow acoth x0 x0 -1 Add Mul Pow acoth x0 x0 Mul x4 Mul Pow atanh csc log tan x1 Add Add Mul Add x0 cot x0 x0 x0 -1 Mul Mul atanh csc log tan x1 log atanh csc log tan x1 Add Add Mul x0 Add 1 Mul -1 Pow csc x0 2 Add x0 cot x0 1 Mul Mul Mul x4 Pow atanh csc log tan x1 Add Mul Add x0 cot x0 x0 x0 log Mul x4 Pow atanh csc log tan x1 Add Mul Add x0 cot x0 x0 x0 Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 