Add Add E Pow atan Mul Pow sec acot coth x0 Mul x0 -1 -4 E acot Pow x5 x0 
Add Mul Pow atan Mul Pow sec acot coth x0 Mul x0 -1 -4 Add E -1 Mul E Mul Mul -4 Mul Pow sec acot coth x0 Add Mul x0 -1 -1 Add Mul Mul x0 -1 Mul Mul tan acot coth x0 sec acot coth x0 Mul -1 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 Mul Mul sec acot coth x0 log sec acot coth x0 -1 Pow Add 1 Mul Mul Pow sec acot coth x0 Mul x0 -1 -4 Mul Pow sec acot coth x0 Mul x0 -1 -4 -1 Mul -1 Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul Pow x5 x0 Pow x5 x0 -1 