Herbie run

Date:Thursday, February 6th, 2025
Commit:f63971dc on main
Seed:2025037
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:415 211.1 MB

Time bar (total: 6.7min)

prune2.3min (35.1%)

Memory
-56.2MiB live, 57 636.2MiB allocated; 7.2s collecting garbage
Counts
133 939 → 4 126
Compiler

Compiled 558 090 to 222 296 computations (60.2% saved)

sample1.5min (22.4%)

Memory
917.5MiB live, 114 373.9MiB allocated; 38.2s collecting garbage
Samples
45.6s262 094×0valid
19.5s1 574×5exit
4.4s8 090×1valid
2.0s11 210×0invalid
826.0ms2 262×2valid
360.0ms718×1invalid
1.0ms2×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-pow: 18.1s (30.1% of total)
ival-mult: 9.5s (15.8% of total)
ival-div: 4.9s (8.2% of total)
ival-e: 3.3s (5.4% of total)
ival-add: 3.3s (5.4% of total)
const: 2.1s (3.6% of total)
ival-sub: 2.1s (3.5% of total)
ival-fabs: 2.0s (3.4% of total)
ival-log: 1.9s (3.2% of total)
ival-sqrt: 1.7s (2.9% of total)
ival-floor: 1.5s (2.4% of total)
ival-neg: 1.3s (2.2% of total)
adjust: 1.1s (1.8% of total)
ival-sin: 1.0s (1.7% of total)
ival-exp: 807.0ms (1.3% of total)
ival-sinu: 594.0ms (1% of total)
ival-<=: 529.0ms (0.9% of total)
ival-log1p: 526.0ms (0.9% of total)
ival-pow2: 492.0ms (0.8% of total)
ival-and: 431.0ms (0.7% of total)
ival-cosu: 402.0ms (0.7% of total)
ival-cos: 353.0ms (0.6% of total)
ival-tan: 319.0ms (0.5% of total)
exact: 311.0ms (0.5% of total)
ival-fmax: 292.0ms (0.5% of total)
ival-if: 230.0ms (0.4% of total)
ival-log2: 227.0ms (0.4% of total)
ival-pi: 198.0ms (0.3% of total)
ival-asin: 132.0ms (0.2% of total)
ival-sinh: 115.0ms (0.2% of total)
ival-assert: 86.0ms (0.1% of total)
ival-atan: 79.0ms (0.1% of total)
ival->=: 50.0ms (0.1% of total)
ival->: 49.0ms (0.1% of total)
ival-<: 29.0ms (0% of total)
ival-==: 13.0ms (0% of total)
Bogosity

eval34.8s (8.7%)

Memory
816.0MiB live, 56 850.6MiB allocated; 11.9s collecting garbage
Compiler

Compiled 33 180 473 to 513 948 computations (98.5% saved)

rewrite34.1s (8.5%)

Memory
-53.4MiB live, 40 469.8MiB allocated; 11.0s collecting garbage
Stop Event
297×iter limit
130×node limit
1×unsound
Counts
32 734 → 59 726

regimes30.2s (7.5%)

Memory
267.7MiB live, 48 145.1MiB allocated; 9.9s collecting garbage
Counts
11 495 → 513
Calls

159 calls:

1.2s
s
961.0ms
ux
933.0ms
(*.f32 alphay alphay)
802.0ms
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
681.0ms
(*.f32 uy #s(literal 2 binary32))
Compiler

Compiled 24 903 to 20 187 computations (18.9% saved)

series23.1s (5.8%)

Memory
366.6MiB live, 33 160.3MiB allocated; 5.9s collecting garbage
Counts
5 731 → 27 003
Calls

1443 calls:

TimeVariablePointExpression
440.0ms
x
@-inf
((/ (exp (- (/ (fabs x) (neg s)) (* (log (+ 1 (exp (/ (fabs x) (neg s))))) 2))) s) (exp (- (/ (fabs x) (neg s)) (* (log (+ 1 (exp (/ (fabs x) (neg s))))) 2))) (- (/ (fabs x) (neg s)) (* (log (+ 1 (exp (/ (fabs x) (neg s))))) 2)) (/ (fabs x) (neg s)) (fabs x) x (neg s) s (* (log (+ 1 (exp (/ (fabs x) (neg s))))) 2) (log (+ 1 (exp (/ (fabs x) (neg s))))) (exp (/ (fabs x) (neg s))) 2 (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (/ (+ 1/4 (/ (+ (* (* x x) 1/8) (* -1/16 (* 3 (* x x)))) (* s s))) s) (+ 1/4 (/ (+ (* (* x x) 1/8) (* -1/16 (* 3 (* x x)))) (* s s))) 1/4 (/ (+ (* (* x x) 1/8) (* -1/16 (* 3 (* x x)))) (* s s)) (+ (* (* x x) 1/8) (* -1/16 (* 3 (* x x)))) (* x x) 1/8 (* -1/16 (* 3 (* x x))) -1/16 (* 3 (* x x)) 3 (* s s) (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (exp (/ (neg (fabs x)) s)) 1 (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (* (+ (+ (* -4 (/ (fabs x) s)) (* 3 (pow (/ (fabs x) s) 2))) 4) s) (+ (+ (* -4 (/ (fabs x) s)) (* 3 (pow (/ (fabs x) s) 2))) 4) (+ (* -4 (/ (fabs x) s)) (* 3 (pow (/ (fabs x) s) 2))) -4 (/ (fabs x) s) (* 3 (pow (/ (fabs x) s) 2)) (pow (/ (fabs x) s) 2) 4 (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (exp (/ (neg (fabs x)) s)) (/ (neg (fabs x)) s) (neg (fabs x)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (* (+ (+ (* -4 (/ (fabs x) s)) (* 3 (* (/ (fabs x) s) (/ (fabs x) s)))) 4) s) (+ (+ (* -4 (/ (fabs x) s)) (* 3 (* (/ (fabs x) s) (/ (fabs x) s)))) 4) (+ (* -4 (/ (fabs x) s)) (* 3 (* (/ (fabs x) s) (/ (fabs x) s)))) (* 3 (* (/ (fabs x) s) (/ (fabs x) s))) (* (/ (fabs x) s) (/ (fabs x) s)) (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))) (+ 1 (exp (/ (neg (fabs x)) s))))
237.0ms
s
@0
((* (neg s) (log (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1))) (neg s) s (log (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1)) (- (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1) (/ 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))))) 1 (/ (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))))) (+ (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3)) (pow (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) 3) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (+ (exp (/ (neg (PI)) s)) 1) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (/ (PI) s) u 3 (pow (/ 1 (+ (exp (/ (PI) s)) 1)) 3) (+ (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) (- (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 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))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 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))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (+ (* (/ (+ (* (* (PI) 1/2) u) (* -1/4 (PI))) s) -4) 1) (/ (+ s (* -4 (+ (* -1/4 (PI)) (* 1/2 (* u (PI)))))) s) (+ s (* -4 (+ (* -1/4 (PI)) (* 1/2 (* u (PI)))))) (* -4 (+ (* -1/4 (PI)) (* 1/2 (* u (PI))))) -4 (+ (* -1/4 (PI)) (* 1/2 (* u (PI)))) -1/4 (* 1/2 (* u (PI))) 1/2 (* u (PI)) (* (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)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (+ (* 1/4 (/ (PI) s)) 1/2) 1/4 (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (+ 2 (/ (PI) s)) 2 (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (* (neg s) (log (- (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1))) (log (- (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1)) (- (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (+ 2 (+ (* 1/6 (pow (/ (PI) s) 3)) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s)))) (+ (* 1/6 (pow (/ (PI) s) 3)) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s))) 1/6 (pow (/ (PI) s) 3) (+ (* 1/2 (/ (* (PI) (PI)) (* s s))) (/ (PI) s)) (/ (* (PI) (PI)) (* s s)) (* (PI) (PI)) (* s s))
178.0ms
h
@-inf
((if (>= (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (/ (* (floor w) dX.u) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (/ (* (floor w) dY.u) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (pow (floor h) 2) (* dY.v dY.v)) (pow (* (floor w) dY.u) 2)))))) (>= (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (floor h) h dX.v 2 (pow (* (floor w) dX.u) 2) (* (floor w) dX.u) (floor w) w dX.u (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor h) dY.v) 2) (* (floor h) dY.v) dY.v (pow (* (floor w) dY.u) 2) (* (floor w) dY.u) dY.u (/ (* (floor w) dX.u) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (/ (* (floor w) dY.u) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (pow (floor h) 2) (* dY.v dY.v)) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (pow (floor h) 2) (* dY.v dY.v)) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (pow (floor h) 2) (* dY.v dY.v)) (pow (* (floor w) dY.u) 2))) (+ (* (pow (floor h) 2) (* dY.v dY.v)) (pow (* (floor w) dY.u) 2)) (pow (floor h) 2) (* dY.v dY.v) (if (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (/ (* (floor w) dX.u) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (* (/ dY.u (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (floor w))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (* (floor w) dX.u) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (* (/ dY.u (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (floor w)) (/ dY.u (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (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)))) (* (exp (* (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) -1/2)) (* (floor w) dX.u)) (* (/ 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 w) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.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)) (* (exp (* (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) -1/2)) (* (floor w) dX.u)) (exp (* (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) -1/2)) (* (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) -1/2) (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) -1/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 w) dY.u)) (/ 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)))))) 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))))) (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (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 (+ (* (* (floor w) dX.u) (exp (* (log (* (floor w) dX.u)) 1))) (* (* (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)) (* (/ 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 w) dY.u))) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (exp (* (log (* (floor w) dX.u)) 1))) (* (* (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)) (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (exp (* (log (* (floor w) dX.u)) 1))) (* (* (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) (exp (* (log (* (floor w) dX.u)) 1))) (* (* (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) (exp (* (log (* (floor w) dX.u)) 1))) (* (* (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) (exp (* (log (* (floor w) dX.u)) 1))) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (exp (* (log (* (floor w) dX.u)) 1))) (exp (* (log (* (floor w) dX.u)) 1)) (* (log (* (floor w) dX.u)) 1) (log (* (floor w) dX.u)) (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 (+ (* (* (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)))))) (exp (* (log (* (floor w) dX.u)) 1))) (* (/ 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 w) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (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)))))) (exp (* (log (* (floor w) dX.u)) 1))) (/ 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) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))
174.0ms
h
@-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))) (+ (pow (* (floor d) dX.w) 2) (exp (/ (- (* (* (log (floor h)) 2) (* (log (floor h)) 2)) (* (* (log dX.v) 2) (* (log dX.v) 2))) (- (* (log (floor h)) 2) (* (log dX.v) 2))))) (pow (* (floor d) dX.w) 2) (* (floor d) dX.w) (floor d) d dX.w 2 (exp (/ (- (* (* (log (floor h)) 2) (* (log (floor h)) 2)) (* (* (log dX.v) 2) (* (log dX.v) 2))) (- (* (log (floor h)) 2) (* (log dX.v) 2)))) (/ (- (* (* (log (floor h)) 2) (* (log (floor h)) 2)) (* (* (log dX.v) 2) (* (log dX.v) 2))) (- (* (log (floor h)) 2) (* (log dX.v) 2))) (- (* (* (log (floor h)) 2) (* (log (floor h)) 2)) (* (* (log dX.v) 2) (* (log dX.v) 2))) (* (* (log (floor h)) 2) (* (log (floor h)) 2)) (* (log (floor h)) 2) (log (floor h)) (floor h) h (* (* (log dX.v) 2) (* (log dX.v) 2)) (* (log dX.v) 2) (log dX.v) dX.v (- (* (log (floor h)) 2) (* (log dX.v) 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))) (+ (* (* (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 w) w dY.u (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (floor h) dY.v) dY.v (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (floor d) dY.w) dY.w (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) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (pow (* (floor w) dY.u) 2) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (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) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (pow (* (exp (* (log (floor d)) 1)) dY.w) 2) (* (exp (* (log (floor d)) 1)) dY.w) (exp (* (log (floor d)) 1)) (* (log (floor d)) 1) (log (floor d)) 1 (log2 (exp (* (log (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) dY.u) 2) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2))) (exp (* (log (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) dY.u) 2) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2)) (* (log (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) dY.u) 2) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2) (log (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) dY.u) 2) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 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) dY.u) 2) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 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.v (floor h)) 2) (pow (* dX.w (floor d)) 2)) (pow (* dX.v (floor h)) 2) (* dX.v (floor h)) (pow (* dX.w (floor d)) 2) (* dX.w (floor d)) (+ (pow (* (floor w) dY.u) 2) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))) (pow (* dY.u (floor w)) 2) (* dY.u (floor w)) 1/2 (log2 (exp (* (log (fmax (+ (+ (pow (* (floor w) dX.u) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor h) dX.v) 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 w) dX.u) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor h) dX.v) 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 w) dX.u) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor h) dX.v) 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 w) dX.u) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor h) dX.v) 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 w) dX.u) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor h) dX.v) 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 w) dX.u) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dX.u) 2) (pow (* (floor d) dX.w) 2)) (pow (* (floor w) dX.u) 2) (* (floor w) dX.u) dX.u (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (+ (+ (* (* (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) dY.v) 2))
166.0ms
dX.u
@0
((if (>= (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (/ (* (floor h) dX.v) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (/ (* (floor h) dY.v) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))))) (>= (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (floor h) h dX.v 2 (pow (* (floor w) dX.u) 2) (* (floor w) dX.u) (floor w) w dX.u (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor h) dY.v) 2) (* (floor h) dY.v) dY.v (pow (* (floor w) dY.u) 2) (* (floor w) dY.u) dY.u (/ (* (floor h) dX.v) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* (floor h) dX.v) 2)) (pow (floor w) 2) (* dX.u dX.u) (/ (* (floor h) dY.v) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (if (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (/ (* (floor h) dX.v) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (/ (* (floor h) dY.v) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (* (floor h) dX.v) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (/ (* (floor h) dY.v) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (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 (+ (* (* (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) dX.v)) (* (pow (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) -1/4) 2) (* (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) 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)) (* (/ 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) 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)))))) 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))))) (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (pow (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) -1/4) 2) (* (floor h) dY.v)) (pow (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) -1/4) 2) (pow (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) -1/4) -1/4 (if (>= (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (/ (* (floor h) dX.v) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (/ (* (floor h) dY.v) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))))) (/ (* (floor h) dX.v) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (+ (* (floor w) (floor w)) (/ (pow (* (floor h) dX.v) 2) (* dX.u dX.u))) (* dX.u dX.u)) (+ (* (floor w) (floor w)) (/ (pow (* (floor h) dX.v) 2) (* dX.u dX.u))) (/ (pow (* (floor h) dX.v) 2) (* dX.u dX.u)) (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 (+ (* (* (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)))))) (exp (* (log (* (floor h) dX.v)) 1))) (* (/ 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)))) (* (/ 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)))))) (exp (* (log (* (floor h) dX.v)) 1))) (/ 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) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (exp (* (log (* (floor h) dX.v)) 1)) (* (log (* (floor h) dX.v)) 1) (log (* (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)))

analyze16.1s (4%)

Memory
309.7MiB live, 24 429.2MiB allocated; 6.8s 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.0s (2.8%)

Memory
-69.4MiB live, 11 169.6MiB allocated; 2.4s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 29 166 to 3 948 computations (86.5% saved)

explain9.9s (2.5%)

Memory
-210.7MiB live, 14 503.7MiB allocated; 3.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity105165
-.f32#fcancellation37931
sqrt.f32#foflow-rescue3400
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)))sensitivity2101
cos.f32#fsensitivity19314
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18514
-.f64#fcancellation1550
/.f32#fo/n1180
exp.f32#fsensitivity4621
/.f32#fu/n230
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u190
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-rescue160
↳(*.f32 sinTheta_O sinTheta_O)underflow288
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow16
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow144
↳(*.f32 eta eta)underflow16
/.f32#fo/o120
sqrt.f64#fuflow-rescue80
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o70
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow12
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow12
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u30
*.f32#fn*o20
log.f32(log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))oflow-rescue10
↳(/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))overflow1
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
Confusion
Predicted +Predicted -
+220764
-4555722
Precision
0.8290758827948911
Recall
0.971818582122413
Confusion?
Predicted +Predicted MaybePredicted -
+22072935
-455995623
Precision?
0.8014336917562724
Recall?
0.9845882870981947
Freqs
test
numberfreq
05786
12253
2397
312
Total Confusion?
Predicted +Predicted MaybePredicted -
+2220
-513
Precision?
0.8
Recall?
1.0
Samples
2.6s16 144×0valid
289.0ms620×1valid
46.0ms132×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: 609.0ms (30.4% of total)
ival-div: 215.0ms (10.7% of total)
ival-add: 128.0ms (6.4% of total)
ival-log: 126.0ms (6.3% of total)
ival-sub: 105.0ms (5.2% of total)
ival-pow: 98.0ms (4.9% of total)
ival-sqrt: 74.0ms (3.7% of total)
ival-sin: 69.0ms (3.4% of total)
ival-exp: 58.0ms (2.9% of total)
ival-e: 57.0ms (2.8% of total)
ival-neg: 51.0ms (2.5% of total)
adjust: 42.0ms (2.1% of total)
ival-floor: 42.0ms (2.1% of total)
ival-pi: 41.0ms (2% of total)
ival-sinu: 33.0ms (1.6% of total)
ival-pow2: 29.0ms (1.4% of total)
ival-if: 27.0ms (1.3% of total)
ival-cosu: 26.0ms (1.3% of total)
const: 21.0ms (1% of total)
ival-cos: 21.0ms (1% of total)
ival-fabs: 18.0ms (0.9% of total)
ival-tan: 17.0ms (0.8% of total)
ival-fmax: 16.0ms (0.8% of total)
ival-true: 16.0ms (0.8% of total)
exact: 16.0ms (0.8% of total)
ival-log2: 12.0ms (0.6% of total)
ival-assert: 8.0ms (0.4% of total)
ival-log1p: 7.0ms (0.3% of total)
ival-asin: 5.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)
ival-sinh: 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)

preprocess8.8s (2.2%)

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

Compiled 74 598 to 14 863 computations (80.1% saved)

simplify1.8s (0.4%)

Memory
99.6MiB live, 2 061.0MiB allocated; 197ms collecting garbage
Stop Event
32×node limit

bsearch756.0ms (0.2%)

Memory
62.7MiB live, 1 101.8MiB allocated; 131ms collecting garbage
Algorithm
79×binary-search
56×left-value
Stop Event
77×narrow-enough
2×predicate-same
Samples
322.0ms632×1valid
91.0ms921×0valid
87.0ms142×2valid
4.0ms52×0invalid
2.0ms7×1invalid
0.0ms1×3valid
Compiler

Compiled 14 913 to 10 766 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 443.0ms
ival-pow: 176.0ms (39.7% of total)
ival-add: 55.0ms (12.4% of total)
ival-e: 51.0ms (11.5% of total)
adjust: 47.0ms (10.6% of total)
ival-mult: 30.0ms (6.8% of total)
ival-pow2: 27.0ms (6.1% of total)
ival-sub: 17.0ms (3.8% of total)
ival-sqrt: 10.0ms (2.3% of total)
ival-log1p: 9.0ms (2% of total)
ival-fabs: 9.0ms (2% of total)
ival-div: 7.0ms (1.6% of total)
exact: 2.0ms (0.5% of total)
ival-assert: 1.0ms (0.2% of total)
ival-true: 1.0ms (0.2% of total)

start3.0ms (0%)

Memory
9.1MiB live, 9.0MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.8MiB live, 0.7MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...