Herbie run

Date:Wednesday, March 5th, 2025
Commit:141e80a8 on main
Seed:2025064
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:167 015.9 MB

Time bar (total: 3.0min)

sample2.0min (65.3%)

Memory
1 314.7MiB live, 106 404.7MiB allocated; 40.3s collecting garbage
Samples
29.1s43 689×2valid
22.7s96 949×1valid
19.3s146 181×0invalid
16.5s7 060×5exit
7.6s87 185×0valid
2.8s3 340×3valid
366.0ms4 121×0exit
7.0ms5×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-pow: 15.3s (18.9% of total)
ival-tan: 13.0s (16.1% of total)
adjust: 9.8s (12.1% of total)
ival-mult: 5.9s (7.3% of total)
ival-div: 4.5s (5.5% of total)
ival-add: 4.4s (5.4% of total)
ival-sub: 4.1s (5% of total)
ival-cos: 3.9s (4.8% of total)
ival-log: 3.5s (4.4% of total)
ival-sin: 3.1s (3.9% of total)
const: 2.8s (3.4% of total)
ival-exp: 2.1s (2.6% of total)
ival-sqrt: 1.7s (2.1% of total)
ival-expm1: 1.7s (2.1% of total)
ival-fabs: 1.3s (1.7% of total)
ival-log1p: 1.1s (1.3% of total)
ival-<=: 504.0ms (0.6% of total)
ival-<: 497.0ms (0.6% of total)
ival-atan: 440.0ms (0.5% of total)
ival-and: 395.0ms (0.5% of total)
ival-cbrt: 373.0ms (0.5% of total)
ival-neg: 259.0ms (0.3% of total)
exact: 169.0ms (0.2% of total)
ival-assert: 142.0ms (0.2% of total)
ival-fmin: 102.0ms (0.1% of total)
ival->: 1.0ms (0% of total)
Bogosity

rewrite23.0s (12.7%)

Memory
329.7MiB live, 19 125.3MiB allocated; 6.3s collecting garbage
Stop Event
256×iter limit
108×node limit
Counts
16 727 → 34 897

preprocess6.8s (3.8%)

Memory
120.6MiB live, 6 089.5MiB allocated; 1.1s collecting garbage
Stop Event
56×iter limit
51×node limit
5×saturated
Compiler

Compiled 18 870 to 5 349 computations (71.7% saved)

eval6.4s (3.6%)

Memory
36.3MiB live, 7 806.9MiB allocated; 1.9s collecting garbage
Compiler

Compiled 1 683 907 to 179 765 computations (89.3% saved)

derivations6.3s (3.5%)

Memory
171.7MiB live, 4 695.4MiB allocated; 837ms collecting garbage
Stop Event
23×fuel
5×done
Compiler

Compiled 8 196 to 1 937 computations (76.4% saved)

explain5.7s (3.1%)

Memory
-181.2MiB live, 5 807.1MiB allocated; 1.1s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation417823
log.f64#fsensitivity7632
/.f64#fu/u4450
sqrt.f64#foflow-rescue4400
+.f64#fcancellation3471
/.f64#fu/n1120
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity750
sqrt.f64#fuflow-rescue380
-.f64#fnan-rescue220
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u170
↳(*.f64 b eps)underflow154
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow155
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow154
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow233
↳(*.f64 a eps)underflow155
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow73
cos.f64(cos.f64 (+.f64 x eps))sensitivity20
exp.f64(exp.f64 (neg.f64 x))sensitivity10
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o10
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow1
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow1
↳(exp.f64 x)overflow1
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow1
sin.f64(sin.f64 (+.f64 x eps))sensitivity10
tan.f64(tan.f64 (+.f64 x eps))sensitivity11
Confusion
Predicted +Predicted -
+529711
-1491711
Precision
0.9726404700697759
Recall
0.9979276563677468
Confusion?
Predicted +Predicted MaybePredicted -
+529792
-149171694
Precision?
0.9696637426900585
Recall?
0.9996232102486813
Freqs
test
numberfreq
01722
14637
2661
3105
443
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.7s2 762×2valid
1.2s6 160×1valid
441.0ms5 196×0valid
190.0ms216×3valid
3.0ms2×4valid
Compiler

Compiled 2 154 to 763 computations (64.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-tan: 747.0ms (26.2% of total)
adjust: 442.0ms (15.5% of total)
ival-div: 200.0ms (7% of total)
ival-log: 187.0ms (6.6% of total)
ival-exp: 184.0ms (6.4% of total)
ival-cos: 184.0ms (6.4% of total)
ival-sub: 154.0ms (5.4% of total)
ival-pow: 151.0ms (5.3% of total)
ival-sin: 149.0ms (5.2% of total)
ival-add: 114.0ms (4% of total)
ival-mult: 100.0ms (3.5% of total)
ival-sqrt: 80.0ms (2.8% of total)
ival-log1p: 55.0ms (1.9% of total)
ival-expm1: 26.0ms (0.9% of total)
ival-atan: 21.0ms (0.7% of total)
ival-cbrt: 20.0ms (0.7% of total)
ival-true: 13.0ms (0.5% of total)
ival-neg: 12.0ms (0.4% of total)
exact: 9.0ms (0.3% of total)
ival-assert: 6.0ms (0.2% of total)

series4.1s (2.3%)

Memory
63.7MiB live, 4 640.0MiB allocated; 738ms collecting garbage
Counts
2 722 → 14 005
Calls

504 calls:

TimeVariablePointExpression
92.0ms
x
@-inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n)) (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n) (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) -1 (+ (log (+ 1 x)) (/ (+ (* (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n)) (log (+ 1 x)) x (/ (+ (* (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n) (+ (* (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) (/ (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) n) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) 3 (pow (log x) 3) (log x) n (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)) (pow (log (+ 1 x)) 2) 2 (pow (log x) 2) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) 1 (pow x (/ 1 n)) (/ 1 n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x)) n)) (/ (+ (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x)) n) (+ (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x)) (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))
73.0ms
n
@inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x)) n)) (/ (+ (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x)) n) (+ (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x)) (/ (+ (* -1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) (* n (+ (log x) (* -1 (log (+ 1 x)))))) n) (+ (* -1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) (* n (+ (log x) (* -1 (log (+ 1 x)))))) -1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)) (pow (log (+ 1 x)) 2) (log (+ 1 x)) x 2 (pow (log x) 2) (log x) (* n (+ (log x) (* -1 (log (+ 1 x))))) n (+ (log x) (* -1 (log (+ 1 x)))) (* -1 (log (+ 1 x))) -1 (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) 1 (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (neg (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (/ (- (+ (/ 1/3 (* n (* x x))) (pow n -1)) (/ 1/2 (* n x))) x) (- (+ (/ 1/3 (* n (* x x))) (pow n -1)) (/ 1/2 (* n x))) (+ (/ 1/3 (* n (* x x))) (pow n -1)) (/ 1/3 (* n (* x x))) 1/3 (* n (* x x)) (* x x) (pow n -1) (/ 1/2 (* n x)) 1/2 (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n)) (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n) (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n)) (+ (* -1 (/ (+ (* 1/24 (/ (pow (log x) 4) n)) (* 1/6 (pow (log x) 3))) (* n n))) (* -1/2 (/ (pow (log x) 2) n))) (/ (+ (* 1/24 (/ (pow (log x) 4) n)) (* 1/6 (pow (log x) 3))) (* n n)) (+ (* 1/24 (/ (pow (log x) 4) n)) (* 1/6 (pow (log x) 3))) 1/24 (/ (pow (log x) 4) n) (pow (log x) 4) 4 (* 1/6 (pow (log x) 3)) 1/6 (pow (log x) 3) 3 (* n n) (* -1/2 (/ (pow (log x) 2) n)) (/ (pow (log x) 2) n))
62.0ms
x
@-inf
((/ (log (- 1 x)) (log (/ (- 1 (* x x)) (- 1 x)))) (log (- 1 x)) (* (/ (- (pow (* (- (* (- (* -1/4 x) 1/3) x) 1/2) x) 2) 1) (+ (* (- (* (- (* -1/4 x) 1/3) x) 1/2) x) 1)) x) (/ (- (pow (* (- (* (- (* -1/4 x) 1/3) x) 1/2) x) 2) 1) (+ (* (- (* (- (* -1/4 x) 1/3) x) 1/2) x) 1)) (- (pow (* (- (* (- (* -1/4 x) 1/3) x) 1/2) x) 2) 1) (pow (* (- (* (- (* -1/4 x) 1/3) x) 1/2) x) 2) (* (- (* (- (* -1/4 x) 1/3) x) 1/2) x) (- (* (- (* -1/4 x) 1/3) x) 1/2) (* (- (* -1/4 x) 1/3) x) (- (* -1/4 x) 1/3) (* -1/4 x) -1/4 x 1/3 1/2 2 1 (+ (* (- (* (- (* -1/4 x) 1/3) x) 1/2) x) 1) (log (/ (- 1 (* x x)) (- 1 x))) (* (+ (* (- (* (+ (* -1/4 x) 1/3) x) 1/2) x) 1) x) (+ (* (- (* (+ (* -1/4 x) 1/3) x) 1/2) x) 1) (- (* (+ (* -1/4 x) 1/3) x) 1/2) (* (+ (* -1/4 x) 1/3) x) (+ (* -1/4 x) 1/3) (/ (- (log (+ 1 (* (neg x) x))) (log (+ 1 x))) (log (+ 1 x))) (- (log (+ 1 (* (neg x) x))) (log (+ 1 x))) (log (+ 1 (* (neg x) x))) (* (neg x) x) (neg x) (log (+ 1 x)))
59.0ms
N
@0
((log (+ 1 (pow N -1))) (pow N -1) N -1 (- (log (+ N 1)) (log N)) (/ (- 1 (/ 1/2 N)) N) (- 1 (/ 1/2 N)) 1 (/ 1/2 N) 1/2 (- (log (+ N 1)) (log N)) (/ (+ (* (/ (+ (* (/ (- (/ 1/4 N) 1/3) N) -1) -1/2) N) -1) -1) (neg N)) (+ (* (/ (+ (* (/ (- (/ 1/4 N) 1/3) N) -1) -1/2) N) -1) -1) (/ (+ (* (/ (- (/ 1/4 N) 1/3) N) -1) -1/2) N) (+ (* (/ (- (/ 1/4 N) 1/3) N) -1) -1/2) (/ (- (/ 1/4 N) 1/3) N) (- (/ 1/4 N) 1/3) (/ 1/4 N) 1/4 1/3 -1/2 (neg N) (- (log (+ 1 N)) (log N)) (log (+ 1 N)) (log N) (- (/ (pow (log (+ 1 N)) 2) (+ (log N) (log (+ 1 N)))) (/ (pow (log N) 2) (+ (log N) (log (+ 1 N))))) (/ (pow (log (+ 1 N)) 2) (+ (log N) (log (+ 1 N)))) (pow (log (+ 1 N)) 2) 2 (+ (log N) (log (+ 1 N))) (/ (pow (log N) 2) (+ (log N) (log (+ 1 N)))) (pow (log N) 2))
54.0ms
c
@-inf
((/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (/ (* -1/2 c) b_2) (* -1/2 c) -1/2 c b_2 (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (* (neg c) (+ (* (sqrt (* (pow (* c a) -1) -1)) -1) (/ (/ b_2 a) c))) (/ (neg b_2) a) (neg b_2) a (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (+ (* (/ c b_2) 1/2) (* (/ b_2 a) -2)) (/ c b_2) 1/2 (* (/ b_2 a) -2) (/ b_2 a) -2 (- (/ (neg b_2) a) (/ (sqrt (+ (* (neg a) c) (* b_2 b_2))) a)) (/ (sqrt (+ (* (neg a) c) (* b_2 b_2))) a) (neg (sqrt (* (/ c a) -1))) (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) -1 (/ (/ (- (pow (neg b_2) 3) (pow (sqrt (+ (* (neg a) c) (* b_2 b_2))) 3)) (+ (* b_2 b_2) (+ (* (sqrt (+ (* (neg a) c) (* b_2 b_2))) (sqrt (+ (* (neg a) c) (* b_2 b_2)))) (* (neg b_2) (sqrt (+ (* (neg a) c) (* b_2 b_2))))))) a) (/ (- (pow (neg b_2) 3) (pow (sqrt (+ (* (neg a) c) (* b_2 b_2))) 3)) (+ (* b_2 b_2) (+ (* (sqrt (+ (* (neg a) c) (* b_2 b_2))) (sqrt (+ (* (neg a) c) (* b_2 b_2)))) (* (neg b_2) (sqrt (+ (* (neg a) c) (* b_2 b_2))))))) (- (pow (neg b_2) 3) (pow (sqrt (+ (* (neg a) c) (* b_2 b_2))) 3)) (pow (neg b_2) 3) 3 (pow (sqrt (+ (* (neg a) c) (* b_2 b_2))) 3) (sqrt (+ (* (neg a) c) (* b_2 b_2))) (+ (* (neg a) c) (* b_2 b_2)) (neg a) (* b_2 b_2) (+ (* b_2 b_2) (+ (* (sqrt (+ (* (neg a) c) (* b_2 b_2))) (sqrt (+ (* (neg a) c) (* b_2 b_2)))) (* (neg b_2) (sqrt (+ (* (neg a) c) (* b_2 b_2)))))) (+ (* (sqrt (+ (* (neg a) c) (* b_2 b_2))) (sqrt (+ (* (neg a) c) (* b_2 b_2)))) (* (neg b_2) (sqrt (+ (* (neg a) c) (* b_2 b_2))))) (* (neg b_2) (sqrt (+ (* (neg a) c) (* b_2 b_2)))))

regimes2.7s (1.5%)

Memory
-155.1MiB live, 3 619.7MiB allocated; 486ms collecting garbage
Counts
3 250 → 318
Calls

43 calls:

859.0ms
x
269.0ms
eps
143.0ms
b
95.0ms
a
86.0ms
(exp.f64 x)
Compiler

Compiled 1 899 to 1 802 computations (5.1% saved)

prune2.5s (1.4%)

Memory
-18.7MiB live, 3 977.4MiB allocated; 641ms collecting garbage
Counts
41 778 → 1 560
Compiler

Compiled 92 055 to 47 452 computations (48.5% saved)

bsearch2.0s (1.1%)

Memory
97.6MiB live, 1 800.4MiB allocated; 290ms collecting garbage
Algorithm
105×binary-search
12×left-value
Stop Event
92×narrow-enough
13×predicate-same
Samples
572.0ms5 867×0valid
443.0ms1 353×1valid
150.0ms1 551×0invalid
125.0ms397×2valid
64.0ms264×0exit
4.0ms15×3valid
Compiler

Compiled 40 904 to 30 346 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 999.0ms
ival-pow: 238.0ms (23.8% of total)
ival-mult: 198.0ms (19.8% of total)
ival-sqrt: 124.0ms (12.4% of total)
ival-add: 122.0ms (12.2% of total)
ival-div: 86.0ms (8.6% of total)
ival-sub: 77.0ms (7.7% of total)
adjust: 73.0ms (7.3% of total)
ival-neg: 40.0ms (4% of total)
ival-cos: 15.0ms (1.5% of total)
ival-true: 8.0ms (0.8% of total)
exact: 5.0ms (0.5% of total)
ival-assert: 4.0ms (0.4% of total)
ival-cbrt: 3.0ms (0.3% of total)
ival-expm1: 3.0ms (0.3% of total)
ival-exp: 2.0ms (0.2% of total)

analyze1.7s (0.9%)

Memory
19.0MiB live, 1 936.7MiB allocated; 427ms collecting garbage
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

simplify1.4s (0.8%)

Memory
-174.6MiB live, 1 110.3MiB allocated; 198ms collecting garbage
Stop Event
27×node limit
1×saturated

start7.0ms (0%)

Memory
-43.4MiB live, 2.4MiB allocated; 7ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...