Herbie run
| Date: | Friday, November 8th, 2024 |
|---|---|
| Commit: | e1f2a9b8 on fix-1030 |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024313 |
| 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.7min | 3 937 411× | 0 | valid |
| 2.6min | 418 662× | 1 | valid |
| 1.2min | 129 451× | 2 | valid |
| 55.5s | 321 359× | 0 | invalid |
| 50.8s | 26 709× | 5 | exit |
| 13.4s | 13 976× | 3 | valid |
| 8.1s | 50 180× | 0 | exit |
| 7.2s | 25 783× | 1 | invalid |
| 2.8s | 19 696× | 1 | exit |
| 550.0ms | 1 299× | 2 | invalid |
| 368.0ms | 505× | 4 | exit |
| 353.0ms | 33× | 4 | valid |
| 290.0ms | 103× | 3 | exit |
| 6.0ms | 5× | 2 | exit |
ival-mult: 2.2min (21.4% of total)ival-div: 57.2s (9.1% of total)ival-add: 52.9s (8.5% of total)ival-pow: 49.1s (7.9% of total)ival-sub: 45.2s (7.2% of total)const: 32.8s (5.2% of total)adjust: 28.7s (4.6% of total)ival-cos: 25.4s (4.1% of total)ival-tan: 24.5s (3.9% of total)ival-sin: 23.7s (3.8% of total)ival-log: 22.6s (3.6% of total)ival-exp: 20.2s (3.2% of total)ival-sqrt: 18.7s (3% of total)ival-<=: 13.6s (2.2% of total)ival-pow2: 13.0s (2.1% of total)ival-sinu: 7.0s (1.1% of total)ival-cosu: 5.9s (0.9% of total)ival-neg: 5.4s (0.9% of total)ival-hypot: 4.9s (0.8% of total)ival-fabs: 4.7s (0.7% of total)exact: 3.6s (0.6% of total)ival-<: 3.4s (0.5% of total)ival-true: 3.0s (0.5% of total)ival-and: 2.8s (0.4% of total)ival-acos: 2.2s (0.4% of total)ival-asin: 2.1s (0.3% of total)ival-expm1: 2.1s (0.3% of total)ival-assert: 2.0s (0.3% of total)ival-atan2: 1.5s (0.2% of total)ival-log1p: 1.5s (0.2% of total)ival->: 1.4s (0.2% of total)ival-pi: 1.2s (0.2% of total)ival-atan: 1.1s (0.2% of total)ival-sinh: 1.0s (0.2% of total)ival-fmod: 941.0ms (0.2% of total)ival-floor: 908.0ms (0.1% of total)ival-fmin: 690.0ms (0.1% of total)ival-==: 677.0ms (0.1% of total)ival-cbrt: 623.0ms (0.1% of total)ival-asinh: 572.0ms (0.1% of total)ival-acosh: 506.0ms (0.1% of total)ival-cosh: 487.0ms (0.1% of total)ival-if: 391.0ms (0.1% of total)ival-e: 359.0ms (0.1% of total)ival-fmax: 305.0ms (0% of total)ival->=: 294.0ms (0% of total)ival-log2: 294.0ms (0% of total)ival-atanh: 270.0ms (0% of total)ival-tanu: 175.0ms (0% of total)ival-tanh: 77.0ms (0% of total)ival-or: 42.0ms (0% of total)| 4 483× | egg-herbie |
| 5 863× | iter limit |
| 3 244× | node limit |
| 1 285× | saturated |
| 8× | unsound |
| 3 446× | iter limit |
| 2 286× | node limit |
| 357× | fuel |
| 188× | done |
| 47× | saturated |
| 9× | unsound |
Compiled 571 160 to 214 306 computations (62.5% saved)
| 4 035× | iter limit |
| 1 910× | node limit |
| 54× | saturated |
| 38× | unsound |
| 2.1min | 400 580× | 0 | valid |
| 1.0min | 57 989× | 1 | valid |
| 33.7s | 21 493× | 2 | valid |
| 9.6s | 15 145× | 0 | invalid |
| 7.0s | 812× | 5 | exit |
| 4.7s | 2 262× | 3 | valid |
| 1.8s | 2 033× | 1 | exit |
| 1.5s | 1 049× | 2 | exit |
| 1.2s | 1 955× | 0 | exit |
| 891.0ms | 193× | 4 | exit |
| 692.0ms | 369× | 1 | invalid |
| 622.0ms | 149× | 3 | exit |
| 117.0ms | 29× | 4 | valid |
| 15.0ms | 6× | 2 | invalid |
Compiled 1 304 343 to 128 958 computations (90.1% saved)
ival-mult: 49.5s (27% of total)ival-div: 24.7s (13.5% of total)ival-add: 18.9s (10.3% of total)adjust: 11.6s (6.3% of total)ival-sin: 10.3s (5.6% of total)ival-sub: 10.2s (5.6% of total)ival-cos: 8.0s (4.3% of total)const: 7.4s (4.1% of total)ival-log: 6.4s (3.5% of total)ival-pow: 6.2s (3.4% of total)ival-neg: 4.8s (2.6% of total)ival-sqrt: 4.6s (2.5% of total)ival-pow2: 4.2s (2.3% of total)ival-exp: 3.4s (1.9% of total)ival-tan: 2.6s (1.4% of total)ival-sinu: 1.6s (0.9% of total)ival-cosu: 1.1s (0.6% of total)ival-hypot: 917.0ms (0.5% of total)ival-log1p: 818.0ms (0.4% of total)ival-acos: 757.0ms (0.4% of total)exact: 719.0ms (0.4% of total)ival-asin: 683.0ms (0.4% of total)ival-true: 438.0ms (0.2% of total)ival-atan2: 389.0ms (0.2% of total)ival-expm1: 303.0ms (0.2% of total)ival-fabs: 303.0ms (0.2% of total)ival-pi: 289.0ms (0.2% of total)ival-cbrt: 262.0ms (0.1% of total)ival-atan: 241.0ms (0.1% of total)ival-assert: 231.0ms (0.1% of total)ival-cosh: 173.0ms (0.1% of total)ival-sinh: 169.0ms (0.1% of total)ival-if: 169.0ms (0.1% of total)ival-floor: 139.0ms (0.1% of total)ival-fmax: 128.0ms (0.1% of total)ival-log2: 117.0ms (0.1% of total)ival->=: 89.0ms (0% of total)ival-tanu: 87.0ms (0% of total)ival-fmod: 56.0ms (0% of total)ival-tanh: 54.0ms (0% of total)ival-e: 48.0ms (0% of total)ival-copysign: 23.0ms (0% of total)ival->: 14.0ms (0% of total)ival-<: 12.0ms (0% of total)Compiled 74 588 156 to 5 054 054 computations (93.2% saved)
1 235 calls:
| 21.6s | x |
| 13.7s | z |
| 13.3s | y |
| 8.4s | i |
| 7.6s | t |
Compiled 122 715 to 124 743 computations (-1.7% saved)
| 545× | egg-herbie |
| 1 086× | iter limit |
| 746× | saturated |
| 348× | node limit |
Compiled 794 278 to 153 395 computations (80.7% saved)
16332 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 467.0ms | x | @ | 0 | ((+ (pow (+ (* (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)))) 1) -1) (* (pow (+ (* (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)))) 1) -1) (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3))) (- (pow (+ (* (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)))) 1) -2) (pow (* (neg (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3)) (pow (+ (* (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)))) 1) -1)) 2)) (* (neg (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3)) (pow (+ (* (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)))) 1) -1)) (* (pow (+ (* (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)))) 1) -1) (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3)) (- (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (/ 31853699/125000000 (+ (* (fabs x) 3275911/10000000) 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) (- 1 (* 10731592879921/100000000000000 (* x x)))) (+ (* (pow (fabs x) 3) 35155743162854883031/1000000000000000000000) 1)) (/ (- 1 (* (fabs x) 3275911/10000000)) (pow (+ (* (* (fabs x) 3275911/10000000) (- (* (fabs x) 3275911/10000000) 1)) 1) -1))) (/ -8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* (exp (* (neg x) x)) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 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) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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)))) (* (fabs x) (fabs x)) (+ 1 (* 3275911/10000000 (fabs x))) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* -3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* -3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* -3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 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))) 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 (/ (+ (/ (+ (/ (+ (/ (+ (/ 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))) 3)) (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))) 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) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (pow (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 3) (pow (+ (* (+ (* (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) (neg x))) 1) (/ (+ 31853699/125000000 (/ (+ (/ (+ (/ (+ (/ 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))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)))) 1) -2) (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (* 3275911/10000000 (fabs x)) (/ (* (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* -3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1)) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000)) |
| 380.0ms | h | @ | -inf | ((exp (log (sqrt (fmax (+ (+ (pow (* (floor h) dX.v) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor w) dX.u) 2)) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.v (floor h)) 2)))))) (log2 (exp (log (sqrt (fmax (+ (+ (pow (* (floor h) dX.v) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor w) dX.u) 2)) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.v (floor h)) 2))))))) (log (sqrt (fmax (+ (+ (pow (* (floor h) dX.v) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor w) dX.u) 2)) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.v (floor h)) 2))))) (sqrt (fmax (+ (+ (pow (* (floor h) dX.v) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor w) dX.u) 2)) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.v (floor h)) 2)))) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.v (floor h)) 2))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.v (floor h)) 2)))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.u (floor w)) 2) (pow (* dY.w (floor d)) 2)) (pow (* dY.v (floor h)) 2))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (* (pow (floor d) 2) dX.w) dX.w) (+ (* (pow (floor w) 2) (* dX.u dX.u)) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor d) dX.w) 2))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor d) dX.w) (* (floor d) dX.w)) (+ (* (- (pow (* dY.v (floor h)) 4) (pow (* dY.u (floor w)) 4)) (/ 1 (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (pow (* dY.w (floor d)) 2)) (pow (* dY.v (floor h)) 2) (pow (* (floor w) dX.u) 2) (pow (* dY.w (floor d)) 2) (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor d) 2) dX.w) dX.w)) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor d) dX.w) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (- (pow (* dY.v (floor h)) 4) (pow (* dY.u (floor w)) 4)) (/ 1 (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (pow (* dY.w (floor d)) 2)))) (- (pow (* dY.v (floor h)) 4) (pow (* dY.u (floor w)) 4)) (/ 1 (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) |
| 357.0ms | angle | @ | -inf | ((/ (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 a) (* (* x-scale (sqrt 2)) (sqrt 8))) (* 1/4 a) (* (* x-scale (sqrt 2)) (sqrt 8)) (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 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))) (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))))))) (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)))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (neg (* a a)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale 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 (- (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (sqrt (+ (* (/ 4 (* y-scale y-scale)) (* (/ (* (pow a 4) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale))) (pow (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (neg (* a a)) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) (* y-scale y-scale)))) 2)))))) (+ (* (/ 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)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) 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)) (sqrt (+ (* (* a a) (pow (sin (* (* (PI) angle) 1/180)) 2)) (+ (* (* b b) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* -1/2 (/ (+ (* (/ 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)))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))) (+ (* (/ (* a a) y-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) y-scale)) (* (/ (* b b) y-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) y-scale))))))))) (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) (- (pow (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))) 2) (* (/ (pow (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) 2) (pow (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))) 2)) 1/4)) (/ (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))) (* (+ (* (/ (* (* (* x-scale (* y-scale y-scale)) (* (- (pow (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))) 2) (* (/ (pow (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) 2) (pow (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2))) 2)) 1/4)) (sqrt 8))) (sqrt (/ 1 (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))))))))) (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) -1/16) (* (* 1/4 (* (sqrt 8) x-scale)) (sqrt (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (+ (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale)) (* -1/2 (/ (+ (* (/ 4 x-scale) (/ (* (* (pow (* (+ b a) (- b a)) 2) (pow (sin (* (* (PI) angle) 1/180)) 2)) (pow (cos (* (* (PI) angle) 1/180)) 2)) x-scale)) (* (* -2 (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))) (+ (* (/ (* a a) x-scale) (/ (pow (sin (* (* (PI) angle) 1/180)) 2) x-scale)) (* (/ (* b b) x-scale) (/ (pow (cos (* (* (PI) angle) 1/180)) 2) x-scale))))) (+ (* (* a a) (pow (cos (* (* (PI) angle) 1/180)) 2)) (* (* b b) (pow (sin (* (* (PI) angle) 1/180)) 2)))))))))) y-scale) (sqrt 2) (sqrt 8) (- (+ (/ (/ (+ (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)))) (neg a) (PI) (cos (* (* (PI) angle) 1/180)) (neg (* a a)) (sin (* (* (PI) angle) 1/180))) |
| 356.0ms | z | @ | inf | ((+ (* (* (* z y) t) -9) (+ (* a (* 27 b)) (* x 2))) (* (* z y) t) (* z y) (+ (* a (* 27 b)) (* x 2)) (+ (* (neg y) (* (* t z) 9)) (+ (* (* b 27) a) (* 2 x))) (* 2 x) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (+ (* (* 27 b) a) (* x 2)) (* 27 b) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (+ (* y (* -9 (* z t))) (* (* a 27) b)) (* -9 (* z t)) (* z t) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (+ (* (* z t) (* -9 y)) (* (* a 27) b)) (* -9 y) (* (* a 27) b)) |
| 319.0ms | dX.u | @ | inf | ((pow (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* dY.u (floor w)) 2))) 1/4) 2) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v)) (log2 (if (> (/ (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))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (floor maxAniso)) (/ (pow (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* dY.u (floor w)) 2))) 1/4) 2) (floor maxAniso)) (/ (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.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))))))) (> (/ (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))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (floor maxAniso)) (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor h) 2) dY.v) dY.v) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (* (* (pow (floor h) 2) dY.v) dY.v)) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (pow (* (floor h) dX.v) 2)) (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (/ (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))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* dY.u (floor w)) 2))) 1/4) (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)))) (/ (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.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))))) (+ (* (neg dY.v) dX.u) (* dX.v dY.u)) (+ (* (neg dY.v) dX.u) (* dY.u dX.v)) (+ (* (* dX.u -1) dY.v) (* dX.v dY.u)) (+ (* dY.u (floor w)) (* dY.v (floor h))) (+ (* (/ (* (* dY.u dY.u) (pow (floor w) 4)) (+ (* dY.u (floor w)) (* dY.v (floor h)))) (/ (* dY.u dY.u) (- (* dY.u (floor w)) (* dY.v (floor h))))) (neg (/ (pow (* dY.v (floor h)) 4) (- (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))))) (/ (pow (* dY.v (floor h)) 4) (- (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))) (/ (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)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))))) |
Compiled 4 013 235 to 1 740 409 computations (56.6% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 9015 | 45 |
sqrt.f64 | #f | oflow-rescue | 5533 | 0 |
log.f64 | #f | sensitivity | 3694 | 3 |
cos.f64 | #f | sensitivity | 3473 | 2 |
+.f64 | #f | cancellation | 3105 | 110 |
sin.f64 | #f | sensitivity | 2085 | 2 |
/.f64 | #f | o/n | 2021 | 0 |
/.f64 | #f | o/o | 1868 | 0 |
-.f64 | #f | nan-rescue | 1531 | 0 |
*.f64 | #f | n*o | 1125 | 0 |
log.f32 | #f | sensitivity | 1112 | 92 |
/.f64 | #f | n/o | 1025 | 0 |
/.f64 | #f | u/u | 994 | 0 |
sqrt.f64 | #f | uflow-rescue | 898 | 0 |
+.f64 | #f | nan-rescue | 860 | 0 |
/.f64 | #f | u/n | 673 | 0 |
acos.f64 | #f | sensitivity | 532 | 3 |
sqrt.f32 | #f | oflow-rescue | 508 | 0 |
*.f64 | #f | n*u | 501 | 0 |
tan.f64 | #f | sensitivity | 426 | 0 |
-.f32 | #f | cancellation | 402 | 23 |
pow.f64 | #f | sensitivity | 398 | 55 |
/.f64 | #f | n/u | 326 | 0 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 236 | 0 |
exp.f64 | #f | sensitivity | 202 | 25 |
cos.f32 | #f | sensitivity | 187 | 12 |
cos.f64 | #f | oflow-rescue | 182 | 0 |
tan.f32 | (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) | cancellation | 177 | 12 |
pow.f64 | #f | oflow-rescue | 174 | 0 |
*.f64 | #f | u*o | 141 | 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 | 127 | 0 |
*.f64 | #f | o*u | 124 | 0 |
/.f32 | #f | o/n | 122 | 0 |
log.f64 | #f | oflow-rescue | 111 | 0 |
log.f64 | #f | uflow-rescue | 68 | 0 |
cbrt.f64 | #f | oflow-rescue | 59 | 0 |
pow.f64 | #f | uflow-rescue | 45 | 0 |
sin.f64 | #f | oflow-rescue | 40 | 0 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 39 | 0 |
| ↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 39 | |
cbrt.f64 | #f | uflow-rescue | 39 | 0 |
exp.f32 | #f | sensitivity | 31 | 7 |
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 | 278 | |
| ↳ | (-.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 | 139 | |
| ↳ | (*.f32 eta eta) | underflow | 20 | |
/.f32 | #f | u/n | 17 | 0 |
/.f32 | #f | o/o | 10 | 0 |
/.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 | 21 | |
| ↳ | (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))) | overflow | 21 | |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) | n*u | 2 | 0 |
log.f32 | #f | oflow-rescue | 2 | 0 |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) | u*o | 1 | 0 |
| ↳ | (*.f32 u normAngle) | underflow | 3 | |
| ↳ | (sin.f32 (*.f32 u normAngle)) | underflow | 3 | |
| ↳ | (/.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 - | |
|---|---|---|
| + | 31310 | 989 |
| - | 6109 | 101112 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 31310 | 233 | 756 |
| - | 6109 | 402 | 100710 |
| number | freq |
|---|---|
| 0 | 102101 |
| 1 | 31393 |
| 2 | 4852 |
| 3 | 608 |
| 4 | 330 |
| 5 | 151 |
| 6 | 59 |
| 7 | 18 |
| 8 | 4 |
| 9 | 3 |
| 10 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 346 | 4 | 3 |
| - | 14 | 3 | 175 |
| 27.0s | 236 214× | 0 | valid |
| 11.4s | 30 960× | 1 | valid |
| 7.1s | 10 596× | 2 | valid |
| 990.0ms | 1 156× | 3 | valid |
| 14.0ms | 104× | 1 | exit |
| 5.0ms | 10× | 5 | exit |
Compiled 135 797 to 25 702 computations (81.1% saved)
ival-mult: 6.9s (21.9% of total)ival-div: 3.4s (10.9% of total)ival-add: 3.2s (10.1% of total)ival-sub: 3.0s (9.6% of total)ival-sin: 2.2s (7.1% of total)ival-log: 1.7s (5.3% of total)adjust: 1.7s (5.3% of total)ival-cos: 1.5s (4.6% of total)ival-exp: 1.1s (3.6% of total)ival-tan: 1.0s (3.3% of total)ival-sqrt: 906.0ms (2.9% of total)ival-pow2: 739.0ms (2.4% of total)const: 635.0ms (2% of total)ival-pow: 490.0ms (1.6% of total)ival-cosu: 380.0ms (1.2% of total)ival-sinu: 375.0ms (1.2% of total)ival-hypot: 257.0ms (0.8% of total)ival-true: 255.0ms (0.8% of total)ival-neg: 236.0ms (0.8% of total)exact: 176.0ms (0.6% of total)ival-acos: 145.0ms (0.5% of total)ival-assert: 126.0ms (0.4% of total)ival-fabs: 103.0ms (0.3% of total)ival-atan2: 102.0ms (0.3% of total)ival-asin: 98.0ms (0.3% of total)ival-log1p: 97.0ms (0.3% of total)ival-pi: 91.0ms (0.3% of total)ival-atan: 85.0ms (0.3% of total)ival-cbrt: 83.0ms (0.3% of total)ival-sinh: 71.0ms (0.2% of total)ival-copysign: 67.0ms (0.2% of total)ival-floor: 42.0ms (0.1% of total)ival-expm1: 31.0ms (0.1% of total)ival-if: 30.0ms (0.1% of total)ival-fmod: 30.0ms (0.1% of total)ival-fmax: 17.0ms (0.1% of total)ival-e: 16.0ms (0.1% of total)ival-tanu: 12.0ms (0% of total)ival-log2: 12.0ms (0% of total)ival-cosh: 11.0ms (0% of total)ival->=: 9.0ms (0% of total)ival-tanh: 7.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 661× | binary-search |
| 1 971× | left-value |
| 2 564× | narrow-enough |
| 96× | predicate-same |
| 1× | predicate-failed |
| 32.1s | 195 765× | 0 | valid |
| 5.9s | 12 394× | 1 | valid |
| 1.2s | 1 823× | 2 | valid |
| 938.0ms | 7 068× | 0 | invalid |
| 166.0ms | 242× | 3 | valid |
| 31.0ms | 139× | 0 | exit |
| 15.0ms | 63× | 1 | invalid |
| 1.0ms | 1× | 5 | exit |
| 0.0ms | 1× | 1 | exit |
Compiled 1 681 190 to 1 111 572 computations (33.9% saved)
ival-mult: 10.1s (34.4% of total)ival-sub: 4.3s (14.7% of total)ival-div: 2.9s (10% of total)ival-add: 2.8s (9.5% of total)ival-sin: 1.8s (6.1% of total)ival-cos: 1.5s (4.9% of total)ival-log: 810.0ms (2.8% of total)const: 755.0ms (2.6% of total)ival-pow: 622.0ms (2.1% of total)adjust: 569.0ms (1.9% of total)ival-sqrt: 537.0ms (1.8% of total)ival-pow2: 515.0ms (1.8% of total)ival-hypot: 375.0ms (1.3% of total)ival-exp: 371.0ms (1.3% of total)ival-sinu: 231.0ms (0.8% of total)ival-tan: 167.0ms (0.6% of total)ival-true: 167.0ms (0.6% of total)ival-cosu: 156.0ms (0.5% of total)ival-neg: 147.0ms (0.5% of total)ival-atan2: 136.0ms (0.5% of total)exact: 97.0ms (0.3% of total)ival-assert: 90.0ms (0.3% of total)ival-acos: 58.0ms (0.2% of total)ival-fabs: 42.0ms (0.1% of total)ival-atan: 29.0ms (0.1% of total)ival-e: 25.0ms (0.1% of total)ival-log1p: 17.0ms (0.1% of total)ival-asin: 10.0ms (0% of total)ival-cbrt: 10.0ms (0% of total)ival-expm1: 9.0ms (0% of total)ival-pi: 7.0ms (0% of total)ival-if: 5.0ms (0% of total)ival-tanh: 4.0ms (0% of total)ival-cosh: 4.0ms (0% of total)ival->=: 4.0ms (0% of total)ival-sinh: 3.0ms (0% of total)Loading profile data...