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