Herbie run

Date:Wednesday, March 26th, 2025
Commit:a931ba94 on hardware-accelerators
Seed:2025085
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:454 073.6 MB

Time bar (total: 6.0min)

prune2.4min (39.1%)

Memory
259.1MiB live, 135 775.2MiB allocated; 22.9s collecting garbage
Counts
127 906 → 3 801
Samples
878.0ms13 537×0valid
306.0ms4 376×0invalid
1.0ms7×1valid
Compiler

Compiled 525 034 to 203 694 computations (61.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 538.0ms
ival-mult!: 387.0ms (71.9% of total)
ival-add!: 148.0ms (27.5% of total)
adjust: 3.0ms (0.6% of total)

sample52.1s (14.4%)

Memory
876.5MiB live, 72 900.1MiB allocated; 19.0s collecting garbage
Samples
31.2s241 527×0valid
4.8s28 606×1valid
1.4s10 821×0invalid
655.0ms2 314×2valid
115.0ms1 456×1exit
111.0ms606×1invalid
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 27.2s
ival-mult!: 7.6s (27.7% of total)
ival-div!: 3.1s (11.4% of total)
ival-sqrt: 1.8s (6.4% of total)
ival-log: 1.6s (5.9% of total)
ival-exp: 1.6s (5.9% of total)
ival-fabs: 1.3s (4.6% of total)
ival-add!: 1.0s (3.8% of total)
ival-sub!: 1.0s (3.8% of total)
ival-sin: 1.0s (3.7% of total)
ival-floor: 871.0ms (3.2% of total)
adjust: 824.0ms (3% of total)
ival-sinu: 645.0ms (2.4% of total)
ival-<=: 644.0ms (2.4% of total)
ival-cos: 610.0ms (2.2% of total)
ival-neg: 543.0ms (2% of total)
ival-fmax: 504.0ms (1.9% of total)
ival-pow2: 492.0ms (1.8% of total)
ival-cosu: 386.0ms (1.4% of total)
ival-tan: 342.0ms (1.3% of total)
ival-and: 308.0ms (1.1% of total)
ival-if: 251.0ms (0.9% of total)
ival-log2: 232.0ms (0.9% of total)
ival-log1p: 140.0ms (0.5% of total)
ival-asin: 116.0ms (0.4% of total)
ival-sinh: 111.0ms (0.4% of total)
ival-atan: 82.0ms (0.3% of total)
ival->=: 56.0ms (0.2% of total)
ival->: 53.0ms (0.2% of total)
ival-assert: 30.0ms (0.1% of total)
ival-<: 24.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)
const: 0.0ms (0% of total)
Bogosity

eval44.3s (12.2%)

Memory
388.8MiB live, 72 884.5MiB allocated; 16.9s collecting garbage
Samples
502.0ms8 199×0valid
265.0ms3 061×0invalid
0.0ms4×1valid
Compiler

Compiled 34 718 187 to 509 064 computations (98.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 387.0ms
ival-mult!: 318.0ms (82.2% of total)
ival-add!: 66.0ms (17.1% of total)
adjust: 2.0ms (0.5% of total)

rewrite30.8s (8.5%)

Memory
931.0MiB live, 38 153.1MiB allocated; 8.5s collecting garbage
Stop Event
299×iter limit
130×node limit
Counts
32 168 → 59 090

regimes27.9s (7.7%)

Memory
33.6MiB live, 44 103.9MiB allocated; 5.8s collecting garbage
Counts
11 657 → 531
Calls

159 calls:

887.0ms
(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))
763.0ms
u1
674.0ms
u2
626.0ms
ux
621.0ms
cosTheta_i
Compiler

Compiled 25 976 to 20 985 computations (19.2% saved)

series18.5s (5.1%)

Memory
-17.2MiB live, 28 574.2MiB allocated; 4.6s collecting garbage
Counts
5 588 → 26 580
Calls

1422 calls:

TimeVariablePointExpression
201.0ms
s
@0
((* (neg (- (log (+ 1 (* (pow u 3) -64))) (log (+ 1 (- (pow (* u -4) 2) (* 1 (* u -4))))))) s) (neg (- (log (+ 1 (* (pow u 3) -64))) (log (+ 1 (- (pow (* u -4) 2) (* 1 (* u -4))))))) (- (log (+ 1 (* (pow u 3) -64))) (log (+ 1 (- (pow (* u -4) 2) (* 1 (* u -4)))))) (log (+ 1 (* (pow u 3) -64))) (* (pow u 3) -64) (pow u 3) u 3 -64 (log (+ 1 (- (pow (* u -4) 2) (* 1 (* u -4))))) (- (pow (* u -4) 2) (* 1 (* u -4))) (pow (* u -4) 2) (* u -4) -4 2 (* 1 (* u -4)) 1 s (* s (log (/ 1 (- 1 (* 4 u))))) (* (* s u) 4) (* s u) 4 (* (neg (log (+ 1 (* -4 u)))) s) (neg (log (+ 1 (* -4 u)))) (log (+ 1 (* -4 u))) (* (- (* -8 u) 4) u) (- (* -8 u) 4) (* -8 u) -8 (* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (+ (* u 4) (* (* (+ (* (+ (* 64 u) 64/3) u) 8) u) u)) (* (* (+ (* (+ (* 64 u) 64/3) u) 8) u) u) (* (+ (* (+ (* 64 u) 64/3) u) 8) u) (+ (* (+ (* 64 u) 64/3) u) 8) (+ (* 64 u) 64/3) 64 64/3 8 (log (pow (/ 1 (+ (* u -4) 1)) s)) (pow (/ 1 (+ (* u -4) 1)) s) (/ 1 (+ (* u -4) 1)) (+ (* u -4) 1))
142.0ms
s
@0
((* (* 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))))) (log (+ 1 (* -4/3 (- u 1/4)))) (* -4/3 (- u 1/4)) -4/3 (- u 1/4) u 1/4 s 3 (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (log 3/4) s) 3) (* (log 3/4) s) (log 3/4) 3/4 (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* 3 (+ (* u s) (* (log 3/4) s))) (+ (* u s) (* (log 3/4) s)) (* (* s 3) (neg (log (- 1 (/ (- u 1/4) 3/4))))) (* s 3) (neg (log (- 1 (/ (- u 1/4) 3/4)))) (log (- 1 (/ (- u 1/4) 3/4))) (- 1 (/ (- u 1/4) 3/4)) 1 (/ (- u 1/4) 3/4) (* (* 3 s) (log (/ 1 (/ (- 3/2 (* 2 (- u 1/4))) 3/2)))) (* 3 s) (log (/ 1 (/ (- 3/2 (* 2 (- u 1/4))) 3/2))) (/ 1 (/ (- 3/2 (* 2 (- u 1/4))) 3/2)) (/ (- 3/2 (* 2 (- u 1/4))) 3/2) (- 3/2 (* 2 (- u 1/4))) 3/2 (* 2 (- u 1/4)) 2)
135.0ms
s
@0
((* (* 3 s) (log (/ 1 (/ (- 3/2 (* 2 (- u 1/4))) 3/2)))) (* (* -3 s) (log (+ 1 (* -4/3 (- u 1/4))))) (* -3 s) -3 s (log (+ 1 (* -4/3 (- u 1/4)))) (* -4/3 (- u 1/4)) (+ (* -4/3 u) 1/3) -4/3 u 1/3 (* (* 3 s) (log (/ 1 (/ (- 3/2 (* 2 (- u 1/4))) 3/2)))) (* (* (+ (log 3/4) u) s) 3) (* (+ (log 3/4) u) s) (+ (log 3/4) u) (log 3/4) 3/4 3 (* 3 (* s (neg (log (- 1 (/ (- u 1/4) 3/4)))))) (* s (neg (log (- 1 (/ (- u 1/4) 3/4))))) (neg (log (- 1 (/ (- u 1/4) 3/4)))) (log (- 1 (/ (- u 1/4) 3/4))) (- 1 (/ (- u 1/4) 3/4)) 1 (/ (- u 1/4) 3/4) (- (* 4/3 u) 1/3) (* 4/3 u) 4/3 (* (* s 3) (neg (log (/ (- 3/2 (* 2 (- u 1/4))) 3/2)))) (* s 3) (neg (log (/ (- 3/2 (* 2 (- u 1/4))) 3/2))) (log (/ (- 3/2 (* 2 (- u 1/4))) 3/2)) (/ (- 3/2 (* 2 (- u 1/4))) 3/2) (- 3/2 (* 2 (- u 1/4))) 3/2 (* 2 (- u 1/4)) 2 (- u 1/4) 1/4 (* (* s 3) (+ (log (/ 1 (- 3/2 (* 2 (- u 1/4))))) (log 3/2))) (+ (log (/ 1 (- 3/2 (* 2 (- u 1/4))))) (log 3/2)) (log (/ 1 (- 3/2 (* 2 (- u 1/4))))) (/ 1 (- 3/2 (* 2 (- u 1/4)))) (log 3/2))
131.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 w) dX.u) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (/ (* (floor w) dY.u) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))))) (>= (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (floor h) h dX.v 2 (pow (* (floor w) dX.u) 2) (* (floor w) dX.u) (floor w) w dX.u (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor h) dY.v) 2) (* (floor h) dY.v) dY.v (pow (* (floor w) dY.u) 2) (* (floor w) dY.u) dY.u (/ (* (floor w) dX.u) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (/ (* (floor w) dY.u) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) 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 w) dX.u)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) 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)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dX.u)) (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) 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)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u)) (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 w) dX.u)) (* (sqrt (/ 1 (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (* (floor w) dY.u))) (>= (+ (* (* (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 (/ 1 (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (* (floor w) dY.u)) (sqrt (/ 1 (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))))) (/ 1 (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)))) (* (* (floor w) (pow (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))) -1/2)) dX.u) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u))) (* (* (floor w) (pow (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))) -1/2)) dX.u) (* (floor w) (pow (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))) -1/2)) (pow (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))) -1/2) -1/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 w) dX.u)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (exp (* (log (floor w)) 1)) dY.u))) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (exp (* (log (floor w)) 1)) dY.u)) (* (exp (* (log (floor w)) 1)) dY.u) (exp (* (log (floor w)) 1)) (* (log (floor w)) 1) (log (floor w)))
131.0ms
x
@0
((/ (/ (exp (/ (fabs x) (neg s))) (+ (* (exp (/ (fabs x) (neg s))) s) s)) (+ (exp (/ (fabs x) (neg s))) 1)) (/ (exp (/ (fabs x) (neg s))) (+ (* (exp (/ (fabs x) (neg s))) s) s)) (exp (/ (fabs x) (neg s))) (/ (fabs x) (neg s)) (fabs x) x (neg s) s (+ (* (exp (/ (fabs x) (neg s))) s) s) (+ (exp (/ (fabs x) (neg s))) 1) 1 (/ (exp (/ (neg (fabs x)) s)) (* (+ (* s 1) (* s (exp (neg (/ (fabs x) s))))) (+ 1 (exp (/ (neg (fabs x)) s))))) (/ (+ 1/4 (/ (+ (* 1/8 (* x x)) (* -1/16 (* (* x x) 3))) (* s s))) s) (+ 1/4 (/ (+ (* 1/8 (* x x)) (* -1/16 (* (* x x) 3))) (* s s))) 1/4 (/ (+ (* 1/8 (* x x)) (* -1/16 (* (* x x) 3))) (* s s)) (+ (* 1/8 (* x x)) (* -1/16 (* (* x x) 3))) 1/8 (* x x) (* -1/16 (* (* x x) 3)) -1/16 (* (* x x) 3) 3 (* s s) (/ (exp (/ (neg (fabs x)) s)) (* (+ (* s 1) (* s (exp (neg (/ (fabs x) s))))) (+ 1 (exp (/ (neg (fabs x)) s))))) (neg (/ (- (* -1/8 (pow (/ (fabs x) s) 2)) (+ (* (/ (* (* x x) -3) (* s s)) 1/16) 1/4)) s)) (/ (- (* -1/8 (pow (/ (fabs x) s) 2)) (+ (* (/ (* (* x x) -3) (* s s)) 1/16) 1/4)) s) (- (* -1/8 (pow (/ (fabs x) s) 2)) (+ (* (/ (* (* x x) -3) (* s s)) 1/16) 1/4)) (* -1/8 (pow (/ (fabs x) s) 2)) -1/8 (pow (/ (fabs x) s) 2) (/ (fabs x) s) 2 (+ (* (/ (* (* x x) -3) (* s s)) 1/16) 1/4) (/ (* (* x x) -3) (* s s)) (* (* x x) -3) -3 1/16 (/ (pow (exp -1) (/ (fabs x) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (pow (exp -1) (/ (fabs x) s)) (exp -1) -1 (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (* 4 s) 4 (/ (/ (exp (/ (fabs x) (neg s))) (+ (* (exp (/ (fabs x) (neg s))) s) s)) (+ (exp (neg (/ (fabs x) s))) 1)) (+ (exp (neg (/ (fabs x) s))) 1) (exp (neg (/ (fabs x) s))) (+ (+ (+ (* (* (* (/ (fabs x) s) (/ (fabs x) s)) (/ (fabs x) s)) -1/6) (* (* (/ (fabs x) s) (/ (fabs x) s)) 1/2)) (* (/ (fabs x) s) -1)) 1) -1/6 1/2)

preprocess13.5s (3.7%)

Memory
473.5MiB live, 17 357.9MiB allocated; 2.7s collecting garbage
Stop Event
66×iter limit
65×node limit
1×saturated
Samples
1.8s20 401×0valid
319.0ms4 366×0invalid
0.0ms1×1valid
Compiler

Compiled 109 494 to 19 351 computations (82.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult!: 1.0s (85.4% of total)
ival-add!: 173.0ms (14.3% of total)
adjust: 5.0ms (0.4% of total)

analyze11.8s (3.3%)

Memory
-18.6MiB live, 16 970.6MiB allocated; 5.1s 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.0s (3%)

Memory
-75.5MiB live, 11 375.3MiB allocated; 3.2s collecting garbage
Stop Event
31×fuel
1×done
Samples
39.0ms619×0valid
13.0ms148×0invalid
0.0ms1×1valid
Compiler

Compiled 31 700 to 3 957 computations (87.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.0ms
ival-mult!: 18.0ms (59.7% of total)
ival-add!: 12.0ms (39.8% of total)
adjust: 0.0ms (0% of total)

explain8.4s (2.3%)

Memory
-167.5MiB live, 13 259.0MiB allocated; 2.5s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity103269
-.f32#fcancellation40722
sqrt.f32#foflow-rescue3670
sqrt.f64#foflow-rescue3080
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2010
cos.f32#fsensitivity19717
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18718
-.f64#fcancellation1710
/.f32#fo/n1420
exp.f32#fsensitivity3312
/.f32#fu/n170
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)underflow276
↳(-.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))))underflow138
↳(*.f32 eta eta)underflow16
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u160
/.f32#fo/o80
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o40
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow12
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow12
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))oflow-rescue30
↳(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)overflow3
↳(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))overflow3
↳(pow.f64 (E.f64) x)overflow3
↳(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))overflow3
*.f64#fn*o20
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
Confusion
Predicted +Predicted -
+222156
-4595712
Precision
0.8287313432835821
Recall
0.9754062362758015
Confusion?
Predicted +Predicted MaybePredicted -
+22213620
-459885624
Precision?
0.8049215406562055
Recall?
0.9912165129556434
Freqs
test
numberfreq
05768
12256
2416
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+2301
-513
Precision?
0.7931034482758621
Recall?
0.9583333333333334
Samples
1.6s14 578×0valid
491.0ms2 174×1valid
63.0ms144×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!: 369.0ms (26.7% of total)
ival-div!: 131.0ms (9.5% of total)
ival-exp: 114.0ms (8.2% of total)
ival-log: 94.0ms (6.8% of total)
ival-add!: 81.0ms (5.9% of total)
ival-sqrt: 79.0ms (5.7% of total)
ival-sub!: 59.0ms (4.3% of total)
adjust: 57.0ms (4.1% of total)
ival-pow2: 52.0ms (3.8% of total)
ival-floor: 45.0ms (3.3% of total)
ival-sinu: 44.0ms (3.2% of total)
ival-sin: 43.0ms (3.1% of total)
ival-cosu: 41.0ms (3% of total)
ival-neg: 33.0ms (2.4% of total)
ival-tan: 26.0ms (1.9% of total)
ival-cos: 23.0ms (1.7% of total)
ival-fmax: 19.0ms (1.4% of total)
ival-fabs: 18.0ms (1.3% of total)
ival-log2: 14.0ms (1% of total)
ival-if: 13.0ms (0.9% of total)
ival-log1p: 7.0ms (0.5% of total)
ival-atan: 6.0ms (0.4% 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)

simplify1.8s (0.5%)

Memory
178.8MiB live, 2 113.2MiB allocated; 153ms collecting garbage
Stop Event
32×node limit

bsearch411.0ms (0.1%)

Memory
-57.4MiB live, 597.8MiB allocated; 59ms collecting garbage
Algorithm
83×binary-search
57×left-value
Stop Event
83×narrow-enough
Samples
126.0ms492×1valid
41.0ms494×0valid
33.0ms150×2valid
2.0ms28×0invalid
Compiler

Compiled 13 510 to 9 608 computations (28.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 148.0ms
ival-fabs: 37.0ms (25.1% of total)
ival-exp: 25.0ms (16.9% of total)
ival-pow2: 22.0ms (14.9% of total)
adjust: 19.0ms (12.9% of total)
ival-mult!: 17.0ms (11.5% of total)
ival-sqrt: 9.0ms (6.1% of total)
ival-add!: 7.0ms (4.7% of total)
ival-sub!: 7.0ms (4.7% of total)
ival-log1p: 5.0ms (3.4% of total)

start4.0ms (0%)

Memory
8.4MiB live, 8.3MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...