Mul Pow Mul Mul x0 x1 -2 sinh x4 Pow Pow pi Pow x0 Mul x0 E acoth x0 
Add Mul Pow Pow pi Pow x0 Mul x0 E acoth x0 Mul Pow Mul Mul x0 x1 -2 Add sinh x4 -1 Mul sinh x4 Mul -2 x1 Mul Pow Mul Mul x0 x1 -2 sinh x4 Mul Pow Pow pi Pow x0 Mul x0 E Add acoth x0 -1 Add Mul acoth x0 Mul Pow pi Add Pow x0 Mul x0 E -1 Mul Mul pi log pi Mul Pow x0 Add Mul x0 E -1 Add Mul x0 E Mul Mul x0 log x0 E Mul Mul Pow pi Pow x0 Mul x0 E log Pow pi Pow x0 Mul x0 E Pow Add 1 Mul -1 Mul x0 x0 -1 