Herbie run

Date:Friday, April 11th, 2025
Commit:ccb5c8ad on chassis-platforms-cleanup
Seed:2025101
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:341 099.6 MB

Time bar (total: 5.4min)

eval2.3min (42.9%)

Memory
846.8MiB live, 106 314.2MiB allocated; 20.8s collecting garbage
Compiler

Compiled 33 226 243 to 521 453 computations (98.4% saved)

sample54.4s (16.9%)

Memory
607.1MiB live, 68 168.9MiB allocated; 21.0s collecting garbage
Samples
32.5s241 624×0valid
6.1s28 486×1valid
1.1s11 221×0invalid
579.0ms2 336×2valid
448.0ms1 584×1exit
143.0ms708×1invalid
1.0ms2×3valid
Precisions
Click to see histograms. Total time spent on operations: 30.6s
ival-mult!: 7.1s (23.2% of total)
ival-div!: 4.4s (14.2% of total)
adjust: 2.0s (6.5% of total)
ival-sqrt: 1.8s (5.8% of total)
ival-log: 1.6s (5.4% of total)
ival-floor: 1.4s (4.6% of total)
ival-exp: 1.4s (4.5% of total)
ival-fabs: 1.3s (4.3% of total)
ival-sub!: 1.2s (3.8% of total)
ival-add!: 1.0s (3.3% of total)
ival-fmax: 1.0s (3.3% of total)
ival-<=: 958.0ms (3.1% of total)
ival-sin: 910.0ms (3% of total)
ival-neg: 635.0ms (2.1% of total)
ival-sinu: 633.0ms (2.1% of total)
ival-pow2: 536.0ms (1.7% of total)
ival-cosu: 425.0ms (1.4% of total)
ival-cos: 379.0ms (1.2% of total)
ival-if: 334.0ms (1.1% of total)
ival-and: 314.0ms (1% of total)
ival-tan: 295.0ms (1% of total)
ival-asin: 208.0ms (0.7% of total)
ival-log2: 200.0ms (0.7% of total)
ival-sinh: 153.0ms (0.5% of total)
ival-log1p: 152.0ms (0.5% of total)
ival-atan: 98.0ms (0.3% of total)
ival->: 85.0ms (0.3% of total)
ival->=: 60.0ms (0.2% of total)
ival-<: 45.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

rewrite30.8s (9.6%)

Memory
810.2MiB live, 38 108.6MiB allocated; 7.2s collecting garbage
Stop Event
298×iter-limit
130×node-limit
2×unsound
Counts
30 867 → 55 853

series22.0s (6.8%)

Memory
503.8MiB live, 32 601.4MiB allocated; 5.1s collecting garbage
Counts
5 404 → 25 463
Calls

1452 calls:

TimeVariablePointExpression
559.0ms
v
@0
((exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v)))) (/ (- (+ (* (+ (log (/ 1/2 v)) 6931/10000) v) (* cosTheta_O cosTheta_i)) (+ (* sinTheta_O sinTheta_i) 1)) v) (- (+ (* (+ (log (/ 1/2 v)) 6931/10000) v) (* cosTheta_O cosTheta_i)) (+ (* sinTheta_O sinTheta_i) 1)) (+ (* (+ (log (/ 1/2 v)) 6931/10000) v) (* cosTheta_O cosTheta_i)) (* (+ (log (/ 1/2 v)) 6931/10000) v) (+ (log (/ 1/2 v)) 6931/10000) (log (/ 1/2 v)) (/ 1/2 v) 1/2 v 6931/10000 (+ (* sinTheta_O sinTheta_i) 1) 1 (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v)))) (/ (* cosTheta_O cosTheta_i) v) (* cosTheta_O cosTheta_i) cosTheta_O cosTheta_i (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v)))) (/ (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) v) (- (* cosTheta_O cosTheta_i) (+ (* sinTheta_O sinTheta_i) 1)) (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (* (/ 1/2 v) (exp (- 6931/10000 (/ (+ (* sinTheta_O sinTheta_i) 1) v)))) (exp (- 6931/10000 (/ (+ (* sinTheta_O sinTheta_i) 1) v))) (- 6931/10000 (/ (+ (* sinTheta_O sinTheta_i) 1) v)) (/ (+ (* sinTheta_O sinTheta_i) 1) v) (+ (* sinTheta_O sinTheta_i) 1) sinTheta_O sinTheta_i (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v)))) (/ (- (pow (+ (log (/ 1/2 v)) 6931/10000) 2) (pow (/ (+ (* sinTheta_O sinTheta_i) 1) v) 2)) (+ (+ (log (/ 1/2 v)) 6931/10000) (/ (+ (* sinTheta_O sinTheta_i) 1) v))) (/ (- (pow (+ (log (/ 1/2 v)) 6931/10000) 2) (pow v -2)) (+ (+ (log (/ 1/2 v)) (/ 1 v)) 6931/10000)) (- (pow (+ (log (/ 1/2 v)) 6931/10000) 2) (pow v -2)) (pow (+ (log (/ 1/2 v)) 6931/10000) 2) 2 (pow v -2) -2 (+ (+ (log (/ 1/2 v)) (/ 1 v)) 6931/10000) (+ (log (/ 1/2 v)) (/ 1 v)) (/ 1 v))
238.0ms
x
@-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 (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* c x) y) (* c x) (* (log (+ 1 (* (- (exp (* x 1)) 1) y))) c) (log (+ 1 (* (- (exp (* x 1)) 1) y))) (* (- (exp (* x 1)) 1) y) (- (exp (* x 1)) 1) (* (log (+ 1 (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y))) c) (log (+ 1 (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y))) (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y) (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) (* (+ (* (+ (* (* 1/6 x) 1) 1/2) x) 1) x) (* (pow x 3) 1/6) (pow x 3) 1/6 (* (log (+ 1 (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y))) c) (log (+ 1 (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y))) (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y) (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) (* (+ (* (+ (* 1/6 x) 1/2) x) 1) x) (+ (* (+ (* 1/6 x) 1/2) x) 1) (+ (* 1/6 x) 1/2) 1/2)
231.0ms
h
@inf
((log2 (if (> (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))))) (if (> (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (exp (* (log (floor h)) 1)) 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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (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) 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 (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))) (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)) (* dY.u dX.v) (* dY.v dX.u) (floor maxAniso) maxAniso (/ (sqrt (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (sqrt (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (* (exp (* (log (floor h)) 1)) dX.v) (exp (* (log (floor h)) 1)) (* (log (floor h)) 1) (log (floor h)) 1 (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)))) (sqrt (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (log2 (if (> (/ (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v 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))))))) (if (> (/ (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v 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)))))) (> (/ (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (fmax (+ (pow (* (exp (* (log (floor h)) 1)) dX.v) 2) (pow (* (floor w) dX.u) 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)) (/ (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 maxAniso)) (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)))) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v 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))))) (log2 (if (> (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (exp (log (* (floor w) dX.u))) (exp (log (* (floor w) dX.u)))) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v 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))))))) (if (> (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (exp (log (* (floor w) dX.u))) (exp (log (* (floor w) dX.u)))) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v 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)))))) (> (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (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 (+ (* (exp (log (* (floor w) dX.u))) (exp (log (* (floor w) dX.u)))) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (sqrt (fmax (+ (* (exp (log (* (floor w) dX.u))) (exp (log (* (floor w) dX.u)))) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (* (exp (log (* (floor w) dX.u))) (exp (log (* (floor w) dX.u)))) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (* (exp (log (* (floor w) dX.u))) (exp (log (* (floor w) dX.u)))) (pow (* (floor h) dX.v) 2)) (exp (log (* (floor w) dX.u))) (log (* (floor w) dX.u)) (log2 (if (> (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (exp (log (* (floor h) dX.v))) (exp (log (* (floor h) dX.v)))) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v 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))))))) (if (> (/ (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))) (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (exp (log (* (floor h) dX.v))) (exp (log (* (floor h) dX.v)))) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (/ (fabs (* (* (floor h) (floor w)) (- (* dY.u dX.v) (* dY.v 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 (+ (* (exp (log (* (floor h) dX.v))) (exp (log (* (floor h) dX.v)))) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (sqrt (fmax (+ (* (exp (log (* (floor h) dX.v))) (exp (log (* (floor h) dX.v)))) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (* (exp (log (* (floor h) dX.v))) (exp (log (* (floor h) dX.v)))) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (* (exp (log (* (floor h) dX.v))) (exp (log (* (floor h) dX.v)))) (pow (* (floor w) dX.u) 2)) (exp (log (* (floor h) dX.v))) (log (* (floor h) dX.v)) (log2 (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))))) (if (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) (> (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (floor maxAniso)) (/ (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor 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)) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)) (/ (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 maxAniso)) (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)))) (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)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)) (pow (* (/ (- (* (cosh (log (floor h))) (cosh (log (floor h)))) (* (sinh (log (floor h))) (sinh (log (floor h))))) (- (cosh (log (floor h))) (sinh (log (floor h))))) dY.v) 2) (* (/ (- (* (cosh (log (floor h))) (cosh (log (floor h)))) (* (sinh (log (floor h))) (sinh (log (floor h))))) (- (cosh (log (floor h))) (sinh (log (floor h))))) dY.v) (/ (- (* (cosh (log (floor h))) (cosh (log (floor h)))) (* (sinh (log (floor h))) (sinh (log (floor h))))) (- (cosh (log (floor h))) (sinh (log (floor h))))) (- (* (cosh (log (floor h))) (cosh (log (floor h)))) (* (sinh (log (floor h))) (sinh (log (floor h))))) (* (cosh (log (floor h))) (cosh (log (floor h)))) (cosh (log (floor h))) (* (sinh (log (floor h))) (sinh (log (floor h)))) (sinh (log (floor h))) (- (cosh (log (floor h))) (sinh (log (floor h)))) 1/2 (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (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))))))
176.0ms
h
@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 d) dY.w) 2) (pow (exp (log (* dY.u (floor 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 d) dY.w) 2) (pow (exp (log (* dY.u (floor 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 d) dY.w) 2) (pow (exp (log (* dY.u (floor 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 d) dY.w) 2) (pow (exp (log (* dY.u (floor 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 d) dY.w) 2) (pow (exp (log (* dY.u (floor 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 w) dX.u) 2) (* (floor w) dX.u) (floor w) w dX.u 2 (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (floor h) h dX.v (+ (+ (pow (* (floor d) dY.w) 2) (pow (exp (log (* dY.u (floor w)))) 2)) (pow (* (floor h) dY.v) 2)) (+ (pow (* (floor d) dY.w) 2) (pow (exp (log (* dY.u (floor w)))) 2)) (pow (* (floor d) dY.w) 2) (* (floor d) dY.w) (floor d) d dY.w (pow (exp (log (* dY.u (floor w)))) 2) (exp (log (* dY.u (floor w)))) (log (* dY.u (floor w))) (* dY.u (floor w)) 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))) (+ (pow (* dY.w (floor d)) 2) (+ (* (* (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 d) dX.w) (* (floor d) dX.w))) (+ (pow (* dY.w (floor d)) 2) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (pow (* dY.w (floor d)) 2) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (pow (* (floor d) dX.w) 2) (* (floor d) dX.w) dX.w (+ (pow (* dY.w (floor d)) 2) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (pow (* dY.w (floor d)) 2) (* dY.w (floor d)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (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 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))) (+ (+ (pow (* (floor d) dY.w) 2) (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))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* (floor d) dY.w) 2) (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))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2)) (pow (* (floor w) dY.u) 2))) (+ (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2)) (pow (* (floor w) dY.u) 2)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor h) dY.v) 2)) (pow (* (floor w) dY.u) 2) (* (floor w) dY.u) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (exp (log (* (floor h) dY.v))) (exp (log (* (floor h) dY.v)))) (pow (* (floor w) dY.u) 2)) (* (* (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))) (+ (+ (* (exp (log (* (floor h) dY.v))) (exp (log (* (floor h) dY.v)))) (pow (* (floor w) dY.u) 2)) (* (* (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))) (+ (+ (* (exp (log (* (floor h) dY.v))) (exp (log (* (floor h) dY.v)))) (pow (* (floor w) dY.u) 2)) (* (* (floor d) dY.w) (* (floor d) dY.w)))) (+ (+ (* (exp (log (* (floor h) dY.v))) (exp (log (* (floor h) dY.v)))) (pow (* (floor w) dY.u) 2)) (* (* (floor d) dY.w) (* (floor d) dY.w))) (+ (* (exp (log (* (floor h) dY.v))) (exp (log (* (floor h) dY.v)))) (pow (* (floor w) dY.u) 2)) (exp (log (* (floor h) dY.v))) (log (* (floor h) dY.v)))
161.0ms
c
@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)))) (* (* c y) (- (exp (* x 1)) 1)) (* c y) (- (exp (* x 1)) 1) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* c x) (* y 1)) (* c x) (* y 1) 1 (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (log (+ 1 (* (- (pow (E) x) 1) y))) (+ 1 (* (- (pow (E) x) 1) y)) (* (- (pow (E) x) 1) y) (- (pow (E) x) 1) (* (+ (* (+ (* (* 1/6 x) 1) 1/2) x) 1) x) (* (pow x 3) 1/6) (pow x 3) 3 1/6 (* c (log (+ 1 (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y)))) (log (+ 1 (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y))) (+ 1 (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y)) (* (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) y) (- (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) 1) (* (pow (sqrt (E)) x) (pow (sqrt (E)) x)) (pow (sqrt (E)) x) (sqrt (E)) (E))

regimes18.6s (5.8%)

Memory
247.8MiB live, 29 668.4MiB allocated; 3.7s collecting garbage
Counts
7 922 → 403
Calls

160 calls:

501.0ms
uy
454.0ms
dX.v
451.0ms
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
441.0ms
ux
435.0ms
(*.f32 uy #s(literal 2 binary32))
Compiler

Compiled 25 193 to 17 153 computations (31.9% saved)

end17.0s (5.3%)

Memory
-20.7MiB live, 8 234.4MiB allocated; 112ms collecting garbage

analyze12.0s (3.7%)

Memory
62.2MiB live, 15 122.7MiB allocated; 5.2s 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)

derivations8.3s (2.6%)

Memory
-234.5MiB live, 7 723.8MiB allocated; 806ms collecting garbage
Stop Event
32×fuel
1×done
Compiler

Compiled 25 670 to 3 078 computations (88% saved)

explain8.0s (2.5%)

Memory
-128.2MiB live, 12 253.9MiB allocated; 1.5s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity100476
-.f32#fcancellation39326
sqrt.f32#foflow-rescue3250
sqrt.f64#foflow-rescue3220
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2081
cos.f32#fsensitivity1968
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18816
-.f64#fcancellation1720
/.f32#fo/n1140
exp.f32#fsensitivity4415
/.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*u210
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)underflow292
↳(-.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))))underflow146
↳(*.f32 eta eta)underflow16
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o20
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow9
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow9
sqrt.f64#fuflow-rescue20
/.f32#fo/o20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
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 -
+215955
-4555779
Precision
0.8259372609028309
Recall
0.9751580849141824
Confusion?
Predicted +Predicted MaybePredicted -
+21592728
-4551035676
Precision?
0.7966472303206997
Recall?
0.987353206865402
Freqs
test
numberfreq
05834
12196
2416
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+2302
-503
Precision?
0.8214285714285714
Recall?
0.92
Samples
1.8s14 598×0valid
474.0ms2 150×1valid
40.0ms148×2valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult!: 424.0ms (29.7% of total)
ival-div!: 150.0ms (10.5% of total)
adjust: 99.0ms (6.9% of total)
ival-log: 90.0ms (6.3% of total)
ival-exp: 84.0ms (5.9% of total)
ival-sqrt: 81.0ms (5.7% of total)
ival-sub!: 61.0ms (4.3% of total)
ival-add!: 51.0ms (3.6% of total)
ival-sin: 51.0ms (3.6% of total)
ival-neg: 46.0ms (3.2% of total)
ival-floor: 42.0ms (2.9% of total)
ival-sinu: 35.0ms (2.5% of total)
ival-fabs: 29.0ms (2% of total)
ival-pow2: 27.0ms (1.9% of total)
ival-cosu: 24.0ms (1.7% of total)
ival-cos: 23.0ms (1.6% of total)
ival-log1p: 22.0ms (1.5% of total)
ival-tan: 20.0ms (1.4% of total)
ival-fmax: 18.0ms (1.3% of total)
ival-if: 13.0ms (0.9% of total)
ival-log2: 12.0ms (0.8% of total)
ival-atan: 10.0ms (0.7% of total)
ival-sinh: 5.0ms (0.4% of total)
ival-asin: 4.0ms (0.3% 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)

prune7.2s (2.2%)

Memory
-89.4MiB live, 13 542.4MiB allocated; 1.4s collecting garbage
Counts
127 692 → 3 428
Compiler

Compiled 479 345 to 184 016 computations (61.6% saved)

preprocess5.1s (1.6%)

Memory
92.5MiB live, 8 756.4MiB allocated; 1.2s collecting garbage
Stop Event
33×node-limit
Compiler

Compiled 163 780 to 48 684 computations (70.3% saved)

bsearch365.0ms (0.1%)

Memory
84.5MiB live, 595.7MiB allocated; 42ms collecting garbage
Algorithm
74×binary-search
39×left-value
Stop Event
73×narrow-enough
1×predicate-same
Samples
103.0ms1 217×0valid
72.0ms371×1valid
25.0ms108×2valid
2.0ms25×0invalid
Compiler

Compiled 12 952 to 9 066 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 141.0ms
ival-pow2: 30.0ms (21.3% of total)
ival-exp: 24.0ms (17% of total)
ival-mult!: 20.0ms (14.2% of total)
ival-fabs: 17.0ms (12.1% of total)
adjust: 15.0ms (10.6% of total)
ival-sqrt: 12.0ms (8.5% of total)
ival-add!: 10.0ms (7.1% of total)
ival-sub!: 8.0ms (5.7% of total)
ival-log1p: 5.0ms (3.5% of total)

start3.0ms (0%)

Memory
8.8MiB live, 8.7MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...