Herbie run

Date:Sunday, January 26th, 2025
Commit:9eb1a33e on no-localize
Seed:2025026
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:486 368.6 MB

Time bar (total: 6.7min)

prune2.3min (34.1%)

Memory
307.7MiB live, 126 126.2MiB allocated; 4.3s collecting garbage
Counts
139 140 → 4 039
Compiler

Compiled 532 641 to 217 052 computations (59.2% saved)

sample1.5min (22.8%)

Memory
989.2MiB live, 112 745.1MiB allocated; 41.3s collecting garbage
Samples
46.3s262 201×0valid
20.3s1 626×5exit
5.5s8 042×1valid
1.3s10 880×0invalid
975.0ms2 205×2valid
311.0ms675×1invalid
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-pow: 19.0s (30.1% of total)
ival-mult: 10.5s (16.6% of total)
ival-add: 4.4s (6.9% of total)
ival-div: 4.3s (6.7% of total)
ival-e: 2.9s (4.5% of total)
const: 2.5s (4% of total)
ival-log: 2.4s (3.8% of total)
ival-sub: 2.0s (3.2% of total)
ival-fabs: 1.6s (2.6% of total)
ival-sqrt: 1.5s (2.3% of total)
ival-floor: 1.4s (2.3% of total)
adjust: 1.2s (1.9% of total)
ival-sin: 1.0s (1.6% of total)
ival-pow2: 857.0ms (1.4% of total)
ival-exp: 788.0ms (1.2% of total)
ival-cos: 776.0ms (1.2% of total)
ival-sinu: 732.0ms (1.2% of total)
ival-log1p: 722.0ms (1.1% of total)
ival-sinh: 525.0ms (0.8% of total)
ival-<=: 516.0ms (0.8% of total)
ival-neg: 501.0ms (0.8% of total)
ival-cosu: 438.0ms (0.7% of total)
ival-fmax: 360.0ms (0.6% of total)
ival-tan: 356.0ms (0.6% of total)
ival-and: 352.0ms (0.6% of total)
exact: 306.0ms (0.5% of total)
ival-pi: 305.0ms (0.5% of total)
ival-if: 255.0ms (0.4% of total)
ival-log2: 203.0ms (0.3% of total)
ival-asin: 122.0ms (0.2% of total)
ival-atan: 87.0ms (0.1% of total)
ival-assert: 83.0ms (0.1% of total)
ival->=: 52.0ms (0.1% of total)
ival->: 47.0ms (0.1% of total)
ival-<: 32.0ms (0.1% of total)
ival-==: 4.0ms (0% of total)
Bogosity

eval38.4s (9.6%)

Memory
260.7MiB live, 61 718.0MiB allocated; 17.1s collecting garbage
Compiler

Compiled 32 474 908 to 535 022 computations (98.4% saved)

rewrite32.2s (8%)

Memory
895.4MiB live, 39 506.9MiB allocated; 7.6s collecting garbage
Stop Event
298×iter limit
131×node limit
Counts
32 602 → 59 544

regimes29.6s (7.4%)

Memory
213.2MiB live, 46 287.1MiB allocated; 8.4s collecting garbage
Counts
11 639 → 508
Calls

159 calls:

1.1s
(-.f32 #s(literal 1 binary32) u0)
801.0ms
ux
794.0ms
cosTheta_i
770.0ms
s
642.0ms
u2
Compiler

Compiled 24 131 to 19 999 computations (17.1% saved)

series22.9s (5.7%)

Memory
-86.0MiB live, 34 663.9MiB allocated; 8.5s collecting garbage
Counts
5 651 → 26 951
Calls

1431 calls:

TimeVariablePointExpression
594.0ms
y
@inf
((* (- (log (+ 1 (pow (* (- (exp x) 1) y) 3))) (log (+ 1 (- (pow (* (- (exp x) 1) y) 2) (* 1 (* (- (exp x) 1) y)))))) c) (- (log (+ 1 (pow (* (- (exp x) 1) y) 3))) (log (+ 1 (- (pow (* (- (exp x) 1) y) 2) (* 1 (* (- (exp x) 1) y)))))) (log (+ 1 (pow (* (- (exp x) 1) y) 3))) (pow (* (- (exp x) 1) y) 3) (* (- (exp x) 1) y) (- (exp x) 1) x y 3 (log (+ 1 (- (pow (* (- (exp x) 1) y) 2) (* 1 (* (- (exp x) 1) y))))) (- (pow (* (- (exp x) 1) y) 2) (* 1 (* (- (exp x) 1) y))) (pow (* (- (exp x) 1) y) 2) 2 (* 1 (* (- (exp x) 1) y)) 1 c (* (log (+ 1 (* (- (pow (E) x) 1) y))) c) (log (+ 1 (* (- (pow (E) x) 1) y))) (* y x) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (* (- (exp (* x 1)) 1) y) (- (exp (* x 1)) 1) (* (+ (* (+ (* (+ (* 1/24 x) 1/6) x) 1/2) x) 1) x) (+ (* (+ (* (+ (* 1/24 x) 1/6) x) 1/2) x) 1) (+ (* (+ (* 1/24 x) 1/6) x) 1/2) (+ (* 1/24 x) 1/6) 1/6 1/2 (* (log (+ 1 (* (- (exp (* x 1)) 1) y))) c) (* (+ (* (* 1/2 c) (* (- y (* y y)) x)) (* c y)) x) (+ (* (* 1/2 c) (* (- y (* y y)) x)) (* c y)) (* 1/2 c) (* (- y (* y y)) x) (- y (* y y)) (* y y) (* c y) (* (log (+ 1 (* (- (exp (* x 1)) 1) y))) c) (log (+ 1 (* (- (exp (* x 1)) 1) y))) (* (- (exp (* x 1)) 1) y) (- (exp (* x 1)) 1))
479.0ms
dY.v
@-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))) (+ (* (* (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 (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (floor d) dY.w) dY.w)
202.0ms
dY.w
@inf
((log2 (exp (* (log (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2))) (exp (* (log (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2)) (* (log (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2) (log (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2)))) (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor d) dX.w) 2) (* (floor d) dX.w) (floor d) d dX.w 2 (pow (* (floor w) dX.u) 2) (* (floor w) dX.u) (floor w) w dX.u (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (floor h) h dX.v (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2)) (pow (* (floor w) dY.u) 2) (* (floor w) dY.u) dY.u (pow (* (floor h) dY.v) 2) (* (floor h) dY.v) dY.v 1/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) 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))) (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))) (+ (* (* (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 d) dY.w) dY.w (log2 (sqrt (fmax (+ (+ (exp (* (log (* (floor w) dX.u)) 2)) (* (* (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 (+ (+ (exp (* (log (* (floor w) dX.u)) 2)) (* (* (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 (+ (+ (exp (* (log (* (floor w) dX.u)) 2)) (* (* (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)))) (+ (+ (exp (* (log (* (floor w) dX.u)) 2)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (exp (* (log (* (floor w) dX.u)) 2)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (exp (* (log (* (floor w) dX.u)) 2)) (* (log (* (floor w) dX.u)) 2) (log (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor d) dX.w) (* (floor d) dX.w)) (log2 (exp (* (log (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2))) (exp (* (log (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2)) (* (log (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) 1/2) (log (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))) (fmax (+ (+ (pow (* (floor d) dX.w) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2)) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2)))) (+ (* (pow (floor w) 2) (* dY.u dY.u)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2))))
201.0ms
alphay
@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 (+ (* (* (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 (/ (* (/ 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 (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2)) (/ u0 (- 1 u0))) 1/2) 1) (* (/ (* 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)) (/ u0 (- 1 u0))) (/ (* 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)) (/ 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))))) (+ (* (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) -1/2) 1) (* (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) -1/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 (+ (* (* (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)) (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)) (* u0 (+ 1 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)))) (+ (* (/ 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/2) 1))
186.0ms
dX.v
@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 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 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 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) (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)))) (/ (* (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))) (+ (* (* (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) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.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))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (/ (* (floor h) dX.v) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (exp (* (log (* (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 h) dX.v) (sqrt (fmax (+ (pow (* (floor w) dX.u) 2) (exp (* (log (* (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) (exp (* (log (* (floor h) dX.v)) 2))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (floor w) dX.u) 2) (exp (* (log (* (floor h) dX.v)) 2))) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (floor w) dX.u) 2) (exp (* (log (* (floor h) dX.v)) 2))) (exp (* (log (* (floor h) dX.v)) 2)) (* (log (* (floor h) dX.v)) 2) (log (* (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 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 w) 2) dX.u) dX.u) (pow (* (floor h) dX.v) 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 (* (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 w) 2) dX.u) dX.u) (pow (* (floor h) dX.v) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (sqrt (fmax (+ (* (* (pow (floor w) 2) dX.u) dX.u) (pow (* (floor h) dX.v) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (fmax (+ (* (* (pow (floor w) 2) dX.u) dX.u) (pow (* (floor h) dX.v) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (pow (* (floor h) dX.v) 2)) (* (pow (floor w) 2) dX.u) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (+ (* (floor w) (floor w)) (/ (pow (* (floor h) dY.v) 2) (* dY.u dY.u))) (* dY.u dY.u)) (+ (* (floor w) (floor w)) (/ (pow (* (floor h) dY.v) 2) (* dY.u dY.u))) (/ (pow (* (floor h) dY.v) 2) (* dY.u dY.u)) (* dY.u dY.u) (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) (exp (* (log (* (floor w) dX.u)) 2))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) (/ (* (floor h) dY.v) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (exp (* (log (* (floor w) dX.u)) 2))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (exp (* (log (* (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) (exp (* (log (* (floor w) dX.u)) 2))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (pow (* (floor h) dX.v) 2) (exp (* (log (* (floor w) dX.u)) 2))) (exp (* (log (* (floor w) dX.u)) 2)) (* (log (* (floor w) dX.u)) 2) (log (* (floor w) dX.u)))

analyze16.3s (4.1%)

Memory
281.6MiB live, 24 639.4MiB allocated; 6.5s 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.5s (2.9%)

Memory
-70.1MiB live, 12 245.5MiB allocated; 2.4s collecting garbage
Stop Event
32×fuel
Compiler

Compiled 27 538 to 3 885 computations (85.9% saved)

explain9.6s (2.4%)

Memory
-315.4MiB live, 14 365.2MiB allocated; 2.9s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity101793
-.f32#fcancellation41421
sqrt.f32#foflow-rescue3350
sqrt.f64#foflow-rescue3020
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2111
cos.f32#fsensitivity19719
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19616
-.f64#fcancellation1560
/.f32#fo/n1220
exp.f32#fsensitivity3412
/.f32#fu/n230
*.f64#fn*u160
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-rescue120
↳(*.f32 sinTheta_O sinTheta_O)underflow290
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow12
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow145
↳(*.f32 eta eta)underflow12
sqrt.f64#fuflow-rescue80
/.f32#fn/o70
/.f32#fo/o60
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u40
*.f64(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 (+.f64 (fabs.f64 p) (fabs.f64 r)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))))))n*o30
*.f32#fn*o30
pow.f64(pow.f64 (E.f64) x)sensitivity20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))u*o10
↳(*.f32 u normAngle)underflow6
↳(sin.f32 (*.f32 u normAngle))underflow6
↳(/.f32 #s(literal 1 binary32) (sin.f32 normAngle))overflow2
Confusion
Predicted +Predicted -
+217469
-4705735
Precision
0.8222390317700454
Recall
0.9692376281765492
Confusion?
Predicted +Predicted MaybePredicted -
+21743633
-4701075628
Precision?
0.7929673484033011
Recall?
0.9852875613018279
Freqs
test
numberfreq
05804
12225
2413
36
Total Confusion?
Predicted +Predicted MaybePredicted -
+2320
-602
Precision?
0.8064516129032258
Recall?
1.0
Samples
2.5s16 100×0valid
277.0ms664×1valid
48.0ms130×2valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 585.0ms (30.9% of total)
ival-div: 237.0ms (12.5% of total)
ival-sub: 111.0ms (5.9% of total)
ival-add: 106.0ms (5.6% of total)
ival-pow: 87.0ms (4.6% of total)
ival-sqrt: 78.0ms (4.1% of total)
ival-log: 73.0ms (3.9% of total)
adjust: 59.0ms (3.1% of total)
ival-floor: 51.0ms (2.7% of total)
ival-sin: 43.0ms (2.3% of total)
ival-exp: 41.0ms (2.2% of total)
ival-pi: 34.0ms (1.8% of total)
ival-sinu: 33.0ms (1.7% of total)
ival-neg: 32.0ms (1.7% of total)
ival->=: 31.0ms (1.6% of total)
ival-fabs: 28.0ms (1.5% of total)
ival-if: 27.0ms (1.4% of total)
ival-pow2: 26.0ms (1.4% of total)
const: 25.0ms (1.3% of total)
ival-cosu: 23.0ms (1.2% of total)
ival-cos: 21.0ms (1.1% of total)
ival-e: 20.0ms (1.1% of total)
ival-tan: 19.0ms (1% of total)
ival-fmax: 16.0ms (0.8% of total)
ival-true: 15.0ms (0.8% of total)
exact: 15.0ms (0.8% of total)
ival-log2: 12.0ms (0.6% of total)
ival->: 9.0ms (0.5% of total)
ival-log1p: 8.0ms (0.4% of total)
ival-assert: 7.0ms (0.4% of total)
ival-atan: 6.0ms (0.3% of total)
ival-sinh: 5.0ms (0.3% of total)
ival-asin: 4.0ms (0.2% of total)
ival-<: 1.0ms (0.1% of total)

preprocess9.5s (2.4%)

Memory
305.8MiB live, 10 984.9MiB allocated; 1.8s collecting garbage
Stop Event
66×iter limit
65×node limit
1×saturated
Compiler

Compiled 75 378 to 17 663 computations (76.6% saved)

simplify1.8s (0.5%)

Memory
189.2MiB live, 2 088.0MiB allocated; 238ms collecting garbage
Stop Event
32×node limit

bsearch889.0ms (0.2%)

Memory
51.1MiB live, 987.0MiB allocated; 277ms collecting garbage
Algorithm
88×binary-search
46×left-value
Stop Event
84×narrow-enough
4×predicate-same
Samples
413.0ms887×1valid
143.0ms826×0valid
57.0ms111×2valid
7.0ms87×0invalid
Compiler

Compiled 15 611 to 11 271 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 555.0ms
ival-pow: 263.0ms (47.4% of total)
ival-add: 102.0ms (18.4% of total)
adjust: 39.0ms (7% of total)
ival-mult: 39.0ms (7% of total)
ival-e: 33.0ms (5.9% of total)
ival-pow2: 21.0ms (3.8% of total)
ival-sub: 18.0ms (3.2% of total)
ival-log1p: 13.0ms (2.3% of total)
ival-sqrt: 8.0ms (1.4% of total)
ival-fabs: 8.0ms (1.4% of total)
ival-div: 6.0ms (1.1% of total)
ival-true: 2.0ms (0.4% of total)
exact: 2.0ms (0.4% of total)
ival-assert: 1.0ms (0.2% of total)

start8.0ms (0%)

Memory
-28.1MiB live, 10.9MiB allocated; 11ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...