Herbie run

Date:Friday, November 8th, 2024
Commit:e1f2a9b8 on fix-1030
Hostname:nightly with Racket 8.10
Seed:2024313
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 5.3min)

sample1.3min (25%)

Memory
206.2MiB live, 88 836.0MiB allocated
Samples
32.3s225 440×0valid
9.4s65 472×0invalid
7.4s22 948×1valid
3.7s9 692×2valid
3.6s12 284×1invalid
2.6s6 110×3valid
419.0ms1 841×1exit
162.0ms527×2invalid
28.0ms237×0exit
3.0ms2×4valid
1.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 45.3s
ival-mult: 11.4s (25.1% of total)
ival-div: 7.6s (16.7% of total)
ival-sub: 3.4s (7.4% of total)
ival-add: 3.0s (6.6% of total)
ival-pow2: 2.7s (5.9% of total)
ival-sqrt: 2.5s (5.5% of total)
adjust: 2.3s (5.1% of total)
ival-pow: 2.1s (4.7% of total)
ival-exp: 2.1s (4.6% of total)
ival-sin: 1.9s (4.1% of total)
ival-cos: 1.1s (2.5% of total)
ival-tan: 904.0ms (2% of total)
ival-neg: 723.0ms (1.6% of total)
ival-acos: 664.0ms (1.5% of total)
const: 530.0ms (1.2% of total)
ival-hypot: 424.0ms (0.9% of total)
ival-log: 414.0ms (0.9% of total)
ival-pi: 371.0ms (0.8% of total)
exact: 336.0ms (0.7% of total)
ival-true: 265.0ms (0.6% of total)
ival-asin: 190.0ms (0.4% of total)
ival-tanu: 175.0ms (0.4% of total)
ival-assert: 143.0ms (0.3% of total)
ival-atan: 111.0ms (0.2% of total)
ival-fabs: 88.0ms (0.2% of total)
ival-<: 41.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify48.0s (15%)

Memory
1 225.9MiB live, 44 307.0MiB allocated
Algorithm
286×egg-herbie
Stop Event
381×iter limit
253×node limit
33×saturated
Counts
13 762 → 13 684

soundness44.1s (13.7%)

Memory
-293.8MiB live, 28 116.6MiB allocated
Stop Event
282×iter limit
188×node limit
30×fuel
2×done
Compiler

Compiled 67 946 to 27 901 computations (58.9% saved)

rewrite29.4s (9.2%)

Memory
-383.1MiB live, 30 517.2MiB allocated
Stop Event
257×iter limit
127×node limit
Counts
2 375 → 90 453

localize24.7s (7.7%)

Memory
-490.0MiB live, 27 969.2MiB allocated
Samples
9.8s23 755×0valid
3.4s3 491×1valid
2.6s1 912×2valid
951.0ms641×3valid
843.0ms1 965×0invalid
248.0ms199×1exit
241.0ms121×5exit
172.0ms362×0exit
61.0ms45×2exit
30.0ms15×3exit
20.0ms2×4exit
4.0ms4×1invalid
Compiler

Compiled 98 453 to 11 387 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.5s
ival-mult: 3.8s (28.1% of total)
ival-div: 2.3s (17.3% of total)
ival-add: 1.2s (8.9% of total)
adjust: 862.0ms (6.4% of total)
ival-sqrt: 680.0ms (5% of total)
ival-sub: 607.0ms (4.5% of total)
ival-pow: 601.0ms (4.5% of total)
ival-cos: 555.0ms (4.1% of total)
ival-pow2: 505.0ms (3.7% of total)
ival-sin: 304.0ms (2.3% of total)
ival-acos: 283.0ms (2.1% of total)
ival-neg: 253.0ms (1.9% of total)
ival-exp: 223.0ms (1.7% of total)
ival-log: 183.0ms (1.4% of total)
const: 180.0ms (1.3% of total)
ival-asin: 178.0ms (1.3% of total)
ival-tan: 156.0ms (1.2% of total)
ival-pi: 102.0ms (0.8% of total)
ival-tanu: 74.0ms (0.5% of total)
ival-hypot: 67.0ms (0.5% of total)
exact: 65.0ms (0.5% of total)
ival-expm1: 61.0ms (0.5% of total)
ival-atan: 38.0ms (0.3% of total)
ival-tanh: 37.0ms (0.3% of total)
ival-cbrt: 34.0ms (0.3% of total)
ival-true: 29.0ms (0.2% of total)
ival-log1p: 27.0ms (0.2% of total)
ival-sinu: 19.0ms (0.1% of total)
ival-assert: 15.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-cosh: 7.0ms (0.1% of total)
ival-cosu: 5.0ms (0% of total)

regimes21.8s (6.8%)

Memory
0.8MiB live, 27 412.6MiB allocated
Counts
12 913 → 854
Calls

156 calls:

1.2s
l
813.0ms
k
645.0ms
t
590.0ms
F
547.0ms
B
Compiler

Compiled 13 776 to 13 847 computations (-0.5% saved)

eval20.5s (6.4%)

Memory
213.6MiB live, 26 252.2MiB allocated
Compiler

Compiled 4 565 987 to 440 581 computations (90.4% saved)

series11.0s (3.4%)

Memory
-167.8MiB live, 12 797.6MiB allocated
Counts
2 375 → 13 762
Calls

1197 calls:

TimeVariablePointExpression
154.0ms
th
@inf
((* (sqrt 2) (* (+ (* a1 a1) (* a2 a2)) (cos th))) (sqrt 2) (* (+ (* a1 a1) (* a2 a2)) (cos th)) (+ (* a1 a1) (* a2 a2)) (+ (* (/ (cos th) (sqrt 2)) (* a1 a1)) (* (/ (cos th) (sqrt 2)) (* a2 a2))) (+ (* (/ a2 (sqrt 2)) a2) (* (/ a1 (sqrt 2)) a1)) (* (/ a2 (sqrt 2)) a2) (/ a2 (sqrt 2)) (* (+ (* (* a2 (cos th)) (* a2 (sqrt 2))) (* (* a1 (cos th)) (* a1 (sqrt 2)))) 1/2) (+ (* (* a2 (cos th)) (* a2 (sqrt 2))) (* (* a1 (cos th)) (* a1 (sqrt 2)))) (* (+ (* -1/2 (* th th)) 1) (* (+ (* a1 a1) (* a2 a2)) (sqrt 2))) (+ (* -1/2 (* th th)) 1) (+ (* (/ 1 (/ (sqrt 2) a2)) a2) (* (/ a1 (sqrt 2)) a1)) (/ 1 (/ (sqrt 2) a2)) (+ (* (/ (cos th) (sqrt 2)) (* a1 a1)) (* (/ (cos th) (sqrt 2)) (* a2 a2))) (/ (sqrt 2) a2) (* (sqrt 2) (/ (sqrt 2) (* (* a2 a2) a1))) (/ (+ (* a1 (/ (sqrt 2) (* a2 a2))) (* (/ (sqrt 2) a1) 1)) (* (sqrt 2) (/ (sqrt 2) (* (* a2 a2) a1)))) (* (/ (sqrt 2) a1) 1) (+ (* (/ (cos th) (sqrt 2)) (* a1 a1)) (* (/ (cos th) (sqrt 2)) (* a2 a2))) (* (* (sqrt 2) (* (+ (* a1 a1) (* a2 a2)) (cos th))) 1/2) (cos th) (* (+ (* a1 a1) (* a2 a2)) (sqrt 2)) (* a1 (sqrt 2)) (/ a1 (sqrt 2)) (* (* a2 a2) a1) (+ (* a1 (/ (sqrt 2) (* a2 a2))) (* (/ (sqrt 2) a1) 1)))
135.0ms
f
@inf
((/ (- (* 0 (PI)) (* (* -1/4 (PI)) (* (log (tanh (* (/ f 4) (PI)))) -4))) (* (* -1/4 (PI)) (PI))) (* (* -1/4 (PI)) (* (log (tanh (* (/ f 4) (PI)))) -4)) (* 0 (PI)) (- (* 0 (PI)) (* (* -1/4 (PI)) (* (log (tanh (* (/ f 4) (PI)))) -4))) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* (* (PI) f) 1/4) (* (sqrt (PI)) (sqrt (PI))) (/ 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))))))) (neg (* (* (pow (PI) -1/2) (/ 4 (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (* (pow (PI) -1/2) (/ 4 (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (* (pow (PI) -1/2) (/ 4 (sqrt (PI)))) (pow (PI) -1/2) (/ (- (exp (* (* (PI) 1/4) (* 2 f))) 1) (+ (pow (pow (exp (PI)) 1/2) f) 1)) (pow (exp (PI)) 1/2) (* (* (PI) 1/4) (* 2 f)) (/ (log (/ (- (exp (* (* (PI) 1/4) (* 2 f))) 1) (+ (pow (pow (exp (PI)) 1/2) f) 1))) (* 1/4 (PI))) (log (tanh (* (/ f 4) (PI)))) (PI) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (sqrt (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (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)))))) (exp (PI)) (log (/ (- (exp (* (* (PI) 1/4) (* 2 f))) 1) (+ (pow (pow (exp (PI)) 1/2) f) 1))))
130.0ms
n
@0
((/ (- 1 k) 2) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ 1 (sqrt k)) (sqrt k) (* (* 2 (PI)) n) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)))
109.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))) (/ 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))))))) (/ (PI) 4) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI))))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (neg (log (tanh (* f (* 1/4 (PI)))))) (neg (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))))) (* (/ 1 (/ (PI) 4)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2)))) (/ (- 0 (* (log (tanh (* f (* 1/4 (PI))))) (log (tanh (* f (* 1/4 (PI))))))) (log (tanh (* f (* 1/4 (PI)))))) (neg (* (/ 1 (/ (PI) 4)) (/ (- 0 (* (log (tanh (* f (* 1/4 (PI))))) (log (tanh (* f (* 1/4 (PI))))))) (log (tanh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (/ (- 0 (* (log (tanh (* f (* 1/4 (PI))))) (log (tanh (* f (* 1/4 (PI))))))) (log (tanh (* f (* 1/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)))))) (/ (/ 4 (PI)) f) (sqrt (PI)) (- (log (* (cosh (* f (* 1/4 (PI)))) 2)) (log (* (sinh (* f (* 1/4 (PI)))) 2))) (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* (log (tanh (* f (* 1/4 (PI))))) (log (tanh (* f (* 1/4 (PI)))))))
93.0ms
f
@-inf
((/ (- (* 0 (PI)) (* (* -1/4 (PI)) (* (log (tanh (* (/ f 4) (PI)))) -4))) (* (* -1/4 (PI)) (PI))) (* (* -1/4 (PI)) (* (log (tanh (* (/ f 4) (PI)))) -4)) (* 0 (PI)) (- (* 0 (PI)) (* (* -1/4 (PI)) (* (log (tanh (* (/ f 4) (PI)))) -4))) (/ (log (tanh (* f (* 1/4 (PI))))) (* 1/4 (PI))) (log (tanh (* f (* 1/4 (PI))))) (tanh (* f (* 1/4 (PI)))) (* (* (PI) f) 1/4) (* (sqrt (PI)) (sqrt (PI))) (/ 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))))))) (neg (* (* (pow (PI) -1/2) (/ 4 (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (* (pow (PI) -1/2) (/ 4 (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (* (pow (PI) -1/2) (/ 4 (sqrt (PI)))) (pow (PI) -1/2) (/ (- (exp (* (* (PI) 1/4) (* 2 f))) 1) (+ (pow (pow (exp (PI)) 1/2) f) 1)) (pow (exp (PI)) 1/2) (* (* (PI) 1/4) (* 2 f)) (/ (log (/ (- (exp (* (* (PI) 1/4) (* 2 f))) 1) (+ (pow (pow (exp (PI)) 1/2) f) 1))) (* 1/4 (PI))) (log (tanh (* (/ f 4) (PI)))) (PI) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (sqrt (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (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)))))) (exp (PI)) (log (/ (- (exp (* (* (PI) 1/4) (* 2 f))) 1) (+ (pow (pow (exp (PI)) 1/2) f) 1))))

preprocess10.2s (3.2%)

Memory
280.5MiB live, 9 308.2MiB allocated
Algorithm
32×egg-herbie
Stop Event
64×iter limit
41×node limit
23×saturated
Compiler

Compiled 86 649 to 18 191 computations (79% saved)

explain9.8s (3.1%)

Memory
-110.6MiB live, 10 791.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4740
cos.f64#fsensitivity4560
-.f64#fcancellation4431
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))))sensitivity2551
+.f64#fnan-rescue2430
*.f64#fn*o2330
sqrt.f64#fuflow-rescue1640
pow.f64#foflow-rescue1510
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1330
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)))))))sensitivity1270
-.f64#fnan-rescue1060
*.f64#fu*o940
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8834
/.f64#fo/o850
*.f64#fn*u650
+.f64#fcancellation580
/.f64#fu/u530
/.f64#fo/n530
*.f64#fo*u470
pow.f64#fuflow-rescue400
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue400
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow40
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow40
↳(*.f64 K (+.f64 m n))overflow40
/.f64#fn/o360
/.f64#fn/u240
/.f64#fu/n110
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))))))sensitivity80
exp.f64(exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))sensitivity10
Confusion
Predicted +Predicted -
+190138
-11945059
Precision
0.6142164781906301
Recall
0.9804022692109334
Confusion?
Predicted +Predicted MaybePredicted -
+1901038
-1194365023
Precision?
0.6071542638134781
Recall?
0.9804022692109334
Freqs
test
numberfreq
05097
12746
2309
337
42
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-106
Precision?
0.9615384615384616
Recall?
1.0
Samples
2.3s13 426×0valid
763.0ms1 872×1valid
294.0ms716×2valid
152.0ms364×3valid
3.0ms6×5exit
Compiler

Compiled 10 899 to 2 164 computations (80.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 494.0ms (20.2% of total)
ival-div: 473.0ms (19.4% of total)
ival-add: 270.0ms (11.1% of total)
ival-pow2: 171.0ms (7% of total)
ival-sub: 170.0ms (7% of total)
ival-exp: 130.0ms (5.3% of total)
ival-sqrt: 116.0ms (4.8% of total)
adjust: 106.0ms (4.3% of total)
ival-sin: 103.0ms (4.2% of total)
ival-pow: 80.0ms (3.3% of total)
ival-cos: 68.0ms (2.8% of total)
ival-tan: 64.0ms (2.6% of total)
ival-neg: 33.0ms (1.4% of total)
ival-acos: 33.0ms (1.4% of total)
ival-hypot: 22.0ms (0.9% of total)
exact: 19.0ms (0.8% of total)
ival-true: 16.0ms (0.7% of total)
ival-pi: 15.0ms (0.6% of total)
ival-tanu: 12.0ms (0.5% of total)
ival-log: 12.0ms (0.5% of total)
ival-asin: 8.0ms (0.3% of total)
const: 8.0ms (0.3% of total)
ival-assert: 8.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)

analyze8.9s (2.8%)

Memory
147.6MiB live, 10 193.8MiB 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)

prune7.9s (2.5%)

Memory
18.8MiB live, 12 045.0MiB allocated
Counts
104 412 → 3 215
Compiler

Compiled 274 706 to 142 913 computations (48% saved)

bsearch4.3s (1.3%)

Memory
-97.9MiB live, 4 883.0MiB allocated
Algorithm
282×left-value
190×binary-search
Stop Event
182×narrow-enough
8×predicate-same
Samples
2.3s13 305×0valid
228.0ms1 865×0invalid
93.0ms209×1valid
31.0ms62×2valid
13.0ms40×3valid
5.0ms29×1invalid
1.0ms1×5exit
Compiler

Compiled 117 145 to 85 104 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult: 534.0ms (25.4% of total)
ival-div: 265.0ms (12.6% of total)
ival-pow: 263.0ms (12.5% of total)
ival-add: 229.0ms (10.9% of total)
ival-sin: 219.0ms (10.4% of total)
ival-tan: 139.0ms (6.6% of total)
ival-pow2: 128.0ms (6.1% of total)
ival-sub: 111.0ms (5.3% of total)
ival-sqrt: 50.0ms (2.4% of total)
ival-neg: 47.0ms (2.2% of total)
ival-exp: 30.0ms (1.4% of total)
ival-cos: 22.0ms (1% of total)
adjust: 15.0ms (0.7% of total)
exact: 13.0ms (0.6% of total)
ival-true: 12.0ms (0.6% of total)
const: 9.0ms (0.4% of total)
ival-assert: 6.0ms (0.3% of total)
ival-atan: 4.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-asin: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

start1.0ms (0%)

Memory
2.5MiB live, 2.5MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...