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