Herbie run
| Date: | Wednesday, November 13th, 2024 |
|---|---|
| Commit: | b0f482cc on pavel-concrete-values |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024318 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce: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.3hr)
| 7.8min | 3 935 779× | 0 | valid |
| 2.7min | 419 528× | 1 | valid |
| 1.2min | 129 972× | 2 | valid |
| 56.2s | 322 960× | 0 | invalid |
| 51.3s | 26 627× | 5 | exit |
| 12.4s | 14 216× | 3 | valid |
| 9.0s | 25 498× | 1 | invalid |
| 8.4s | 49 831× | 0 | exit |
| 2.8s | 19 327× | 1 | exit |
| 576.0ms | 1 372× | 2 | invalid |
| 500.0ms | 38× | 4 | valid |
| 357.0ms | 499× | 4 | exit |
| 84.0ms | 105× | 3 | exit |
| 5.0ms | 6× | 2 | exit |
ival-mult: 2.1min (19.9% of total)ival-div: 53.9s (8.7% of total)ival-add: 49.1s (7.9% of total)ival-pow: 46.9s (7.5% of total)const: 46.8s (7.5% of total)ival-sub: 44.6s (7.2% of total)ival-cos: 29.5s (4.7% of total)adjust: 28.6s (4.6% of total)ival-sin: 27.6s (4.4% of total)ival-log: 23.9s (3.8% of total)ival-exp: 22.8s (3.7% of total)ival-tan: 19.4s (3.1% of total)ival-sqrt: 18.0s (2.9% of total)ival-<=: 12.7s (2% of total)ival-pow2: 11.9s (1.9% of total)ival-sinu: 7.2s (1.2% of total)ival-fabs: 6.5s (1% of total)ival-cosu: 5.8s (0.9% of total)ival-neg: 5.3s (0.8% of total)ival-hypot: 3.9s (0.6% of total)exact: 3.6s (0.6% of total)ival-true: 3.1s (0.5% of total)ival-<: 2.9s (0.5% of total)ival-and: 2.8s (0.4% of total)ival-expm1: 2.2s (0.3% of total)ival-assert: 2.1s (0.3% of total)ival-acos: 1.9s (0.3% of total)ival-asin: 1.9s (0.3% of total)ival-atan2: 1.7s (0.3% of total)ival-pi: 1.5s (0.2% of total)ival-log1p: 1.4s (0.2% of total)ival-atan: 1.3s (0.2% of total)ival-sinh: 1.1s (0.2% of total)ival-fmod: 891.0ms (0.1% of total)ival->: 865.0ms (0.1% of total)ival-floor: 802.0ms (0.1% of total)ival-acosh: 588.0ms (0.1% of total)ival->=: 528.0ms (0.1% of total)ival-cbrt: 498.0ms (0.1% of total)ival-fmin: 473.0ms (0.1% of total)ival-e: 413.0ms (0.1% of total)ival-asinh: 412.0ms (0.1% of total)ival-==: 403.0ms (0.1% of total)ival-if: 338.0ms (0.1% of total)ival-fmax: 329.0ms (0.1% of total)ival-cosh: 270.0ms (0% of total)ival-log2: 248.0ms (0% of total)ival-atanh: 240.0ms (0% of total)ival-tanu: 172.0ms (0% of total)ival-tanh: 98.0ms (0% of total)ival-or: 39.0ms (0% of total)| 4 499× | egg-herbie |
| 5 890× | iter limit |
| 3 252× | node limit |
| 1 291× | saturated |
| 8× | unsound |
| 3 467× | iter limit |
| 2 297× | node limit |
| 368× | fuel |
| 177× | done |
| 41× | saturated |
| 13× | unsound |
Compiled 610 831 to 218 488 computations (64.2% saved)
| 4 054× | iter limit |
| 1 916× | node limit |
| 53× | saturated |
| 40× | unsound |
| 2.1min | 404 934× | 0 | valid |
| 1.0min | 57 315× | 1 | valid |
| 33.1s | 21 695× | 2 | valid |
| 7.8s | 990× | 5 | exit |
| 7.2s | 14 112× | 0 | invalid |
| 4.1s | 1 960× | 3 | valid |
| 2.3s | 206× | 4 | exit |
| 1.8s | 1 115× | 2 | exit |
| 949.0ms | 483× | 1 | invalid |
| 856.0ms | 994× | 1 | exit |
| 833.0ms | 2 137× | 0 | exit |
| 310.0ms | 48× | 3 | exit |
| 136.0ms | 99× | 2 | invalid |
| 73.0ms | 24× | 4 | valid |
Compiled 582 938 to 60 295 computations (89.7% saved)
ival-mult: 49.8s (27.4% of total)ival-div: 25.2s (13.9% of total)ival-add: 20.5s (11.3% of total)adjust: 11.6s (6.4% of total)ival-sin: 10.3s (5.7% of total)ival-sub: 8.9s (4.9% of total)ival-cos: 8.7s (4.8% of total)const: 8.0s (4.4% of total)ival-pow: 6.7s (3.7% of total)ival-sqrt: 4.3s (2.4% of total)ival-log: 4.2s (2.3% of total)ival-pow2: 4.1s (2.2% of total)ival-exp: 3.2s (1.8% of total)ival-neg: 2.6s (1.4% of total)ival-tan: 2.5s (1.4% of total)ival-sinu: 1.5s (0.8% of total)ival-cosu: 1.4s (0.7% of total)ival-hypot: 1.1s (0.6% of total)ival-acos: 710.0ms (0.4% of total)exact: 694.0ms (0.4% of total)ival-log1p: 582.0ms (0.3% of total)ival-atan2: 566.0ms (0.3% of total)ival-asin: 561.0ms (0.3% of total)ival-atan: 468.0ms (0.3% of total)ival-true: 428.0ms (0.2% of total)ival-fabs: 367.0ms (0.2% of total)ival-pi: 336.0ms (0.2% of total)ival-if: 285.0ms (0.2% of total)ival-cbrt: 271.0ms (0.1% of total)ival-cosh: 271.0ms (0.1% of total)ival-assert: 232.0ms (0.1% of total)ival-sinh: 201.0ms (0.1% of total)ival-expm1: 186.0ms (0.1% of total)ival-fmax: 156.0ms (0.1% of total)ival-log2: 96.0ms (0.1% of total)ival-e: 90.0ms (0% of total)ival-floor: 88.0ms (0% of total)ival-fmod: 62.0ms (0% of total)ival-copysign: 55.0ms (0% of total)ival-tanh: 41.0ms (0% of total)ival-tanu: 36.0ms (0% of total)ival->: 22.0ms (0% of total)ival->=: 21.0ms (0% of total)ival-<: 7.0ms (0% of total)Compiled 84 257 543 to 5 041 474 computations (94% saved)
1 239 calls:
| 18.0s | x |
| 13.6s | y |
| 9.9s | z |
| 8.7s | t |
| 7.1s | a |
Compiled 128 216 to 123 683 computations (3.5% saved)
| 545× | egg-herbie |
| 1 086× | iter limit |
| 746× | saturated |
| 348× | node limit |
Compiled 791 238 to 151 217 computations (80.9% saved)
Compiled 4 167 104 to 1 730 634 computations (58.5% saved)
16461 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 424.0ms | x | @ | 0 | ((/ (- (* 1 (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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)) (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ (* (+ (* -3275911/10000000 (fabs x)) 1) 1061405429/1000000000) (+ (* -10731592879921/100000000000000 (* x x)) 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))) 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) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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 (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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)) (* (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ (* (+ (* -3275911/10000000 (fabs x)) 1) 1061405429/1000000000) (+ (* -10731592879921/100000000000000 (* x x)) 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))) 3))) (* 1 (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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)) (* (+ (* -3275911/10000000 (fabs x)) 1) 1061405429/1000000000) (neg (+ (* (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) (neg (+ (* (fabs x) 3275911/10000000) 1)))) 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) (neg (+ (* (fabs x) 3275911/10000000) 1))) (/ 1 (/ (+ (* (fabs x) 3275911/10000000) 1) (+ (/ (+ (/ (+ (/ (+ (/ 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) (fabs x)) (* (/ 1 (/ (+ (* (fabs x) 3275911/10000000) 1) (+ (/ (+ (/ (+ (/ (+ (/ 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))) (exp (neg (* (fabs x) (fabs x))))) (- 1 (* (/ 1 (/ (+ (* (fabs x) 3275911/10000000) 1) (+ (/ (+ (/ (+ (/ (+ (/ 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))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x))))) (+ (* (/ 1 (+ (* (fabs x) 3275911/10000000) 1)) (- 8890523/31250000 (/ (- (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)))) (/ -1061405429/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 4))) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x)))))) (/ (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 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))) 2)) (+ (* (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 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 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))) 2)) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 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))) 2) (/ (+ (/ (+ (/ (+ (/ (+ (/ 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))) (/ (* (+ (* -3275911/10000000 (fabs x)) 1) 1061405429/1000000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ (* (+ (* -3275911/10000000 (fabs x)) 1) 1061405429/1000000000) (+ (* -10731592879921/100000000000000 (* x x)) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) |
| 343.0ms | y | @ | inf | ((/ (* x y) (+ y 1)) (- x (/ x y)) (/ (neg x) y) (neg x) (/ (* x y) (+ y 1)) (* y x) (/ (* x y) (+ y 1)) (* (* y x) (- 1 y)) (- 1 y) (* (* (- y 1) y) (neg x)) (/ (* x y) (+ y 1)) (* (- y 1) y) (- y 1)) |
| 325.0ms | x.im | @ | inf | ((* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (* (sin (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im)) (pow (exp (neg y.im)) (atan2 x.im x.re))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im)) (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im) (* (neg x.re) (+ (* (/ 1/2 x.re) (/ (* x.im x.im) x.re)) 1)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (+ (* x.re x.re) (* x.im x.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (+ (* (atan2 x.im x.re) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))) (sin (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (pow (exp (neg y.im)) (atan2 x.im x.re)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (/ (* x.im x.im) x.re) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log x.re) y.im) (* (atan2 x.im x.re) y.re))) (cos (+ (* (log x.re) y.im) (* (atan2 x.im x.re) y.re)))) |
| 325.0ms | b | @ | 0 | ((* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (sqrt 8) y-scale)) (sqrt (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8))) (* 1/4 b) (* (* y-scale (sqrt 2)) (sqrt 8)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* 1/4 (* (* (sqrt 8) y-scale) x-scale)) (sqrt (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)))))) (* (* (/ (sqrt (* (+ (* (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale))))))))) (* (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (neg (pow (* b a) 2))))) (* -4 (neg (pow (* b a) 2)))) (* y-scale x-scale)) (* y-scale x-scale)) (* 2 (* (PI) (* 1/180 angle))) (* (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (neg (pow (* b a) 2))) (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (/ 1 (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))))) (cos (* (* (PI) angle) 1/180)) (sin (* (* (PI) angle) 1/180)) (sqrt (* 2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2))))) (* y-scale (sqrt 2)) (sqrt 2) (sqrt (* 2 (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))))) (/ (sqrt (* (+ (* (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale))))))))) (* (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (neg (pow (* b a) 2))))) (* -4 (neg (pow (* b a) 2)))) (* (/ (sqrt (* (+ (* (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (pow y-scale -2)) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (sqrt (+ (* (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale) (/ (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (PI) (* 1/180 angle))))) x-scale) y-scale)) (* (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale)))) (+ (* (+ (pow (* (cos (* (PI) (* 1/180 angle))) b) 2) (pow (* (sin (* (PI) (* 1/180 angle))) a) 2)) (pow x-scale -2)) (/ (+ (pow (* b (sin (* (PI) (* 1/180 angle)))) 2) (pow (* (cos (* (PI) (* 1/180 angle))) a) 2)) (neg (* y-scale y-scale))))))))) (* (* 8 (* (neg (pow (* b a) 2)) (pow (* y-scale x-scale) -2))) (neg (pow (* b a) 2))))) (* -4 (neg (pow (* b a) 2)))) (* y-scale x-scale)) (cos (* (PI) (* 1/180 angle))) (sin (* (PI) (* 1/180 angle))) (/ (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))))) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale)))) (+ (* (/ 4 y-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) y-scale)) (* (* -2 (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* b b) y-scale)) (* (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale) (/ (* a a) y-scale))))) (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2)))) |
| 313.0ms | x | @ | -inf | ((+ (* (+ (* (log y) x) z) (* (- (* (log y) x) z) (pow (+ (* (log y) x) z) -1))) (neg y)) (* (- (* (log y) x) z) (pow (+ (* (log y) x) z) -1)) (+ (* (log y) x) z) (log y) (- (- (* x (log y)) z) y) (neg y) (- (- (* x (log y)) z) y) (+ (* (log y) x) (neg y)) (+ (* (+ (* (neg z) z) (pow (* (log y) x) 2)) (pow (+ (* (log y) x) z) -1)) (neg y)) (+ (* (neg z) z) (pow (* (log y) x) 2)) (neg z) (pow (* (log y) x) 2) (+ (* (* x x) (/ (pow (log y) 2) (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) (- (+ (* (* x x) (/ (pow (log y) 2) (+ (* (log y) x) z))) (neg (* z (/ z (+ (* (log y) x) z))))) y) (* x x) (/ (pow (log y) 2) (+ (* (log y) x) z)) (* (log y) x) (pow (+ (* (log y) x) z) -1) (pow (log y) 2)) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 9103 | 48 |
sqrt.f64 | #f | oflow-rescue | 5531 | 0 |
log.f64 | #f | sensitivity | 3654 | 1 |
cos.f64 | #f | sensitivity | 3392 | 3 |
+.f64 | #f | cancellation | 3064 | 123 |
sin.f64 | #f | sensitivity | 2053 | 4 |
/.f64 | #f | o/n | 1981 | 0 |
/.f64 | #f | o/o | 1807 | 0 |
-.f64 | #f | nan-rescue | 1452 | 0 |
log.f32 | #f | sensitivity | 1133 | 100 |
*.f64 | #f | n*o | 1089 | 0 |
/.f64 | #f | n/o | 978 | 0 |
/.f64 | #f | u/u | 949 | 0 |
sqrt.f64 | #f | uflow-rescue | 946 | 0 |
+.f64 | #f | nan-rescue | 759 | 0 |
/.f64 | #f | u/n | 697 | 0 |
sqrt.f32 | #f | oflow-rescue | 569 | 0 |
acos.f64 | #f | sensitivity | 527 | 7 |
*.f64 | #f | n*u | 496 | 0 |
pow.f64 | #f | sensitivity | 411 | 48 |
tan.f64 | #f | sensitivity | 409 | 0 |
-.f32 | #f | cancellation | 399 | 24 |
/.f64 | #f | n/u | 320 | 0 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 219 | 0 |
cos.f64 | #f | oflow-rescue | 193 | 0 |
cos.f32 | #f | sensitivity | 192 | 19 |
tan.f32 | (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) | cancellation | 187 | 17 |
exp.f64 | #f | sensitivity | 186 | 40 |
*.f64 | #f | u*o | 169 | 0 |
*.f64 | #f | o*u | 151 | 0 |
pow.f64 | #f | oflow-rescue | 143 | 0 |
/.f32 | #f | o/n | 140 | 0 |
asin.f64 | #f | sensitivity | 130 | 2 |
log.f64 | #f | oflow-rescue | 113 | 0 |
cbrt.f64 | #f | oflow-rescue | 96 | 0 |
log.f64 | #f | uflow-rescue | 66 | 0 |
pow.f64 | #f | uflow-rescue | 64 | 0 |
cbrt.f64 | #f | uflow-rescue | 38 | 0 |
tan.f64 | #f | oflow-rescue | 34 | 0 |
exp.f32 | #f | sensitivity | 34 | 17 |
sin.f64 | #f | oflow-rescue | 34 | 0 |
/.f32 | #f | u/n | 23 | 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 | 21 | 0 |
| ↳ | (*.f32 sinTheta_O sinTheta_O) | underflow | 300 | |
| ↳ | (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))) | underflow | 21 | |
| ↳ | (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))) | underflow | 150 | |
| ↳ | (*.f32 eta eta) | underflow | 21 | |
/.f32 | #f | o/o | 16 | 0 |
/.f32 | #f | n/o | 6 | 0 |
log.f32 | (log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32))))) | oflow-rescue | 2 | 0 |
| ↳ | (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))) | overflow | 2 | |
| ↳ | (+.f32 (*.f32 x x) #s(literal 1 binary32)) | overflow | 72 | |
| ↳ | (*.f32 x x) | overflow | 72 | |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) | u*o | 1 | 0 |
| ↳ | (*.f32 u normAngle) | underflow | 1 | |
| ↳ | (sin.f32 (*.f32 u normAngle)) | underflow | 1 | |
| ↳ | (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) | overflow | 1 | |
*.f32 | (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) | n*o | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 31195 | 983 |
| - | 6034 | 101308 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 31195 | 279 | 704 |
| - | 6034 | 394 | 100914 |
| number | freq |
|---|---|
| 0 | 102291 |
| 1 | 31282 |
| 2 | 4785 |
| 3 | 614 |
| 4 | 315 |
| 5 | 130 |
| 6 | 78 |
| 7 | 20 |
| 8 | 4 |
| 9 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 343 | 4 | 2 |
| - | 10 | 0 | 186 |
| 28.9s | 236 162× | 0 | valid |
| 11.3s | 31 062× | 1 | valid |
| 6.8s | 10 622× | 2 | valid |
| 1.0s | 1 048× | 3 | valid |
| 18.0ms | 118× | 1 | exit |
| 13.0ms | 22× | 5 | exit |
| 10.0ms | 6× | 4 | valid |
Compiled 94 460 to 19 821 computations (79% saved)
ival-mult: 6.8s (21.7% of total)ival-sub: 3.1s (9.8% of total)ival-div: 3.0s (9.4% of total)ival-add: 2.8s (8.9% of total)ival-sin: 2.1s (6.7% of total)adjust: 2.1s (6.6% of total)ival-cos: 2.0s (6.2% of total)ival-log: 1.5s (4.6% of total)ival-tan: 1.0s (3.3% of total)const: 996.0ms (3.2% of total)ival-sqrt: 993.0ms (3.1% of total)ival-exp: 914.0ms (2.9% of total)ival-pow2: 703.0ms (2.2% of total)ival-pow: 475.0ms (1.5% of total)ival-hypot: 455.0ms (1.4% of total)ival-sinu: 368.0ms (1.2% of total)ival-cosu: 357.0ms (1.1% of total)ival-neg: 274.0ms (0.9% of total)ival-true: 253.0ms (0.8% of total)ival-asin: 210.0ms (0.7% of total)exact: 173.0ms (0.5% of total)ival-acos: 127.0ms (0.4% of total)ival-assert: 126.0ms (0.4% of total)ival-log1p: 111.0ms (0.4% of total)ival-atan2: 91.0ms (0.3% of total)ival-pi: 85.0ms (0.3% of total)ival-atan: 83.0ms (0.3% of total)ival-fabs: 79.0ms (0.3% of total)ival-sinh: 55.0ms (0.2% of total)ival-floor: 41.0ms (0.1% of total)ival-cbrt: 34.0ms (0.1% of total)ival-expm1: 33.0ms (0.1% of total)ival-fmod: 31.0ms (0.1% of total)ival-if: 24.0ms (0.1% of total)ival-e: 16.0ms (0.1% of total)ival-fmax: 16.0ms (0.1% of total)ival-log2: 12.0ms (0% of total)ival-copysign: 12.0ms (0% of total)ival-tanu: 11.0ms (0% of total)ival-cosh: 11.0ms (0% of total)ival->=: 6.0ms (0% of total)ival-tanh: 6.0ms (0% of total)ival->: 3.0ms (0% of total)ival-<: 1.0ms (0% of total)| 548× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 84.5% | 15.5% | 0% | 0% | 0% | 0 |
| 40% | 33.8% | 50.7% | 15.5% | 0% | 0% | 0% | 1 |
| 46% | 38.5% | 45.2% | 15.5% | 0% | 0.8% | 0% | 2 |
| 54.6% | 44.6% | 37.1% | 15.5% | 0% | 2.8% | 0% | 3 |
| 61.4% | 49.6% | 31.2% | 15.5% | 0% | 3.8% | 0% | 4 |
| 67.7% | 54.3% | 26% | 15.5% | 0% | 4.2% | 0% | 5 |
| 71.6% | 57.2% | 22.7% | 15.5% | 0% | 4.6% | 0% | 6 |
| 75.6% | 59.9% | 19.4% | 15.5% | 0% | 5.2% | 0% | 7 |
| 77.5% | 61.2% | 17.7% | 15.5% | 0% | 5.6% | 0% | 8 |
| 80.1% | 63% | 15.6% | 15.5% | 0% | 5.9% | 0% | 9 |
| 81.7% | 64% | 14.3% | 15.5% | 0% | 6.2% | 0% | 10 |
| 83.9% | 65.6% | 12.6% | 15.5% | 0% | 6.4% | 0% | 11 |
| 85% | 66.3% | 11.7% | 15.5% | 0% | 6.6% | 0% | 12 |
Compiled 12 580 to 7 848 computations (37.6% saved)
| 2 607× | binary-search |
| 1 935× | left-value |
| 2 521× | narrow-enough |
| 85× | predicate-same |
| 1× | predicate-failed |
| 27.1s | 180 286× | 0 | valid |
| 6.5s | 13 511× | 1 | valid |
| 1.4s | 2 417× | 2 | valid |
| 782.0ms | 7 004× | 0 | invalid |
| 315.0ms | 250× | 3 | valid |
| 86.0ms | 198× | 0 | exit |
| 23.0ms | 41× | 1 | invalid |
| 1.0ms | 1× | 5 | exit |
Compiled 1 554 651 to 1 032 523 computations (33.6% saved)
ival-mult: 9.7s (35.8% of total)ival-sub: 3.3s (12.2% of total)ival-add: 2.6s (9.8% of total)ival-div: 2.1s (7.6% of total)ival-sin: 1.7s (6.4% of total)ival-cos: 1.6s (6% of total)adjust: 750.0ms (2.8% of total)ival-pow2: 672.0ms (2.5% of total)const: 661.0ms (2.4% of total)ival-log: 654.0ms (2.4% of total)ival-pow: 604.0ms (2.2% of total)ival-sqrt: 337.0ms (1.2% of total)ival-exp: 298.0ms (1.1% of total)ival-sinu: 298.0ms (1.1% of total)ival-hypot: 271.0ms (1% of total)ival-cosu: 265.0ms (1% of total)ival-neg: 226.0ms (0.8% of total)ival-tan: 202.0ms (0.7% of total)ival-true: 156.0ms (0.6% of total)ival-atan2: 155.0ms (0.6% of total)exact: 101.0ms (0.4% of total)ival-acos: 97.0ms (0.4% of total)ival-assert: 87.0ms (0.3% of total)ival-cbrt: 40.0ms (0.1% of total)ival-atan: 29.0ms (0.1% of total)ival-fabs: 25.0ms (0.1% of total)ival-cosh: 23.0ms (0.1% of total)ival-e: 19.0ms (0.1% of total)ival-fmod: 13.0ms (0% of total)ival-log1p: 12.0ms (0% of total)ival-pi: 10.0ms (0% of total)ival-asin: 8.0ms (0% of total)ival-if: 6.0ms (0% of total)ival-expm1: 6.0ms (0% of total)ival->=: 4.0ms (0% of total)ival-tanh: 4.0ms (0% of total)ival-sinh: 2.0ms (0% of total)ival-copysign: 1.0ms (0% of total)Loading profile data...