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