Herbie run
| Date: | Monday, May 12th, 2025 |
|---|---|
| Commit: | 2ad78556 on artem-rules-updates |
| Seed: | 2025132 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs default |
| Memory: | 467 417.6 MB |
Time bar (total: 6.2min)
| 2.1min | 14 043× | 3 | exit |
| 40.7s | 268 255× | 0 | valid |
| 6.6s | 28 686× | 1 | valid |
| 1.4s | 11 164× | 0 | invalid |
| 736.0ms | 2 490× | 2 | valid |
| 277.0ms | 1 578× | 1 | exit |
| 209.0ms | 694× | 1 | invalid |
| 32.0ms | 2× | 5 | exit |
| 25.0ms | 1× | 4 | exit |
| 0.0ms | 1× | 3 | valid |
ival-mult!: 25.4s (16.2% of total)adjust: 23.5s (15.1% of total)ival-exp: 19.9s (12.7% of total)ival-pow2: 18.3s (11.7% of total)ival-log: 16.7s (10.7% of total)ival-div!: 9.8s (6.2% of total)ival-neg: 9.3s (5.9% of total)ival-add!: 9.0s (5.7% of total)ival-sub!: 5.9s (3.8% of total)ival-sqrt: 5.9s (3.8% of total)ival-fmax: 2.9s (1.8% of total)ival-sin: 1.5s (0.9% of total)ival-fabs: 1.4s (0.9% of total)ival-fmin: 1.1s (0.7% of total)ival-<=: 983.0ms (0.6% of total)ival-cos: 931.0ms (0.6% of total)ival-floor: 756.0ms (0.5% of total)ival-sinu: 519.0ms (0.3% of total)ival-cosu: 410.0ms (0.3% of total)ival-expm1: 390.0ms (0.2% of total)ival-tan: 355.0ms (0.2% of total)ival-and: 297.0ms (0.2% of total)ival-if: 247.0ms (0.2% of total)ival-log2: 200.0ms (0.1% of total)ival-asin: 198.0ms (0.1% of total)ival-log1p: 142.0ms (0.1% of total)ival-atan: 132.0ms (0.1% of total)ival-sinh: 90.0ms (0.1% of total)ival->=: 71.0ms (0% of total)ival->: 44.0ms (0% of total)ival-<: 42.0ms (0% of total)ival-assert: 31.0ms (0% of total)const: 2.0ms (0% of total)ival-pi: 0.0ms (0% of total)| 275× | iter-limit |
| 118× | node-limit |
| 36× | saturated |
| 26× | unsound |
| 37× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 21% | 79% | 0% | 0% | 0% | 0 |
| 25.7% | 5.4% | 15.6% | 79% | 0% | 0% | 0% | 1 |
| 26.5% | 5.6% | 15.5% | 79% | 0% | 0% | 0% | 2 |
| 26.5% | 5.6% | 15.4% | 79% | 0% | 0% | 0% | 3 |
| 28.6% | 6% | 15% | 79% | 0% | 0% | 0% | 4 |
| 40.9% | 8.6% | 12.4% | 79% | 0% | 0% | 0% | 5 |
| 46.2% | 9.7% | 11.3% | 79% | 0% | 0% | 0% | 6 |
| 53.2% | 11% | 9.7% | 79% | 0% | 0.4% | 0% | 7 |
| 55.6% | 11.5% | 9.2% | 79% | 0% | 0.4% | 0% | 8 |
| 60.6% | 12.5% | 8.1% | 79% | 0% | 0.4% | 0% | 9 |
| 63.8% | 13.1% | 7.4% | 79% | 0% | 0.5% | 0% | 10 |
| 66.1% | 13.6% | 7% | 79% | 0% | 0.5% | 0% | 11 |
| 67.5% | 13.9% | 6.7% | 79% | 0% | 0.5% | 0% | 12 |
Compiled 20 293 to 1 873 computations (90.8% saved)
1515 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 875.0ms | dX.u | @ | 0 | ((log2 (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (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))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))))) (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (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))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (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))))) (floor maxAniso)) (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (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))))) (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (* (* (floor h) (floor h)) dX.v) (* (floor h) (floor h)) (floor h) h dX.v (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (floor w) (floor w)) (floor w) w (* dX.u dX.u) dX.u (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (floor w) dY.u) dY.u (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor h) dY.v) dY.v (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (floor w) dX.u) (* (* (floor h) dX.v) (* (floor w) dY.u)) (* (floor h) dX.v) (floor maxAniso) maxAniso (/ (sqrt (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (sqrt (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (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)))) (sqrt (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (floor w) (floor w)) (* dX.u dX.u))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (log2 (if (> (/ (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))))) (floor maxAniso)) (/ (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))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (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)))))))) (if (> (/ (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))))) (floor maxAniso)) (/ (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))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (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))))))) (> (/ (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))))) (floor maxAniso)) (/ (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))))) (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)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (* (* (neg dX.v) dY.u) (* (floor h) (floor w))) (* (neg dX.v) dY.u) (neg dX.v) (* (floor h) (floor w)) (/ (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))))) (floor maxAniso)) (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))))) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (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)))))) (log2 (if (> (/ (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w))))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w)))))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w))))))))) (if (> (/ (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w))))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w)))))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w)))))))) (> (/ (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w))))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w))))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w))))) (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (* (* (floor w) (floor w)) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v)) (* dX.v dX.v) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w)))) (* (* (floor h) (floor h)) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w))) (* dY.u dY.u) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))) (- (* dY.u dX.v) (* dY.v dX.u)) (* dY.u dX.v) (* dY.v dX.u) (/ (sqrt (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w)))))) (floor maxAniso)) (sqrt (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w)))))) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (* (* (* (floor w) (floor w)) dX.u) dX.u) (* (* (floor h) (floor h)) (* dX.v dX.v))) (+ (* (* (* (floor h) (floor h)) dY.v) dY.v) (* (* dY.u dY.u) (* (floor w) (floor w))))))) (log2 (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h)))))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h))))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h)))))))))) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h)))))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h))))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h))))))))) (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h)))))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h)))))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h)))))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h))))) (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (pow (* (floor w) dY.u) 4) 4 (pow (* (floor h) dY.v) 4) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h)))) (* (* dY.v dY.v) (* (floor h) (floor h))) (* dY.v dY.v) (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h))))))) (floor maxAniso)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h))))))) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* (floor w) dY.u) 4) (pow (* (floor h) dY.v) 4)) (- (* (* dY.u dY.u) (* (floor w) (floor w))) (* (* dY.v dY.v) (* (floor h) (floor h)))))))) (log2 (if (> (/ (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v 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))))) (floor maxAniso)) (/ (sqrt (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))))) (if (> (/ (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v 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))))) (floor maxAniso)) (/ (sqrt (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) (> (/ (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v 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))))) (floor maxAniso)) (/ (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v 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))))) (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v)))) (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v))) (/ (sqrt (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (sqrt (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v 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)))) (sqrt (fmax (/ (- (pow (* (floor w) dX.u) 4) (pow (* (floor h) dX.v) 4)) (- (* (* (floor w) (floor w)) (* dX.u dX.u)) (* (* (floor h) (floor h)) (* dX.v dX.v)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) |
| 301.0ms | alphay | @ | inf | ((/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ 1 (/ u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (* alphay alphay))) (- 1 u0)))))) (/ 1 (+ 1 (/ u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (* alphay alphay))) (- 1 u0))))) 1 (+ 1 (/ u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (* alphay alphay))) (- 1 u0)))) (/ u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (* alphay alphay))) (- 1 u0))) u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (* alphay alphay))) (- 1 u0)) (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (* alphay alphay))) (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (/ alphay alphax) alphay alphax (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))) (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))) 1/2 (PI) (* 2 (* u1 (PI))) 2 (* u1 (PI)) u1 (* alphax alphax) (/ (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (* alphay alphay)) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))) (* alphay alphay) (- 1 u0) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (- 1 (/ (* 1/2 (* (* alphax alphax) u0)) (* (pow (cos (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (- 1 u0)))) (/ (* 1/2 (* (* alphax alphax) u0)) (* (pow (cos (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (- 1 u0))) (* 1/2 (* (* alphax alphax) u0)) (* (* alphax alphax) u0) (* (pow (cos (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (- 1 u0)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) (* (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) -2)) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) -2) (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))) (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))) (* 1/2 (PI)) -2 (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ 1 (* (* (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) -2)) (/ u0 (- 1 u0)))))) (/ 1 (+ 1 (* (* (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) -2)) (/ u0 (- 1 u0))))) (+ 1 (* (* (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) -2)) (/ u0 (- 1 u0)))) (* (* (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) -2)) (/ u0 (- 1 u0))) (* (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) -2)) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) -2) (/ u0 (- 1 u0)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (/ 1 (+ 1 (/ u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))))) (* alphay alphay))) (- 1 u0)))))) (/ 1 (+ 1 (/ u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))))) (* alphay alphay))) (- 1 u0))))) (+ 1 (/ u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))))) (* alphay alphay))) (- 1 u0)))) (/ u0 (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))))) (* alphay alphay))) (- 1 u0))) (* (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))))) (* alphay alphay))) (- 1 u0)) (+ (/ (pow (/ 1 (sqrt (+ (* 1 1) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (* alphax alphax)) (/ (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))))) (* alphay alphay))) (/ (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))))) (* alphay alphay)) (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))))) (* 1/2 (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) (cos (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))) (* 2 (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))) |
| 283.0ms | u | @ | -inf | ((* (* s 3) (neg (log (+ 1 (neg (+ (* u 4/3) -1/3)))))) (* s 3) s 3 (neg (log (+ 1 (neg (+ (* u 4/3) -1/3))))) (log (+ 1 (neg (+ (* u 4/3) -1/3)))) (neg (+ (* u 4/3) -1/3)) (+ (* -4/3 u) 1/3) -4/3 u 1/3 (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) 3/4 (* s (* 3 (neg (log (- 1 (+ (* u 4/3) -1/3)))))) (* 3 (neg (log (- 1 (+ (* u 4/3) -1/3))))) (neg (log (- 1 (+ (* u 4/3) -1/3)))) (log (- 1 (+ (* u 4/3) -1/3))) (- 1 (+ (* u 4/3) -1/3)) 1 (+ (* u 4/3) -1/3) 4/3 -1/3 (* (* s 3) (log (/ 1 (- 1 (+ (* u 4/3) -1/3))))) (log (/ 1 (- 1 (+ (* u 4/3) -1/3)))) (/ 1 (- 1 (+ (* u 4/3) -1/3))) (* (* s 3) (neg (log (+ 1 (neg (/ (- (* (* 4/3 u) (* 4/3 u)) 1/9) (+ (* 4/3 u) 1/3))))))) (neg (log (+ 1 (neg (/ (- (* (* 4/3 u) (* 4/3 u)) 1/9) (+ (* 4/3 u) 1/3)))))) (log (+ 1 (neg (/ (- (* (* 4/3 u) (* 4/3 u)) 1/9) (+ (* 4/3 u) 1/3))))) (neg (/ (- (* (* 4/3 u) (* 4/3 u)) 1/9) (+ (* 4/3 u) 1/3))) (/ (- (* (* 4/3 u) (* 4/3 u)) 1/9) (+ (* 4/3 u) 1/3)) (- (* (* 4/3 u) (* 4/3 u)) 1/9) (* (* 4/3 u) (* 4/3 u)) (* 4/3 u) 1/9 (+ (* 4/3 u) 1/3)) |
| 258.0ms | s | @ | -inf | ((* (neg s) (log (- (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (neg s) s (log (- (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (- (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s))))) (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (+ 1 (exp (/ (neg (PI)) s))) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (exp (/ (PI) s)) (/ (PI) s) u (* (neg s) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s))))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)))) (log (/ (- (* (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s))))))) 1) (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) 0 (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (* (/ (+ (* (* (PI) 1/2) u) (* -1/4 (PI))) s) -4) (/ (+ (* (* (PI) 1/2) u) (* -1/4 (PI))) s) (+ (* (* (PI) 1/2) u) (* -1/4 (PI))) (* u (+ (* -1/4 (/ (PI) u)) (* 1/2 (PI)))) (+ (* -1/4 (/ (PI) u)) (* 1/2 (PI))) -1/4 (/ (PI) u) (* 1/2 (PI)) 1/2 -4 (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (+ (* (neg s) 0) (/ s (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u))) (/ s (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u)) (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (* (neg s) (log (- (/ (pow (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2) (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (/ 1 (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))))) (log (- (/ (pow (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2) (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (/ 1 (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)))) (- (/ (pow (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2) (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (/ 1 (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (/ (pow (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2) (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (pow (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 2) 2 (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (/ 1 (+ (/ 1 (+ (* (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) u) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) |
| 237.0ms | s | @ | 0 | ((* (* s 3) (neg (log (+ 1 (neg (+ (* u 4/3) -1/3)))))) (* s 3) s 3 (neg (log (+ 1 (neg (+ (* u 4/3) -1/3))))) (log (+ 1 (neg (+ (* u 4/3) -1/3)))) (neg (+ (* u 4/3) -1/3)) (+ (* u 4/3) -1/3) u 4/3 -1/3 (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (log 3/4) s) 3) (* (log 3/4) s) (log 3/4) 3/4 (* (* s 3) (neg (log (- 1 (+ (* 4/3 u) -1/3))))) (neg (log (- 1 (+ (* 4/3 u) -1/3)))) (log (- 1 (+ (* 4/3 u) -1/3))) (- 1 (+ (* 4/3 u) -1/3)) (+ (* -4/3 u) 4/3) -4/3 (* (* s 3) (neg (log (- 1 (- (* u 4/3) 1/3))))) (neg (log (- 1 (- (* u 4/3) 1/3)))) (log (- 1 (- (* u 4/3) 1/3))) (- 1 (- (* u 4/3) 1/3)) 1 (- (* u 4/3) 1/3) (* u 4/3) 1/3 (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (- 1 (/ (- u 1/4) 3/4)) (* (+ (* (/ 1 u) 4/3) -4/3) u) (+ (* (/ 1 u) 4/3) -4/3) (/ 1 u)) |
167 calls:
| 1.6s | (+.f32 (/.f32 (*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (*.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))) (*.f32 (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r))) |
| 739.0ms | (-.f32 #s(literal 1 binary32) u0) |
| 655.0ms | x |
| 570.0ms | s |
| 554.0ms | (*.f32 (/.f32 (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) (*.f32 (*.f32 x (PI.f32)) tau)) (/.f32 (sin.f32 (*.f32 x (PI.f32))) (*.f32 x (PI.f32)))) |
Compiled 20 381 to 18 660 computations (8.4% saved)
| 33× | fuel |
| 3× | done |
Compiled 10 422 to 4 079 computations (60.9% saved)
Compiled 2 989 902 to 472 361 computations (84.2% saved)
| 36× | node-limit |
Compiled 72 893 to 43 355 computations (40.5% saved)
Compiled 309 530 to 190 585 computations (38.4% saved)
| 93× | binary-search |
| 47× | left-value |
| 92× | narrow-enough |
| 1× | predicate-same |
| 446.0ms | 2 546× | 0 | valid |
| 226.0ms | 803× | 1 | valid |
| 19.0ms | 193× | 0 | invalid |
| 17.0ms | 95× | 1 | invalid |
| 15.0ms | 59× | 2 | valid |
Compiled 32 423 to 26 403 computations (18.6% saved)
ival-log1p: 90.0ms (14.9% of total)ival-pow2: 71.0ms (11.8% of total)ival-exp: 70.0ms (11.6% of total)ival-fmax: 63.0ms (10.4% of total)ival-sin: 51.0ms (8.5% of total)ival-sub!: 47.0ms (7.8% of total)ival-cos: 46.0ms (7.6% of total)ival-mult!: 43.0ms (7.1% of total)adjust: 29.0ms (4.8% of total)ival-add!: 27.0ms (4.5% of total)ival-sqrt: 24.0ms (4% of total)ival-fmin: 22.0ms (3.6% of total)ival-fabs: 15.0ms (2.5% of total)ival-neg: 8.0ms (1.3% of total)Loading profile data...