Trowbridge-Reitz Sample, near normal, slope_x

Specification

?
\[\left(\left(cosTheta\_i > 0.9999 \land cosTheta\_i \leq 1\right) \land \left(2.328306437 \cdot 10^{-10} \leq u1 \land u1 \leq 1\right)\right) \land \left(2.328306437 \cdot 10^{-10} \leq u2 \land u2 \leq 1\right)\]
\[\sqrt{\frac{u1}{1 - u1}} \cdot \cos \left(6.28318530718 \cdot u2\right) \]
(FPCore (cosTheta_i u1 u2)
  :precision binary32
  :pre (and (and (and (> cosTheta_i 0.9999) (<= cosTheta_i 1.0))
          (and (<= 2.328306437e-10 u1) (<= u1 1.0)))
     (and (<= 2.328306437e-10 u2) (<= u2 1.0)))
  (* (sqrt (/ u1 (- 1.0 u1))) (cos (* 6.28318530718 u2))))
float code(float cosTheta_i, float u1, float u2) {
	return sqrtf((u1 / (1.0f - u1))) * cosf((6.28318530718f * u2));
}

real(4) function code(costheta_i, u1, u2)
use fmin_fmax_functions
    real(4), intent (in) :: costheta_i
    real(4), intent (in) :: u1
    real(4), intent (in) :: u2
    code = sqrt((u1 / (1.0e0 - u1))) * cos((6.28318530718e0 * u2))
end function

function code(cosTheta_i, u1, u2)
	return Float32(sqrt(Float32(u1 / Float32(Float32(1.0) - u1))) * cos(Float32(Float32(6.28318530718) * u2)))
end

function tmp = code(cosTheta_i, u1, u2)
	tmp = sqrt((u1 / (single(1.0) - u1))) * cos((single(6.28318530718) * u2));
end

\sqrt{\frac{u1}{1 - u1}} \cdot \cos \left(6.28318530718 \cdot u2\right)

Reproduce

?
herbie shell --seed 2025360 
(FPCore (cosTheta_i u1 u2)
  :name "Trowbridge-Reitz Sample, near normal, slope_x"
  :precision binary32
  :pre (and (and (and (> cosTheta_i 0.9999) (<= cosTheta_i 1.0)) (and (<= 2.328306437e-10 u1) (<= u1 1.0))) (and (<= 2.328306437e-10 u2) (<= u2 1.0)))
  (* (sqrt (/ u1 (- 1.0 u1))) (cos (* 6.28318530718 u2))))

Please file a bug report with this information.

Backtrace

timeline-push!: contract violation expected: jsexpr? given: '#hash((nodes . (1 314159265359/50000000000)) (roots . (0 1))) in: the repeated argument of (-> symbol? jsexpr? ... void?) contract from: <pkgs>/herbie/utils/timeline.rkt blaming: <pkgs>/herbie/core/patch.rkt (assuming the contract is correct) at: <pkgs>/herbie/utils/timeline.rkt:9:24LC
raise-blame-error/usr/share/racket/collects/racket/contract/private/blame.rkt3460
loop/usr/share/racket/collects/racket/contract/private/list.rkt99112
(unnamed).../private/arrow-val-first.rkt48618
run-evaluate/home/nightlies/herbie/batch-timeline/src/core/patch.rkt1170
generate-candidates/home/nightlies/herbie/batch-timeline/src/core/patch.rkt2040
run-iteration!/home/nightlies/herbie/batch-timeline/src/core/mainloop.rkt2390
run-improve!/home/nightlies/herbie/batch-timeline/src/core/mainloop.rkt470
get-alternatives/home/nightlies/herbie/batch-timeline/src/api/sandbox.rkt610
(unnamed)/home/nightlies/herbie/batch-timeline/src/api/sandbox.rkt1816
(unnamed)/usr/share/racket/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/share/racket/pkgs/profile-lib/main.rkt90
in-engine/home/nightlies/herbie/batch-timeline/src/api/sandbox.rkt1972
(unnamed)/usr/share/racket/collects/racket/engine.rkt4224