Herbie run

Date:Thursday, April 3rd, 2025
Commit:f7a7cb35 on main
Seed:2025093
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:375 060.1 MB

Time bar (total: 4.0min)

sample55.5s (23.4%)

Memory
964.0MiB live, 83 087.6MiB allocated; 24.2s collecting garbage
Samples
33.5s241 587×0valid
5.3s28 530×1valid
1.5s11 337×0invalid
621.0ms2 330×2valid
148.0ms1 542×1exit
145.0ms661×1invalid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 29.8s
ival-mult!: 7.2s (24.1% of total)
ival-div!: 2.8s (9.3% of total)
ival-sub!: 1.8s (6% of total)
ival-sin: 1.7s (5.7% of total)
ival-log: 1.7s (5.7% of total)
ival-exp: 1.6s (5.5% of total)
ival-sqrt: 1.6s (5.3% of total)
ival-fabs: 1.6s (5.2% of total)
ival-sinu: 1.1s (3.7% of total)
ival-add!: 1.1s (3.7% of total)
adjust: 1.1s (3.6% of total)
ival-cosu: 1.0s (3.4% of total)
ival-<=: 908.0ms (3% of total)
ival-floor: 860.0ms (2.9% of total)
ival-pow2: 568.0ms (1.9% of total)
ival-neg: 547.0ms (1.8% of total)
ival-cos: 396.0ms (1.3% of total)
ival-fmax: 345.0ms (1.2% of total)
ival-tan: 329.0ms (1.1% of total)
ival-and: 323.0ms (1.1% of total)
ival-if: 259.0ms (0.9% of total)
ival-log2: 246.0ms (0.8% of total)
ival-asin: 208.0ms (0.7% of total)
ival-atan: 145.0ms (0.5% of total)
ival-log1p: 138.0ms (0.5% of total)
ival-sinh: 117.0ms (0.4% of total)
ival->: 56.0ms (0.2% of total)
ival->=: 45.0ms (0.2% of total)
ival-<: 33.0ms (0.1% of total)
ival-assert: 32.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)
const: 0.0ms (0% of total)
Bogosity

eval39.0s (16.4%)

Memory
463.8MiB live, 69 490.6MiB allocated; 15.5s collecting garbage
Compiler

Compiled 33 999 500 to 531 808 computations (98.4% saved)

rewrite36.3s (15.3%)

Memory
29.2MiB live, 44 107.9MiB allocated; 12.9s collecting garbage
Stop Event
296×iter-limit
131×node-limit
Counts
34 270 → 62 323

regimes29.1s (12.3%)

Memory
420.1MiB live, 53 765.7MiB allocated; 7.2s collecting garbage
Counts
11 528 → 488
Calls

160 calls:

906.0ms
(neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0)))
654.0ms
dY.u
633.0ms
maxCos
589.0ms
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
582.0ms
ux
Compiler

Compiled 26 145 to 20 353 computations (22.2% saved)

series22.6s (9.5%)

Memory
643.2MiB live, 39 397.2MiB allocated; 7.2s collecting garbage
Counts
5 771 → 28 499
Calls

1443 calls:

TimeVariablePointExpression
846.0ms
alphax
@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 (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (- 1 u0)) 1))) (/ 1 (+ (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (- 1 u0)) 1)) 1 (+ (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (- 1 u0)) 1) (/ (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (- 1 u0)) (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) u0 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax))) (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax))) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (+ (* (* (PI) 2) u1) (* (PI) 1/2)) (* (PI) 2) (PI) 2 u1 (* (PI) 1/2) 1/2 (/ alphay alphax) alphay alphax (* alphay alphay) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)) (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax))))) (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/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))))) (sqrt (/ 1 (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/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)))) (+ (* (* (/ (* alphax alphax) (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1/2) 1) (* (/ (* alphax alphax) (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) (/ (* alphax alphax) (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) (/ 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 (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1))) (/ 1 (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1)) (+ (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1) (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax))) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (+ (* (* (PI) 2) u1) (* (PI) 1/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 (+ (* (/ (* alphax alphax) (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1))) (/ 1 (+ (* (/ (* alphax alphax) (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1)) (+ (* (/ (* alphax alphax) (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1))
165.0ms
w
@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 h) dX.v) 2) (pow (* (floor w) dX.u) 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 w) 2) dY.u) dY.u) (pow (* (floor h) dY.v) 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 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 h) dY.v) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (pow (* (floor h) dY.v) 2))))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (pow (* (floor h) dY.v) 2)))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (pow (* (floor h) dY.v) 2))) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (pow (* (floor h) dY.v) 2)) (* (pow (floor w) 2) dY.u) (pow (floor w) 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)))) (* (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) 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) 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 (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) 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) (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 (* (/ 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)))))) 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 (>= (+ (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)))))) (/ (* (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)) (* 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))))) (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)) (* (/ 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)))))) (* (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)))))) (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 w)) 2) (* (log dX.u) 2))) (+ (* (log (floor w)) 2) (* (log dX.u) 2)) (log (floor w)) (* (log dX.u) 2) (log dX.u))
157.0ms
s
@0
((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (neg (log (+ 1 (* -4/3 (- u 1/4))))) s) 3) (* (* -3 s) (log (+ 1 (* -4/3 (/ 1 (pow (- u 1/4) -1)))))) (* -3 s) -3 s (log (+ 1 (* -4/3 (/ 1 (pow (- u 1/4) -1))))) (* -4/3 (/ 1 (pow (- u 1/4) -1))) -4/3 (/ 1 (pow (- u 1/4) -1)) 1 (pow (- u 1/4) -1) (- u 1/4) u 1/4 -1 (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (neg (log (+ 1 (* -4/3 (- u 1/4))))) s) 3) (* (neg (log (+ 1 (* -4/3 (- u 1/4))))) s) (neg (log (+ 1 (* -4/3 (- u 1/4))))) (- u (log 4/3)) (log 4/3) 4/3 3 (* (* s 3) (neg (log (- (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4))))))) (* s 3) (neg (log (- (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4)))))) (log (- (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4))))) (- (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4)))) (+ (* -4/3 u) 4/3) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (neg (log (+ 1 (* -4/3 (- u 1/4))))) s) 3) (* (* -3 s) (log (+ 1 (* -4/3 (/ (- (* u u) 1/16) (+ u 1/4)))))) (log (+ 1 (* -4/3 (/ (- (* u u) 1/16) (+ u 1/4))))) (* -4/3 (/ (- (* u u) 1/16) (+ u 1/4))) (/ (- (* u u) 1/16) (+ u 1/4)) (- (* u u) 1/16) (* u u) 1/16 (+ u 1/4) (* (* 3 s) (log (/ 1 (- (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4))))))) (* 3 s) (log (/ 1 (- (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4)))))) (/ 1 (- (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4))))) (- (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4)))) (/ 1 (+ 1 (/ (- u 1/4) 3/4))) (+ 1 (/ (- u 1/4) 3/4)) (/ (- u 1/4) 3/4) 3/4 (/ (pow (/ (- u 1/4) 3/4) 2) (+ 1 (/ (- u 1/4) 3/4))) (pow (/ (- u 1/4) 3/4) 2) (* (- (+ (/ 1/9 (* u u)) 16/9) (/ 8/9 u)) (* u u)) (- (+ (/ 1/9 (* u u)) 16/9) (/ 8/9 u)) (+ (/ 1/9 (* u u)) 16/9) (/ 1/9 (* u u)) 1/9 16/9 (/ 8/9 u) 8/9)
132.0ms
alpha
@0
((* (* (neg alpha) alpha) (- (log (+ 1 (* (neg u0) u0))) (log (+ 1 u0)))) (* (neg alpha) alpha) (neg alpha) alpha (- (log (+ 1 (* (neg u0) u0))) (log (+ 1 u0))) (log (+ 1 (* (neg u0) u0))) (* (neg u0) u0) (neg u0) u0 (log (+ 1 u0)) (* (* (neg alpha) alpha) (log (- 1 u0))) (* (+ (* 1/2 (* (* alpha alpha) u0)) (* alpha alpha)) u0) (* (* (+ (* 1/2 u0) 1) u0) (* alpha alpha)) (* (+ (* 1/2 u0) 1) u0) (+ (* 1/2 u0) 1) 1/2 1 (* alpha alpha) (* (* (neg alpha) alpha) (log (- 1 u0))) (+ (* (* (* (* alpha alpha) 1/2) u0) u0) (* (* alpha alpha) u0)) (* (* (* alpha alpha) 1/2) u0) (* (* alpha alpha) 1/2) (* (* alpha alpha) u0) (* (* (neg alpha) alpha) (log (- 1 u0))) (* (+ (* (+ (* (+ (* 1/4 (* (* alpha alpha) u0)) (* 1/3 (* alpha alpha))) u0) (* 1/2 (* alpha alpha))) u0) (* alpha alpha)) u0) (+ (* (+ (* (+ (* 1/4 (* (* alpha alpha) u0)) (* 1/3 (* alpha alpha))) u0) (* 1/2 (* alpha alpha))) u0) (* alpha alpha)) (* (+ (* (+ (* (+ (* 1/4 u0) 1/3) u0) 1/2) u0) 1) (* alpha alpha)) (+ (* (+ (* (+ (* 1/4 u0) 1/3) u0) 1/2) u0) 1) (+ (* (+ (* 1/4 u0) 1/3) u0) 1/2) (+ (* 1/4 u0) 1/3) 1/4 1/3 (* (* (neg alpha) alpha) (log (- 1 u0))) (log (- 1 u0)) (* (+ (* (+ (* (+ (* -1/4 u0) -1/3) u0) -1/2) u0) -1) u0) (+ (* (+ (* (+ (* -1/4 u0) -1/3) u0) -1/2) u0) -1) (* (- (neg (/ (+ (/ 1 u0) 1/2) (* u0 u0))) (+ (/ 1/3 u0) 1/4)) (* (* u0 u0) u0)) (- (neg (/ (+ (/ 1 u0) 1/2) (* u0 u0))) (+ (/ 1/3 u0) 1/4)) (neg (/ (+ (/ 1 u0) 1/2) (* u0 u0))) (/ (+ (/ 1 u0) 1/2) (* u0 u0)) (+ (/ 1 u0) 1/2) (/ 1 u0) (* u0 u0) (+ (/ 1/3 u0) 1/4) (/ 1/3 u0) (* (* u0 u0) u0))
127.0ms
y
@0
((* (log (+ 1 (* (- (exp (* x 1)) 1) y))) c) (log (+ 1 (* (- (exp (* x 1)) 1) y))) (* (- (exp (* x 1)) 1) y) (- (exp (* x 1)) 1) (* x 1) x y c (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (+ (* (* 1/2 c) (* (+ (* y 1) (neg (* (* y y) 1))) x)) (* (* c y) 1)) x) (+ (* (* 1/2 c) (* (+ (* y 1) (neg (* (* y y) 1))) x)) (* (* c y) 1)) (* c y) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (+ (* (* 1/2 c) (* (+ (* y 1) (neg (* (* y y) 1))) x)) (* (* c y) 1)) x) (+ (* (* 1/2 c) (* (+ (* y 1) (neg (* (* y y) 1))) x)) (* (* c y) 1)) (* (+ (* (* 1/2 c) x) c) y) (+ (* (* 1/2 c) x) c) (* 1/2 c) 1/2 (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (+ (* (* 1/2 c) (* (+ (* y 1) (neg (* (* y y) 1))) x)) (* (* c y) 1)) x) (+ (* (* 1/2 c) (* (+ (* y 1) (neg (* (* y y) 1))) x)) (* (* c y) 1)) (* (+ (* (* -1/2 c) x) (neg (/ (+ (* (* -1/2 c) x) (neg c)) y))) (* y y)) (+ (* (* -1/2 c) x) (neg (/ (+ (* (* -1/2 c) x) (neg c)) y))) (* -1/2 c) -1/2 (neg (/ (+ (* (* -1/2 c) x) (neg c)) y)) (/ (+ (* (* -1/2 c) x) (neg c)) y) (+ (* (* -1/2 c) x) (neg c)) (neg c) (* y y) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (+ (* (log (* (- (exp (* x 1)) 1) y)) c) (/ (/ c y) (- (exp (* x 1)) 1))) (/ (+ (* (+ (* (log (* y x)) c) (* -1/2 (/ c y))) x) (/ c y)) x) (+ (* (+ (* (log (* y x)) c) (* -1/2 (/ c y))) x) (/ c y)) (+ (* (log (* y x)) c) (* -1/2 (/ c y))) (log (* y x)) (* y x) (* -1/2 (/ c y)) (/ c y))

prune16.7s (7%)

Memory
328.1MiB live, 29 624.1MiB allocated; 4.6s collecting garbage
Counts
146 648 → 3 934
Compiler

Compiled 555 648 to 210 837 computations (62.1% saved)

analyze12.2s (5.1%)

Memory
154.7MiB live, 18 768.3MiB allocated; 4.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 113 computations (58% saved)

derivations11.7s (4.9%)

Memory
-193.5MiB live, 13 471.3MiB allocated; 2.9s collecting garbage
Stop Event
32×fuel
1×done
Compiler

Compiled 27 267 to 3 902 computations (85.7% saved)

explain8.4s (3.5%)

Memory
99.3MiB live, 14 433.6MiB allocated; 2.1s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity102560
-.f32#fcancellation41540
sqrt.f32#foflow-rescue3230
sqrt.f64#foflow-rescue2880
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2100
cos.f32#fsensitivity19118
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation17917
-.f64#fcancellation1702
/.f32#fo/n1160
exp.f32#fsensitivity3132
/.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-rescue130
↳(*.f32 sinTheta_O sinTheta_O)underflow282
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow13
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow141
↳(*.f32 eta eta)underflow13
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u130
sqrt.f64#fuflow-rescue80
/.f32#fn/o60
/.f32#fo/o60
*.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))overflow1
*.f32(*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*o10
Confusion
Predicted +Predicted -
+218786
-4345741
Precision
0.8344143456695917
Recall
0.9621645402551694
Confusion?
Predicted +Predicted MaybePredicted -
+21874541
-4341055636
Precision?
0.8054853843377842
Recall?
0.9819621645402552
Freqs
test
numberfreq
05827
12229
2386
36
Total Confusion?
Predicted +Predicted MaybePredicted -
+2302
-512
Precision?
0.7931034482758621
Recall?
0.92
Samples
1.9s14 548×0valid
510.0ms2 198×1valid
47.0ms150×2valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult!: 415.0ms (25.6% of total)
ival-div!: 259.0ms (16% of total)
ival-log: 117.0ms (7.2% of total)
ival-sqrt: 109.0ms (6.7% of total)
ival-exp: 100.0ms (6.2% of total)
adjust: 93.0ms (5.7% of total)
ival-floor: 74.0ms (4.6% of total)
ival-add!: 66.0ms (4.1% of total)
ival-sub!: 56.0ms (3.5% of total)
ival-pow2: 48.0ms (3% of total)
ival-sin: 46.0ms (2.8% of total)
ival-sinu: 34.0ms (2.1% of total)
ival-neg: 28.0ms (1.7% of total)
ival-cosu: 27.0ms (1.7% of total)
ival-cos: 26.0ms (1.6% of total)
ival-tan: 23.0ms (1.4% of total)
ival-fabs: 23.0ms (1.4% of total)
ival-fmax: 18.0ms (1.1% of total)
ival-if: 14.0ms (0.9% of total)
ival-log2: 12.0ms (0.7% of total)
ival-log1p: 8.0ms (0.5% of total)
ival-atan: 6.0ms (0.4% of total)
ival-sinh: 6.0ms (0.4% of total)
ival-asin: 4.0ms (0.2% of total)
ival->: 3.0ms (0.2% of total)
ival->=: 3.0ms (0.2% of total)
ival-<: 1.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

preprocess5.6s (2.4%)

Memory
-770.9MiB live, 8 327.0MiB allocated; 2.5s collecting garbage
Stop Event
33×node-limit
Compiler

Compiled 159 752 to 53 836 computations (66.3% saved)

bsearch423.0ms (0.2%)

Memory
-106.2MiB live, 576.1MiB allocated; 107ms collecting garbage
Algorithm
87×binary-search
31×left-value
Stop Event
86×narrow-enough
1×predicate-same
Samples
74.0ms493×1valid
55.0ms77×2valid
55.0ms758×0valid
2.0ms14×1invalid
2.0ms27×0invalid
Compiler

Compiled 9 676 to 7 044 computations (27.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 112.0ms
ival-exp: 31.0ms (27.6% of total)
ival-mult!: 18.0ms (16.1% of total)
ival-pow2: 16.0ms (14.3% of total)
adjust: 12.0ms (10.7% of total)
ival-log1p: 8.0ms (7.1% of total)
ival-sqrt: 7.0ms (6.2% of total)
ival-fabs: 7.0ms (6.2% of total)
ival-sub!: 6.0ms (5.4% of total)
ival-add!: 5.0ms (4.5% of total)

start9.0ms (0%)

Memory
-35.6MiB live, 10.0MiB allocated; 7ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...