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