Herbie run

Date:Sunday, March 30th, 2025
Commit:2100b191 on main
Seed:2025089
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:165 798.0 MB

Time bar (total: 2.6min)

sample1.6min (59.8%)

Memory
584.5MiB live, 98 348.9MiB allocated; 29.4s collecting garbage
Samples
26.0s44 694×2valid
17.0s96 909×1valid
15.5s146 904×0invalid
8.7s6 077×5exit
6.3s85 908×0valid
2.6s3 655×3valid
420.0ms4 255×0exit
153.0ms1 060×1exit
6.0ms2×3exit
5.0ms3×4exit
2.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-tan: 11.8s (19.1% of total)
ival-pow: 9.6s (15.5% of total)
adjust: 6.6s (10.7% of total)
ival-mult!: 5.1s (8.2% of total)
ival-log: 4.4s (7.1% of total)
ival-cos: 4.1s (6.6% of total)
ival-div!: 3.1s (5% of total)
ival-sin: 3.1s (4.9% of total)
ival-exp: 2.0s (3.2% of total)
ival-sub!: 1.9s (3.1% of total)
ival-expm1: 1.9s (3% of total)
ival-add!: 1.7s (2.7% of total)
ival-fabs: 1.6s (2.5% of total)
ival-sqrt: 1.2s (2% of total)
ival-log1p: 1.2s (1.9% of total)
ival-cbrt: 550.0ms (0.9% of total)
ival-<: 468.0ms (0.8% of total)
ival-neg: 427.0ms (0.7% of total)
ival-<=: 387.0ms (0.6% of total)
ival-atan: 350.0ms (0.6% of total)
ival-and: 335.0ms (0.5% of total)
ival-assert: 71.0ms (0.1% of total)
ival-fmin: 60.0ms (0.1% of total)
ival->: 2.0ms (0% of total)
Bogosity

rewrite22.0s (14%)

Memory
788.7MiB live, 21 850.8MiB allocated; 6.1s collecting garbage
Stop Event
263×iter-limit
108×node-limit
Counts
15 815 → 33 423

preprocess7.7s (4.9%)

Memory
-90.8MiB live, 7 064.0MiB allocated; 2.4s collecting garbage
Stop Event
56×iter-limit
51×node-limit
5×saturated
Compiler

Compiled 22 972 to 6 657 computations (71% saved)

eval7.3s (4.7%)

Memory
-169.9MiB live, 8 882.4MiB allocated; 2.9s collecting garbage
Compiler

Compiled 1 867 488 to 180 476 computations (90.3% saved)

derivations6.3s (4%)

Memory
-72.0MiB live, 5 198.4MiB allocated; 853ms collecting garbage
Stop Event
23×fuel
5×done
Compiler

Compiled 9 300 to 2 046 computations (78% saved)

explain5.4s (3.4%)

Memory
42.1MiB live, 6 651.6MiB allocated; 938ms collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation410739
log.f64#fsensitivity7601
/.f64#fu/u4400
sqrt.f64#foflow-rescue4220
+.f64#fcancellation3382
/.f64#fu/n1430
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity700
sqrt.f64#fuflow-rescue280
-.f64#fnan-rescue260
/.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/u240
↳(*.f64 b eps)underflow150
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow139
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow150
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow226
↳(*.f64 a eps)underflow139
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o50
↳(*.f64 x x)overflow71
tan.f64(tan.f64 (+.f64 x eps))sensitivity32
cos.f64(cos.f64 (+.f64 x eps))sensitivity21
exp.f64#fsensitivity21
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o20
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow2
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow2
↳(exp.f64 x)overflow2
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow2
sin.f64(sin.f64 (+.f64 x eps))sensitivity22
Confusion
Predicted +Predicted -
+522125
-1521770
Precision
0.9717104038712079
Recall
0.9952344643537934
Confusion?
Predicted +Predicted MaybePredicted -
+5221214
-152221748
Precision?
0.9678729689807977
Recall?
0.9992375142966069
Freqs
test
numberfreq
01795
14575
2646
3101
451
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
1.5s2 776×2valid
1.0s6 050×1valid
526.0ms5 258×0valid
208.0ms252×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: 701.0ms (27.1% of total)
adjust: 295.0ms (11.4% of total)
ival-log: 273.0ms (10.5% of total)
ival-cos: 269.0ms (10.4% of total)
ival-pow: 190.0ms (7.3% of total)
ival-sin: 186.0ms (7.2% of total)
ival-exp: 152.0ms (5.9% of total)
ival-div!: 110.0ms (4.2% of total)
ival-mult!: 74.0ms (2.9% of total)
ival-sub!: 73.0ms (2.8% of total)
ival-sqrt: 71.0ms (2.7% of total)
ival-log1p: 63.0ms (2.4% of total)
ival-add!: 53.0ms (2% of total)
ival-expm1: 24.0ms (0.9% of total)
ival-atan: 23.0ms (0.9% of total)
ival-cbrt: 18.0ms (0.7% of total)
ival-neg: 12.0ms (0.5% of total)

regimes4.6s (2.9%)

Memory
-213.5MiB live, 4 877.3MiB allocated; 1.7s collecting garbage
Counts
4 084 → 321
Calls

43 calls:

1.9s
x
512.0ms
eps
239.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
170.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
146.0ms
a
Compiler

Compiled 2 237 to 2 134 computations (4.6% saved)

series4.5s (2.9%)

Memory
-328.4MiB live, 5 364.0MiB allocated; 833ms collecting garbage
Counts
2 770 → 13 045
Calls

504 calls:

TimeVariablePointExpression
98.0ms
x
@0
((- (cbrt (+ x 1)) (pow x 1/3)) (* (pow (cbrt x) -2) 1/3) (pow (cbrt x) -2) (cbrt x) x -2 1/3 (- (cbrt (+ x 1)) (cbrt x)) (* (pow x -2/3) 1/3) (pow x -2/3) -2/3 (- (cbrt (+ x 1)) (cbrt x)) (* (exp (* (log x) -2/3)) 1/3) (exp (* (log x) -2/3)) (* (log x) -2/3) (log x) (- (exp (* (log (+ 1 x)) 1/3)) (cbrt x)) (exp (* (log (+ 1 x)) 1/3)) (* (log (+ 1 x)) 1/3) (log (+ 1 x)) (- (cbrt (+ x 1)) (cbrt x)) (+ (* (/ (cbrt (pow x 4)) x) (/ 1/3 x)) (* (/ (/ (cbrt x) 1) x) (/ 1/9 x))) (/ (cbrt (pow x 4)) x) (cbrt (pow x 4)) (pow x 4) 4 (/ 1/3 x) (* (/ (/ (cbrt x) 1) x) (/ 1/9 x)) (/ (/ (cbrt x) 1) x) (/ (cbrt x) 1) 1 (/ 1/9 x) 1/9)
66.0ms
n
@0
((- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) (- (* (+ n 1) (log (+ n 1))) (* n (log n))) (* (+ n 1) (log (+ n 1))) (+ n 1) n 1 (log (+ n 1)) (* n (log n)) (log n))
65.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))) (* -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)))) (pow (log x) 2)) (- (* -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))) (* -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)))) (pow (log x) 2)) (- (* -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))) (* -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)))) (pow (log x) 2)) (- (* -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))) (* -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)))) (pow (log x) 2)) (* (* -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))) (* -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)))) (* -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))) -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) (- (* -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)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) 1 (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 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)) (/ (log x) n) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (cosh (/ (neg (log x)) n)) (sinh (/ (neg (log x)) n))) (* n x)) (- (cosh (/ (neg (log x)) n)) (sinh (/ (neg (log x)) n))) (cosh (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (sinh (/ (neg (log x)) n)))
62.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))) (* -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)))) (pow (log x) 2)) (- (* -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))) (* -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)))) (pow (log x) 2)) (- (* -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))) (* -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)))) (pow (log x) 2)) (- (* -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))) (* -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)))) (pow (log x) 2)) (* (* -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))) (* -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)))) (* -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))) -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) (- (* -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)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) 1 (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 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)) (/ (log x) n) (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (cosh (/ (neg (log x)) n)) (sinh (/ (neg (log x)) n))) (* n x)) (- (cosh (/ (neg (log x)) n)) (sinh (/ (neg (log x)) n))) (cosh (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (sinh (/ (neg (log x)) n)))
58.0ms
x
@-inf
((- (cbrt (+ x 1)) (pow x 1/3)) (* (pow (cbrt x) -2) 1/3) (pow (cbrt x) -2) (cbrt x) x -2 1/3 (- (cbrt (+ x 1)) (cbrt x)) (* (pow x -2/3) 1/3) (pow x -2/3) -2/3 (- (cbrt (+ x 1)) (cbrt x)) (* (exp (* (log x) -2/3)) 1/3) (exp (* (log x) -2/3)) (* (log x) -2/3) (log x) (- (exp (* (log (+ 1 x)) 1/3)) (cbrt x)) (exp (* (log (+ 1 x)) 1/3)) (* (log (+ 1 x)) 1/3) (log (+ 1 x)) (- (cbrt (+ x 1)) (cbrt x)) (+ (* (/ (cbrt (pow x 4)) x) (/ 1/3 x)) (* (/ (/ (cbrt x) 1) x) (/ 1/9 x))) (/ (cbrt (pow x 4)) x) (cbrt (pow x 4)) (pow x 4) 4 (/ 1/3 x) (* (/ (/ (cbrt x) 1) x) (/ 1/9 x)) (/ (/ (cbrt x) 1) x) (/ (cbrt x) 1) 1 (/ 1/9 x) 1/9)

prune2.5s (1.6%)

Memory
216.3MiB live, 4 443.0MiB allocated; 552ms collecting garbage
Counts
41 188 → 1 647
Compiler

Compiled 111 923 to 54 087 computations (51.7% saved)

analyze1.6s (1%)

Memory
225.2MiB live, 1 807.1MiB allocated; 403ms 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.1s (0.7%)

Memory
19.4MiB live, 1 308.2MiB allocated; 214ms collecting garbage
Algorithm
80×binary-search
18×left-value
Stop Event
69×narrow-enough
11×predicate-same
Samples
374.0ms5 280×0valid
118.0ms841×1valid
77.0ms1 197×0invalid
59.0ms289×2valid
1.0ms6×3valid
1.0ms11×0exit
Compiler

Compiled 29 359 to 21 765 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 407.0ms
ival-mult!: 112.0ms (27.5% of total)
ival-div!: 63.0ms (15.5% of total)
ival-sqrt: 53.0ms (13% of total)
ival-pow: 32.0ms (7.9% of total)
ival-neg: 31.0ms (7.6% of total)
ival-cos: 30.0ms (7.4% of total)
ival-sub!: 29.0ms (7.1% of total)
adjust: 27.0ms (6.6% of total)
ival-add!: 13.0ms (3.2% of total)
ival-expm1: 9.0ms (2.2% of total)
ival-cbrt: 7.0ms (1.7% of total)
ival-exp: 2.0ms (0.5% of total)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...