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