Herbie run

Date:Sunday, January 19th, 2025
Commit:455c599f on main
Seed:2025019
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
Memory:246 986.6 MB

Time bar (total: 3.9min)

sample1.3min (32.9%)

Memory
875.2MiB live, 87 742.4MiB allocated; 29.7s collecting garbage
Samples
31.6s284 829×0valid
16.2s44 178×1valid
7.7s17 302×2valid
409.0ms443×3valid
346.0ms4 175×0invalid
264.0ms202×5exit
147.0ms987×0exit
Precisions
Click to see histograms. Total time spent on operations: 42.9s
ival-mult: 9.3s (21.7% of total)
adjust: 5.3s (12.3% of total)
ival-pow: 4.3s (9.9% of total)
ival-add: 4.2s (9.8% of total)
ival-div: 3.7s (8.6% of total)
ival-sub: 3.1s (7.1% of total)
const: 2.8s (6.6% of total)
ival-<=: 2.3s (5.4% of total)
ival-sin: 1.8s (4.2% of total)
ival-cos: 1.6s (3.8% of total)
ival-exp: 1.0s (2.4% of total)
ival-neg: 671.0ms (1.6% of total)
ival-sqrt: 501.0ms (1.2% of total)
exact: 415.0ms (1% of total)
ival-and: 368.0ms (0.9% of total)
ival-pow2: 311.0ms (0.7% of total)
ival-==: 304.0ms (0.7% of total)
ival-assert: 131.0ms (0.3% of total)
ival-true: 130.0ms (0.3% of total)
ival-atan: 117.0ms (0.3% of total)
ival-expm1: 115.0ms (0.3% of total)
ival-tan: 98.0ms (0.2% of total)
ival-log1p: 77.0ms (0.2% of total)
ival-<: 61.0ms (0.1% of total)
ival-hypot: 41.0ms (0.1% of total)
ival-if: 38.0ms (0.1% of total)
ival-pi: 38.0ms (0.1% of total)
ival-fabs: 26.0ms (0.1% of total)
Bogosity

simplify55.5s (23.5%)

Memory
221.7MiB live, 52 491.0MiB allocated; 11.6s collecting garbage
Stop Event
433×iter limit
304×node limit
45×saturated
Counts
12 436 → 12 436

localize22.3s (9.4%)

Memory
119.4MiB live, 23 560.5MiB allocated; 6.3s collecting garbage
Samples
8.4s28 931×0valid
5.7s3 022×2valid
3.4s5 277×1valid
315.0ms146×3valid
85.0ms210×0exit
76.0ms289×0invalid
50.0ms7×5exit
20.0ms6×4valid
Compiler

Compiled 31 973 to 3 870 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.8s
ival-mult: 3.1s (22.5% of total)
ival-div: 2.5s (18% of total)
ival-sin: 2.3s (16.5% of total)
adjust: 1.7s (12.5% of total)
ival-add: 1.5s (10.6% of total)
ival-sub: 678.0ms (4.9% of total)
ival-pow: 610.0ms (4.4% of total)
const: 507.0ms (3.7% of total)
ival-cos: 362.0ms (2.6% of total)
ival-neg: 159.0ms (1.2% of total)
ival-exp: 137.0ms (1% of total)
ival-sqrt: 78.0ms (0.6% of total)
exact: 53.0ms (0.4% of total)
ival-pow2: 40.0ms (0.3% of total)
ival-true: 27.0ms (0.2% of total)
ival-expm1: 21.0ms (0.2% of total)
ival-log1p: 19.0ms (0.1% of total)
ival-assert: 15.0ms (0.1% of total)
ival-pi: 12.0ms (0.1% of total)
ival-atan: 11.0ms (0.1% of total)
ival-tan: 8.0ms (0.1% of total)
ival-log: 8.0ms (0.1% of total)

rewrite17.2s (7.3%)

Memory
286.9MiB live, 15 699.6MiB allocated; 4.3s collecting garbage
Stop Event
435×iter limit
117×node limit
28×unsound
12×saturated
Counts
1 948 → 30 500

derivations12.6s (5.3%)

Memory
-244.4MiB live, 8 714.6MiB allocated; 1.5s collecting garbage
Stop Event
23×fuel
19×done
Compiler

Compiled 26 900 to 2 650 computations (90.1% saved)

preprocess12.4s (5.2%)

Memory
253.1MiB live, 10 362.8MiB allocated; 4.7s collecting garbage
Stop Event
84×iter limit
62×node limit
22×saturated
Compiler

Compiled 58 807 to 8 328 computations (85.8% saved)

explain10.5s (4.5%)

Memory
-121.8MiB live, 12 558.5MiB allocated; 1.8s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13240
+.f64#fcancellation35199
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2130
sqrt.f64#foflow-rescue1800
/.f64#fn/o1790
/.f64#fo/o1620
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1621
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1120
-.f64#fnan-rescue1050
/.f64#fu/n850
+.f64#fnan-rescue510
/.f64#fn/u500
/.f64#fu/u390
/.f64#fo/n360
*.f64#fn*u290
*.f64#fn*o210
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue190
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow38
↳(/.f64 i n)overflow19
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow19
sqrt.f64#fuflow-rescue120
exp.f64#fsensitivity20
Confusion
Predicted +Predicted -
+3839229
-1206564
Precision
0.969689315483708
Recall
0.9437069813176008
Confusion?
Predicted +Predicted MaybePredicted -
+383917554
-1201816383
Precision?
0.9302433371958285
Recall?
0.9867256637168141
Freqs
test
numberfreq
06793
13543
2384
332
Total Confusion?
Predicted +Predicted MaybePredicted -
+3010
-209
Precision?
0.9393939393939394
Recall?
1.0
Samples
1.4s16 262×0valid
1.1s3 800×1valid
907.0ms1 406×2valid
26.0ms34×3valid
3.0ms2×4valid
Compiler

Compiled 7 535 to 1 486 computations (80.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 560.0ms (23.9% of total)
adjust: 437.0ms (18.7% of total)
ival-add: 254.0ms (10.9% of total)
ival-sub: 243.0ms (10.4% of total)
ival-div: 228.0ms (9.7% of total)
ival-pow: 202.0ms (8.6% of total)
ival-cos: 129.0ms (5.5% of total)
ival-sin: 100.0ms (4.3% of total)
const: 40.0ms (1.7% of total)
ival-exp: 31.0ms (1.3% of total)
ival-sqrt: 20.0ms (0.9% of total)
ival-neg: 19.0ms (0.8% of total)
exact: 18.0ms (0.8% of total)
ival-true: 17.0ms (0.7% of total)
ival-pow2: 15.0ms (0.6% of total)
ival-assert: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

eval7.6s (3.2%)

Memory
94.8MiB live, 10 483.5MiB allocated; 2.1s collecting garbage
Compiler

Compiled 1 912 520 to 169 865 computations (91.1% saved)

regimes5.7s (2.4%)

Memory
-149.9MiB live, 7 550.1MiB allocated; 885ms collecting garbage
Counts
4 591 → 548
Calls

96 calls:

674.0ms
x
339.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 #s(literal 10 binary64) (*.f64 x x))))
197.0ms
b
195.0ms
d
180.0ms
x1
Compiler

Compiled 9 274 to 5 869 computations (36.7% saved)

prune4.1s (1.7%)

Memory
-464.8MiB live, 5 686.4MiB allocated; 1.7s collecting garbage
Counts
42 981 → 1 861
Compiler

Compiled 136 354 to 59 319 computations (56.5% saved)

analyze3.8s (1.6%)

Memory
92.8MiB live, 4 611.5MiB allocated; 836ms collecting garbage
Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
48.7%26.2%27.7%45.5%0%0.6%0%3
57.7%30.7%22.6%45.5%0%1.2%0%4
71.2%37.7%15.3%45.5%0%1.6%0%5
72.9%38.4%14.3%45.5%0%1.8%0%6
77.9%40.7%11.6%45.5%0%2.2%0%7
81.5%42.6%9.7%45.5%0%2.3%0%8
84.1%43.8%8.3%45.5%0%2.5%0%9
86.2%44.6%7.2%45.5%0%2.7%0%10
88.2%45.6%6.1%45.5%0%2.8%0%11
89.1%45.9%5.6%45.5%0%2.9%0%12
Compiler

Compiled 1 402 to 721 computations (48.6% saved)

series3.8s (1.6%)

Memory
2.5MiB live, 4 384.0MiB allocated; 954ms collecting garbage
Counts
1 948 → 12 436
Calls

876 calls:

TimeVariablePointExpression
78.0ms
x
@-inf
((* (pow (pow (exp 10) x) (/ x 2)) (pow (pow (exp 10) x) (/ x 2))) (* (cos x) (* (pow (pow (exp 10) x) (/ x 2)) (pow (pow (exp 10) x) (/ x 2)))) (cos x) (pow (pow (exp 10) x) (/ x 2)) (* (cos x) (exp (* 10 (* x x)))) (* (cos x) (exp (* 10 (* x x)))) (cos x) (+ (* (- (* 1/24 (* x x)) 1/2) (* x x)) 1) (- (* 1/24 (* x x)) 1/2) (* (cos x) (pow (exp 10) (* x x))) (pow (exp 10) (* x x)) (exp 10) (* (cos x) (pow (pow (exp x) x) 10)) (pow (pow (exp x) x) 10) (pow (exp x) x) (pow (exp 10) x) (exp (* 10 (* x x))) (* 1/24 (* x x)))
61.0ms
x2
@0
((+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* -6 x2) (+ (* -2 x2) (neg (+ (* 2 x2) -3))) (+ (* (- 3 (* -2 x2)) 3) (+ (* x2 14) -6)) (* (* (+ (* 2 x2) -3) x2) 4) (neg (+ (* 2 x2) -3)) (+ (* (+ (* 2 x2) -3) 4) 9) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* (- 6 (/ (- 3 (/ (+ (* (+ (* 2 x2) -3) 4) 9) x1)) x1)) (pow x1 4)) (- 6 (/ (- 3 (/ (+ (* (+ (* 2 x2) -3) 4) 9) x1)) x1)) (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* (* x1 x1) x1) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (/ (- (* (* 3 x1) x1) x1) (+ (* x1 x1) 1)) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (+ (* (+ (* (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* x2 14) -6))) x1) (- (* (* (+ (* 2 x2) -3) x2) 4) 1)) x1) (* -6 x2)) (+ (* (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* x2 14) -6))) x1) (- (* (* (+ (* 2 x2) -3) x2) 4) 1)) (+ (* (+ (* -2 x2) (neg (+ (* 2 x2) -3))) 2) (+ (* (- 3 (* -2 x2)) 3) (+ (* x2 14) -6))) (/ (- 3 (/ (+ (* (+ (* 2 x2) -3) 4) 9) x1)) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))
59.0ms
x
@inf
((+ (* (sin x) (cos (/ (PI) 2))) (* (cos x) (sin (/ (PI) 2)))) (cos (/ (PI) 2)) (sin (/ (PI) 2)) (* (cos x) (sin (/ (PI) 2))) (* (sin (+ (/ (PI) 2) x)) (pow (exp 10) (* x x))) (sin (+ (/ (PI) 2) x)) (+ (* -1/2 (* x x)) 1) (* x x) (* (neg x) 10) (* (cos x) (pow (exp (neg x)) (* (neg x) 10))) (cos x) (pow (exp (neg x)) (* (neg x) 10)) (* (cos x) (pow (pow (pow (exp 10) x) 2) (/ x 2))) (pow (pow (pow (exp 10) x) 2) (/ x 2)) (pow (pow (exp 10) x) 2) (* (pow (pow (exp x) (/ x 2)) 10) (pow (pow (exp x) (/ x 2)) 10)) (* (cos x) (* (pow (pow (exp x) (/ x 2)) 10) (pow (pow (exp x) (/ x 2)) 10))) (pow (pow (exp x) (/ x 2)) 10) (pow (exp 10) x) (* (+ (* (sin x) (cos (/ (PI) 2))) (* (cos x) (sin (/ (PI) 2)))) (pow (pow (pow (exp 10) x) 2) (/ x 2))) (pow (exp 10) (* x x)) (exp (neg x)) (pow (exp x) (/ x 2)))
56.0ms
a
@-inf
((+ (* (+ (* 2 a) b) b) (* a a)) (+ (* (+ a b) a) (* (+ a b) b)) (+ (* 2 a) b) (* a a))
54.0ms
c
@0
((/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (+ (* (/ (* c c) b) (/ a b)) c) (neg b)) (+ (* (/ (* c c) b) (/ a b)) c) (* (+ (* (/ a b) (/ c b)) 1) c) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (neg b) a) (neg b) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* (* (/ c b) a) -2) (* (/ c b) a) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (+ (* (/ c b) a) (neg b)) a) (* (neg c) (- (/ (/ b a) c) (/ 1 b))) (neg c) (+ (sqrt (- (* b b) (* 4 (* a c)))) (neg b)) (/ (- (* b b) (- (* b b) (* 4 (* a c)))) (* (+ (sqrt (- (* b b) (* 4 (* a c)))) (neg b)) (* 2 a))) (- (* b b) (- (* b b) (* 4 (* a c)))) (* b b) (+ (* (/ a b) (/ c b)) 1) (* 2 a) (/ (/ b a) c) (- (/ (/ b a) c) (/ 1 b)) (- (* b b) (* 4 (* a c))) (sqrt (- (* b b) (* 4 (* a c)))))

bsearch3.1s (1.3%)

Memory
218.0MiB live, 3 134.7MiB allocated; 629ms collecting garbage
Algorithm
166×binary-search
97×left-value
Stop Event
158×narrow-enough
7×predicate-same
1×predicate-failed
Samples
1.3s11 135×0valid
399.0ms830×1valid
93.0ms272×2valid
58.0ms880×0invalid
16.0ms19×3valid
1.0ms13×0exit
Compiler

Compiled 160 293 to 76 120 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult: 488.0ms (35.2% of total)
ival-div: 224.0ms (16.2% of total)
ival-exp: 134.0ms (9.7% of total)
ival-add: 128.0ms (9.2% of total)
ival-sub: 128.0ms (9.2% of total)
ival-pow: 109.0ms (7.9% of total)
adjust: 92.0ms (6.6% of total)
ival-neg: 32.0ms (2.3% of total)
ival-sqrt: 21.0ms (1.5% of total)
exact: 10.0ms (0.7% of total)
ival-true: 9.0ms (0.6% of total)
ival-assert: 5.0ms (0.4% of total)
const: 4.0ms (0.3% of total)
ival-expm1: 2.0ms (0.1% of total)
ival-pi: 1.0ms (0.1% of total)

start2.0ms (0%)

Memory
6.3MiB live, 6.3MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...