Mul Mul Add x0 x0 Pow acoth Pow 4 E Pow x2 x0 x0 
Add Mul x0 Add Mul Pow acoth Pow 4 E Pow x2 x0 2 Mul Add x0 x0 Mul Pow acoth Pow 4 E Add Pow x2 x0 -1 Mul Mul acoth Pow 4 E log acoth Pow 4 E Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Add x0 x0 Pow acoth Pow 4 E Pow x2 x0 