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