Herbie run

Date:Thursday, October 3rd, 2024
Commit:6e4f2b10 on rival-256-starting-prec
Hostname:nightly with Racket 8.10
Seed:2024277
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.3min (22.8%)

Memory
712.1MiB live, 101 889.2MiB allocated
Samples
36.5s234 581×0valid
10.4s66 780×0invalid
6.5s19 190×1valid
3.3s9 946×1invalid
2.3s6 433×2valid
2.0s3 988×3valid
345.0ms1 470×1exit
44.0ms150×2invalid
25.0ms182×0exit
1.0ms4×3exit
1.0ms1×5exit
Precisions
Click to see histograms. Total time spent on operations: 46.4s
ival-mult: 11.9s (25.7% of total)
ival-div: 7.8s (16.8% of total)
ival-sub: 3.1s (6.8% of total)
ival-pow2: 2.9s (6.2% of total)
ival-add: 2.8s (6% of total)
ival-pow: 2.6s (5.6% of total)
ival-exp: 2.5s (5.4% of total)
ival-sqrt: 2.5s (5.3% of total)
ival-sin: 2.0s (4.4% of total)
adjust: 1.6s (3.4% of total)
ival-cos: 1.0s (2.2% of total)
ival-tan: 954.0ms (2.1% of total)
ival-neg: 763.0ms (1.6% of total)
ival-acos: 702.0ms (1.5% of total)
const: 506.0ms (1.1% of total)
ival-pi: 483.0ms (1% of total)
ival-hypot: 360.0ms (0.8% of total)
exact: 350.0ms (0.8% of total)
ival-log: 340.0ms (0.7% of total)
ival-true: 281.0ms (0.6% of total)
ival-atan: 199.0ms (0.4% of total)
ival-fabs: 176.0ms (0.4% of total)
ival-tanu: 173.0ms (0.4% of total)
ival-assert: 150.0ms (0.3% of total)
ival-asin: 146.0ms (0.3% of total)
ival-<: 49.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify52.5s (14.8%)

Memory
638.9MiB live, 56 914.2MiB allocated
Algorithm
286×egg-herbie
Stop Event
381×iter limit
224×node limit
62×saturated
Counts
70 908 → 70 446

soundness41.9s (11.8%)

Memory
184.6MiB live, 31 925.9MiB allocated
Stop Event
271×iter limit
182×node limit
31×fuel
1×done
Compiler

Compiled 39 749 to 21 733 computations (45.3% saved)

eval37.6s (10.6%)

Memory
416.5MiB live, 51 815.2MiB allocated
Compiler

Compiled 6 188 648 to 503 172 computations (91.9% saved)

rewrite28.2s (8%)

Memory
-76.9MiB live, 33 140.0MiB allocated
Stop Event
256×iter limit
127×node limit
Counts
2 495 → 93 914

localize25.9s (7.3%)

Memory
-53.9MiB live, 34 065.9MiB allocated
Samples
10.3s24 091×0valid
4.7s4 176×1valid
1.5s1 046×2valid
1.3s2 513×0invalid
1.2s485×3valid
238.0ms45×3exit
47.0ms78×1invalid
36.0ms23×5exit
27.0ms28×2exit
14.0ms3×4exit
8.0ms24×0exit
Compiler

Compiled 90 321 to 10 138 computations (88.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.4s
ival-mult: 3.9s (27.4% of total)
ival-div: 2.8s (19.7% of total)
ival-add: 1.4s (9.6% of total)
adjust: 956.0ms (6.7% of total)
ival-sub: 689.0ms (4.8% of total)
ival-sqrt: 687.0ms (4.8% of total)
ival-pow: 631.0ms (4.4% of total)
ival-cos: 501.0ms (3.5% of total)
ival-pow2: 424.0ms (3% of total)
ival-sin: 354.0ms (2.5% of total)
ival-log: 290.0ms (2% of total)
ival-exp: 288.0ms (2% of total)
const: 258.0ms (1.8% of total)
ival-neg: 244.0ms (1.7% of total)
ival-acos: 235.0ms (1.6% of total)
ival-asin: 152.0ms (1.1% of total)
ival-tan: 145.0ms (1% of total)
exact: 73.0ms (0.5% of total)
ival-hypot: 67.0ms (0.5% of total)
ival-atan: 62.0ms (0.4% of total)
ival-pi: 44.0ms (0.3% of total)
ival-true: 32.0ms (0.2% of total)
ival-tanu: 22.0ms (0.2% of total)
ival-tanh: 18.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival-sinh: 9.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival-cosh: 7.0ms (0% of total)

regimes22.5s (6.3%)

Memory
202.3MiB live, 31 069.7MiB allocated
Counts
12 379 → 834
Calls

156 calls:

1.2s
l
986.0ms
t
696.0ms
F
674.0ms
k
534.0ms
d
Compiler

Compiled 13 655 to 14 049 computations (-2.9% saved)

series15.7s (4.4%)

Memory
70.3MiB live, 21 009.4MiB allocated
Counts
2 495 → 70 908
Calls

1197 calls:

TimeVariablePointExpression
118.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))))) (log (sinh (* f (* 1/4 (PI)))))))) (* (/ 1 (/ (PI) 4)) (- (log (cosh (* f (* 1/4 (PI))))) (log (sinh (* f (* 1/4 (PI))))))) (* (* 1/4 (sqrt (PI))) (sqrt (PI))) (* (/ (PI) 4) f) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (* 1/4 (sqrt (PI))) (sqrt (PI))) 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)))))) (/ (/ 4 (PI)) f) (sqrt (PI)) (log (cosh (* f (* 1/4 (PI))))) (log (sinh (* f (* 1/4 (PI))))) (- (log (cosh (* f (* 1/4 (PI))))) (log (sinh (* f (* 1/4 (PI)))))) (- (exp (* (* (* 1/4 (sqrt (PI))) (sqrt (PI))) f)) (exp (neg (* (/ (PI) 4) f)))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (* 1/4 (sqrt (PI))) (sqrt (PI))) f)) (exp (neg (* (/ (PI) 4) f))))))
112.0ms
f
@0
((/ (- (* 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) (* (* (sqrt (PI)) 1/4) (sqrt (PI))) (/ (/ 4 (PI)) f) (/ 1 (* (* (sqrt (PI)) 1/4) (sqrt (PI)))) (neg (* (/ 1 (* (* (sqrt (PI)) 1/4) (sqrt (PI)))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (- (log (/ 4 (PI))) (log f)) (/ -4 (PI))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (neg (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI))))) (* (neg (sqrt (/ 1 (PI)))) (+ (log (* (PI) 1/4)) (log f))) (* (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (/ 4 (sqrt (PI)))) (/ (neg (log (tanh (* f (* 1/4 (PI)))))) (sqrt (PI))) (log (tanh (* (* (PI) 1/4) f))) (* (* (PI) 1/4) f) (* (PI) f) (/ (+ (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)))))) (log (* (PI) 1/4)))
111.0ms
d
@-inf
((* w0 (sqrt (+ (* (* (/ (neg h) l) (* (* (/ 1/2 d) M) D)) (* (* (/ 1/2 d) M) D)) 1))) (sqrt (+ (* (* (/ (neg h) l) (* (* (/ 1/2 d) M) D)) (* (* (/ 1/2 d) M) D)) 1)) (+ (* (* (/ (neg h) l) (* (* (/ 1/2 d) M) D)) (* (* (/ 1/2 d) M) D)) 1) (* (/ (neg h) l) (* (* (/ 1/2 d) M) D)) (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))) (+ (* (* (* D D) -1/8) (* (/ (* h (* M M)) l) (/ w0 (* d d)))) w0) (* (* D D) -1/8) (* D D) (* D (/ (* (* M M) D) (* (* d d) l))) (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))) (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l)))) (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))) (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))) (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l)))) (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))) (+ (* (* h -1/4) (* (* M M) (* D (/ (/ D (* d d)) l)))) 1) (* w0 (sqrt (+ (* (* (/ h l) (* D (/ (* -1/2 M) d))) (* (* (/ 1/2 d) M) D)) 1))) (sqrt (+ (* (* (/ h l) (* D (/ (* -1/2 M) d))) (* (* (/ 1/2 d) M) D)) 1)) (+ (* (* (/ h l) (* D (/ (* -1/2 M) d))) (* (* (/ 1/2 d) M) D)) 1) (* (/ h l) (* D (/ (* -1/2 M) d))) (* (* (/ 1/2 d) M) D) (* (* h M) D) (/ (/ (* (* h M) D) d) l) (* (/ (* h (* M M)) l) (/ w0 (* d d))) (/ w0 (* d d)) (/ (* (* M M) D) (* (* d d) l)) (* (* M M) D) (* (* d d) l) (* (* M M) (* D (/ (/ D (* d d)) l))) (/ D (* d d)) (/ (/ D (* d d)) l) (* D (/ (* -1/2 M) d)))
107.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 l) (* (/ (* t t) l) (sin k))) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ t l) (* (/ (* t t) l) (sin k))) (tan k)) (/ t 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)) (* (* (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) k) k) (* (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) 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) (sin k)) (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) (/ (pow t 3) k) (/ (pow (sin k) 2) l))
105.0ms
l
@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)) (* (* (* (/ t l) (* (/ (* t t) l) (sin k))) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (/ t l) (* (/ (* t t) l) (sin k))) (tan k)) (/ t 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)) (* (* (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) k) k) (* (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) 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) (sin k)) (* (/ (/ (pow (sin k) 2) l) (* l (cos k))) (+ (* 2 (/ (/ (pow t 3) k) k)) t)) (/ (pow t 3) k) (/ (pow (sin k) 2) l))

prune13.3s (3.7%)

Memory
-775.9MiB live, 22 449.1MiB allocated
Counts
193 455 → 3 311
Compiler

Compiled 153 334 to 93 339 computations (39.1% saved)

preprocess11.7s (3.3%)

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

Compiled 56 547 to 20 711 computations (63.4% saved)

analyze9.7s (2.7%)

Memory
-160.6MiB live, 12 720.2MiB 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
36.1%32.5%57.6%1.8%0%8.2%0%5
40.4%36.3%53.6%1.8%0%8.3%0%6
45.7%40.8%48.4%1.8%0%9.1%0%7
48.2%42.3%45.5%1.8%0%10.5%0%8
51.3%44.8%42.6%1.8%0%10.8%0%9
52.4%45.7%41.5%1.8%0%11.1%0%10
54.2%46.9%39.6%1.8%0%11.7%0%11
55.9%48.1%37.9%1.8%0%12.3%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

explain9.3s (2.6%)

Memory
-350.3MiB live, 12 669.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4700
-.f64#fcancellation4661
cos.f64#fsensitivity4031
+.f64#fnan-rescue2600
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))))sensitivity2560
*.f64#fn*o2320
pow.f64#foflow-rescue1480
sqrt.f64#fuflow-rescue1350
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
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1180
*.f64#fu*o1160
-.f64#fnan-rescue1140
/.f64#fo/o860
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8229
*.f64#fn*u690
+.f64#fcancellation640
/.f64#fo/n580
pow.f64#fuflow-rescue550
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue500
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow50
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow50
↳(*.f64 K (+.f64 m n))overflow50
/.f64#fu/u490
*.f64#fo*u480
/.f64#fn/o300
/.f64#fn/u290
/.f64#fu/n160
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))))))sensitivity140
exp.f64#fsensitivity42
Confusion
Predicted +Predicted -
+192432
-11195117
Precision
0.6322707854091357
Recall
0.983640081799591
Confusion?
Predicted +Predicted MaybePredicted -
+1924230
-1119295088
Precision?
0.6265452179570592
Recall?
0.9846625766871165
Freqs
test
numberfreq
05149
12636
2363
339
45
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-106
Precision?
0.9615384615384616
Recall?
1.0
Samples
2.3s14 082×0valid
656.0ms1 656×1valid
160.0ms204×3valid
146.0ms432×2valid
6.0ms10×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 510.0ms (23.1% of total)
ival-div: 280.0ms (12.7% of total)
ival-sin: 171.0ms (7.8% of total)
ival-sub: 168.0ms (7.6% of total)
ival-pow: 126.0ms (5.7% of total)
ival-sqrt: 119.0ms (5.4% of total)
ival-add: 118.0ms (5.4% of total)
ival-exp: 116.0ms (5.3% of total)
ival-pow2: 104.0ms (4.7% of total)
ival-cos: 92.0ms (4.2% of total)
adjust: 87.0ms (3.9% of total)
ival-log: 59.0ms (2.7% of total)
ival-tan: 52.0ms (2.4% of total)
ival-acos: 46.0ms (2.1% of total)
ival-neg: 30.0ms (1.4% of total)
exact: 20.0ms (0.9% of total)
ival-hypot: 19.0ms (0.9% of total)
const: 19.0ms (0.9% of total)
ival-true: 17.0ms (0.8% of total)
ival-pi: 13.0ms (0.6% of total)
ival-tanu: 11.0ms (0.5% of total)
ival-atan: 9.0ms (0.4% of total)
ival-assert: 8.0ms (0.4% of total)
ival-asin: 6.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)

bsearch5.3s (1.5%)

Memory
-18.9MiB live, 6 538.7MiB allocated
Algorithm
226×left-value
226×binary-search
Stop Event
217×narrow-enough
9×predicate-same
Samples
2.7s15 742×0valid
347.0ms2 211×0invalid
78.0ms323×1valid
65.0ms143×2valid
9.0ms46×1invalid
Compiler

Compiled 55 801 to 54 099 computations (3.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-div: 471.0ms (19.5% of total)
ival-mult: 409.0ms (17% of total)
ival-sin: 241.0ms (10% of total)
ival-pow: 234.0ms (9.7% of total)
ival-add: 210.0ms (8.7% of total)
ival-tan: 198.0ms (8.2% of total)
ival-sub: 163.0ms (6.8% of total)
ival-exp: 108.0ms (4.5% of total)
ival-pow2: 81.0ms (3.4% of total)
ival-neg: 73.0ms (3% of total)
ival-cos: 64.0ms (2.7% of total)
ival-sqrt: 42.0ms (1.7% of total)
adjust: 41.0ms (1.7% of total)
exact: 18.0ms (0.7% of total)
ival-true: 15.0ms (0.6% of total)
const: 13.0ms (0.5% of total)
ival-atan: 12.0ms (0.5% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-asin: 2.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

start1.0ms (0%)

Memory
2.8MiB live, 2.7MiB allocated

end0.0ms (0%)

Memory
0.4MiB live, 0.3MiB allocated

Profiling

Loading profile data...