Mul x0 Mul x0 Pow Mul acoth x0 -4 atan atan Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi 
Add Mul x0 Pow Mul acoth x0 -4 atan atan Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi Mul x0 Add Pow Mul acoth x0 -4 atan atan Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi Mul x0 Mul Pow Mul acoth x0 -4 Add atan atan Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi -1 Add Mul atan atan Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul acoth x0 -4 log Mul acoth x0 -4 Mul Mul Add Mul Add x0 x0 Pow Mul x0 x0 -1 Mul Pow Pow Pow x0 5 x0 Add pi -1 Mul pi Mul Pow Pow x0 5 Add x0 -1 Add Mul x0 Mul Pow x0 4 5 Mul Pow x0 5 log Pow x0 5 Pow Add 1 Mul Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi -1 Pow Add 1 Mul atan Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi atan Add log Mul x0 x0 Pow Pow Pow x0 5 x0 pi -1 