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