Mul Pow x0 x1 Add Add Mul -3 x5 1 Add Pow Pow Pow x7 Mul 2 Mul -4 x0 acoth Add 3 sqrt pi x5 3 
Add Mul Add Add Mul -3 x5 1 Add Pow Pow Pow x7 Mul 2 Mul -4 x0 acoth Add 3 sqrt pi x5 3 Mul Pow x0 Add x1 -1 x1 Mul Pow x0 x1 Mul Pow Pow Pow x7 Mul 2 Mul -4 x0 acoth Add 3 sqrt pi Add x5 -1 Mul x5 Mul Pow Pow x7 Mul 2 Mul -4 x0 Add acoth Add 3 sqrt pi -1 Mul acoth Add 3 sqrt pi Mul Pow x7 Add Mul 2 Mul -4 x0 -1 Mul Mul x7 log x7 2 