Herbie run

Date:Thursday, February 13th, 2025
Commit:0e88e39c on custom-lifting-lowering
Seed:2025044
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:408 124.9 MB

Time bar (total: 6.6min)

prune2.3min (34.9%)

Memory
152.5MiB live, 56 441.3MiB allocated; 7.0s collecting garbage
Counts
124 116 → 4 074
Compiler

Compiled 529 499 to 217 995 computations (58.8% saved)

sample1.5min (23.5%)

Memory
801.7MiB live, 115 800.6MiB allocated; 43.5s collecting garbage
Samples
48.9s262 218×0valid
19.8s1 583×5exit
4.0s7 917×1valid
1.3s11 024×0invalid
750.0ms2 313×2valid
431.0ms703×1invalid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-pow: 17.6s (28.5% of total)
ival-mult: 11.7s (18.9% of total)
ival-div: 4.0s (6.4% of total)
ival-e: 2.9s (4.7% of total)
ival-sub: 2.3s (3.7% of total)
const: 2.3s (3.7% of total)
ival-log: 2.2s (3.6% of total)
ival-sqrt: 2.1s (3.4% of total)
ival-add: 2.0s (3.2% of total)
ival-fabs: 1.3s (2.1% of total)
ival-neg: 1.2s (2% of total)
ival-cosu: 1.2s (1.9% of total)
ival-<=: 1.1s (1.8% of total)
adjust: 1.0s (1.7% of total)
ival-log1p: 995.0ms (1.6% of total)
ival-if: 938.0ms (1.5% of total)
ival-sin: 932.0ms (1.5% of total)
ival-floor: 869.0ms (1.4% of total)
ival-exp: 819.0ms (1.3% of total)
ival-pi: 693.0ms (1.1% of total)
ival-sinu: 611.0ms (1% of total)
ival-pow2: 477.0ms (0.8% of total)
ival-and: 427.0ms (0.7% of total)
ival-tan: 358.0ms (0.6% of total)
ival-cos: 351.0ms (0.6% of total)
exact: 302.0ms (0.5% of total)
ival-fmax: 283.0ms (0.5% of total)
ival-log2: 219.0ms (0.4% of total)
ival-asin: 119.0ms (0.2% of total)
ival-sinh: 104.0ms (0.2% of total)
ival-atan: 99.0ms (0.2% of total)
ival-assert: 84.0ms (0.1% of total)
ival->: 52.0ms (0.1% of total)
ival->=: 48.0ms (0.1% of total)
ival-<: 27.0ms (0% of total)
ival-==: 4.0ms (0% of total)
Bogosity

eval35.0s (8.9%)

Memory
590.3MiB live, 55 932.9MiB allocated; 10.9s collecting garbage
Compiler

Compiled 34 463 275 to 510 233 computations (98.5% saved)

rewrite31.7s (8.1%)

Memory
260.1MiB live, 39 409.3MiB allocated; 8.7s collecting garbage
Stop Event
164×iter limit
129×node limit
Counts
32 981 → 60 376

regimes26.4s (6.7%)

Memory
119.4MiB live, 42 946.8MiB allocated; 7.8s collecting garbage
Counts
11 026 → 479
Calls

159 calls:

1.0s
u2
833.0ms
s
709.0ms
u1
670.0ms
(/.f32 u1 (-.f32 #s(literal 1 binary32) u1))
527.0ms
ux
Compiler

Compiled 22 612 to 18 979 computations (16.1% saved)

series22.6s (5.7%)

Memory
355.7MiB live, 34 804.4MiB allocated; 6.8s collecting garbage
Counts
5 629 → 27 352
Calls

1413 calls:

TimeVariablePointExpression
350.0ms
u0
@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 (+ (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) 2) (* alphax alphax)))) (- 1 u0)) 1))) (/ 1 (+ (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) 2) (* alphax alphax)))) (- 1 u0)) 1)) 1 (+ (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) 2) (* alphax alphax)))) (- 1 u0)) 1) (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) 2) (* alphax alphax)))) (- 1 u0)) (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) 2) (* alphax alphax)))) u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) 2) (* alphax alphax))) (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) 1/2 (PI) (* u1 (* (PI) 2)) u1 (* (PI) 2) 2 (/ alphay alphax) alphay alphax (* alphay alphay) (/ (pow (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) 2) (* alphax alphax)) (pow (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) 2) (/ 1 (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)))) (sqrt (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2))) (+ 1 (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2)) (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) (* alphax alphax) (- 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 (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1))) (* -1 (* (/ (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) alphay) (sqrt (/ (- 1 u0) u0)))) -1 (* (/ (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) alphay) (sqrt (/ (- 1 u0) u0))) (/ (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) alphay) (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)))) (* 2 (* u1 (PI))) (* u1 (PI)) (sqrt (/ (- 1 u0) u0)) (/ (- 1 u0) 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))) (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1) (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (* 1/2 (PI)) (/ 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 (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1))) (/ 1 (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1)) (+ 1 (* -1 (/ (* (* alphay alphay) u0) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2)))) (* -1 (/ (* (* alphay alphay) u0) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2))) (/ (* (* alphay alphay) u0) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2)) (* (* alphay alphay) u0) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (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 (+ (/ (* (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))) (+ (* (/ (* alphax alphax) (pow (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1) (/ (* alphax alphax) (pow (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (pow (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (/ u0 (- 1 u0)))
193.0ms
dX.w
@inf
((log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (* (floor w) 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 d) dX.w) (* (floor d) dX.w)) (* (floor d) dX.w) (floor d) d dX.w (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (+ (pow (* dY.w (exp (* (log (floor d)) 1))) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (exp (* (log (floor d)) 1))) 2) (* dY.w (exp (* (log (floor d)) 1))) dY.w (exp (* (log (floor d)) 1)) (* (log (floor d)) 1) (log (floor d)) 1 2 (pow (* dY.u (floor w)) 2) (* dY.u (floor w)) dY.u (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (pow (* dX.u (floor w)) 2) (* dX.u (floor w)) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (pow (* dY.w (floor d)) 2) (* dY.w (floor d)) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2)))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2)))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (pow (* dX.w (floor d)) 2) (* dX.w (floor d)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2))) (pow (floor w) 2) (* dY.u dY.u) (+ (pow (* dY.w (floor d)) 2) (pow (* dY.v (floor h)) 2)) (log2 (sqrt (fmax (+ (* (pow (floor h) 2) (* dX.v dX.v)) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.u (floor w)) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (sqrt (fmax (+ (* (pow (floor h) 2) (* dX.v dX.v)) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.u (floor w)) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (fmax (+ (* (pow (floor h) 2) (* dX.v dX.v)) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.u (floor w)) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))) (+ (* (pow (floor h) 2) (* dX.v dX.v)) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.u (floor w)) 2))) (pow (floor h) 2) (* dX.v dX.v) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.u (floor w)) 2)) (log2 (exp (* (log (fmax (+ (pow (* (floor d) dX.w) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) 1/2))) (exp (* (log (fmax (+ (pow (* (floor d) dX.w) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) 1/2)) (* (log (fmax (+ (pow (* (floor d) dX.w) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) 1/2) (log (fmax (+ (pow (* (floor d) dX.w) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (fmax (+ (pow (* (floor d) dX.w) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))) (+ (pow (* (floor d) dX.w) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2))) (pow (* (floor d) dX.w) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2)) (pow (* dX.v (floor h)) 2) (* dX.v (floor h)) (pow (* (floor w) dX.u) 2) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (pow (* dY.v (floor h)) 2) (* dY.v (floor h)) dY.v 1/2)
185.0ms
u1
@0
((/ 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 (+ (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (- 1 u0)) 1))) (/ 1 (+ (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (- 1 u0)) 1)) 1 (+ (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (- 1 u0)) 1) (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (- 1 u0)) (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) 2) (* alphax alphax)))) u0 (+ (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) 2) (* alphax alphax))) (/ (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (* alphay alphay)) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) 1/2 (PI) (* u1 (* (PI) 2)) u1 (* (PI) 2) 2 (/ alphay alphax) alphay alphax (* alphay alphay) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) 2) (* alphax alphax)) (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) 2) (/ 1 (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))) (sqrt (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))))) (+ 1 (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (* (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) (* alphax alphax) (- 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)) (pow (cos (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (cos (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)))) (* 2 (* u1 (PI))) (* u1 (PI)) (/ 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))) (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1) (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 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 (+ (/ (* (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)))) (+ (* (/ (* (* alphay alphay) u0) (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (- 1 u0))) 1/2) 1) (/ (* (* alphay alphay) u0) (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) (- 1 u0))) (* (* alphay alphay) u0) (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 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 (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1))) (/ 1 (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1)) (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1) (/ u0 (- 1 u0)))
184.0ms
dX.v
@0
((if (>= (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (/ (* dX.v (floor h)) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (/ (* dY.v (floor h)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))))) (>= (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (pow (* dX.v (floor h)) 2) (* dX.v (floor h)) dX.v (floor h) h 2 (pow (* dX.u (floor w)) 2) (* dX.u (floor w)) dX.u (floor w) w (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2) (* dY.v (floor h)) dY.v (pow (* dY.u (floor w)) 2) (* dY.u (floor w)) dY.u (/ (* dX.v (floor h)) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (pow (floor w) 2) (* dX.u dX.u) (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (/ (* dY.v (floor h)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (if (>= (+ (* (* (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 h) dX.v) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (/ (* dY.v (floor h)) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))))) (>= (+ (* (* (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))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (/ (* (floor h) dX.v) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor w) dX.u) 2) (* (floor w) dX.u) (/ (* dY.v (floor h)) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (if (>= (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (/ (* dX.v (floor h)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (/ 1 (pow (floor w) -1))) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (/ (* dY.v (floor h)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))))) (>= (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (/ (* dX.v (floor h)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (/ 1 (pow (floor w) -1))) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (/ 1 (pow (floor w) -1))) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (/ 1 (pow (floor w) -1))) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (/ 1 (pow (floor w) -1))) 2)) (pow (* dX.u (/ 1 (pow (floor w) -1))) 2) (* dX.u (/ 1 (pow (floor w) -1))) (/ 1 (pow (floor w) -1)) 1 (pow (floor w) -1) -1 (if (>= (+ (* (* (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 (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (* (floor h) dX.v)) (* (/ 1 (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 h) dY.v))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (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)) (+ (* (* (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) (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor h) dY.v) (* (/ 1 (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (* (floor h) dX.v)) (/ 1 (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (* (/ 1 (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 h) dY.v)) (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (sqrt (fmax (+ (* (* (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)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (if (>= (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (/ (* dX.v (pow (exp 1) (log (floor h)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (/ (* dY.v (floor h)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))))) (/ (* dX.v (pow (exp 1) (log (floor h)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (* dX.v (pow (exp 1) (log (floor h)))) (pow (exp 1) (log (floor h))) (exp 1) (log (floor h)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (exp (* (log (* dX.v (floor h))) 2))))
179.0ms
dY.u
@0
((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) (* (exp (* (log (floor h)) 1)) 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) (* (exp (* (log (floor h)) 1)) 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))) (* (- (/ (* (* (* dY.v (floor h)) dX.u) (floor w)) dY.u) (* (* dX.v (floor w)) (floor h))) dY.u) (- (/ (* (* (* dY.v (floor h)) dX.u) (floor w)) dY.u) (* (* dX.v (floor w)) (floor h))) (/ (* (* (* dY.v (floor h)) dX.u) (floor w)) dY.u) (* (* (* dY.v (floor h)) dX.u) (floor w)) (* (* dY.v (floor h)) dX.u) (* dY.v (floor h)) (* (* dX.v (floor w)) (floor h)) (* dX.v (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) (* (exp (* (log (floor h)) 1)) 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)))))) (fabs (- (* (* (floor w) dX.u) (* (exp (* (log (floor h)) 1)) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (- (* (* (floor w) dX.u) (* (exp (* (log (floor h)) 1)) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (* (* (floor w) dX.u) (* (exp (* (log (floor h)) 1)) dY.v)) (* (exp (* (log (floor h)) 1)) dY.v) (exp (* (log (floor h)) 1)) (* (log (floor h)) 1) (log (floor h)) 1 (* (* (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)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (pow (* dY.u (floor w)) 2) (* dY.u (floor w)) 2 (log2 (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))))) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))))) (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* (floor w) dX.u) 2) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2) (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))) (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)) (* dY.u dX.v) (/ (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (floor maxAniso)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (pow (* dX.v (floor h)) 2) (* dX.v (floor h)) (pow (* dX.u (floor w)) 2) (* dX.u (floor w)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (fabs (* (* (floor h) (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.v dX.u) (log2 (if (> (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))))) (if (> (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (/ (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))))) (> (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u))))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2) (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)))) (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u))) (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)) (neg dY.u) (/ (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (floor maxAniso)) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (* (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 h) dY.v) (* (floor h) dY.v))) (/ (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)))) (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u))) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (log2 (if (> (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (exp (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/2)) (floor maxAniso)) (/ (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))))) (if (> (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (exp (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/2)) (floor maxAniso)) (/ (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))))) (/ (exp (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/2)) (floor maxAniso)) (exp (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/2)) (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/2) (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) 1/2 (/ (fabs (* (* (floor w) (floor h)) (+ (* (neg dY.u) dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (log2 (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (exp (* (log (* dY.u (floor w))) 2)) (* (* (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))) (+ (exp (* (log (* dY.u (floor w))) 2)) (* (* (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))) (+ (exp (* (log (* dY.u (floor w))) 2)) (* (* (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))) (+ (exp (* (log (* dY.u (floor w))) 2)) (* (* (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))) (+ (exp (* (log (* dY.u (floor w))) 2)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (exp (* (log (* dY.u (floor w))) 2)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (exp (* (log (* dY.u (floor w))) 2)) (* (log (* dY.u (floor w))) 2) (log (* dY.u (floor w))) (/ (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)))))) (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)))

analyze15.8s (4%)

Memory
193.4MiB live, 22 483.4MiB allocated; 6.6s collecting garbage
Algorithm
33×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%11.5%88.5%0%0%0%0
52.8%6.1%5.4%88.5%0%0%0%1
54.4%6.2%5.2%88.5%0%0%0%2
54.5%6.3%5.2%88.5%0%0%0%3
55.4%6.4%5.1%88.5%0%0%0%4
62.6%7.2%4.3%88.5%0%0%0%5
66.9%7.6%3.8%88.5%0%0.1%0%6
76.4%8.4%2.6%88.5%0%0.4%0%7
76.8%8.5%2.6%88.5%0%0.4%0%8
81.4%9%2%88.5%0%0.4%0%9
85.1%9.3%1.6%88.5%0%0.5%0%10
86.3%9.4%1.5%88.5%0%0.5%0%11
87.3%9.5%1.4%88.5%0%0.6%0%12
Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

derivations11.6s (2.9%)

Memory
-248.7MiB live, 11 343.0MiB allocated; 3.1s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 23 292 to 3 815 computations (83.6% saved)

explain9.2s (2.3%)

Memory
-3.4MiB live, 14 773.1MiB allocated; 2.7s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity99970
-.f32#fcancellation39139
sqrt.f32#foflow-rescue3560
sqrt.f64#foflow-rescue3140
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2000
cos.f32#fsensitivity19417
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18913
-.f64#fcancellation1460
/.f32#fo/n1360
exp.f32#fsensitivity3419
/.f32#fu/n210
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue180
↳(*.f32 sinTheta_O sinTheta_O)underflow286
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow18
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow143
↳(*.f32 eta eta)underflow18
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u180
sqrt.f64#fuflow-rescue100
/.f32#fo/o100
/.f32#fn/o80
*.f32#fn*o30
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))u*o10
↳(*.f32 u normAngle)underflow3
↳(sin.f32 (*.f32 u normAngle))underflow3
↳(/.f32 #s(literal 1 binary32) (sin.f32 normAngle))overflow2
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))oflow-rescue10
↳(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)overflow1
↳(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))overflow1
↳(pow.f64 (E.f64) x)overflow1
↳(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))overflow1
+.f32(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))cancellation10
Confusion
Predicted +Predicted -
+219566
-4355752
Precision
0.8346007604562737
Recall
0.9708093763821318
Confusion?
Predicted +Predicted MaybePredicted -
+21952937
-4351005652
Precision?
0.8060891627401232
Recall?
0.9836355594869527
Freqs
test
numberfreq
05818
12218
2402
310
Total Confusion?
Predicted +Predicted MaybePredicted -
+2411
-304
Precision?
0.8928571428571429
Recall?
0.9615384615384616
Samples
2.4s16 166×0valid
267.0ms566×1valid
62.0ms164×2valid
Compiler

Compiled 16 934 to 1 875 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 624.0ms (30.6% of total)
ival-div: 203.0ms (9.9% of total)
ival-add: 127.0ms (6.2% of total)
ival-sub: 121.0ms (5.9% of total)
ival-pow: 114.0ms (5.6% of total)
ival-neg: 93.0ms (4.6% of total)
ival-floor: 91.0ms (4.5% of total)
ival-sqrt: 84.0ms (4.1% of total)
ival-log: 75.0ms (3.7% of total)
ival-sin: 49.0ms (2.4% of total)
ival-fabs: 46.0ms (2.3% of total)
adjust: 45.0ms (2.2% of total)
ival-exp: 39.0ms (1.9% of total)
ival-pow2: 37.0ms (1.8% of total)
ival-sinu: 35.0ms (1.7% of total)
ival-cosu: 28.0ms (1.4% of total)
const: 22.0ms (1.1% of total)
ival-e: 21.0ms (1% of total)
ival-pi: 21.0ms (1% of total)
ival-if: 21.0ms (1% of total)
ival-cos: 20.0ms (1% of total)
ival-tan: 19.0ms (0.9% of total)
ival-fmax: 17.0ms (0.8% of total)
ival-true: 16.0ms (0.8% of total)
exact: 16.0ms (0.8% of total)
ival-log2: 15.0ms (0.7% of total)
ival-assert: 8.0ms (0.4% of total)
ival-log1p: 8.0ms (0.4% of total)
ival-sinh: 7.0ms (0.3% of total)
ival-atan: 6.0ms (0.3% of total)
ival-asin: 5.0ms (0.2% of total)
ival->: 3.0ms (0.1% of total)
ival->=: 3.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)

preprocess9.1s (2.3%)

Memory
442.4MiB live, 11 049.8MiB allocated; 1.8s collecting garbage
Stop Event
66×iter limit
65×node limit
1×saturated
Compiler

Compiled 63 510 to 15 597 computations (75.4% saved)

simplify1.9s (0.5%)

Memory
15.2MiB live, 2 150.4MiB allocated; 371ms collecting garbage
Stop Event
32×node limit

bsearch601.0ms (0.2%)

Memory
69.7MiB live, 978.9MiB allocated; 67ms collecting garbage
Algorithm
80×binary-search
35×left-value
Stop Event
78×narrow-enough
2×predicate-same
Samples
238.0ms559×1valid
92.0ms197×2valid
55.0ms540×0valid
11.0ms8×1invalid
6.0ms63×0invalid
Compiler

Compiled 12 241 to 9 204 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 348.0ms
ival-pow: 138.0ms (39.7% of total)
ival-mult: 55.0ms (15.8% of total)
adjust: 37.0ms (10.6% of total)
ival-pow2: 23.0ms (6.6% of total)
ival-e: 21.0ms (6% of total)
ival-sub: 19.0ms (5.5% of total)
ival-add: 14.0ms (4% of total)
ival-fabs: 14.0ms (4% of total)
ival-sqrt: 10.0ms (2.9% of total)
ival-div: 8.0ms (2.3% of total)
ival-log1p: 7.0ms (2% of total)
exact: 2.0ms (0.6% of total)
ival-assert: 1.0ms (0.3% of total)
ival-true: 1.0ms (0.3% of total)

start4.0ms (0%)

Memory
10.3MiB live, 10.2MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...