\frac{1}{0.333333333333333315 - 0.333333333333333315}double code() {
return ((double) (1.0 / ((double) (0.3333333333333333 - 0.3333333333333333))));
}
herbie shell --seed 2020152
(FPCore ()
:name "(/ 1 (- 0.3333333333333333 0.3333333333333333))"
:precision binary64
(/ 1.0 (- 0.3333333333333333 0.3333333333333333)))