Pow Pow x4 acsc x3 Pow Add coth acot x0 x0 Mul 8 x0 
Mul Pow Pow x4 acsc x3 Add Pow Add coth acot x0 x0 Mul 8 x0 -1 Mul Mul Pow x4 acsc x3 log Pow x4 acsc x3 Mul Pow Add coth acot x0 x0 Add Mul 8 x0 -1 Add Mul Mul 8 x0 Add Mul Mul -1 Pow csch acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Mul Add coth acot x0 x0 log Add coth acot x0 x0 8 