Herbie run
| Date: | Wednesday, September 11th, 2024 |
|---|---|
| Commit: | b5881a3c on zane-concrete-values |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024255 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 1.6hr)
| 10.2min | 3 921 705× | 0 | valid |
| 2.4min | 411 592× | 1 | valid |
| 1.2min | 127 294× | 2 | valid |
| 56.1s | 323 512× | 0 | invalid |
| 48.5s | 26 692× | 5 | exit |
| 12.5s | 14 150× | 3 | valid |
| 8.9s | 50 416× | 0 | exit |
| 8.2s | 25 284× | 1 | invalid |
| 2.4s | 18 034× | 1 | exit |
| 619.0ms | 44× | 4 | valid |
| 511.0ms | 1 300× | 2 | invalid |
| 357.0ms | 538× | 4 | exit |
| 135.0ms | 104× | 3 | exit |
| 8.0ms | 7× | 2 | exit |
ival-mult: 3.4min (29.4% of total)ival-add: 1.1min (9.2% of total)ival-div: 54.3s (7.7% of total)ival-sub: 45.2s (6.4% of total)ival-pow: 43.6s (6.2% of total)const: 34.2s (4.9% of total)adjust: 27.5s (3.9% of total)ival-tan: 25.6s (3.6% of total)ival-cos: 25.0s (3.6% of total)ival-log: 23.3s (3.3% of total)ival-sin: 23.2s (3.3% of total)ival-exp: 21.8s (3.1% of total)ival-sqrt: 19.6s (2.8% of total)ival-<=: 12.2s (1.7% of total)ival-pow2: 11.1s (1.6% of total)ival-sinu: 6.5s (0.9% of total)ival-fabs: 6.0s (0.9% of total)ival-cosu: 5.6s (0.8% of total)ival-neg: 5.4s (0.8% of total)ival-hypot: 4.6s (0.7% of total)exact: 3.6s (0.5% of total)ival-<: 3.5s (0.5% of total)ival-true: 3.2s (0.4% of total)ival-acos: 2.8s (0.4% of total)ival-and: 2.8s (0.4% of total)ival-expm1: 2.3s (0.3% of total)ival-asin: 2.1s (0.3% of total)ival-assert: 2.1s (0.3% of total)ival-atan2: 1.8s (0.3% of total)ival-pi: 1.4s (0.2% of total)ival-log1p: 1.4s (0.2% of total)ival-atan: 1.1s (0.2% of total)ival-sinh: 1.1s (0.2% of total)ival->: 1.1s (0.2% of total)ival-fmod: 884.0ms (0.1% of total)ival-floor: 752.0ms (0.1% of total)ival->=: 606.0ms (0.1% of total)ival-if: 589.0ms (0.1% of total)ival-==: 549.0ms (0.1% of total)ival-cbrt: 537.0ms (0.1% of total)ival-fmin: 464.0ms (0.1% of total)ival-fmax: 358.0ms (0.1% of total)ival-acosh: 308.0ms (0% of total)ival-asinh: 289.0ms (0% of total)ival-log2: 273.0ms (0% of total)ival-cosh: 265.0ms (0% of total)ival-atanh: 263.0ms (0% of total)ival-tanu: 179.0ms (0% of total)ival-tanh: 99.0ms (0% of total)ival-or: 37.0ms (0% of total)| 18 445 744× | lower-fma.f32 |
| 18 442 548× | lower-fma.f64 |
| 10 412 690× | lower-*.f32 |
| 10 404 204× | lower-*.f64 |
| 5 374 288× | lower-/.f32 |
| 3 319× | iter limit |
| 2 186× | node limit |
| 347× | fuel |
| 195× | done |
| 46× | saturated |
| 10× | unsound |
Compiled 343 795 to 176 764 computations (48.6% saved)
| 4 418× | egg-herbie |
| 32 206 606× | lower-fma.f32 |
| 32 199 930× | lower-fma.f64 |
| 12 889 228× | lower-*.f32 |
| 12 873 982× | lower-*.f64 |
| 7 415 464× | lower-+.f32 |
| 5 779× | iter limit |
| 2 772× | node limit |
| 1 683× | saturated |
| 4× | unsound |
Compiled 105 848 290 to 5 317 972 computations (95% saved)
| 9 819 164× | lower-fma.f32 |
| 9 812 500× | lower-fma.f64 |
| 8 185 662× | lower-*.f32 |
| 8 170 686× | lower-*.f64 |
| 6 810 748× | lower-/.f32 |
| 3 962× | iter limit |
| 1 882× | node limit |
| 46× | saturated |
| 33× | unsound |
| 2.1min | 397 699× | 0 | valid |
| 58.3s | 56 002× | 1 | valid |
| 30.5s | 21 299× | 2 | valid |
| 6.6s | 13 652× | 0 | invalid |
| 6.0s | 1 252× | 5 | exit |
| 3.7s | 2 061× | 3 | valid |
| 1.5s | 190× | 4 | exit |
| 1.1s | 783× | 2 | exit |
| 1.1s | 1 108× | 1 | exit |
| 850.0ms | 1 858× | 0 | exit |
| 494.0ms | 147× | 1 | invalid |
| 178.0ms | 52× | 3 | exit |
| 37.0ms | 21× | 4 | valid |
| 8.0ms | 4× | 2 | invalid |
Compiled 588 429 to 59 307 computations (89.9% saved)
ival-mult: 46.8s (26.8% of total)ival-div: 24.4s (14% of total)ival-add: 17.9s (10.2% of total)adjust: 10.9s (6.2% of total)ival-sub: 9.8s (5.6% of total)ival-sin: 8.5s (4.9% of total)ival-exp: 7.9s (4.5% of total)ival-cos: 7.7s (4.4% of total)ival-pow: 7.2s (4.1% of total)const: 6.7s (3.8% of total)ival-log: 4.5s (2.6% of total)ival-sqrt: 4.1s (2.4% of total)ival-pow2: 3.5s (2% of total)ival-neg: 2.9s (1.6% of total)ival-tan: 2.1s (1.2% of total)ival-sinu: 1.1s (0.7% of total)ival-hypot: 1.1s (0.6% of total)ival-log1p: 1.0s (0.6% of total)ival-cosu: 946.0ms (0.5% of total)exact: 726.0ms (0.4% of total)ival-acos: 556.0ms (0.3% of total)ival-asin: 547.0ms (0.3% of total)ival-true: 451.0ms (0.3% of total)ival-atan2: 422.0ms (0.2% of total)ival-pi: 348.0ms (0.2% of total)ival-floor: 307.0ms (0.2% of total)ival-cbrt: 294.0ms (0.2% of total)ival-fabs: 282.0ms (0.2% of total)ival-atan: 247.0ms (0.1% of total)ival-sinh: 243.0ms (0.1% of total)ival-assert: 227.0ms (0.1% of total)ival-cosh: 210.0ms (0.1% of total)ival-fmax: 156.0ms (0.1% of total)ival-if: 150.0ms (0.1% of total)ival-copysign: 138.0ms (0.1% of total)ival-expm1: 113.0ms (0.1% of total)ival-log2: 93.0ms (0.1% of total)ival-tanu: 84.0ms (0% of total)ival-fmod: 63.0ms (0% of total)ival-e: 56.0ms (0% of total)ival-tanh: 48.0ms (0% of total)ival->=: 21.0ms (0% of total)ival->: 14.0ms (0% of total)ival-<: 6.0ms (0% of total)1 224 calls:
| 19.0s | x |
| 12.7s | y |
| 11.6s | z |
| 7.8s | a |
| 7.3s | t |
Compiled 124 170 to 123 661 computations (0.4% saved)
Compiled 2 362 553 to 1 186 092 computations (49.8% saved)
16002 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 9.4s | x | @ | 0 | ((* x (exp (* y y))) (+ (* (* (* y y) x) 1/2) x) (* (* y y) x) (* y y) (* x (exp y)) (+ (* y x) x) (* y x) (* x (exp (* y y))) (+ (* (* y y) x) x) (* (* y x) y) (* x (exp y)) (exp y) (+ (* (+ (* (+ (* 1/6 y) 1/2) y) 1) y) 1) (* (* (+ (* 1/6 y) 1/2) y) y) (* x (exp y)) (exp y) (+ (* (+ (* (+ (* 1/6 y) 1/2) y) 1) y) 1) (* (+ (* (+ (* 1/6 y) 1/2) y) 1) y) (+ (* (+ (* (* (* y y) x) 1/2) x) (* y y)) x) (+ (* 1/6 y) 1/2) (* (+ (* 1/6 y) 1/2) y) (+ (* (+ (* 1/6 y) 1/2) y) 1)) |
| 2.2s | x | @ | 0 | ((+ (- 1 (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (pow (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 2)) (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) (/ (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) x)) (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 1) (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (* (/ (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* x x)))) (- 1 (* (/ (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (exp (neg (* x x))))) (/ (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (* (/ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) 1)) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))))) (exp (neg (* (fabs x) (fabs x)))))) (/ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (+ (* (/ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) 1)) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))))) (/ 1 (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) -2)))) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) -2))) (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)) (/ 1 (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3))) (/ (- 1 (/ 1 (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)))) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (pow (exp x) (neg x)) (/ (+ (/ (+ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (+ (* (/ 1 (+ (pow (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 3) 1)) (+ (- 1 (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (pow (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 2))) (neg (/ (pow (/ (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) x)) 3) (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (pow (exp x) x)) (/ (+ (* (/ (pow (exp x) (neg x)) (+ (* (fabs x) 3275911/10000000) 1)) (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) 1) (+ (* (fabs x) 3275911/10000000) 1))) 1)))) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (pow (/ (/ (+ 31853699/125000000 (/ (+ (/ (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) x)) 3) (- 1421413741/1000000000 (/ (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (/ (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) 1)) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) -2)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) -2) (- 1421413741/1000000000 (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (- 1 (/ 1 (/ (pow (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) 3) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)))) (pow (+ (/ (+ (/ (+ (* (/ -1 (+ (* (fabs x) 3275911/10000000) 1)) (- (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) 3)) |
| 962.0ms | a | @ | 0 | ((* 2 (+ (* z t) (+ (* y x) (* (* i (+ (* c b) a)) (neg c))))) (+ (* z t) (+ (* y x) (* (* i (+ (* c b) a)) (neg c)))) (+ (* y x) (* (* i (+ (* c b) a)) (neg c))) (* (* i (+ (* c b) a)) (neg c)) (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (* y x) (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (+ (* y x) (* z t)) (* z t) (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (* (* (neg c) b) (* i c)) (* (neg c) b) (* 2 (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))) (- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i)) (+ (* (neg i) (* (+ (* c b) a) c)) (* z t)) (neg i) (* i (+ (* c b) a)) (neg c) (* (+ (* c b) a) c)) |
| 450.0ms | w | @ | -inf | ((/ (* (neg dY.u) (floor w)) -1) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (pow (exp 2) (log (* dY.u (floor w)))) (* (* (floor h) dY.v) (* (floor h) dY.v)) (exp (+ (* (log dY.u) 2) (* (log (floor w)) 2))) (+ (* (log dY.u) 2) (* (log (floor w)) 2)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (exp 2) (log (* dY.u (floor w)))) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (exp 2) (log (* dY.u (floor w)))) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (exp (+ (* (log dY.u) 2) (* (log (floor w)) 2))) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (pow (* dX.u (floor w)) 2)) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (pow (* dX.u (floor w)) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) |
| 337.0ms | t | @ | 0 | ((* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 9/16) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/16)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 9/16) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/16) (* (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (/ (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (sqrt (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1))) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (sqrt (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1)) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) -2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (* (pow (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 7/4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8)) (pow (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 7/4) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8)) |
| 542× | egg-herbie |
| 2 120 258× | lower-fma.f32 |
| 2 120 256× | lower-fma.f64 |
| 556 378× | lower-*.f32 |
| 554 402× | lower-*.f64 |
| 388 482× | unsub-neg |
| 1 080× | iter limit |
| 743× | saturated |
| 345× | node limit |
Compiled 447 740 to 146 776 computations (67.2% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 8957 | 58 |
sqrt.f64 | #f | oflow-rescue | 5126 | 0 |
log.f64 | #f | sensitivity | 3499 | 4 |
cos.f64 | #f | sensitivity | 3277 | 6 |
+.f64 | #f | cancellation | 3106 | 139 |
sin.f64 | #f | sensitivity | 1971 | 6 |
/.f64 | #f | o/n | 1930 | 0 |
/.f64 | #f | o/o | 1876 | 0 |
-.f64 | #f | nan-rescue | 1482 | 0 |
log.f32 | #f | sensitivity | 1159 | 55 |
*.f64 | #f | n*o | 1085 | 0 |
/.f64 | #f | n/o | 961 | 0 |
sqrt.f64 | #f | uflow-rescue | 960 | 0 |
/.f64 | #f | u/u | 950 | 0 |
+.f64 | #f | nan-rescue | 800 | 0 |
/.f64 | #f | u/n | 749 | 0 |
sqrt.f32 | #f | oflow-rescue | 542 | 0 |
acos.f64 | #f | sensitivity | 532 | 6 |
*.f64 | #f | n*u | 456 | 0 |
tan.f64 | #f | sensitivity | 421 | 0 |
pow.f64 | #f | sensitivity | 398 | 46 |
-.f32 | #f | cancellation | 381 | 38 |
/.f64 | #f | n/u | 296 | 0 |
exp.f64 | #f | sensitivity | 218 | 30 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 216 | 0 |
cos.f64 | #f | oflow-rescue | 214 | 0 |
cos.f32 | (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) | sensitivity | 197 | 14 |
*.f64 | #f | u*o | 194 | 0 |
tan.f32 | (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) | cancellation | 191 | 8 |
pow.f64 | #f | oflow-rescue | 152 | 0 |
*.f64 | #f | o*u | 136 | 0 |
asin.f64 | (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) | sensitivity | 128 | 0 |
/.f32 | #f | o/n | 120 | 0 |
log.f64 | #f | oflow-rescue | 92 | 0 |
cbrt.f64 | #f | oflow-rescue | 86 | 0 |
log.f64 | #f | uflow-rescue | 71 | 0 |
pow.f64 | #f | uflow-rescue | 67 | 0 |
cbrt.f64 | #f | uflow-rescue | 48 | 0 |
exp.f32 | #f | sensitivity | 38 | 19 |
sin.f64 | #f | oflow-rescue | 38 | 0 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 37 | 0 |
| ↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 37 | |
/.f32 | #f | u/n | 28 | 0 |
sqrt.f32 | (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))) | uflow-rescue | 19 | 0 |
| ↳ | (*.f32 sinTheta_O sinTheta_O) | underflow | 290 | |
| ↳ | (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))) | underflow | 19 | |
| ↳ | (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))) | underflow | 145 | |
| ↳ | (*.f32 eta eta) | underflow | 19 | |
/.f32 | (/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) | n/o | 7 | 0 |
| ↳ | (/.f32 sin2phi (*.f32 alphay alphay)) | overflow | 12 | |
| ↳ | (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))) | overflow | 12 | |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) | n*u | 5 | 0 |
log.f32 | #f | oflow-rescue | 5 | 0 |
/.f32 | #f | o/o | 4 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 30818 | 1172 |
| - | 5909 | 100853 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 30818 | 267 | 905 |
| - | 5909 | 391 | 100462 |
| number | freq |
|---|---|
| 0 | 102025 |
| 1 | 31018 |
| 2 | 4561 |
| 3 | 589 |
| 4 | 327 |
| 5 | 144 |
| 6 | 62 |
| 7 | 18 |
| 8 | 6 |
| 9 | 1 |
| 10 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 340 | 6 | 3 |
| - | 12 | 2 | 179 |
| 26.8s | 235 132× | 0 | valid |
| 11.3s | 30 596× | 1 | valid |
| 7.3s | 10 584× | 2 | valid |
| 913.0ms | 1 060× | 3 | valid |
| 49.0ms | 18× | 5 | exit |
| 37.0ms | 104× | 1 | exit |
| 7.0ms | 10× | 4 | valid |
Compiled 93 902 to 19 668 computations (79.1% saved)
ival-mult: 6.6s (21.6% of total)ival-div: 3.0s (9.9% of total)ival-sub: 2.8s (9.2% of total)ival-add: 2.5s (8.2% of total)adjust: 2.3s (7.6% of total)ival-log: 1.8s (5.8% of total)ival-sin: 1.7s (5.6% of total)ival-tan: 1.6s (5.3% of total)ival-cos: 1.6s (5.1% of total)ival-exp: 1.2s (3.8% of total)ival-sqrt: 992.0ms (3.2% of total)const: 692.0ms (2.3% of total)ival-pow: 523.0ms (1.7% of total)ival-pow2: 514.0ms (1.7% of total)ival-hypot: 383.0ms (1.2% of total)ival-sinu: 361.0ms (1.2% of total)ival-cosu: 297.0ms (1% of total)ival-true: 261.0ms (0.9% of total)ival-neg: 197.0ms (0.6% of total)exact: 170.0ms (0.6% of total)ival-pi: 134.0ms (0.4% of total)ival-assert: 125.0ms (0.4% of total)ival-asin: 94.0ms (0.3% of total)ival-atan2: 93.0ms (0.3% of total)ival-fabs: 84.0ms (0.3% of total)ival-log1p: 79.0ms (0.3% of total)ival-atan: 74.0ms (0.2% of total)ival-acos: 73.0ms (0.2% of total)ival-fmod: 62.0ms (0.2% of total)ival-sinh: 54.0ms (0.2% of total)ival-if: 47.0ms (0.2% of total)ival-cbrt: 46.0ms (0.1% of total)ival-floor: 42.0ms (0.1% of total)ival-expm1: 26.0ms (0.1% of total)ival-fmax: 16.0ms (0.1% of total)ival-copysign: 15.0ms (0% of total)ival-log2: 13.0ms (0% of total)ival-tanu: 11.0ms (0% of total)ival-tanh: 11.0ms (0% of total)ival-cosh: 11.0ms (0% of total)ival->=: 8.0ms (0% of total)ival->: 3.0ms (0% of total)ival-<: 1.0ms (0% of total)| 545× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 84.4% | 15.6% | 0% | 0% | 0% | 0 |
| 39.8% | 33.6% | 50.8% | 15.6% | 0% | 0% | 0% | 1 |
| 45.9% | 38.4% | 45.3% | 15.6% | 0% | 0.8% | 0% | 2 |
| 54.5% | 44.5% | 37.2% | 15.6% | 0% | 2.8% | 0% | 3 |
| 61.4% | 49.5% | 31.1% | 15.6% | 0% | 3.8% | 0% | 4 |
| 67.7% | 54.3% | 25.9% | 15.6% | 0% | 4.3% | 0% | 5 |
| 71.6% | 57.1% | 22.7% | 15.6% | 0% | 4.7% | 0% | 6 |
| 75.5% | 59.8% | 19.4% | 15.6% | 0% | 5.2% | 0% | 7 |
| 77.5% | 61.1% | 17.7% | 15.6% | 0% | 5.6% | 0% | 8 |
| 80.1% | 62.9% | 15.6% | 15.6% | 0% | 5.9% | 0% | 9 |
| 81.7% | 63.9% | 14.3% | 15.6% | 0% | 6.2% | 0% | 10 |
| 83.9% | 65.5% | 12.6% | 15.6% | 0% | 6.4% | 0% | 11 |
| 85% | 66.2% | 11.6% | 15.6% | 0% | 6.6% | 0% | 12 |
Compiled 12 518 to 7 796 computations (37.7% saved)
| 2 731× | binary-search |
| 2 054× | left-value |
| 2 656× | narrow-enough |
| 72× | predicate-same |
| 3× | predicate-failed |
| 28.8s | 193 194× | 0 | valid |
| 8.1s | 15 874× | 1 | valid |
| 1.0s | 2 018× | 2 | valid |
| 1.0s | 8 818× | 0 | invalid |
| 242.0ms | 162× | 3 | valid |
| 48.0ms | 271× | 1 | invalid |
| 20.0ms | 210× | 0 | exit |
| 1.0ms | 5× | 2 | invalid |
Compiled 521 726 to 549 383 computations (-5.3% saved)
ival-mult: 10.4s (35.9% of total)ival-sub: 3.4s (11.9% of total)ival-add: 2.7s (9.2% of total)ival-sin: 2.4s (8.3% of total)ival-div: 2.2s (7.6% of total)ival-cos: 1.9s (6.4% of total)adjust: 738.0ms (2.6% of total)ival-log: 729.0ms (2.5% of total)ival-pow: 536.0ms (1.9% of total)ival-pow2: 530.0ms (1.8% of total)ival-sqrt: 520.0ms (1.8% of total)const: 395.0ms (1.4% of total)ival-hypot: 338.0ms (1.2% of total)ival-exp: 328.0ms (1.1% of total)ival-sinu: 256.0ms (0.9% of total)ival-neg: 253.0ms (0.9% of total)ival-cosu: 241.0ms (0.8% of total)ival-tan: 213.0ms (0.7% of total)ival-atan2: 207.0ms (0.7% of total)ival-true: 178.0ms (0.6% of total)ival-assert: 94.0ms (0.3% of total)exact: 94.0ms (0.3% of total)ival-acos: 93.0ms (0.3% of total)ival-tanh: 43.0ms (0.1% of total)ival-expm1: 38.0ms (0.1% of total)ival->=: 36.0ms (0.1% of total)ival-atan: 34.0ms (0.1% of total)ival-fabs: 20.0ms (0.1% of total)ival-asin: 19.0ms (0.1% of total)ival-fmod: 18.0ms (0.1% of total)ival-cbrt: 15.0ms (0.1% of total)ival-cosh: 15.0ms (0.1% of total)ival-pi: 9.0ms (0% of total)ival-if: 5.0ms (0% of total)ival-copysign: 3.0ms (0% of total)ival-sinh: 2.0ms (0% of total)ival-log1p: 0.0ms (0% of total)Loading profile data...