atan Add Add Mul -3 Mul x0 x0 Mul csch Pow coth E x0 -4 csch sin Pow cot x4 x0 
Mul Add Add Mul -3 Add x0 x0 Mul -4 Mul Mul Mul -1 coth Pow coth E x0 csch Pow coth E x0 Mul Pow coth E Add x0 -1 Mul coth E log coth E Mul Mul Mul -1 coth sin Pow cot x4 x0 csch sin Pow cot x4 x0 Mul cos Pow cot x4 x0 Mul Pow cot x4 Add x0 -1 Mul cot x4 log cot x4 Pow Add 1 Mul Add Add Mul -3 Mul x0 x0 Mul csch Pow coth E x0 -4 csch sin Pow cot x4 x0 Add Add Mul -3 Mul x0 x0 Mul csch Pow coth E x0 -4 csch sin Pow cot x4 x0 -1 