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