Pow Add atan Pow x0 2 Add acoth x5 x4 Mul 5 x0 
Mul Pow Add atan Pow x0 2 Add acoth x5 x4 Add Mul 5 x0 -1 Add Mul Mul 5 x0 Mul Mul x0 2 Pow Add 1 Mul Pow x0 2 Pow x0 2 -1 Mul Mul Add atan Pow x0 2 Add acoth x5 x4 log Add atan Pow x0 2 Add acoth x5 x4 5 