Add Add Add x4 sqrt Mul x0 Add pi Add pi Add x0 atan x0 x0 Pow Mul Pow acoth x0 Add x3 x0 -4 pi 
Add Add Mul Pow Mul 2 sqrt Mul x0 Add pi Add pi Add x0 atan x0 -1 Add Add pi Add pi Add x0 atan x0 Mul x0 Add 1 Pow Add 1 Mul x0 x0 -1 1 Mul Pow Mul Pow acoth x0 Add x3 x0 -4 Add pi -1 Mul pi Mul -4 Mul Pow acoth x0 Add Add x3 x0 -1 Add Mul Add x3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 