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