\sin^{-1} \left(\sqrt{\frac{1 - {\left(\frac{Om}{Omc}\right)}^{2}}{1 + 2 \cdot {\left(\frac{t}{\ell}\right)}^{2}}}\right)double f(double t, double l, double Om, double Omc) {
double r8193 = 1.0;
double r8194 = Om;
double r8195 = Omc;
double r8196 = r8194 / r8195;
double r8197 = 2.0;
double r8198 = pow(r8196, r8197);
double r8199 = r8193 - r8198;
double r8200 = t;
double r8201 = l;
double r8202 = r8200 / r8201;
double r8203 = pow(r8202, r8197);
double r8204 = r8197 * r8203;
double r8205 = r8193 + r8204;
double r8206 = r8199 / r8205;
double r8207 = sqrt(r8206);
double r8208 = asin(r8207);
return r8208;
}
Please include this information when filing a bug report:
herbie shell --seed 2019179
(FPCore (t l Om Omc)
:name "Toniolo and Linder, Equation (2)"
(asin (sqrt (/ (- 1.0 (pow (/ Om Omc) 2.0)) (+ 1.0 (* 2.0 (pow (/ t l) 2.0)))))))
| result arity mismatch; expected number of values not received expected: 2 received: 1 in: local-binding form values...: 0 | L | C | |
|---|---|---|---|
| loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/extraction.rkt | 25 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 217 | 0 |
| run-improve43 | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 339 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |