Mul Mul x0 x0 Pow acoth Add x3 E Mul Add pi Mul x0 Mul x0 x0 Add x0 E 
Add Mul Pow acoth Add x3 E Mul Add pi Mul x0 Mul x0 x0 Add x0 E Add x0 x0 Mul Mul x0 x0 Mul Pow acoth Add x3 E Add Mul Add pi Mul x0 Mul x0 x0 Add x0 E -1 Mul Mul acoth Add x3 E log acoth Add x3 E Add Mul Add x0 E Add Mul x0 x0 Mul x0 Add x0 x0 Add pi Mul x0 Mul x0 x0 