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