Pow acoth pi Add Pow Mul E 4 Mul x0 x0 Mul pi Add Add cosh Mul -3 Add 2 x2 Add Add Add x0 x0 x0 -1 x1 
Mul Pow acoth pi Add Add Pow Mul E 4 Mul x0 x0 Mul pi Add Add cosh Mul -3 Add 2 x2 Add Add Add x0 x0 x0 -1 x1 -1 Mul Mul acoth pi log acoth pi Add Mul Pow Mul E 4 Add Mul x0 x0 -1 Mul Mul Mul E 4 log Mul E 4 Add x0 x0 Mul pi 3 