Herbie run

Date:Friday, August 23rd, 2024
Commit:10def3ea on faster-localize
Hostname:nightly with Racket 8.11.1
Seed:2024236
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: 6.4min)

sample1.3min (20.9%)

Memory
590.8MiB live, 94 640.0MiB allocated
Samples
30.3s221 431×0valid
11.1s26 902×1valid
9.2s65 873×0invalid
3.9s9 744×2valid
3.5s12 455×1invalid
2.2s6 113×3valid
417.0ms1 890×1exit
207.0ms524×2invalid
30.0ms223×0exit
1.0ms2×4valid
1.0ms2×4exit
1.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 47.0s
ival-mult: 11.2s (23.8% of total)
ival-div: 7.4s (15.7% of total)
ival-tan: 4.3s (9.1% of total)
ival-sub: 3.2s (6.9% of total)
ival-add: 3.1s (6.5% of total)
ival-pow2: 2.5s (5.4% of total)
ival-sqrt: 2.2s (4.7% of total)
adjust: 2.2s (4.6% of total)
ival-pow: 2.0s (4.2% of total)
ival-sin: 1.9s (4% of total)
ival-exp: 1.7s (3.6% of total)
ival-acos: 842.0ms (1.8% of total)
ival-cos: 801.0ms (1.7% of total)
ival-pi: 671.0ms (1.4% of total)
ival-hypot: 625.0ms (1.3% of total)
ival-neg: 503.0ms (1.1% of total)
const: 473.0ms (1% of total)
ival-log: 373.0ms (0.8% of total)
exact: 304.0ms (0.6% of total)
ival-true: 239.0ms (0.5% of total)
ival-asin: 166.0ms (0.4% of total)
ival-assert: 140.0ms (0.3% of total)
ival-fabs: 106.0ms (0.2% of total)
ival-atan: 102.0ms (0.2% of total)
ival-<: 38.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify53.2s (13.9%)

Memory
-308.8MiB live, 56 850.3MiB allocated
Algorithm
288×egg-herbie
Rules
2 400 320×lower-fma.f32
2 399 686×lower-fma.f64
1 286 126×lower-*.f32
1 283 628×lower-*.f64
676 330×lower-+.f32
Stop Event
384×iter limit
225×node limit
63×saturated
Counts
71 244 → 70 740

soundness43.3s (11.3%)

Memory
34.7MiB live, 32 732.5MiB allocated
Rules
1 501 364×lower-fma.f32
1 500 988×lower-fma.f64
1 002 826×lower-*.f32
1 001 138×lower-*.f64
490 480×lower-+.f32
Stop Event
274×iter limit
182×node limit
30×fuel
2×done
Compiler

Compiled 46 703 to 20 474 computations (56.2% saved)

prune40.6s (10.6%)

Memory
-1 081.7MiB live, 59 482.0MiB allocated
Counts
190 219 → 3 551
Compiler

Compiled 191 282 to 91 952 computations (51.9% saved)

eval33.9s (8.8%)

Memory
1 021.2MiB live, 49 160.2MiB allocated
Compiler

Compiled 6 882 422 to 441 721 computations (93.6% saved)

rewrite30.9s (8.1%)

Memory
-158.3MiB live, 37 612.7MiB allocated
Rules
586 034×lower-fma.f32
585 400×lower-fma.f64
561 826×lower-*.f32
559 354×lower-*.f64
446 416×lower-/.f32
Stop Event
264×iter limit
128×node limit
Counts
2 529 → 91 809

localize30.5s (8%)

Memory
203.7MiB live, 39 780.4MiB allocated
Samples
8.1s22 185×0valid
5.4s342×3exit
4.8s4 658×1valid
3.6s2 593×2valid
1.2s723×3valid
965.0ms1 971×0invalid
116.0ms170×0exit
115.0ms30×5exit
46.0ms62×1invalid
36.0ms34×2invalid
Compiler

Compiled 50 554 to 5 574 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.5s
ival-mult: 4.5s (22.9% of total)
ival-tan: 4.3s (22.3% of total)
ival-div: 2.3s (11.9% of total)
ival-add: 1.3s (6.6% of total)
ival-sin: 1.3s (6.4% of total)
adjust: 1.1s (5.9% of total)
ival-cos: 901.0ms (4.6% of total)
ival-sqrt: 710.0ms (3.6% of total)
ival-sub: 690.0ms (3.5% of total)
ival-pow: 356.0ms (1.8% of total)
ival-pow2: 328.0ms (1.7% of total)
ival-acos: 298.0ms (1.5% of total)
ival-exp: 260.0ms (1.3% of total)
ival-log: 227.0ms (1.2% of total)
ival-asin: 214.0ms (1.1% of total)
const: 206.0ms (1.1% of total)
ival-neg: 173.0ms (0.9% of total)
ival-hypot: 79.0ms (0.4% of total)
ival-pi: 65.0ms (0.3% of total)
exact: 60.0ms (0.3% of total)
ival-atan: 30.0ms (0.2% of total)
ival-true: 27.0ms (0.1% of total)
ival-tanh: 24.0ms (0.1% of total)
ival-assert: 15.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-sinh: 8.0ms (0% of total)
ival-cosh: 5.0ms (0% of total)

regimes22.4s (5.8%)

Memory
-32.7MiB live, 32 111.6MiB allocated
Counts
13 437 → 852
Calls

156 calls:

1.0s
l
923.0ms
t
663.0ms
k
570.0ms
M
431.0ms
(/.f64 (sin.f64 ky) (sqrt.f64 (+.f64 (pow.f64 (sin.f64 kx) #s(literal 2 binary64)) (pow.f64 (sin.f64 ky) #s(literal 2 binary64)))))
Compiler

Compiled 19 962 to 13 742 computations (31.2% saved)

series14.8s (3.9%)

Memory
151.1MiB live, 20 008.3MiB allocated
Counts
2 529 → 71 244
Calls

1200 calls:

TimeVariablePointExpression
133.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)) (/ 2 (* (* 1/2 (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)))))))) (* (/ 4 (PI)) (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (PI)) (PI) (/ (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (sqrt (PI))) (neg (/ (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (sqrt (PI)))) (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (neg (log (tanh (* f (* 1/4 (PI)))))) (- (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI)))) (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* (cosh (* f (* 1/4 (PI)))) 2) (/ (+ (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/2 (PI)) f) (sqrt (PI)) (log (* (sinh (* f (* 1/4 (PI)))) 2)) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))))
114.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)) (/ 2 (* (* 1/2 (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)))))))) (* (/ 4 (PI)) (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (PI)) (PI) (/ (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (sqrt (PI))) (neg (/ (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (sqrt (PI)))) (* (neg (log (tanh (* f (* 1/4 (PI)))))) (/ 4 (sqrt (PI)))) (neg (log (tanh (* f (* 1/4 (PI)))))) (- (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI)))) (/ (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))) (log (* (cosh (* f (* 1/4 (PI)))) 2)) (* (cosh (* f (* 1/4 (PI)))) 2) (/ (+ (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/2 (PI)) f) (sqrt (PI)) (log (* (sinh (* f (* 1/4 (PI)))) 2)) (/ (log (* (sinh (* f (* 1/4 (PI)))) 2)) (* -1/4 (PI))))
106.0ms
ky
@0
((pow (/ (* 2 l) Om) 2) (/ 1 2) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))) (pow (sin ky) 2) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))
94.0ms
t
@0
((exp (- (* (log t) 3) (* (log l) 2))) (pow (/ k t) 2) (/ 2 (* (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (+ (+ 1 (pow (/ k t) 2)) 1) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (/ (* l l) (* (* (* k k) t) (* t t))) (* l l) (* (* (* k k) t) (* t t)) (/ 2 (* t (* (* t (/ t (* l l))) (* (* (tan k) (sin k)) (+ (/ (* k k) (* t t)) 2))))) (+ (/ (* k k) (* t t)) 2) (* t (* (* t (/ t (* l l))) (* (* (tan k) (sin k)) (+ (/ (* k k) (* t t)) 2)))) (* (* t (/ t (* l l))) (* (* (tan k) (sin k)) (+ (/ (* k k) (* t t)) 2))) (/ 2 (* (* (* t t) (/ t l)) (* (/ (sin k) l) (* (+ (/ (* k k) (* t t)) 2) (tan k))))) (* (* (* t t) (/ t l)) (* (/ (sin k) l) (* (+ (/ (* k k) (* t t)) 2) (tan k)))) (* (* t t) (/ 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)) (* (* (* k k) t) (/ (pow (sin k) 2) (* (* (cos k) l) l))) (* (* k k) t) (* (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)) (* (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (tan k)) (* (exp (- (* (log t) 3) (* (log l) 2))) (sin k)) (/ (* k k) (* t t)) (/ t (* l l)) (* t (/ t (* l l))) (* (/ (sin k) l) (* (+ (/ (* k k) (* t t)) 2) (tan k))) (/ (pow (sin k) 2) (* (* (cos k) l) l)))
91.0ms
h
@-inf
((* w0 (sqrt (+ (* (* (* (/ 1/2 d) M) D) (/ (* (* D 1/2) (* (/ M d) h)) (neg l))) 1))) (sqrt (+ (* (* (* (/ 1/2 d) M) D) (/ (* (* D 1/2) (* (/ M d) h)) (neg l))) 1)) (+ (* (* (* (/ 1/2 d) M) D) (/ (* (* D 1/2) (* (/ M d) h)) (neg l))) 1) (* (* (/ 1/2 d) M) D) (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))) (+ (* (* (* D D) -1/8) (/ (* (* h (* M M)) w0) (* l (* d d)))) w0) (* (* -1/8 (* D D)) (/ (* (* h (* M M)) w0) (* l (* d d)))) (* -1/8 (* D D)) (+ (* (* (* (* -1/8 (* D D)) w0) (* (* M M) h)) (/ 1 (* (* d d) l))) w0) (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))) (* (* (* -1/8 (* D D)) w0) (* (* M M) h)) (* (* -1/8 (* D D)) w0) (/ (/ (* w0 (/ (* (* M M) h) l)) d) d) (/ (* w0 (/ (* (* M M) h) l)) d) (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))) (+ (* (* (* D D) -1/8) (/ (/ (* w0 (/ (* (* M M) h) l)) d) d)) w0) (* w0 (sqrt (+ (* (* (/ (neg h) l) (* (/ D d) (* (* M M) 1/4))) (/ D d)) 1))) (sqrt (+ (* (* (/ (neg h) l) (* (/ D d) (* (* M M) 1/4))) (/ D d)) 1)) (+ (* (* (/ (neg h) l) (* (/ D d) (* (* M M) 1/4))) (/ D d)) 1) (* (/ (neg h) l) (* (/ D d) (* (* M M) 1/4))) (/ (* -1/2 (* (* h M) D)) (* l d)) (* (* h M) D) (/ (* (* h (* M M)) w0) (* l (* d d))) (* (* M M) h) (/ (* (* M M) h) l) (/ (* -1/4 (* (* h (* M M)) D)) (* l d)) (* h (* M M)) (* (* h (* M M)) D))

preprocess10.5s (2.7%)

Memory
-22.0MiB live, 11 624.9MiB 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 54 063 to 15 923 computations (70.5% saved)

explain10.2s (2.7%)

Memory
-127.6MiB live, 12 652.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4630
sqrt.f64#foflow-rescue4520
cos.f64#fsensitivity3921
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*o2420
+.f64#fnan-rescue2270
sqrt.f64#fuflow-rescue1650
pow.f64#foflow-rescue1510
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)))))))sensitivity1321
*.f64#fu*o1300
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1221
-.f64#fnan-rescue1170
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8922
/.f64#fo/o840
*.f64#fn*u670
+.f64#fcancellation610
*.f64#fo*u560
pow.f64#fuflow-rescue530
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue520
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow52
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow52
↳(*.f64 K (+.f64 m n))overflow52
/.f64#fo/n490
/.f64#fu/u420
/.f64#fn/o370
/.f64#fn/u270
/.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))))))sensitivity70
exp.f64(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))sensitivity10
Confusion
Predicted +Predicted -
+192426
-11255117
Precision
0.6310265660872417
Recall
0.9866666666666667
Confusion?
Predicted +Predicted MaybePredicted -
+1924125
-1125245093
Precision?
0.6262199089134678
Recall?
0.9871794871794872
Freqs
test
numberfreq
05143
12670
2326
352
41
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-106
Precision?
0.9615384615384616
Recall?
1.0
Samples
2.0s13 120×0valid
804.0ms2 116×1valid
545.0ms782×2valid
200.0ms354×3valid
10.0ms12×5exit
Compiler

Compiled 7 669 to 1 655 computations (78.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 543.0ms (20.9% of total)
ival-div: 348.0ms (13.4% of total)
ival-tan: 323.0ms (12.4% of total)
ival-sub: 198.0ms (7.6% of total)
ival-add: 190.0ms (7.3% of total)
ival-pow2: 134.0ms (5.2% of total)
ival-sin: 131.0ms (5% of total)
adjust: 121.0ms (4.7% of total)
ival-pow: 119.0ms (4.6% of total)
ival-sqrt: 110.0ms (4.2% of total)
ival-exp: 110.0ms (4.2% of total)
ival-neg: 61.0ms (2.3% of total)
ival-cos: 55.0ms (2.1% of total)
ival-acos: 26.0ms (1% of total)
ival-hypot: 23.0ms (0.9% of total)
ival-pi: 17.0ms (0.7% of total)
exact: 17.0ms (0.7% of total)
ival-log: 16.0ms (0.6% of total)
ival-true: 15.0ms (0.6% of total)
ival-asin: 10.0ms (0.4% of total)
const: 8.0ms (0.3% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)

analyze8.8s (2.3%)

Memory
28.2MiB live, 12 168.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)

bsearch4.1s (1.1%)

Memory
26.5MiB live, 4 958.5MiB allocated
Algorithm
282×left-value
183×binary-search
Stop Event
171×narrow-enough
12×predicate-same
Samples
1.9s12 624×0valid
405.0ms2 598×0invalid
119.0ms535×1valid
55.0ms206×2valid
29.0ms116×1invalid
21.0ms59×3valid
3.0ms9×2invalid
1.0ms2×5exit
Compiler

Compiled 56 818 to 37 064 computations (34.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 431.0ms (23.3% of total)
ival-div: 287.0ms (15.5% of total)
ival-sub: 187.0ms (10.1% of total)
ival-add: 185.0ms (10% of total)
ival-pow: 182.0ms (9.8% of total)
ival-tan: 123.0ms (6.6% of total)
ival-sin: 116.0ms (6.3% of total)
ival-pow2: 100.0ms (5.4% of total)
ival-neg: 39.0ms (2.1% of total)
ival-sqrt: 39.0ms (2.1% of total)
adjust: 38.0ms (2.1% of total)
ival-exp: 31.0ms (1.7% of total)
ival-fabs: 31.0ms (1.7% of total)
exact: 14.0ms (0.8% of total)
ival-cos: 13.0ms (0.7% of total)
ival-true: 11.0ms (0.6% of total)
const: 8.0ms (0.4% of total)
ival-assert: 7.0ms (0.4% of total)
ival-atan: 4.0ms (0.2% of total)
ival-asin: 3.0ms (0.2% of total)

start1.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated

Profiling

Loading profile data...