Question 1194004
x = ~2.589132685188605 is the only real zero