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