Add Mul Mul x0 x0 Add sqrt Mul x0 x0 x0 Pow acoth pi Mul x0 x2 
Add Add Mul Add sqrt Mul x0 x0 x0 Add x0 x0 Mul Mul x0 x0 Add Mul Pow Mul 2 sqrt Mul x0 x0 -1 Add x0 x0 1 Mul Pow acoth pi Add Mul x0 x2 -1 Mul Mul acoth pi log acoth pi x2 