Herbie run

Date:Thursday, September 5th, 2024
Commit:9205cc88 on zane-concrete-values
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: 6.2min)

sample1.4min (22.1%)

Memory
589.1MiB live, 99 525.2MiB allocated
Samples
30.4s221 786×0valid
10.8s26 565×1valid
10.2s65 580×0invalid
3.5s9 684×2valid
3.4s12 381×1invalid
2.4s6 153×3valid
391.0ms1 798×1exit
193.0ms566×2invalid
74.0ms248×0exit
1.0ms4×4valid
1.0ms3×4exit
1.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 47.6s
ival-mult: 11.7s (24.6% of total)
ival-div: 7.1s (14.9% of total)
ival-tan: 4.1s (8.6% of total)
ival-sub: 3.6s (7.5% of total)
ival-pow2: 2.6s (5.5% of total)
ival-sqrt: 2.5s (5.2% of total)
ival-add: 2.4s (5.1% of total)
adjust: 2.2s (4.5% of total)
ival-pow: 2.1s (4.4% of total)
ival-sin: 2.0s (4.3% of total)
ival-exp: 1.8s (3.8% of total)
ival-cos: 910.0ms (1.9% of total)
ival-hypot: 760.0ms (1.6% of total)
ival-neg: 699.0ms (1.5% of total)
ival-acos: 682.0ms (1.4% of total)
const: 487.0ms (1% of total)
ival-pi: 449.0ms (0.9% of total)
ival-log: 338.0ms (0.7% of total)
exact: 331.0ms (0.7% of total)
ival-true: 249.0ms (0.5% of total)
ival-asin: 189.0ms (0.4% of total)
ival-assert: 134.0ms (0.3% of total)
ival-fabs: 119.0ms (0.2% of total)
ival-atan: 87.0ms (0.2% of total)
ival-<: 52.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify54.3s (14.7%)

Memory
789.4MiB live, 57 140.1MiB 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.0s (11.9%)

Memory
340.8MiB live, 36 724.8MiB allocated
Rules
1 633 000×lower-fma.f32
1 632 508×lower-fma.f64
1 087 272×lower-*.f32
1 085 568×lower-*.f64
526 388×lower-/.f32
Stop Event
293×iter limit
194×node limit
31×fuel
1×done
Compiler

Compiled 38 749 to 21 352 computations (44.9% saved)

eval38.2s (10.3%)

Memory
717.2MiB live, 52 509.3MiB allocated
Compiler

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

rewrite32.2s (8.7%)

Memory
-273.2MiB live, 37 244.1MiB 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 (7.9%)

Memory
-781.0MiB live, 35 350.4MiB allocated
Samples
10.0s24 353×0valid
4.8s4 239×1valid
3.5s1 729×2valid
2.0s770×3valid
1.4s138×3exit
491.0ms1 038×0invalid
354.0ms46×5exit
168.0ms414×0exit
44.0ms5×4exit
28.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: 3.9s (22% of total)
ival-div: 2.5s (13.9% of total)
ival-tan: 2.3s (13% of total)
adjust: 1.5s (8.2% of total)
ival-add: 1.4s (7.6% of total)
ival-pow: 1.3s (7.2% of total)
ival-sub: 864.0ms (4.8% of total)
ival-sqrt: 745.0ms (4.2% of total)
ival-cos: 675.0ms (3.8% of total)
ival-pow2: 403.0ms (2.3% of total)
const: 359.0ms (2% of total)
ival-sin: 290.0ms (1.6% of total)
ival-exp: 287.0ms (1.6% of total)
ival-log: 260.0ms (1.5% of total)
ival-neg: 256.0ms (1.4% of total)
ival-asin: 215.0ms (1.2% of total)
ival-acos: 152.0ms (0.9% of total)
ival-tanh: 135.0ms (0.8% of total)
ival-hypot: 77.0ms (0.4% of total)
exact: 69.0ms (0.4% of total)
ival-atan: 61.0ms (0.3% of total)
ival-pi: 51.0ms (0.3% of total)
ival-true: 28.0ms (0.2% of total)
ival-cbrt: 25.0ms (0.1% of total)
ival-cosh: 20.0ms (0.1% of total)
ival-sinh: 17.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-assert: 13.0ms (0.1% of total)

regimes25.2s (6.8%)

Memory
-67.0MiB live, 34 206.5MiB allocated
Counts
12 826 → 815
Calls

156 calls:

1.5s
l
1.1s
t
870.0ms
k
582.0ms
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))))
496.0ms
(*.f64 l l)
Compiler

Compiled 13 617 to 14 090 computations (-3.5% saved)

series15.1s (4.1%)

Memory
59.3MiB live, 20 010.5MiB allocated
Counts
2 478 → 71 244
Calls

1200 calls:

TimeVariablePointExpression
305.0ms
F
@0
((cbrt (pow (PI) 3)) (+ (* (/ (tan (* l (cbrt (pow (PI) 3)))) F) (/ -1 F)) (* l (PI))) (/ (tan (* l (cbrt (pow (PI) 3)))) F) (tan (* l (cbrt (pow (PI) 3)))) (/ 1 (/ 1 (- (* l (PI)) (* (tan (* l (PI))) (pow F -2))))) (* (- (PI) (/ (PI) (* F F))) l) (- (PI) (/ (PI) (* F F))) (PI) (+ (* (PI) l) (/ (tan (* l (PI))) (* (neg F) F))) (/ (tan (* l (PI))) (* (neg F) F)) (* (/ l F) (/ (neg (PI)) F)) (/ -1 (* F (/ F (tan (* (PI) l))))) (+ (* (PI) l) (/ -1 (* F (/ F (tan (* (PI) l)))))) (* F (/ F (tan (* (PI) l)))) (- (* (PI) l) (* (/ 1 (* F F)) (tan (* (PI) l)))) (* (cbrt (pow (PI) 3)) l) (pow (PI) 3) (/ (PI) (* F F)) (/ (neg (PI)) F) (tan (* (PI) l)) (* (PI) l))
175.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))))))
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))))))
110.0ms
n
@0
((/ 1 (/ (pow (sqrt (* (* 2 n) (PI))) k) (sqrt (* (* 2 n) (PI))))) (* (/ 1 (sqrt k)) (/ 1 (/ (pow (sqrt (* (* 2 n) (PI))) k) (sqrt (* (* 2 n) (PI)))))) (/ 1 (sqrt k)) (sqrt k) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (sqrt (* (* n (/ (PI) k)) 2)) (* (* n (/ (PI) k)) 2) (* n (/ (PI) k)) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (/ (sqrt (* (* 2 n) (PI))) (sqrt k)) (sqrt (* (* 2 n) (PI))) (* (* 2 n) (PI)) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (* (/ (sqrt (PI)) (sqrt (* k 1/2))) (sqrt n)) (/ (sqrt (PI)) (sqrt (* k 1/2))) (sqrt (PI)) (/ (sqrt (PI)) -1) (* (/ (sqrt (PI)) -1) (/ (neg (sqrt n)) (sqrt (* k 1/2)))) (* (/ 1 (sqrt k)) (pow (* (* 2 (PI)) n) (/ (- 1 k) 2))) (PI) (/ (pow (sqrt (* (* 2 n) (PI))) k) (sqrt (* (* 2 n) (PI)))))
107.0ms
EAccept
@inf
((+ (/ NdChar (+ 1 (pow (exp 1) (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (/ NaChar (+ (exp (/ (- (+ EAccept (+ Vef Ev)) mu) KbT)) 1)) (+ (exp (/ (- (+ EAccept (+ Vef Ev)) mu) KbT)) 1) (exp (/ (- (+ EAccept (+ Vef Ev)) mu) KbT)) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (/ (* (* (+ NaChar NdChar) (- NaChar NdChar)) 1/2) (- NaChar NdChar)) (* 1/2 NdChar) (* (- NaChar NdChar) (* (+ NaChar NdChar) (/ 1/2 (- NaChar NdChar)))) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (- NaChar NdChar) (* (+ NaChar NdChar) (/ 1/2 (- NaChar NdChar))) (* 1/2 (/ 1 (/ (- NaChar NdChar) (* (+ NaChar NdChar) (- NaChar NdChar))))) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (/ 1 (/ (- NaChar NdChar) (* (+ NaChar NdChar) (- NaChar NdChar)))) (/ (- NaChar NdChar) (* (+ NaChar NdChar) (- NaChar NdChar))) (- (+ (+ 2 (/ EDonor KbT)) (+ (/ mu KbT) (/ Vef KbT))) (/ Ec KbT)) (+ (+ 2 (/ EDonor KbT)) (+ (/ mu KbT) (/ Vef KbT))) (+ (/ mu KbT) (/ Vef KbT)) (+ (/ NdChar (+ 1 (exp (/ (neg (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (neg mu)) KbT))))) (/ (- (+ EAccept (+ Vef Ev)) mu) KbT) (/ 1/2 (- NaChar NdChar)) (/ (- 1 (/ NdChar NaChar)) NaChar) (+ (exp (/ (- (+ (+ mu Vef) EDonor) Ec) KbT)) 1))

prune14.9s (4%)

Memory
-897.5MiB live, 24 848.6MiB allocated
Counts
194 464 → 3 433
Compiler

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

preprocess11.1s (3%)

Memory
-146.0MiB live, 12 896.6MiB 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 51 451 to 18 581 computations (63.9% saved)

explain9.7s (2.6%)

Memory
233.5MiB live, 13 212.3MiB 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
868.0ms2 104×1valid
476.0ms766×2valid
258.0ms396×3valid
9.0ms18×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 482.0ms (17.8% of total)
ival-tan: 401.0ms (14.8% of total)
ival-div: 318.0ms (11.7% of total)
ival-add: 244.0ms (9% of total)
adjust: 195.0ms (7.2% of total)
ival-pow: 181.0ms (6.7% of total)
ival-sub: 169.0ms (6.2% of total)
ival-pow2: 163.0ms (6% of total)
ival-exp: 108.0ms (4% of total)
ival-sin: 108.0ms (4% of total)
ival-sqrt: 105.0ms (3.9% of total)
ival-cos: 61.0ms (2.2% of total)
ival-acos: 27.0ms (1% of total)
ival-neg: 25.0ms (0.9% of total)
ival-hypot: 25.0ms (0.9% of total)
exact: 19.0ms (0.7% of total)
const: 17.0ms (0.6% of total)
ival-true: 15.0ms (0.6% of total)
ival-pi: 14.0ms (0.5% of total)
ival-log: 14.0ms (0.5% of total)
ival-asin: 8.0ms (0.3% of total)
ival-assert: 7.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)

analyze9.0s (2.4%)

Memory
279.5MiB live, 12 771.1MiB 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.9s (1.3%)

Memory
-102.2MiB live, 5 477.4MiB allocated
Algorithm
234×left-value
190×binary-search
Stop Event
181×narrow-enough
9×predicate-same
Samples
2.7s13 222×0valid
347.0ms2 660×0invalid
131.0ms341×1valid
35.0ms108×2valid
13.0ms71×1invalid
8.0ms25×3valid
2.0ms8×2invalid
Compiler

Compiled 51 918 to 49 419 computations (4.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 518.0ms (23% of total)
ival-div: 454.0ms (20.1% of total)
ival-sin: 198.0ms (8.8% of total)
ival-pow: 196.0ms (8.7% of total)
ival-pow2: 170.0ms (7.5% of total)
ival-sub: 163.0ms (7.2% of total)
ival-tan: 162.0ms (7.2% of total)
ival-add: 154.0ms (6.8% of total)
ival-neg: 56.0ms (2.5% of total)
ival-exp: 41.0ms (1.8% of total)
ival-sqrt: 37.0ms (1.6% of total)
ival-cos: 27.0ms (1.2% of total)
adjust: 22.0ms (1% of total)
const: 15.0ms (0.7% of total)
exact: 15.0ms (0.7% of total)
ival-true: 12.0ms (0.5% 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-pi: 1.0ms (0% of total)

start1.0ms (0%)

Memory
2.8MiB live, 2.8MiB allocated

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...