Mul Add Pow Pow Pow Pow x0 Mul coth pi -2 E x0 x0 Add Mul x0 x3 Add Pow x3 x0 0.540302305868140 x0 
Add Mul x0 Add Mul Pow Pow Pow Pow x0 Mul coth pi -2 E x0 Add x0 -1 Add Mul x0 Mul Pow Pow Pow x0 Mul coth pi -2 E Add x0 -1 Add Mul x0 Mul Pow Pow x0 Mul coth pi -2 Add E -1 Mul E Mul Pow x0 Add Mul coth pi -2 -1 Mul coth pi -2 Mul Pow Pow x0 Mul coth pi -2 E log Pow Pow x0 Mul coth pi -2 E Mul Pow Pow Pow x0 Mul coth pi -2 E x0 log Pow Pow Pow x0 Mul coth pi -2 E x0 Add x3 Mul Pow x3 Add x0 -1 Mul x3 log x3 Add Pow Pow Pow Pow x0 Mul coth pi -2 E x0 x0 Add Mul x0 x3 Add Pow x3 x0 0.540302305868140 