Herbie run

Date:Thursday, February 13th, 2025
Commit:0e88e39c on custom-lifting-lowering
Seed:2025044
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:169 351.0 MB

Time bar (total: 2.9min)

sample1.9min (66.7%)

Memory
838.2MiB live, 110 453.9MiB allocated; 38.6s collecting garbage
Samples
28.3s43 693×2valid
21.4s96 755×1valid
20.3s145 233×0invalid
16.3s7 047×5exit
7.6s87 286×0valid
2.8s3 430×3valid
338.0ms4 070×0exit
5.0ms4×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-pow: 14.9s (18.6% of total)
ival-tan: 12.2s (15.2% of total)
adjust: 9.0s (11.2% of total)
ival-mult: 6.7s (8.4% of total)
ival-sub: 5.0s (6.2% of total)
ival-log: 4.3s (5.4% of total)
ival-cos: 4.2s (5.2% of total)
ival-div: 4.0s (5% of total)
ival-sin: 3.3s (4.2% of total)
ival-add: 3.0s (3.8% of total)
const: 2.7s (3.3% of total)
ival-exp: 2.3s (2.8% of total)
ival-expm1: 1.9s (2.4% of total)
ival-fabs: 1.5s (1.8% of total)
ival-sqrt: 1.4s (1.7% of total)
ival-log1p: 1.1s (1.4% of total)
ival-<: 561.0ms (0.7% of total)
ival-<=: 542.0ms (0.7% of total)
ival-atan: 410.0ms (0.5% of total)
ival-and: 381.0ms (0.5% of total)
ival-cbrt: 261.0ms (0.3% of total)
ival-neg: 245.0ms (0.3% of total)
exact: 155.0ms (0.2% of total)
ival-assert: 139.0ms (0.2% of total)
ival-fmin: 130.0ms (0.2% of total)
ival->: 1.0ms (0% of total)
Bogosity

rewrite19.0s (11%)

Memory
486.2MiB live, 17 727.4MiB allocated; 3.0s collecting garbage
Stop Event
150×iter limit
107×node limit
Counts
15 868 → 35 157

eval6.8s (3.9%)

Memory
-285.0MiB live, 8 389.5MiB allocated; 2.5s collecting garbage
Compiler

Compiled 1 964 045 to 185 433 computations (90.6% saved)

preprocess6.6s (3.8%)

Memory
609.2MiB live, 6 207.8MiB allocated; 868ms collecting garbage
Stop Event
56×iter limit
51×node limit
5×saturated
Compiler

Compiled 17 688 to 4 891 computations (72.3% saved)

derivations5.6s (3.2%)

Memory
19.6MiB live, 4 472.8MiB allocated; 693ms collecting garbage
Stop Event
23×fuel
5×done
Compiler

Compiled 7 676 to 1 750 computations (77.2% saved)

explain5.4s (3.1%)

Memory
-58.4MiB live, 5 602.3MiB allocated; 881ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation411839
log.f64#fsensitivity7631
/.f64#fu/u4370
sqrt.f64#foflow-rescue3700
+.f64#fcancellation3241
/.f64#fu/n1220
pow.f64#fsensitivity690
/.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/u280
↳(*.f64 b eps)underflow140
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow140
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow140
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow237
↳(*.f64 a eps)underflow140
sqrt.f64#fuflow-rescue260
-.f64#fnan-rescue150
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o30
↳(*.f64 x x)overflow51
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o30
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow4
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow4
↳(exp.f64 x)overflow3
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow3
sin.f64(sin.f64 (+.f64 x eps))sensitivity20
tan.f64(tan.f64 (+.f64 x eps))sensitivity20
cos.f64(cos.f64 (+.f64 x eps))sensitivity20
exp.f64(exp.f64 (*.f64 a x))sensitivity21
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/n10
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow4
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow4
Confusion
Predicted +Predicted -
+512825
-1381877
Precision
0.9737941511583745
Recall
0.9951484572093926
Confusion?
Predicted +Predicted MaybePredicted -
+51281114
-138291848
Precision?
0.9685261967583867
Recall?
0.9972831360372598
Freqs
test
numberfreq
01902
14463
2644
3100
459
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.5s2 822×2valid
1.2s5 948×1valid
509.0ms5 338×0valid
129.0ms228×3valid
Compiler

Compiled 2 154 to 763 computations (64.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-tan: 609.0ms (23.6% of total)
adjust: 405.0ms (15.7% of total)
ival-log: 200.0ms (7.8% of total)
ival-sub: 195.0ms (7.6% of total)
ival-cos: 186.0ms (7.2% of total)
ival-sin: 161.0ms (6.3% of total)
ival-div: 154.0ms (6% of total)
ival-exp: 140.0ms (5.4% of total)
ival-add: 106.0ms (4.1% of total)
ival-pow: 106.0ms (4.1% of total)
ival-mult: 90.0ms (3.5% of total)
ival-sqrt: 65.0ms (2.5% of total)
ival-log1p: 57.0ms (2.2% of total)
ival-expm1: 24.0ms (0.9% of total)
ival-atan: 23.0ms (0.9% of total)
ival-cbrt: 15.0ms (0.6% of total)
ival-neg: 15.0ms (0.6% of total)
ival-true: 12.0ms (0.5% of total)
exact: 9.0ms (0.3% of total)
ival-assert: 6.0ms (0.2% of total)

series3.9s (2.3%)

Memory
-175.2MiB live, 4 013.9MiB allocated; 674ms collecting garbage
Counts
2 765 → 13 103
Calls

501 calls:

TimeVariablePointExpression
102.0ms
b_2
@0
((- (/ (neg b_2) a) (/ (sqrt (+ (* (neg a) c) (* b_2 b_2))) a)) (/ (neg b_2) a) (neg b_2) b_2 a (/ (sqrt (+ (* (neg a) c) (* b_2 b_2))) a) (sqrt (+ (* (neg a) c) (* b_2 b_2))) (+ (* (neg a) c) (* b_2 b_2)) (neg a) c (* b_2 b_2) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (* -1/2 (/ c b_2)) -1/2 (/ c b_2) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (neg (sqrt (* (/ c a) -1))) (sqrt (* (/ c a) -1)) (* (/ c a) -1) (/ c a) -1 (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (sqrt (- (* b_2 b_2) (* a c))) (- (* b_2 b_2) (* a c)) (* (neg a) c) (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) (* (neg c) (- (/ b_2 c) (sqrt (* (/ a c) -1)))) (neg c) (- (/ b_2 c) (sqrt (* (/ a c) -1))) (/ b_2 c) (sqrt (* (/ a c) -1)) (* (/ a c) -1) (/ a c))
67.0ms
eps
@-inf
((/ (/ (- (* eps eps) (pow (sin eps) 2)) (+ eps (sin eps))) (- eps (tan eps))) (- (* (* eps eps) 9/40) 1/2) (* (* eps eps) 9/40) (* eps eps) eps 9/40 1/2 (/ (- eps (sin eps)) (- eps (tan eps))) (- eps (sin eps)) (neg (* (- (/ (sin eps) eps) 1) eps)) (* (- (/ (sin eps) eps) 1) eps) (- (/ (sin eps) eps) 1) (* (- (* (+ (* (- (* 1/362880 (* eps eps)) 1/5040) (* eps eps)) 1/120) (* eps eps)) 1/6) (* eps eps)) (- (* (+ (* (- (* 1/362880 (* eps eps)) 1/5040) (* eps eps)) 1/120) (* eps eps)) 1/6) (* (+ (* (- (* 1/362880 (* eps eps)) 1/5040) (* eps eps)) 1/120) (* eps eps)) (+ (* (- (* 1/362880 (* eps eps)) 1/5040) (* eps eps)) 1/120) (- (* 1/362880 (* eps eps)) 1/5040) (* 1/362880 (* eps eps)) 1/362880 1/5040 1/120 1/6 (- eps (tan eps)) (tan eps) (/ (/ (- (* eps eps) (pow (sin eps) 2)) (+ eps (sin eps))) (- eps (tan eps))) (/ (- (* eps eps) (pow (sin eps) 2)) (+ eps (sin eps))) (* (- 1 (/ (sin eps) eps)) eps) (- 1 (/ (sin eps) eps)) 1 (/ (sin eps) eps) (sin eps) (- (/ eps (- eps (tan eps))) (/ (sin eps) (- eps (tan eps)))) (/ eps (- eps (tan eps))) (/ (sin eps) (- eps (tan eps))) (/ (/ (- (* eps eps) (pow (sin eps) 2)) (+ eps (sin eps))) (- eps (tan (+ eps (PI))))) (/ (- (* eps eps) (pow (sin eps) 2)) (+ eps (sin eps))) (- (* eps eps) (pow (sin eps) 2)) (pow (sin eps) 2) 2 (+ eps (sin eps)) (- eps (tan (+ eps (PI)))) (tan (+ eps (PI))) (+ eps (PI)) (PI))
64.0ms
n
@inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (log (+ 1 x)) x (log x) n (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (exp (neg (/ (neg (log x)) n))) (+ 1 (/ (log x) n)) 1 (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (* (pow n -2) 1/2) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (* (pow n -2) 1/2) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) (/ (- 1 (* 1/2 (pow x -1))) n) (- 1 (* 1/2 (pow x -1))) (* 1/2 (pow x -1)) 1/2 (pow x -1) -1 (- (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)) (- (/ x n) (+ (* 1/2 (/ (pow (log x) 2) (* n n))) (/ (log x) n))) (/ x n) (+ (* 1/2 (/ (pow (log x) 2) (* n n))) (/ (log x) n)) (/ (pow (log x) 2) (* n n)) (pow (log x) 2) 2 (* n n) (/ (log x) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (/ (+ (pow (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) 3) (pow (log x) 3)) (+ (* (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n)))) (- (pow (log x) 2) (* (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x))))) n)) (/ (/ (+ (pow (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) 3) (pow (log x) 3)) (+ (* (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n)))) (- (pow (log x) 2) (* (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x))))) n) (/ (+ (pow (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) 3) (pow (log x) 3)) (+ (* (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n)))) (- (pow (log x) 2) (* (* -1 (+ (log (+ 1 x)) (/ (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) n))) (log x))))) (/ (+ (* -1 (pow (log (+ 1 x)) 3)) (pow (log x) 3)) (- (+ (* (log x) (log x)) (pow (log (+ 1 x)) 2)) (* -1 (* (log x) (log (+ 1 x)))))) (+ (* -1 (pow (log (+ 1 x)) 3)) (pow (log x) 3)) (pow (log (+ 1 x)) 3) 3 (pow (log x) 3) (- (+ (* (log x) (log x)) (pow (log (+ 1 x)) 2)) (* -1 (* (log x) (log (+ 1 x))))) (+ (* (log x) (log x)) (pow (log (+ 1 x)) 2)) (pow (log (+ 1 x)) 2) (* -1 (* (log x) (log (+ 1 x)))) (* (log x) (log (+ 1 x))))
54.0ms
x
@-inf
((- (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)) -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 (+ 1 x)) 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/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)))) (/ (+ (* (/ (* 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/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4)) (pow (log (+ 1 x)) 4) 4 (pow (log x) 4) (log x) 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) (* 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))) (- 1 (exp (/ (log x) n))) (exp (/ (log x) n)) (/ (log x) n) (- (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))
53.0ms
N
@0
((- (log (+ N 1)) (log N)) (log (+ N 1)) (+ N 1) N 1 (log N))

prune3.0s (1.7%)

Memory
-6.8MiB live, 4 044.7MiB allocated; 1.5s collecting garbage
Counts
42 436 → 1 575
Compiler

Compiled 99 879 to 50 302 computations (49.6% saved)

regimes2.7s (1.5%)

Memory
56.8MiB live, 3 432.4MiB allocated; 525ms collecting garbage
Counts
2 565 → 267
Calls

43 calls:

599.0ms
x
463.0ms
eps
219.0ms
b
122.0ms
a
92.0ms
(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))
Compiler

Compiled 1 925 to 1 814 computations (5.8% saved)

analyze2.0s (1.1%)

Memory
77.4MiB live, 2 035.0MiB allocated; 553ms 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)

bsearch1.5s (0.9%)

Memory
27.4MiB live, 1 587.5MiB allocated; 257ms collecting garbage
Algorithm
69×binary-search
14×left-value
Stop Event
69×narrow-enough
Samples
485.0ms5 255×0valid
165.0ms755×1valid
150.0ms1 358×0invalid
125.0ms414×2valid
2.0ms8×3valid
1.0ms12×0exit
Compiler

Compiled 27 602 to 21 003 computations (23.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 643.0ms
ival-mult: 145.0ms (22.5% of total)
ival-div: 89.0ms (13.8% of total)
ival-sqrt: 89.0ms (13.8% of total)
ival-pow: 76.0ms (11.8% of total)
ival-sub: 57.0ms (8.9% of total)
adjust: 55.0ms (8.6% of total)
ival-cbrt: 40.0ms (6.2% of total)
ival-neg: 36.0ms (5.6% of total)
ival-add: 33.0ms (5.1% of total)
ival-cos: 6.0ms (0.9% of total)
ival-expm1: 6.0ms (0.9% of total)
ival-true: 5.0ms (0.8% of total)
exact: 4.0ms (0.6% of total)
ival-assert: 3.0ms (0.5% of total)

simplify1.5s (0.8%)

Memory
-168.4MiB live, 1 380.9MiB allocated; 359ms collecting garbage
Stop Event
28×node limit

start1.0ms (0%)

Memory
2.7MiB live, 2.6MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.5MiB live, 0.4MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...