Add Add sqrt pi Pow Add Add -5 x0 acoth Mul x3 -3 x0 Pow Pow x0 x0 x1 
Add Mul Pow Add Add -5 x0 acoth Mul x3 -3 Add x0 -1 Add x0 Mul Add Add -5 x0 acoth Mul x3 -3 log Add Add -5 x0 acoth Mul x3 -3 Mul Pow Pow x0 x0 Add x1 -1 Mul x1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 