Herbie run

Date:Thursday, September 5th, 2024
Commit:7a659933 on fewer-globals
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: 5.4min)

sample1.1min (20.9%)

Memory
114.0MiB live, 76 561.3MiB allocated
Samples
30.1s285 725×0valid
12.5s43 825×1valid
7.0s16 790×2valid
323.0ms4 215×0invalid
173.0ms412×3valid
151.0ms932×0exit
60.0ms101×3exit
55.0ms101×4exit
5.0ms38×1exit
Precisions
Click to see histograms. Total time spent on operations: 38.2s
ival-mult: 8.1s (21.2% of total)
ival-add: 4.1s (10.8% of total)
ival-div: 3.8s (9.9% of total)
const: 3.4s (9% of total)
ival-sub: 3.2s (8.5% of total)
ival-pow: 3.0s (7.8% of total)
adjust: 2.7s (7.2% of total)
ival-<=: 2.2s (5.8% of total)
ival-sin: 2.1s (5.4% of total)
ival-cos: 1.5s (3.9% of total)
ival-exp: 784.0ms (2.1% of total)
ival-==: 543.0ms (1.4% of total)
ival-neg: 514.0ms (1.3% of total)
ival-sqrt: 413.0ms (1.1% of total)
exact: 408.0ms (1.1% of total)
ival-and: 346.0ms (0.9% of total)
ival-pow2: 243.0ms (0.6% of total)
ival-true: 133.0ms (0.3% of total)
ival-assert: 130.0ms (0.3% of total)
ival-expm1: 115.0ms (0.3% of total)
ival-tan: 95.0ms (0.2% of total)
ival-atan: 79.0ms (0.2% of total)
ival-log1p: 74.0ms (0.2% of total)
ival-<: 60.0ms (0.2% of total)
ival-pi: 57.0ms (0.1% of total)
ival-hypot: 19.0ms (0% of total)
ival-if: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)
Bogosity

simplify1.1min (19.4%)

Memory
653.8MiB live, 57 915.4MiB allocated
Algorithm
338×egg-herbie
Rules
2 747 904×lower-fma.f32
2 747 346×lower-fma.f64
940 474×lower-*.f32
939 170×lower-*.f64
573 598×lower-+.f32
Stop Event
430×iter limit
218×node limit
134×saturated
Counts
38 940 → 37 861

rewrite44.4s (13.6%)

Memory
-10.9MiB live, 44 693.7MiB allocated
Rules
821 750×lower-fma.f32
821 194×lower-fma.f64
628 708×lower-*.f32
627 418×lower-*.f64
526 958×lower-/.f32
Stop Event
290×iter limit
143×node limit
13×saturated
Counts
1 909 → 86 567

soundness44.1s (13.5%)

Memory
24.0MiB live, 26 542.1MiB allocated
Rules
1 524 002×lower-fma.f32
1 523 744×lower-fma.f64
776 988×lower-*.f32
776 164×lower-*.f64
418 822×lower-/.f32
Stop Event
257×iter limit
169×node limit
23×fuel
19×done
9×saturated
Compiler

Compiled 25 370 to 10 753 computations (57.6% saved)

eval34.3s (10.5%)

Memory
515.4MiB live, 40 698.6MiB allocated
Compiler

Compiled 4 152 857 to 360 325 computations (91.3% saved)

localize19.8s (6.1%)

Memory
-451.4MiB live, 24 654.5MiB allocated
Samples
7.5s28 991×0valid
3.9s5 540×1valid
3.1s2 802×2valid
195.0ms94×3valid
90.0ms38×5exit
46.0ms147×0invalid
41.0ms171×0exit
34.0ms104×1exit
6.0ms1×4valid
Compiler

Compiled 33 627 to 4 145 computations (87.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.9s
ival-mult: 3.2s (29.7% of total)
ival-add: 1.6s (14.5% of total)
ival-div: 1.4s (12.8% of total)
ival-pow: 1.2s (10.5% of total)
adjust: 1.0s (9.4% of total)
ival-sub: 663.0ms (6.1% of total)
const: 591.0ms (5.4% of total)
ival-sin: 351.0ms (3.2% of total)
ival-cos: 256.0ms (2.3% of total)
ival-exp: 167.0ms (1.5% of total)
ival-neg: 121.0ms (1.1% of total)
ival-sqrt: 98.0ms (0.9% of total)
ival-pow2: 63.0ms (0.6% of total)
exact: 58.0ms (0.5% of total)
ival-expm1: 48.0ms (0.4% of total)
ival-atan: 33.0ms (0.3% of total)
ival-true: 28.0ms (0.3% of total)
ival-log1p: 23.0ms (0.2% of total)
ival-assert: 15.0ms (0.1% of total)
ival-tan: 8.0ms (0.1% of total)
ival-log: 7.0ms (0.1% of total)
ival-pi: 4.0ms (0% of total)
ival-e: 2.0ms (0% of total)

preprocess12.2s (3.7%)

Memory
144.3MiB live, 12 023.0MiB allocated
Algorithm
42×egg-herbie
Rules
284 538×lower-fma.f32
284 536×lower-fma.f64
55 266×lower-*.f32
55 078×lower-*.f64
37 652×lower-+.f32
Stop Event
82×iter limit
54×saturated
32×node limit
Compiler

Compiled 32 609 to 8 770 computations (73.1% saved)

explain10.1s (3.1%)

Memory
-32.6MiB live, 12 032.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation13091
+.f64#fcancellation37282
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2170
sqrt.f64#foflow-rescue2160
log.f64(log.f64 (+.f64 #s(literal 1 binary64) x))sensitivity1671
/.f64#fn/o1600
/.f64#fo/o1460
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1290
/.f64#fu/n930
-.f64#fnan-rescue910
/.f64#fn/u480
/.f64#fo/n470
/.f64#fu/u430
*.f64#fn*u420
+.f64#fnan-rescue380
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue220
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow42
↳(/.f64 i n)overflow22
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow22
sqrt.f64#fuflow-rescue200
*.f64#fn*o200
Confusion
Predicted +Predicted -
+3869241
-1096533
Precision
0.9725992961287079
Recall
0.9413625304136253
Confusion?
Predicted +Predicted MaybePredicted -
+386916477
-1091766357
Precision?
0.9339972209356183
Recall?
0.9812652068126521
Freqs
test
numberfreq
06774
13536
2407
335
Total Confusion?
Predicted +Predicted MaybePredicted -
+3110
-208
Precision?
0.9411764705882353
Recall?
1.0
Samples
1.6s16 400×0valid
1.2s3 722×1valid
561.0ms1 348×2valid
17.0ms34×3valid
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: 816.0ms (35% of total)
adjust: 261.0ms (11.2% of total)
ival-div: 209.0ms (9% of total)
ival-add: 199.0ms (8.5% of total)
ival-pow: 197.0ms (8.5% of total)
ival-sub: 191.0ms (8.2% of total)
ival-sin: 129.0ms (5.5% of total)
ival-cos: 123.0ms (5.3% of total)
const: 64.0ms (2.7% of total)
ival-exp: 27.0ms (1.2% of total)
ival-sqrt: 22.0ms (0.9% of total)
ival-true: 17.0ms (0.7% of total)
exact: 17.0ms (0.7% of total)
ival-pow2: 14.0ms (0.6% of total)
ival-neg: 14.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
ival-pi: 5.0ms (0.2% of total)
ival-log1p: 5.0ms (0.2% of total)
ival-tan: 4.0ms (0.2% of total)
ival-atan: 4.0ms (0.2% of total)
ival-expm1: 3.0ms (0.1% of total)

prune10.0s (3.1%)

Memory
-517.2MiB live, 15 675.6MiB allocated
Counts
148 040 → 2 119
Compiler

Compiled 75 866 to 42 737 computations (43.7% saved)

regimes7.8s (2.4%)

Memory
-302.0MiB live, 10 547.1MiB allocated
Counts
5 315 → 578
Calls

96 calls:

829.0ms
x
457.0ms
a
393.0ms
c
382.0ms
b
366.0ms
eps
Compiler

Compiled 9 299 to 5 946 computations (36.1% saved)

series5.8s (1.8%)

Memory
0.9MiB live, 7 112.2MiB allocated
Counts
1 909 → 38 940
Calls

846 calls:

TimeVariablePointExpression
136.0ms
b
@inf
((* (/ 1/2 (- b a)) (pow a -1)) (+ (* (/ (PI) (+ a b)) (* (/ 1/2 (- b a)) (pow a -1))) (/ (* (/ 1/2 (+ a b)) (/ (PI) (- b a))) (neg b))) (/ (* (/ 1/2 (+ a b)) (/ (PI) (- b a))) (neg b)) (/ (PI) (+ a b)) (* (* (/ (PI) 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))) (* (/ (PI) (* b (* a a))) 1/2) (/ (PI) (* b (* a a))) (PI) (* (* (- b a) (PI)) (/ 1 (* (* (* a b) 2) (* (+ a b) (- b a))))) (* (- b a) (PI)) (- b a) (* (* (/ (PI) 2) (/ 1 (- (* b b) (* a a)))) (- (/ 1 a) (/ 1 b))) (* (/ (PI) 2) (/ 1 (- (* b b) (* a a)))) (* (/ (/ (PI) b) b) 1/2) (/ (/ (PI) b) b) (* (/ (- b a) b) (/ (* (/ 1/2 (+ a b)) (/ (PI) (- b a))) a)) (/ (- b a) b) (/ (* (/ 1/2 (+ a b)) (/ (PI) (- b a))) a) (/ (PI) (- b a)) (* b (* a a)) (* (* (* a b) 2) (* (+ a b) (- b a))) (/ 1 (* (* (* a b) 2) (* (+ a b) (- b a)))) (/ (PI) b) (* (/ 1/2 (+ a b)) (/ (PI) (- b a))))
90.0ms
t
@0
((* (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 7/8) (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (/ 1 (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/ 1 (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) -2) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (* (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) -1/2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
69.0ms
y
@0
((/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) (+ (* (+ (* (* x (/ x (pow y 4))) -2) (/ 2 (* y y))) (* x x)) -1) (+ (* (* x (/ x (pow y 4))) -2) (/ 2 (* y y))) (* x (/ x (pow y 4))) (* (+ y x) (/ (- x y) (+ (* x x) (* y y)))) (+ y x) (/ (- x y) (+ (* x x) (* y y))) (- x y) (+ (* (+ y x) x) (* (+ y x) (neg y))) (/ (+ (* (+ y x) x) (* (+ y x) (neg y))) (+ (* x x) (* y y))) (* (+ y x) (neg y)) (+ (* x x) (* y y)) (* y y) (+ (* x x) (* y y)))
62.0ms
b
@0
((/ -1 (/ b c)) (/ (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* 2 a)) (/ b c) (/ (- (sqrt (+ (* (* -4 c) a) (* b b))) b) (* 2 a)) (/ b a) (/ (- (* 0 a) (* a b)) (* a a)) (* 0 a) (- (* 0 a) (* a b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (* (* 2 a) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (* b b) (- (* b b) (* (* 4 a) c))) (* 4 (* a c)) (* a c) (exp (log b)) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)) (/ (exp (log b)) a) (log b) (* a a) (- (* b b) (* (* 4 a) c)) (sqrt (- (* b b) (* (* 4 a) c))) (/ (- (* b b) (- (* b b) (* (* 4 a) c))) (* (* 2 a) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))))
51.0ms
x2
@inf
((+ (+ (+ (* (+ (* (* (* 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) (+ (* (* (* 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) (* 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)) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) (/ (- (- (* (* 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)))

analyze4.2s (1.3%)

Memory
17.3MiB live, 4 910.2MiB allocated
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)

bsearch2.4s (0.7%)

Memory
229.6MiB live, 3 576.8MiB allocated
Algorithm
177×binary-search
106×left-value
Stop Event
168×narrow-enough
9×predicate-same
Samples
1.1s10 213×0valid
214.0ms992×1valid
77.0ms277×2valid
76.0ms848×0invalid
1.0ms6×3valid
Compiler

Compiled 34 025 to 30 243 computations (11.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
ival-mult: 429.0ms (41.5% of total)
ival-div: 147.0ms (14.2% of total)
ival-sub: 114.0ms (11% of total)
ival-add: 112.0ms (10.8% of total)
ival-pow: 93.0ms (9% of total)
adjust: 36.0ms (3.5% of total)
ival-neg: 35.0ms (3.4% of total)
ival-exp: 25.0ms (2.4% of total)
ival-sqrt: 19.0ms (1.8% of total)
exact: 9.0ms (0.9% of total)
ival-true: 8.0ms (0.8% of total)
ival-assert: 5.0ms (0.5% of total)
ival-pi: 1.0ms (0.1% of total)

start2.0ms (0%)

Memory
4.4MiB live, 4.4MiB allocated

end0.0ms (0%)

Memory
0.8MiB live, 0.7MiB allocated

Profiling

Loading profile data...