cot Pow Add 4 Mul acot x0 Pow x0 x0 cosh csch x4 
Mul Mul -1 Pow csc Pow Add 4 Mul acot x0 Pow x0 x0 cosh csch x4 2 Mul Pow Add 4 Mul acot x0 Pow x0 x0 Add cosh csch x4 -1 Mul cosh csch x4 Add Mul Pow x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 