Herbie run

Date:Saturday, May 31st, 2025
Commit:a88f6b81 on fighting-unsoundness
Seed:2025151
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:639 641.0 MB

Time bar (total: 8.2min)

sample3.6min (43.5%)

Memory
7 285.5MiB live, 250 938.6MiB allocated; 2.2min collecting garbage
Samples
2.1min12 961×3exit
49.9s268 084×0valid
6.1s28 711×1valid
1.4s11 112×0invalid
687.0ms2 478×2valid
443.0ms1 625×1exit
221.0ms726×1invalid
79.0ms3×5exit
18.0ms1×4exit
Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult!: 29.0s (18.2% of total)
ival-exp: 22.6s (14.2% of total)
adjust: 20.9s (13.1% of total)
ival-pow2: 18.1s (11.4% of total)
ival-log: 15.8s (9.9% of total)
ival-div!: 9.8s (6.1% of total)
ival-add!: 9.7s (6.1% of total)
ival-neg: 7.4s (4.6% of total)
ival-sub!: 6.5s (4.1% of total)
ival-sqrt: 6.2s (3.9% of total)
ival-fmax: 2.1s (1.3% of total)
ival-fabs: 2.0s (1.2% of total)
ival-sin: 1.8s (1.1% of total)
ival-floor: 1.4s (0.9% of total)
ival-fmin: 897.0ms (0.6% of total)
ival-cos: 814.0ms (0.5% of total)
ival-sinu: 652.0ms (0.4% of total)
ival-expm1: 638.0ms (0.4% of total)
ival-<=: 450.0ms (0.3% of total)
ival-tan: 425.0ms (0.3% of total)
ival-cosu: 416.0ms (0.3% of total)
ival-atan: 374.0ms (0.2% of total)
ival-if: 302.0ms (0.2% of total)
ival-and: 301.0ms (0.2% of total)
ival-asin: 281.0ms (0.2% of total)
ival-log2: 198.0ms (0.1% of total)
ival-log1p: 159.0ms (0.1% of total)
ival-sinh: 90.0ms (0.1% of total)
ival->=: 57.0ms (0% of total)
ival->: 47.0ms (0% of total)
ival-assert: 28.0ms (0% of total)
ival-<: 25.0ms (0% of total)
const: 2.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

eval1.0min (12.8%)

Memory
-868.9MiB live, 84 588.6MiB allocated; 46.0s collecting garbage
Compiler

Compiled 9 645 374 to 1 698 710 computations (82.4% saved)

rewrite56.0s (11.4%)

Memory
1 572.6MiB live, 74 533.1MiB allocated; 26.2s collecting garbage
Stop Event
286×iter-limit
143×node-limit
Counts
6 445 → 313 226

series44.0s (9%)

Memory
1 492.0MiB live, 66 944.7MiB allocated; 20.4s collecting garbage
Stop Event
143×iter-limit
Counts
6 445 → 25 482
Calls

1530 calls:

TimeVariablePointExpression
1.8s
s
@inf
((* s (log (/ 1 (- 1 (* 4 u))))) (* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u)))))))) u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))) (* s (+ 4 (* u (+ 8 (* u (+ 64/3 (* 64 u))))))) s (+ 4 (* u (+ 8 (* u (+ 64/3 (* 64 u)))))) 4 (* u (+ 8 (* u (+ 64/3 (* 64 u))))) (+ 8 (* u (+ 64/3 (* 64 u)))) 8 (* u (+ 64/3 (* 64 u))) (+ 64/3 (* 64 u)) 64/3 (* 64 u) 64 (* (neg (log (+ (* -4 u) 1))) s) (neg (log (+ (* -4 u) 1))) (* u (+ 4 (* 8 u))) (+ 4 (* 8 u)) (* 8 u) (* s (log (/ 1 (- 1 (* 4 u))))) (+ (* (* u 4) s) (* (* u u) (* s (+ (* 64/3 u) 8)))) (* u 4) (* (* u u) (* s (+ (* 64/3 u) 8))) (* u u) (* s (+ (* 64/3 u) 8)) (+ (* 64/3 u) 8) (- (* (log (+ (* -8 u) 2)) s) (* (log (* (+ (* u -8) 2) (+ (* -4 u) 1))) s)) (* (log (+ (* -8 u) 2)) s) (log (+ (* -8 u) 2)) (+ (* -8 u) 2) -8 2 (* (log (* (+ (* u -8) 2) (+ (* -4 u) 1))) s) (log (* (+ (* u -8) 2) (+ (* -4 u) 1))) (* (+ (* u -8) 2) (+ (* -4 u) 1)) (+ (* (+ (* 32 u) -16) u) 2) (+ (* 32 u) -16) 32 -16 (* s (- (log (+ (* 1 (+ (* -4 u) 1)) (* (+ (* -4 u) 1) 0))) (log (* (+ (* u 4) -1) (+ (* u 4) -1))))) (- (log (+ (* 1 (+ (* -4 u) 1)) (* (+ (* -4 u) 1) 0))) (log (* (+ (* u 4) -1) (+ (* u 4) -1)))) (log (+ (* 1 (+ (* -4 u) 1)) (* (+ (* -4 u) 1) 0))) (+ (* 1 (+ (* -4 u) 1)) (* (+ (* -4 u) 1) 0)) 1 (+ (* -4 u) 1) -4 (* (+ (* -4 u) 1) 0) 0 (log (* (+ (* u 4) -1) (+ (* u 4) -1))) (* (+ (* u 4) -1) (+ (* u 4) -1)) (+ (* u 4) -1) -1)
815.0ms
s
@-inf
((* (neg s) (log (/ (- 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)))) (neg s) s (log (/ (- 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2))) (/ (- 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) (- 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2) (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (/ u (- -1 (exp (/ (neg (PI)) s)))) u (- -1 (exp (/ (neg (PI)) s))) -1 (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (pow (/ u (- (exp (/ (PI) s)) -1)) 2) (/ u (- (exp (/ (PI) s)) -1)) (- (exp (/ (PI) s)) -1) (exp (/ (PI) s)) (/ (PI) s) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s))))) (/ -1 (- (exp (/ (PI) s)) -1)) (* (neg s) (log (- (/ 1 (+ (/ (- (* (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- (exp (/ (neg (PI)) s)) -1))) (* (/ u (- -1 (exp (/ (PI) s)))) (/ u (- -1 (exp (/ (PI) s)))))) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (log (- (/ 1 (+ (/ (- (* (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- (exp (/ (neg (PI)) s)) -1))) (* (/ u (- -1 (exp (/ (PI) s)))) (/ u (- -1 (exp (/ (PI) s)))))) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (pow (cbrt (neg (PI))) 3) (cbrt (neg (PI))) 3 (* (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)) (* 4 (+ (* (* -1/2 (PI)) (/ u s)) (log (pow (exp (* 1/4 (PI))) (/ 1 s))))) 4 (+ (* (* -1/2 (PI)) (/ u s)) (log (pow (exp (* 1/4 (PI))) (/ 1 s)))) (* -1/2 (PI)) -1/2 (/ u s) (log (pow (exp (* 1/4 (PI))) (/ 1 s))) (pow (exp (* 1/4 (PI))) (/ 1 s)) (exp (* 1/4 (PI))) (* 1/4 (PI)) 1/4 (/ 1 s) 1 (* (neg s) (log (- (exp (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1)) 1))) (log (- (exp (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1)) 1)) (- (exp (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1)) 1) (exp (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1)) (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1) (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1)) (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) (- (exp (/ 1 (/ s (PI)))) -1) (exp (/ 1 (/ s (PI)))) (/ 1 (/ s (PI))) (/ s (PI)) (- (exp (/ (neg (PI)) s)) -1))
588.0ms
s
@inf
((* (neg s) (log (/ (- 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)))) (neg s) s (log (/ (- 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2))) (/ (- 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) (- 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2)) 2 (* (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) 2) (- (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ -1 (- (exp (/ (PI) s)) -1))) (/ (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (- (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (pow (/ u (- (exp (/ (PI) s)) -1)) 2)) (pow (/ u (- -1 (exp (/ (neg (PI)) s)))) 2) (/ u (- -1 (exp (/ (neg (PI)) s)))) u (- -1 (exp (/ (neg (PI)) s))) -1 (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (pow (/ u (- (exp (/ (PI) s)) -1)) 2) (/ u (- (exp (/ (PI) s)) -1)) (- (exp (/ (PI) s)) -1) (exp (/ (PI) s)) (/ (PI) s) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s))))) (/ -1 (- (exp (/ (PI) s)) -1)) (* (neg s) (log (- (/ 1 (+ (/ (- (* (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- (exp (/ (neg (PI)) s)) -1))) (* (/ u (- -1 (exp (/ (PI) s)))) (/ u (- -1 (exp (/ (PI) s)))))) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (log (- (/ 1 (+ (/ (- (* (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- (exp (/ (neg (PI)) s)) -1))) (* (/ u (- -1 (exp (/ (PI) s)))) (/ u (- -1 (exp (/ (PI) s)))))) (- (/ u (- (exp (/ (neg (PI)) s)) -1)) (/ u (- -1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (pow (cbrt (neg (PI))) 3) (cbrt (neg (PI))) 3 (* (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)) (* 4 (+ (* (* -1/2 (PI)) (/ u s)) (log (pow (exp (* 1/4 (PI))) (/ 1 s))))) 4 (+ (* (* -1/2 (PI)) (/ u s)) (log (pow (exp (* 1/4 (PI))) (/ 1 s)))) (* -1/2 (PI)) -1/2 (/ u s) (log (pow (exp (* 1/4 (PI))) (/ 1 s))) (pow (exp (* 1/4 (PI))) (/ 1 s)) (exp (* 1/4 (PI))) (* 1/4 (PI)) 1/4 (/ 1 s) 1 (* (neg s) (log (- (exp (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1)) 1))) (log (- (exp (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1)) 1)) (- (exp (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1)) 1) (exp (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1)) (* (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) -1) (log (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1))) (/ (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (exp (/ 1 (/ s (PI)))) -1)) (+ (* (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) u) 1) (- (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) 1) (/ (- (exp (/ 1 (/ s (PI)))) -1) (- (exp (/ (neg (PI)) s)) -1)) (- (exp (/ 1 (/ s (PI)))) -1) (exp (/ 1 (/ s (PI)))) (/ 1 (/ s (PI))) (/ s (PI)) (- (exp (/ (neg (PI)) s)) -1))
521.0ms
s
@0
((* (* (log (+ (* -4/3 u) 4/3)) s) -3) (* (log (+ (* -4/3 u) 4/3)) s) (log (+ (* -4/3 u) 4/3)) (+ (* -4/3 u) 4/3) -4/3 u 4/3 s -3 (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* 3 (* s (log 3/4))) 3 (* s (log 3/4)) (log 3/4) 3/4 (* (* 3 s) (log (/ 9/16 (+ (* -3/4 u) 3/4)))) (* 3 s) (log (/ 9/16 (+ (* -3/4 u) 3/4))) (/ 9/16 (+ (* -3/4 u) 3/4)) 9/16 (+ (* -3/4 u) 3/4) -3/4 (* (* 3 s) (log (* (/ 3/4 (+ (* -4/3 u) 4/3)) 4/3))) (log (* (/ 3/4 (+ (* -4/3 u) 4/3)) 4/3)) (* (/ 3/4 (+ (* -4/3 u) 4/3)) 4/3) (/ 3/4 (+ (* -4/3 u) 4/3)) (* (* 3 s) (- (log 2) (log (* (+ (* -4/3 u) 4/3) 2)))) (- (log 2) (log (* (+ (* -4/3 u) 4/3) 2))) (log 2) 2 (log (* (+ (* -4/3 u) 4/3) 2)) (* (+ (* -4/3 u) 4/3) 2))
440.0ms
dX.v
@-inf
((if (< (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))))))) 1) (fmax 1 (* (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)) (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)))))) (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)) (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))))))) (< (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))))))) 1) (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 w) dX.u) (floor w) w dX.u (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (floor h) dX.v) (floor h) h dX.v (+ (* (* (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))) (* -1 (* dX.v (* dY.u (* (floor h) (floor w))))) -1 (* dX.v (* dY.u (* (floor h) (floor w)))) (* dY.u (* (floor h) (floor w))) (* (floor h) (floor w)) (floor maxAniso) 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)) (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)))))) 1 (fmax 1 (* (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)) (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)))))) (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)) (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)))))) (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)) (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)))))) (if (< (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))) (floor maxAniso)) (/ (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))))) 1) (fmax 1 (* (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))))) (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))) (floor maxAniso)) (/ (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))))))) (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))))) (< (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))) (floor maxAniso)) (/ (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))))) 1) (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))) (floor maxAniso)) (/ (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))))) (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (* (* dX.v (floor h)) dX.v) (* dX.v (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w)) (* (* dX.u (floor w)) dX.u) (* dX.u (floor w)) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))) (* (* dY.u (floor w)) dY.u) (* dY.u (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)) (* (* dY.v (floor h)) dY.v) (* dY.v (floor h)) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))) (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))) (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))) (/ (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))) (floor maxAniso)) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))) (/ (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))))) (fmax 1 (* (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))))) (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))) (floor maxAniso)) (/ (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))))))) (* (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))))) (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h))))) (floor maxAniso)) (/ (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))) (sqrt (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))))))) (if (> (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w))))))) (floor maxAniso)) (floor maxAniso) (/ (fmax (+ (* (* (* dX.v (floor h)) dX.v) (floor h)) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (* dY.u (floor w)) dY.u) (floor w)) (* (* (* dY.v (floor h)) dY.v) (floor h)))) (fabs (* (floor h) (- (* (* dY.u (floor w)) dX.v) (* dY.v (* dX.u (floor w)))))))) (if (< (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))) (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))))))) 1) (fmax 1 (* (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (floor maxAniso)) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (floor maxAniso)) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))))) (< (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))) (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))))))) 1) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (fabs (* (floor w) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))) (* (floor w) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))) (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))) (/ (fabs (* (floor w) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))) (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 1 (* (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (floor maxAniso)) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (floor maxAniso)) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h))))))) (floor maxAniso)) (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) (- (* (* dY.v (floor h)) dX.u) (* dY.u (* dX.v (floor h)))))))) (if (< (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 1) (fmax 1 (* (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)))))) (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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))))))) (< (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 1) (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (* (* (floor h) (floor h)) dX.v) (* (floor h) (floor h)) (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 h) dX.v) (* (floor w) dY.u)) (/ (sqrt (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (fmax 1 (* (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)))))) (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)))))) (if (> (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (* (floor h) (floor h)) dX.v) dX.v) (* (* (* dX.u (floor w)) dX.u) (floor w))) (+ (* (* (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)))))) (if (< (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 1) (fmax 1 (* (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)))))) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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))))))) (< (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 1) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (exp (* (log (* dX.v (floor h))) 2)) (* (log (* dX.v (floor h))) 2) (log (* dX.v (floor h))) 2 (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (fmax 1 (* (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)))))) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)))))) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)) (floor maxAniso) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (* (* (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)))))))

regimes40.3s (8.2%)

Memory
1 021.9MiB live, 61 489.5MiB allocated; 17.9s collecting garbage
Counts
15 324 → 468
Calls

167 calls:

1.5s
dX.u
1.3s
cosTheta_i
1.3s
(cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))
1.2s
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))
1.1s
u1
Compiler

Compiled 19 411 to 19 026 computations (2% saved)

analyze31.3s (6.4%)

Memory
921.8MiB live, 46 347.3MiB allocated; 17.0s collecting garbage
Algorithm
37×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
Compiler

Compiled 20 293 to 1 873 computations (90.8% saved)

derivations17.7s (3.6%)

Memory
170.6MiB live, 13 571.9MiB allocated; 3.6s collecting garbage
Stop Event
35×fuel
1×done
Compiler

Compiled 8 887 to 3 844 computations (56.7% saved)

prune17.3s (3.5%)

Memory
-61.1MiB live, 28 246.6MiB allocated; 11.1s collecting garbage
Counts
300 048 → 4 867
Compiler

Compiled 339 468 to 219 305 computations (35.4% saved)

preprocess6.9s (1.4%)

Memory
19.9MiB live, 11 232.6MiB allocated; 1.9s collecting garbage
Stop Event
36×node-limit
Compiler

Compiled 54 260 to 37 092 computations (31.6% saved)

bsearch932.0ms (0.2%)

Memory
5.3MiB live, 1 674.9MiB allocated; 204ms collecting garbage
Algorithm
63×binary-search
41×left-value
Stop Event
62×narrow-enough
1×predicate-same
Samples
366.0ms1 947×0valid
125.0ms694×1valid
117.0ms447×2valid
19.0ms32×1invalid
7.0ms136×0invalid
Compiler

Compiled 19 815 to 18 081 computations (8.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 528.0ms
ival-pow2: 87.0ms (16.5% of total)
ival-mult!: 81.0ms (15.3% of total)
ival-sin: 76.0ms (14.4% of total)
ival-cos: 67.0ms (12.7% of total)
adjust: 44.0ms (8.3% of total)
ival-sqrt: 37.0ms (7% of total)
ival-exp: 29.0ms (5.5% of total)
ival-fabs: 29.0ms (5.5% of total)
ival-sub!: 26.0ms (4.9% of total)
ival-log1p: 25.0ms (4.7% of total)
ival-add!: 23.0ms (4.4% of total)
ival-fmax: 6.0ms (1.1% of total)

start27.0ms (0%)

Memory
28.3MiB live, 72.6MiB allocated; 7ms collecting garbage

end0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...