Herbie run

Date:Thursday, September 5th, 2024
Commit:b5f2937f on zane-regimes-old
Hostname:nightly with Racket 8.11.1
Seed:2024249
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 7.1min)

regimes1.5min (20.5%)

Memory
-131.0MiB live, 174 246.8MiB allocated
Counts
12 993 → 878
Calls

156 calls:

7.2s
l
3.6s
t
3.0s
k
2.9s
Ev
2.8s
KbT
Compiler

Compiled 13 429 to 13 804 computations (-2.8% saved)

sample1.4min (19.4%)

Memory
686.3MiB live, 126 282.0MiB allocated
Samples
31.3s221 786×0valid
11.0s26 565×1valid
10.8s65 580×0invalid
4.0s12 381×1invalid
3.5s9 684×2valid
2.4s6 153×3valid
408.0ms1 798×1exit
174.0ms566×2invalid
30.0ms248×0exit
1.0ms4×4valid
1.0ms3×4exit
1.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 48.9s
ival-mult: 12.4s (25.3% of total)
ival-div: 7.8s (16% of total)
ival-tan: 4.3s (8.7% of total)
ival-sub: 3.2s (6.5% of total)
ival-pow2: 2.8s (5.6% of total)
ival-add: 2.5s (5.2% of total)
ival-sqrt: 2.4s (4.8% of total)
ival-pow: 2.3s (4.7% of total)
adjust: 2.3s (4.7% of total)
ival-exp: 2.0s (4.2% of total)
ival-sin: 1.8s (3.7% of total)
ival-cos: 832.0ms (1.7% of total)
ival-acos: 686.0ms (1.4% of total)
ival-neg: 583.0ms (1.2% of total)
const: 570.0ms (1.2% of total)
ival-pi: 451.0ms (0.9% of total)
ival-hypot: 448.0ms (0.9% of total)
ival-log: 396.0ms (0.8% of total)
exact: 329.0ms (0.7% of total)
ival-true: 258.0ms (0.5% of total)
ival-asin: 241.0ms (0.5% of total)
ival-assert: 132.0ms (0.3% of total)
ival-atan: 103.0ms (0.2% of total)
ival-fabs: 99.0ms (0.2% of total)
ival-<: 65.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify52.6s (12.3%)

Memory
608.3MiB live, 69 051.3MiB allocated
Algorithm
288×egg-herbie
Rules
2 514 898×lower-fma.f32
2 514 226×lower-fma.f64
1 269 416×lower-*.f32
1 267 248×lower-*.f64
663 370×lower-+.f32
Stop Event
384×iter limit
225×node limit
63×saturated
Counts
71 244 → 70 779

soundness44.2s (10.3%)

Memory
48.7MiB live, 36 162.3MiB allocated
Rules
1 633 450×lower-fma.f32
1 632 960×lower-fma.f64
1 088 256×lower-*.f32
1 086 582×lower-*.f64
520 876×lower-/.f32
Stop Event
290×iter limit
193×node limit
31×fuel
1×done
Compiler

Compiled 41 286 to 22 197 computations (46.2% saved)

eval38.0s (8.9%)

Memory
291.2MiB live, 64 314.5MiB allocated
Compiler

Compiled 6 252 058 to 490 392 computations (92.2% saved)

rewrite30.9s (7.2%)

Memory
-85.9MiB live, 44 840.0MiB allocated
Rules
598 902×lower-*.f32
596 754×lower-*.f64
576 340×lower-fma.f32
575 670×lower-fma.f64
461 150×lower-/.f32
Stop Event
258×iter limit
128×node limit
Counts
2 478 → 94 743

localize29.0s (6.8%)

Memory
-776.6MiB live, 47 508.2MiB allocated
Samples
9.9s24 353×0valid
4.3s4 239×1valid
3.9s1 729×2valid
2.0s770×3valid
1.5s138×3exit
634.0ms1 038×0invalid
504.0ms414×0exit
276.0ms46×5exit
40.0ms5×4exit
39.0ms32×2exit
2.0ms4×1exit
Compiler

Compiled 48 755 to 5 511 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.8s
ival-mult: 4.1s (23.2% of total)
ival-div: 2.5s (14.1% of total)
ival-tan: 2.4s (13.4% of total)
ival-pow: 1.4s (7.7% of total)
ival-add: 1.2s (6.9% of total)
adjust: 1.2s (6.5% of total)
ival-sub: 919.0ms (5.2% of total)
ival-sqrt: 898.0ms (5% of total)
ival-cos: 580.0ms (3.3% of total)
ival-pow2: 407.0ms (2.3% of total)
ival-sin: 337.0ms (1.9% of total)
ival-neg: 317.0ms (1.8% of total)
ival-exp: 248.0ms (1.4% of total)
ival-log: 246.0ms (1.4% of total)
const: 220.0ms (1.2% of total)
ival-asin: 191.0ms (1.1% of total)
ival-acos: 182.0ms (1% of total)
ival-hypot: 88.0ms (0.5% of total)
ival-pi: 83.0ms (0.5% of total)
ival-atan: 73.0ms (0.4% of total)
exact: 72.0ms (0.4% of total)
ival-true: 35.0ms (0.2% of total)
ival-tanh: 28.0ms (0.2% of total)
ival-cbrt: 27.0ms (0.2% of total)
ival-cosh: 26.0ms (0.1% of total)
ival-sinh: 18.0ms (0.1% of total)
ival-fabs: 14.0ms (0.1% of total)
ival-assert: 13.0ms (0.1% of total)

series15.0s (3.5%)

Memory
381.7MiB live, 25 180.9MiB allocated
Counts
2 478 → 71 244
Calls

1200 calls:

TimeVariablePointExpression
339.0ms
ky
@inf
((sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) 4) 1))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (sqrt (/ 1 (+ (* (* (/ (pow (sin kx) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (sqrt (/ 1 (+ (* (* (/ (pow (sin kx) 2) Om) (/ (* l l) Om)) 4) 1))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (neg (* l l)) (/ (+ (* (sin kx) (sin kx)) (pow (sin ky) 2)) (* Om Om))) 1) (neg (* l l)) (/ 1 2) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))) (- 1/2 (* 1/2 (cos (* 2 ky)))) (/ (* l l) Om) (* (/ (pow (sin ky) 2) Om) (/ (* l l) Om)) (/ (pow (sin ky) 2) Om) (* (/ (pow (sin kx) 2) Om) (/ (* l l) Om)) (/ (pow (sin kx) 2) Om) (/ (+ (* (sin kx) (sin kx)) (pow (sin ky) 2)) (* Om Om)) (pow (sin ky) 2) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky)))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (- 1/2 (* 1/2 (cos (* 2 ky))))))))))
327.0ms
l
@0
((exp (- (* (log t) 3) (* (log l) 2))) (+ (+ 1 (pow (/ k t) 2)) 1) (- (* (log t) 3) (* (log l) 2)) (* (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* 2 (* k k)) (/ (/ (pow t 3) l) l)) (* 2 (* k k)) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (* (/ (pow t 3) (* l l)) (sin k)) (* (* (* (/ (* (/ (* t t) l) t) l) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ (* (/ (* t t) l) t) l) (sin k)) (tan k)) (* (/ (* (/ (* t t) l) t) l) (sin k)) (pow (/ (pow t 3/2) l) 2) (* (* (* (pow (/ (pow t 3/2) l) 2) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (pow (/ (pow t 3/2) l) 2) (sin k)) (tan k)) (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (/ (/ (pow t 3) l) l) (/ (pow t 3) l) (* (/ k l) (/ (pow t 3) l)) (/ (* t t) l) (/ (* (/ (* t t) l) t) l) (/ (pow t 3/2) l) (* (pow (/ (pow t 3/2) l) 2) (sin k)))
202.0ms
f
@-inf
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (/ (PI) 4) (/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI))))) (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI)))) (neg (/ 1 (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI)))))) (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI))))))) (+ (* (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI)))))))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI))))))) (/ -4 (PI)) (PI) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI)))))) (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI))))) (/ 1/2 (sinh (* f (* 1/4 (PI))))))
151.0ms
x
@-inf
((/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (* (sqrt 2) t) (sqrt 2) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))) (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (* (sqrt 1/2) (sqrt 2)) (sqrt 1/2) (- (neg (+ (* (* t t) 2) (* l l))) (* l l)) (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (* (sqrt (/ 1 (- (neg (+ (* (* t t) 2) (* l l))) (* l l)))) (* (sqrt 2) t)) (sqrt (/ 1 (- (neg (+ (* (* t t) 2) (* l l))) (* l l)))) (* (/ t (sqrt (+ (* (neg l) l) (* (/ (- -1 x) (- 1 x)) (+ (* (* t t) 2) (* l l)))))) (sqrt 2)) (/ t (sqrt (+ (* (neg l) l) (* (/ (- -1 x) (- 1 x)) (+ (* (* t t) 2) (* l l)))))) (sqrt (+ (* (neg l) l) (* (/ (- -1 x) (- 1 x)) (+ (* (* t t) 2) (* l l))))) (+ (* (neg l) l) (* (/ (- -1 x) (- 1 x)) (+ (* (* t t) 2) (* l l)))) (+ (* (* -1/8 (sqrt 2)) (/ (* 2 (+ (* (* t t) 2) (* l l))) (* (* (* (sqrt 1/2) x) t) t))) (* (sqrt 1/2) (sqrt 2))) (/ (* (sqrt 2) t) (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))) (* -1/8 (sqrt 2)) (sqrt (/ (- x -1) (- x 1))) (neg (+ (* (* t t) 2) (* l l))) (neg l) (* l l))
140.0ms
f
@inf
((/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* f (* 1/4 (PI))) (/ (PI) 4) (/ 1 (/ (PI) 4)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI))))) (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI)))) (neg (/ 1 (/ 1/4 (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI)))))) (/ (log (tanh (* f (* 1/4 (PI))))) (neg (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI))))))) (+ (* (/ -4 (PI)) (log (* (cosh (* f (* 1/4 (PI)))) 2))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI)))))))) (* (/ -4 (PI)) (log (/ 1/2 (sinh (* f (* 1/4 (PI))))))) (/ -4 (PI)) (PI) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (log (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI)))))) (/ (cosh (* f (* 1/4 (PI)))) (sinh (* f (* 1/4 (PI))))) (/ 1/2 (sinh (* f (* 1/4 (PI))))))

prune13.6s (3.2%)

Memory
-682.8MiB live, 27 714.7MiB allocated
Counts
194 464 → 3 433
Compiler

Compiled 159 995 to 98 248 computations (38.6% saved)

preprocess11.3s (2.6%)

Memory
106.5MiB live, 14 451.5MiB allocated
Algorithm
32×egg-herbie
Rules
229 844×lower-fma.f64
229 844×lower-fma.f32
79 498×lower-*.f32
79 270×lower-*.f64
36 848×lower-/.f32
Stop Event
64×iter limit
41×node limit
23×saturated
Compiler

Compiled 55 103 to 18 845 computations (65.8% saved)

explain9.2s (2.1%)

Memory
125.6MiB live, 17 288.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4730
-.f64#fcancellation4611
cos.f64#fsensitivity4170
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2530
*.f64#fn*o2430
+.f64#fnan-rescue2170
sqrt.f64#fuflow-rescue1820
*.f64#fu*o1420
-.f64#fnan-rescue1380
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1260
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1260
pow.f64#foflow-rescue1120
/.f64#fo/o850
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8435
pow.f64#fuflow-rescue660
*.f64#fn*u640
+.f64#fcancellation570
/.f64#fu/u540
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue540
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow54
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow54
↳(*.f64 K (+.f64 m n))overflow54
/.f64#fo/n520
*.f64#fo*u520
/.f64#fn/o290
/.f64#fn/u290
/.f64#fu/n150
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity70
exp.f64#fsensitivity60
Confusion
Predicted +Predicted -
+198932
-11185053
Precision
0.6401673640167364
Recall
0.9841662543295399
Confusion?
Predicted +Predicted MaybePredicted -
+1989230
-1118355018
Precision?
0.6332697201017812
Recall?
0.9851558634339436
Freqs
test
numberfreq
05085
12735
2313
353
46
Total Confusion?
Predicted +Predicted MaybePredicted -
+2700
-005
Precision?
1.0
Recall?
1.0
Samples
2.1s13 100×0valid
808.0ms2 104×1valid
416.0ms396×3valid
363.0ms766×2valid
11.0ms18×5exit
Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 482.0ms (17.5% of total)
ival-div: 374.0ms (13.6% of total)
ival-tan: 344.0ms (12.5% of total)
ival-acos: 224.0ms (8.1% of total)
ival-sub: 169.0ms (6.1% of total)
ival-exp: 139.0ms (5% of total)
ival-pow2: 129.0ms (4.7% of total)
ival-add: 129.0ms (4.7% of total)
ival-pow: 126.0ms (4.6% of total)
adjust: 121.0ms (4.4% of total)
ival-sin: 102.0ms (3.7% of total)
ival-cos: 96.0ms (3.5% of total)
ival-sqrt: 95.0ms (3.4% of total)
ival-log: 48.0ms (1.7% of total)
ival-pi: 36.0ms (1.3% of total)
ival-neg: 25.0ms (0.9% of total)
ival-atan: 25.0ms (0.9% of total)
ival-hypot: 22.0ms (0.8% of total)
exact: 19.0ms (0.7% of total)
ival-true: 15.0ms (0.5% of total)
ival-asin: 11.0ms (0.4% of total)
const: 10.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)

analyze8.8s (2%)

Memory
-24.1MiB live, 13 462.9MiB allocated
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.7%42.9%1.8%0%10.6%0%9
52.2%45.5%41.7%1.8%0%11%0%10
53.9%46.8%39.9%1.8%0%11.5%0%11
55.7%47.9%38.2%1.8%0%12.2%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

bsearch4.8s (1.1%)

Memory
-36.8MiB live, 6 973.0MiB allocated
Algorithm
264×left-value
222×binary-search
Stop Event
215×narrow-enough
7×predicate-same
Samples
2.4s15 861×0valid
553.0ms2 809×0invalid
108.0ms486×1valid
37.0ms145×1invalid
35.0ms108×2valid
8.0ms25×3valid
8.0ms8×2invalid
Compiler

Compiled 58 043 to 57 729 computations (0.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 601.0ms (24.9% of total)
ival-div: 428.0ms (17.7% of total)
ival-add: 326.0ms (13.5% of total)
ival-pow: 287.0ms (11.9% of total)
ival-sub: 148.0ms (6.1% of total)
ival-sin: 117.0ms (4.8% of total)
ival-pow2: 110.0ms (4.6% of total)
ival-tan: 86.0ms (3.6% of total)
ival-exp: 66.0ms (2.7% of total)
ival-neg: 57.0ms (2.4% of total)
ival-sqrt: 41.0ms (1.7% of total)
adjust: 40.0ms (1.7% of total)
ival-cos: 29.0ms (1.2% of total)
ival-fabs: 26.0ms (1.1% of total)
exact: 16.0ms (0.7% of total)
ival-true: 14.0ms (0.6% of total)
const: 11.0ms (0.5% of total)
ival-assert: 7.0ms (0.3% of total)
ival-atan: 7.0ms (0.3% of total)
ival-pi: 1.0ms (0% of total)

start1.0ms (0%)

Memory
3.2MiB live, 3.2MiB allocated

end0.0ms (0%)

Memory
0.7MiB live, 0.6MiB allocated

Profiling

Loading profile data...