Pow Mul Add csch acot x0 Pow x0 4 x0 4 
Mul Pow Mul Add csch acot x0 Pow x0 4 x0 3 Mul 4 Add Mul x0 Add Mul Mul Mul -1 coth acot x0 csch acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x0 3 4 Add csch acot x0 Pow x0 4 