Herbie run

Date:Thursday, September 26th, 2024
Commit:029b8eff on dump-egraph
Hostname:nightly with Racket 8.10
Seed:2024270
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: 5.9min)

sample1.4min (23.4%)

Memory
1 126.0MiB live, 102 909.1MiB allocated
Samples
33.7s225 383×0valid
9.8s65 867×0invalid
7.4s23 036×1valid
4.2s12 567×1invalid
3.2s9 607×2valid
3.0s6 161×3valid
378.0ms1 861×1exit
146.0ms514×2invalid
44.0ms240×0exit
2.0ms5×4valid
Precisions
Click to see histograms. Total time spent on operations: 47.3s
ival-mult: 12.5s (26.4% of total)
ival-div: 7.4s (15.7% of total)
ival-sub: 3.5s (7.4% of total)
ival-add: 3.1s (6.6% of total)
ival-sqrt: 2.7s (5.7% of total)
ival-pow2: 2.6s (5.6% of total)
adjust: 2.3s (4.8% of total)
ival-pow: 2.2s (4.7% of total)
ival-exp: 2.1s (4.5% of total)
ival-sin: 1.9s (4% of total)
ival-cos: 993.0ms (2.1% of total)
ival-tan: 924.0ms (2% of total)
ival-acos: 710.0ms (1.5% of total)
ival-log: 659.0ms (1.4% of total)
ival-neg: 624.0ms (1.3% of total)
const: 559.0ms (1.2% of total)
ival-pi: 539.0ms (1.1% of total)
ival-hypot: 431.0ms (0.9% of total)
exact: 365.0ms (0.8% of total)
ival-true: 275.0ms (0.6% of total)
ival-asin: 201.0ms (0.4% of total)
ival-tanu: 181.0ms (0.4% of total)
ival-fabs: 154.0ms (0.3% of total)
ival-assert: 152.0ms (0.3% of total)
ival-<: 78.0ms (0.2% of total)
ival-atan: 75.0ms (0.2% of total)
ival-and: 12.0ms (0% of total)
Bogosity

simplify53.1s (15.1%)

Memory
965.3MiB live, 58 329.3MiB allocated
Algorithm
288×egg-herbie
Stop Event
384×iter limit
222×node limit
66×saturated
Counts
70 908 → 70 438

soundness43.8s (12.4%)

Memory
167.7MiB live, 31 902.6MiB allocated
Stop Event
269×iter limit
185×node limit
32×fuel
Compiler

Compiled 39 655 to 21 761 computations (45.1% saved)

eval35.9s (10.2%)

Memory
460.2MiB live, 51 099.7MiB allocated
Compiler

Compiled 5 968 538 to 477 698 computations (92% saved)

rewrite27.1s (7.7%)

Memory
374.5MiB live, 32 421.4MiB allocated
Stop Event
259×iter limit
128×node limit
Counts
2 512 → 92 617

localize24.9s (7%)

Memory
-579.5MiB live, 32 937.8MiB allocated
Samples
10.1s24 174×0valid
4.0s3 959×1valid
1.8s1 405×2valid
1.0s584×3valid
975.0ms1 975×0invalid
593.0ms165×5exit
188.0ms480×0exit
14.0ms9×2exit
9.0ms9×1exit
8.0ms5×3exit
3.0ms3×4valid
Compiler

Compiled 47 709 to 5 508 computations (88.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.3s
ival-mult: 3.8s (28.1% of total)
ival-div: 2.3s (16.9% of total)
ival-add: 1.2s (9.1% of total)
ival-sqrt: 853.0ms (6.4% of total)
ival-pow: 781.0ms (5.9% of total)
ival-cos: 744.0ms (5.6% of total)
adjust: 729.0ms (5.5% of total)
ival-sub: 457.0ms (3.4% of total)
ival-sin: 396.0ms (3% of total)
ival-pow2: 368.0ms (2.8% of total)
const: 274.0ms (2.1% of total)
ival-asin: 266.0ms (2% of total)
ival-exp: 262.0ms (2% of total)
ival-neg: 184.0ms (1.4% of total)
ival-acos: 159.0ms (1.2% of total)
ival-tan: 110.0ms (0.8% of total)
ival-log: 105.0ms (0.8% of total)
exact: 85.0ms (0.6% of total)
ival-hypot: 81.0ms (0.6% of total)
ival-pi: 70.0ms (0.5% of total)
ival-atan: 36.0ms (0.3% of total)
ival-cosh: 33.0ms (0.2% of total)
ival-true: 30.0ms (0.2% of total)
ival-tanu: 26.0ms (0.2% of total)
ival-assert: 15.0ms (0.1% of total)
ival-tanh: 14.0ms (0.1% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-cbrt: 11.0ms (0.1% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-log1p: 5.0ms (0% of total)

regimes22.6s (6.4%)

Memory
-238.5MiB live, 30 455.5MiB allocated
Counts
11 599 → 780
Calls

156 calls:

2.0s
l
633.0ms
k
619.0ms
d
489.0ms
h
480.0ms
x
Compiler

Compiled 13 660 to 13 911 computations (-1.8% saved)

series14.6s (4.1%)

Memory
342.0MiB live, 19 913.5MiB allocated
Counts
2 512 → 70 908
Calls

1200 calls:

TimeVariablePointExpression
106.0ms
f
@-inf
((/ (- (* 0 (PI)) (* (* -1/4 (PI)) (* (log (tanh (* (* (PI) 1/4) f))) -4))) (* (* -1/4 (PI)) (PI))) (* (* -1/4 (PI)) (* (log (tanh (* (* (PI) 1/4) f))) -4)) (* 0 (PI)) (- (* 0 (PI)) (* (* -1/4 (PI)) (* (log (tanh (* (* (PI) 1/4) f))) -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) (/ 1 (/ 1 (log (/ (/ 4 (PI)) f)))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ 1 (log (/ (/ 4 (PI)) f)))) (/ -4 (PI))) (/ 1 (log (/ (/ 4 (PI)) f))) (* (/ 2 (sqrt (PI))) (/ 2 (sqrt (PI)))) (neg (* (* (/ 2 (sqrt (PI))) (/ 2 (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (* (/ 2 (sqrt (PI))) (/ 2 (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 2 (sqrt (PI))) (* (- (neg (log (* (PI) 1/4))) (log f)) (/ -4 (PI))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (- (neg (log (* (PI) 1/4))) (log f)) (neg (log (* (PI) 1/4))) (* (* (PI) 1/4) f) (log (tanh (* (* (PI) 1/4) f))) (* (PI) f) (/ (/ 4 (PI)) f) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (sqrt (PI)) (log (* (PI) 1/4)))
101.0ms
n
@0
((/ (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)) (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2)) (pow (* (* (PI) 2) n) (+ (* -1/2 k) 1/2)) (* (* (PI) 2) n) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (sqrt (* (/ (* (PI) n) k) 2)) (* (/ (* (PI) n) k) 2) (/ (* (PI) n) k) (/ 1 (/ (sqrt k) (sqrt (* (* (PI) 2) n)))) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ (sqrt k) (sqrt (* (* (PI) 2) n))) (sqrt k) (/ (sqrt (* n 2)) 1) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (* (/ (sqrt (PI)) (sqrt k)) (/ (sqrt (* n 2)) 1)) (/ (sqrt (PI)) (sqrt k)) (/ (pow (sqrt (* (* (PI) 2) n)) (- 1 k)) (sqrt k)) (pow (sqrt (* (* (PI) 2) n)) (- 1 k)) (sqrt (* (* (PI) 2) n)) (* (PI) n) (sqrt (PI)))
100.0ms
t
@-inf
((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)) (pow t 3) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (* (* k k) (/ 1 (* t t))) 2)) (/ 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)) (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* (pow t 3) 2) (* t (* k k)))) (/ (pow (sin k) 2) l) (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (/ (pow t 3) l) (/ (/ (pow t 3) l) l) (+ (+ 1 (pow (/ k t) 2)) 1) (/ (pow t 3) (* l l)) (+ (* (* k k) (/ 1 (* t t))) 2) (* t (* k k)) (/ (/ (pow (sin k) 2) l) (* l (cos k))))
83.0ms
l
@inf
((* (/ (sin k) (* (cos k) l)) (/ (sin k) l)) (/ 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)) (* (* (/ (sin k) (* (cos k) l)) (/ (sin k) l)) (+ (* (pow t 3) 2) (* t (* k k)))) (* (* 2 (* k k)) (* t (/ (* t t) (* l l)))) (/ 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)) (/ 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)) (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* (pow t 3) 2) (* t (* k k)))) (/ (/ (pow (sin k) 2) l) (* l (cos k))) (/ (/ (/ (cos k) t) (pow (sin k) 2)) (* k k)) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* (* 2 (* l l)) (/ (/ (/ (cos k) t) (pow (sin k) 2)) (* k k))) (* 2 (* l l)) (exp (+ (* -2 (log l)) (* 3 (log t)))) (* (exp (+ (* -2 (log l)) (* 3 (log t)))) (sin k)) (* (* (* (exp (+ (* -2 (log l)) (* 3 (log t)))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (exp (+ (* -2 (log l)) (* 3 (log t)))) (sin k)) (tan k)) (* t (* k k)) (/ (* t t) (* l l)) (* t (/ (* t t) (* l l))) (/ (* k k) l) (/ (/ (cos k) t) (pow (sin k) 2)) (+ (+ 1 (pow (/ k t) 2)) 1))
80.0ms
ky
@inf
((exp (* (log (+ 1 (/ 4 (pow (/ Om (* l (sin ky))) 2)))) -1/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)))))))) (+ (* (exp (* (log (+ 1 (/ 4 (pow (/ Om (* l (sin ky))) 2)))) -1/2)) 1/2) 1/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 ky) 2) Om) (/ (* l l) Om)) 4) 1))) 1/2) 1/2) (+ (* (/ Om (* (sin ky) l)) 1/4) 1/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)))))))) (+ (/ 1/2 (sqrt (+ (* (* (* (/ l Om) l) 4) (/ (pow (sin ky) 2) Om)) 1))) 1/2) (/ 1/2 (sqrt (+ (* (* (* (/ l Om) l) 4) (/ (pow (sin ky) 2) Om)) 1))) (* (+ (* (+ (* 2/45 (/ (* ky ky) Om)) (/ -1/3 Om)) (* ky ky)) (/ 1 Om)) (* ky ky)) (+ (* (+ (* 2/45 (/ (* ky ky) Om)) (/ -1/3 Om)) (* ky ky)) (/ 1 Om)) (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)))))))) (/ (/ Om (sin ky)) l) (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) (log (+ 1 (/ 4 (pow (/ Om (* l (sin ky))) 2)))) (/ Om (* l (sin ky))) (/ 4 (pow (/ Om (* l (sin ky))) 2)) (* (sin ky) l) (/ Om (* (sin ky) l)) (/ (pow (sin ky) 2) Om) (sqrt (+ (* (* (* (/ l Om) l) 4) (/ (pow (sin ky) 2) Om)) 1)) (/ (* ky ky) Om) (+ (* (* (* (/ l Om) l) 4) (/ (pow (sin ky) 2) Om)) 1) (/ (pow (sin ky) 2) Om) (sqrt (/ 1 (+ (* (* (/ (pow (sin ky) 2) Om) (* (/ l Om) l)) 4) 1))) (* (/ (pow (sin ky) 2) Om) (* (/ l Om) l)) (/ Om (sin ky)))

prune13.1s (3.7%)

Memory
-1 140.4MiB live, 22 474.5MiB allocated
Counts
191 391 → 3 352
Compiler

Compiled 158 188 to 97 566 computations (38.3% saved)

preprocess10.9s (3.1%)

Memory
-178.1MiB live, 12 010.6MiB allocated
Algorithm
32×egg-herbie
Stop Event
64×iter limit
41×node limit
23×saturated
Compiler

Compiled 48 563 to 16 361 computations (66.3% saved)

explain10.1s (2.9%)

Memory
-275.2MiB live, 13 321.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4531
sqrt.f64#foflow-rescue4520
cos.f64#fsensitivity4191
+.f64#fnan-rescue2650
*.f64#fn*o2610
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))))sensitivity2520
sqrt.f64#fuflow-rescue1560
pow.f64#foflow-rescue1440
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)))))))sensitivity1330
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1230
*.f64#fu*o1090
-.f64#fnan-rescue1060
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9328
/.f64#fo/o900
+.f64#fcancellation720
pow.f64#fuflow-rescue650
*.f64#fn*u620
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue580
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow58
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow58
↳(*.f64 K (+.f64 m n))overflow58
/.f64#fo/n560
*.f64#fo*u540
/.f64#fu/u440
/.f64#fn/o380
/.f64#fn/u270
/.f64#fu/n210
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))))))sensitivity41
Confusion
Predicted +Predicted -
+195042
-11535047
Precision
0.6284241057041573
Recall
0.9789156626506024
Confusion?
Predicted +Predicted MaybePredicted -
+1950141
-1153305017
Precision?
0.6225271218889598
Recall?
0.9794176706827309
Freqs
test
numberfreq
05089
12700
2359
338
45
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
2.2s13 360×0valid
1.1s1 934×1valid
286.0ms718×2valid
143.0ms356×3valid
8.0ms16×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-div: 629.0ms (24% of total)
ival-mult: 507.0ms (19.4% of total)
adjust: 224.0ms (8.6% of total)
ival-sub: 202.0ms (7.7% of total)
ival-add: 143.0ms (5.5% of total)
ival-sqrt: 139.0ms (5.3% of total)
ival-sin: 127.0ms (4.9% of total)
ival-exp: 122.0ms (4.7% of total)
ival-pow2: 111.0ms (4.2% of total)
ival-cos: 82.0ms (3.1% of total)
ival-pow: 77.0ms (2.9% of total)
ival-tan: 47.0ms (1.8% of total)
ival-acos: 34.0ms (1.3% of total)
ival-neg: 26.0ms (1% of total)
ival-hypot: 26.0ms (1% of total)
exact: 20.0ms (0.8% of total)
ival-true: 16.0ms (0.6% of total)
const: 14.0ms (0.5% of total)
ival-log: 13.0ms (0.5% of total)
ival-pi: 12.0ms (0.5% of total)
ival-tanu: 11.0ms (0.4% of total)
ival-fabs: 11.0ms (0.4% of total)
ival-asin: 9.0ms (0.3% of total)
ival-assert: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)

analyze9.0s (2.5%)

Memory
223.2MiB live, 12 882.7MiB 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)

bsearch5.3s (1.5%)

Memory
-198.8MiB live, 7 083.0MiB allocated
Algorithm
216×left-value
199×binary-search
Stop Event
181×narrow-enough
18×predicate-same
Samples
2.4s14 136×0valid
553.0ms3 605×0invalid
103.0ms270×1valid
53.0ms136×2valid
13.0ms34×3valid
5.0ms26×1invalid
Compiler

Compiled 49 084 to 48 232 computations (1.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 622.0ms (26.9% of total)
ival-div: 448.0ms (19.4% of total)
ival-pow: 288.0ms (12.5% of total)
ival-add: 186.0ms (8.1% of total)
ival-sub: 135.0ms (5.8% of total)
ival-tan: 127.0ms (5.5% of total)
ival-sin: 127.0ms (5.5% of total)
ival-pow2: 118.0ms (5.1% of total)
ival-sqrt: 62.0ms (2.7% of total)
ival-neg: 54.0ms (2.3% of total)
ival-exp: 40.0ms (1.7% of total)
adjust: 33.0ms (1.4% of total)
exact: 18.0ms (0.8% of total)
ival-true: 15.0ms (0.6% of total)
ival-cos: 12.0ms (0.5% of total)
const: 9.0ms (0.4% of total)
ival-assert: 8.0ms (0.3% of total)
ival-atan: 4.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-pi: 0.0ms (0% of total)

start1.0ms (0%)

Memory
3.0MiB live, 3.0MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.4MiB allocated

Profiling

Loading profile data...