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