Pow sqrt atan x5 Mul Mul 4 Pow Pow 5 x2 Mul x0 coth log Mul x0 x0 -4 
Mul Pow sqrt atan x5 Add Mul Mul 4 Pow Pow 5 x2 Mul x0 coth log Mul x0 x0 -4 -1 Mul Mul sqrt atan x5 log sqrt atan x5 Mul -4 Mul 4 Mul Pow Pow 5 x2 Add Mul x0 coth log Mul x0 x0 -1 Mul Mul Pow 5 x2 log Pow 5 x2 Add coth log Mul x0 x0 Mul x0 Mul Mul -1 Pow csch log Mul x0 x0 2 Mul Add x0 x0 Pow Mul x0 x0 -1 