Metrics for Herbie run

Date:	Tuesday, September 24th, 2024
Commit:	6490ee3d on main
Hostname:	nightly with Racket 8.10
Seed:	2024268
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

sample1.2min (22.8%)

Memory

630.0MiB live, 76 493.8MiB allocated

Samples

31.3s	285 672×	0	valid
12.3s	43 742×	1	valid
8.0s	16 926×	2	valid
645.0ms	4 458×	0	invalid
349.0ms	101×	4	exit
184.0ms	412×	3	valid
153.0ms	1 005×	0	exit
67.0ms	101×	3	exit
7.0ms	53×	1	exit

Precisions

Click to see histograms. Total time spent on operations: 39.8s

ival-mult: 8.9s (22.4% of total)

ival-div: 3.8s (9.4% of total)

ival-add: 3.7s (9.3% of total)

ival-sub: 3.6s (8.9% of total)

ival-pow: 3.4s (8.4% of total)

const: 3.1s (7.8% of total)

adjust: 2.8s (7.1% of total)

ival-<=: 2.8s (7% of total)

ival-sin: 2.2s (5.6% of total)

ival-cos: 1.7s (4.3% of total)

ival-exp: 679.0ms (1.7% of total)

ival-sqrt: 559.0ms (1.4% of total)

ival-neg: 470.0ms (1.2% of total)

exact: 427.0ms (1.1% of total)

ival-and: 360.0ms (0.9% of total)

ival-pow2: 352.0ms (0.9% of total)

ival-==: 257.0ms (0.6% of total)

ival-true: 144.0ms (0.4% of total)

ival-assert: 135.0ms (0.3% of total)

ival-expm1: 125.0ms (0.3% of total)

ival-<: 88.0ms (0.2% of total)

ival-atan: 88.0ms (0.2% of total)

ival-tan: 86.0ms (0.2% of total)

ival-log1p: 84.0ms (0.2% of total)

ival-pi: 34.0ms (0.1% of total)

ival-hypot: 17.0ms (0% of total)

ival-fabs: 5.0ms (0% of total)

ival-if: 4.0ms (0% of total)

Bogosity

simplify56.8s (17.9%)

Memory

270.7MiB live, 49 359.2MiB allocated

Algorithm

342×	egg-herbie

Stop Event

436×	iter limit
221×	node limit
135×	saturated

Counts

39 432 → 38 407

soundness42.2s (13.3%)

Memory

359.0MiB live, 23 425.1MiB allocated

Stop Event

245×	iter limit
165×	node limit
24×	fuel
18×	done
9×	saturated

Compiler

Compiled 20 270 to 8 995 computations (55.6% saved)

rewrite34.8s (11%)

Memory

296.8MiB live, 34 563.1MiB allocated

Stop Event

293×	iter limit
145×	node limit
13×	saturated

Counts

1 908 → 87 125

eval33.0s (10.4%)

Memory: 703.9MiB live, 40 276.3MiB allocated
Compiler: Compiled 4 547 488 to 369 342 computations (91.9% saved)

localize21.5s (6.8%)

Memory

-380.9MiB live, 23 946.5MiB allocated

Samples

8.2s	29 943×	0	valid
3.7s	5 009×	1	valid
3.5s	2 587×	2	valid
686.0ms	225×	3	valid
118.0ms	206×	1	exit
112.0ms	188×	0	invalid
111.0ms	211×	0	exit
80.0ms	21×	5	exit
26.0ms	10×	4	valid

Compiler

Compiled 34 764 to 4 032 computations (88.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 12.4s

ival-mult: 3.6s (29% of total)

ival-add: 1.7s (14% of total)

ival-div: 1.4s (11.4% of total)

adjust: 1.2s (10% of total)

ival-pow: 1.0s (8.2% of total)

const: 800.0ms (6.5% of total)

ival-sub: 668.0ms (5.4% of total)

ival-cos: 452.0ms (3.6% of total)

ival-tan: 392.0ms (3.2% of total)

ival-sin: 338.0ms (2.7% of total)

ival-exp: 174.0ms (1.4% of total)

ival-neg: 165.0ms (1.3% of total)

ival-pow2: 123.0ms (1% of total)

ival-sqrt: 103.0ms (0.8% of total)

exact: 56.0ms (0.5% of total)

ival-expm1: 41.0ms (0.3% of total)

ival-true: 31.0ms (0.3% of total)

ival-log1p: 27.0ms (0.2% of total)

ival-assert: 15.0ms (0.1% of total)

ival-atan: 10.0ms (0.1% of total)

ival-pi: 4.0ms (0% of total)

preprocess13.2s (4.2%)

Memory

31.6MiB live, 11 174.7MiB allocated

Algorithm

42×	egg-herbie

Stop Event

82×	iter limit
54×	saturated
32×	node limit

Compiler

Compiled 26 667 to 8 220 computations (69.2% saved)

explain10.8s (3.4%)

Memory

-111.3MiB live, 12 943.1MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1313	3
`+.f64`	`#f`	cancellation	384	79
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	213	0
`sqrt.f64`	`#f`	oflow-rescue	212	0
`/.f64`	`#f`	o/o	177	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	169	0
`/.f64`	`#f`	n/o	161	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	120	0
`-.f64`	`#f`	nan-rescue	118	0
`/.f64`	`#f`	u/n	64	0
`+.f64`	`#f`	nan-rescue	51	0
`/.f64`	`#f`	n/u	47	0
`/.f64`	`#f`	o/n	46	0
`/.f64`	`#f`	u/u	36	0
`*.f64`	`#f`	*nu**	30	0
`*.f64`	`#f`	*no**	25	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	16	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	35
↳	`(/.f64 i n)`	overflow	16
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	16
`sqrt.f64`	`#f`	uflow-rescue	10	0

Confusion

	Predicted +	Predicted -
+	3891	218
-	113	6530

Precision

0.9717782217782218

Recall

0.9469457288878073

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3891	145	73
-	113	193	6337

Precision?

0.9295255642561032

Recall?

0.9822341202238988

Freqs

test

number	freq
0	6748
1	3573
2	399
3	32

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	1	0
-	2	0	9

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.6s	16 282×	0	valid
1.4s	3 824×	1	valid
568.0ms	1 344×	2	valid
66.0ms	54×	3	valid

Compiler

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

Precisions

Click to see histograms. Total time spent on operations: 2.6s

ival-mult: 703.0ms (27% of total)

ival-sub: 413.0ms (15.8% of total)

ival-add: 277.0ms (10.6% of total)

ival-div: 271.0ms (10.4% of total)

ival-pow: 244.0ms (9.4% of total)

adjust: 241.0ms (9.2% of total)

ival-sin: 141.0ms (5.4% of total)

ival-cos: 87.0ms (3.3% of total)

ival-exp: 45.0ms (1.7% of total)

const: 41.0ms (1.6% of total)

ival-neg: 37.0ms (1.4% of total)

ival-sqrt: 28.0ms (1.1% of total)

ival-true: 19.0ms (0.7% of total)

exact: 18.0ms (0.7% of total)

ival-pow2: 14.0ms (0.5% of total)

ival-assert: 9.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: 4.0ms (0.2% of total)

ival-pi: 2.0ms (0.1% of total)

prune9.8s (3.1%)

Memory: -443.8MiB live, 14 572.4MiB allocated
Counts: 149 781 → 2 040
Compiler: Compiled 77 071 to 41 089 computations (46.7% saved)

regimes7.0s (2.2%)

Memory

-387.8MiB live, 9 236.9MiB allocated

Counts

4 835 → 558

Calls

96 calls:

757.0ms	x
432.0ms	b
345.0ms	d
236.0ms	x1
223.0ms	c

Compiler

Compiled 7 671 to 5 163 computations (32.7% saved)

series6.6s (2.1%)

Memory

-435.8MiB live, 7 328.7MiB allocated

Counts

1 908 → 39 432

Calls

861 calls:

Time	Variable		Point	Expression
305.0ms	x	@	-inf	((- x (sqrt (+ (* x x) (neg eps)))) (sqrt (+ (* x x) (neg eps))) (+ (* x x) (neg eps)) (neg eps) (- x (sqrt (- (* x x) eps))) (sqrt (- (* x x) eps)) (neg x) (- (+ (* x x) eps) (* x x)) (/ (- (+ (* x x) eps) (* x x)) (+ (sqrt (- (* x x) eps)) x)) (+ (* x x) eps) (* x x) (- x (/ 1 (sqrt (pow (- (* x x) eps) -1)))) (/ 1 (sqrt (pow (- (* x x) eps) -1))) (sqrt (pow (- (* x x) eps) -1)) (pow (- (* x x) eps) -1) (+ (* (* x x) (pow (+ (sqrt (- (* x x) eps)) x) -1)) (neg (/ (- (* x x) eps) (+ (sqrt (- (* x x) eps)) x)))) (neg (/ (- (* x x) eps) (+ (sqrt (- (* x x) eps)) x))) (pow (+ (sqrt (- (* x x) eps)) x) -1) (+ (sqrt (- (* x x) eps)) x) (- (* x x) eps) (/ (- (* x x) eps) (+ (sqrt (- (* x x) eps)) x)))
300.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)) (/ (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2)) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4) -4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4) (/ (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4))
160.0ms	t	@	inf	((* (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)) (/ (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2)) (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4) -4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4) (/ (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4))
86.0ms	x	@	-inf	((/ x (pow (+ (* (* x x) (+ (* (* x -11/15120) x) -23/360)) 1/6) -1)) (/ (- x (sin x)) (tan x)) (* (/ x (pow (+ (* (* x x) (+ (* (* x -11/15120) x) -23/360)) 1/6) -1)) x) (pow (+ (* (* x x) (+ (* (* x -11/15120) x) -23/360)) 1/6) -1) (/ (- x (sin x)) (tan x)) (* (* (+ (* (* x x) -23/360) 1/6) x) x) (* (+ (* (* x x) -23/360) 1/6) x) (+ (* (* x x) -23/360) 1/6) (/ 1 (/ (tan x) (- x (sin x)))) (/ (tan x) (- x (sin x))) (/ 6 (* x x)) (* x x) (+ (* (pow x 3) (+ (* (* x -11/15120) x) -23/360)) (* 1/6 x)) (/ (neg x) (/ -1 (+ (* (pow x 3) (+ (* (* x -11/15120) x) -23/360)) (* 1/6 x)))) (/ (- x (sin x)) (tan x)) (neg x) (+ (* (neg x) (/ -1 (tan x))) (neg (cos x))) (/ -1 (tan x)) (tan x) (* x -11/15120) (* 1/6 x) (/ -1 (+ (* (pow x 3) (+ (* (* x -11/15120) x) -23/360)) (* 1/6 x))) (cos x))
66.0ms	x	@	0	((/ (* x 1) 2) (pow (pow (exp 10) x) (/ (* x 1) 2)) (* x 1) (* (cos x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2)))) (* (cos x) (pow (* (exp x) (exp x)) (* 5 x))) (cos x) (pow (* (exp x) (exp x)) (* 5 x)) (/ (* 2 x) (/ 2 x)) (* (cos x) (exp (* 10 (/ (* 2 x) (/ 2 x))))) (* 10 (/ (* 2 x) (/ 2 x))) (* (cos x) (pow (* (exp x) (exp x)) (* 5 x))) (pow (* (exp x) (exp x)) (* 5 x)) (* (exp x) (exp x)) (* (cos x) (pow (pow (exp 10) (sqrt x)) (pow x 3/2))) (pow (pow (exp 10) (sqrt x)) (pow x 3/2)) (pow (exp 10) (sqrt x)) (pow (exp 10) x) (pow (pow (exp 5) x) x) (* (pow (pow (exp 10) x) (/ (* x 1) 2)) (pow (pow (exp 10) x) (/ (* x 1) 2))) (exp (* 10 (/ (* 2 x) (/ 2 x)))) (pow (exp x) 2))

analyze5.4s (1.7%)

Memory

-96.3MiB live, 4 570.0MiB allocated

Algorithm

43×	search
2×	random

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

bsearch3.7s (1.2%)

Memory

23.0MiB live, 3 644.7MiB allocated

Algorithm

199×	binary-search
85×	left-value

Stop Event

193×	narrow-enough
6×	predicate-same

Samples

1.7s	11 946×	0	valid
391.0ms	1 389×	1	valid
171.0ms	505×	2	valid
81.0ms	993×	0	invalid
6.0ms	16×	3	valid
1.0ms	12×	0	exit
0.0ms	1×	1	exit

Compiler

Compiled 44 795 to 38 467 computations (14.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.7s

ival-mult: 650.0ms (39.3% of total)

ival-div: 220.0ms (13.3% of total)

ival-pow: 211.0ms (12.7% of total)

ival-add: 204.0ms (12.3% of total)

ival-sub: 192.0ms (11.6% of total)

adjust: 71.0ms (4.3% of total)

ival-neg: 28.0ms (1.7% of total)

ival-sqrt: 24.0ms (1.4% of total)

ival-exp: 22.0ms (1.3% of total)

exact: 12.0ms (0.7% of total)

ival-true: 11.0ms (0.7% of total)

ival-assert: 6.0ms (0.4% of total)

ival-pi: 2.0ms (0.1% of total)

ival-expm1: 2.0ms (0.1% of total)

start2.0ms (0%)

Memory: 4.8MiB live, 4.7MiB allocated

end0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated

sample1.2min (22.8%)

simplify56.8s (17.9%)

soundness42.2s (13.3%)

rewrite34.8s (11%)

eval33.0s (10.4%)

localize21.5s (6.8%)

preprocess13.2s (4.2%)

explain10.8s (3.4%)

prune9.8s (3.1%)

regimes7.0s (2.2%)

series6.6s (2.1%)

analyze5.4s (1.7%)

bsearch3.7s (1.2%)

start2.0ms (0%)

end0.0ms (0%)

Profiling