Mul Pow Mul x0 1.55740772465490 Add atan Pow Mul x0 2 pi Add Pow x0 Mul x0 pi x0 acoth x5 
Mul acoth x5 Mul Pow Mul x0 1.55740772465490 Add Add atan Pow Mul x0 2 pi Add Pow x0 Mul x0 pi x0 -1 Add Mul Add atan Pow Mul x0 2 pi Add Pow x0 Mul x0 pi x0 1.55740772465490 Mul Mul Mul x0 1.55740772465490 log Mul x0 1.55740772465490 Add Mul Mul Pow Mul x0 2 Add pi -1 Mul pi 2 Pow Add 1 Mul Pow Mul x0 2 pi Pow Mul x0 2 pi -1 Add Mul Pow x0 Add Mul x0 pi -1 Add Mul x0 pi Mul Mul x0 log x0 pi 1 