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