Metrics for Herbie run

Date:	Monday, October 14th, 2024
Commit:	11c18108 on reorg-report-page
Hostname:	nightly with Racket 8.10
Seed:	2024288
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.4min (24.8%)

Memory

590.9MiB live, 74 590.4MiB allocated

Samples

40.6s	285 353×	0	valid
14.5s	43 982×	1	valid
7.6s	16 995×	2	valid
737.0ms	4 246×	0	invalid
181.0ms	422×	3	valid
159.0ms	101×	4	exit
146.0ms	995×	0	exit
66.0ms	101×	3	exit
5.0ms	36×	1	exit

Precisions

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

ival-mult: 8.3s (19.5% of total)

ival-add: 4.8s (11.2% of total)

ival-pow: 4.3s (10.1% of total)

ival-<=: 4.2s (9.9% of total)

ival-sub: 3.7s (8.7% of total)

const: 3.6s (8.4% of total)

ival-div: 3.4s (8% of total)

adjust: 2.9s (6.7% of total)

ival-sin: 2.3s (5.3% of total)

ival-cos: 1.5s (3.5% of total)

ival-exp: 531.0ms (1.2% of total)

ival-sqrt: 517.0ms (1.2% of total)

exact: 439.0ms (1% of total)

ival-neg: 418.0ms (1% of total)

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

ival-pow2: 279.0ms (0.7% of total)

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

ival-<: 164.0ms (0.4% of total)

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

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

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

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

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

ival-tan: 60.0ms (0.1% of total)

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

ival-hypot: 35.0ms (0.1% of total)

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

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

Bogosity

simplify1.1min (19.2%)

Memory

509.2MiB live, 45 230.5MiB allocated

Algorithm

350×	egg-herbie

Stop Event

448×	iter limit
233×	node limit
131×	saturated

Counts

10 563 → 10 421

soundness53.9s (16.3%)

Memory

20.7MiB live, 24 344.3MiB allocated

Stop Event

263×	iter limit
174×	node limit
28×	fuel
14×	done
9×	saturated

Compiler

Compiled 43 892 to 12 030 computations (72.6% saved)

rewrite36.3s (11%)

Memory

-233.8MiB live, 36 231.0MiB allocated

Stop Event

303×	iter limit
148×	node limit
13×	saturated
1×	unsound

Counts

1 933 → 87 468

eval22.9s (6.9%)

Memory: 458.6MiB live, 24 466.2MiB allocated
Compiler: Compiled 3 851 270 to 340 204 computations (91.2% saved)

localize21.4s (6.5%)

Memory

-379.8MiB live, 22 682.3MiB allocated

Samples

8.3s	30 074×	0	valid
4.4s	5 535×	1	valid
3.4s	3 178×	2	valid
204.0ms	97×	3	valid
167.0ms	89×	5	exit
137.0ms	208×	0	exit
66.0ms	184×	0	invalid
23.0ms	8×	2	exit
15.0ms	1×	4	valid
13.0ms	50×	1	exit

Compiler

Compiled 72 025 to 8 805 computations (87.8% saved)

Precisions

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

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

ival-div: 1.9s (15.2% of total)

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

adjust: 1.3s (10.3% of total)

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

ival-sub: 968.0ms (7.9% of total)

const: 577.0ms (4.7% of total)

ival-exp: 254.0ms (2.1% of total)

ival-sin: 249.0ms (2% of total)

ival-cos: 212.0ms (1.7% of total)

ival-neg: 194.0ms (1.6% of total)

ival-sqrt: 114.0ms (0.9% of total)

exact: 64.0ms (0.5% of total)

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

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

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

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

ival-log: 20.0ms (0.2% of total)

ival-assert: 19.0ms (0.2% of total)

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

ival-tan: 6.0ms (0% of total)

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

preprocess12.6s (3.8%)

Memory

-60.1MiB live, 9 819.5MiB allocated

Algorithm

42×	egg-herbie

Stop Event

82×	iter limit
54×	saturated
32×	node limit

Compiler

Compiled 66 617 to 9 954 computations (85.1% saved)

explain10.2s (3.1%)

Memory

-281.9MiB live, 12 120.3MiB allocated

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`#f`	cancellation	1296	2
`+.f64`	`#f`	cancellation	371	100
`-.f64`	(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))	oflow-left	225	0
`sqrt.f64`	`#f`	oflow-rescue	208	0
`/.f64`	`#f`	n/o	190	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) x))`	sensitivity	175	0
`/.f64`	`#f`	o/o	148	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	sensitivity	116	1
`-.f64`	`#f`	nan-rescue	102	0
`/.f64`	`#f`	u/n	68	0
`*.f64`	`#f`	*nu**	47	0
`/.f64`	`#f`	n/u	45	0
`/.f64`	`#f`	u/u	45	0
`+.f64`	`#f`	nan-rescue	42	0
`/.f64`	`#f`	o/n	34	0
`*.f64`	`#f`	*no**	28	0
`pow.f64`	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	oflow-rescue	23	0
↳	`(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)`	overflow	47
↳	`(/.f64 i n)`	overflow	23
↳	`(+.f64 #s(literal 1 binary64) (/.f64 i n))`	overflow	23
`sqrt.f64`	`#f`	uflow-rescue	14	0

Confusion

	Predicted +	Predicted -
+	3866	260
-	125	6501

Precision

0.9686795289401152

Recall

0.9369849733397965

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3866	178	82
-	125	181	6320

Precision?

0.9296551724137931

Recall?

0.9801260300533204

Freqs

test

number	freq
0	6761
1	3565
2	391
3	35

Total Confusion?

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

Precision?

0.9393939393939394

Recall?

1.0

Samples

1.6s	16 406×	0	valid
1.0s	3 684×	1	valid
602.0ms	1 376×	2	valid
20.0ms	38×	3	valid

Compiler

Compiled 10 840 to 1 926 computations (82.2% saved)

Precisions

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

ival-mult: 484.0ms (21.6% of total)

ival-add: 324.0ms (14.4% of total)

adjust: 282.0ms (12.6% of total)

ival-div: 205.0ms (9.1% of total)

ival-sub: 194.0ms (8.6% of total)

ival-pow: 183.0ms (8.2% of total)

ival-sin: 111.0ms (4.9% of total)

ival-cos: 104.0ms (4.6% of total)

const: 86.0ms (3.8% of total)

ival-exp: 76.0ms (3.4% of total)

ival-log1p: 66.0ms (2.9% of total)

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

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

ival-true: 20.0ms (0.9% of total)

exact: 18.0ms (0.8% of total)

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

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

ival-atan: 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)

regimes7.2s (2.2%)

Memory

-154.8MiB live, 8 482.6MiB allocated

Counts

5 094 → 597

Calls

96 calls:

833.0ms	x
418.0ms	b
321.0ms	c
318.0ms	e
238.0ms	d

Compiler

Compiled 8 776 to 5 658 computations (35.5% saved)

prune7.0s (2.1%)

Memory: -38.5MiB live, 9 598.5MiB allocated
Counts: 93 205 → 2 019
Compiler: Compiled 155 482 to 66 815 computations (57% saved)

analyze6.1s (1.9%)

Memory

11.8MiB live, 4 960.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)

bsearch4.0s (1.2%)

Memory

65.8MiB live, 4 185.7MiB allocated

Algorithm

212×	binary-search
96×	left-value

Stop Event

199×	narrow-enough
12×	predicate-same
1×	predicate-failed

Samples

1.8s	12 483×	0	valid
288.0ms	1 250×	1	valid
127.0ms	404×	2	valid
49.0ms	745×	0	invalid
29.0ms	215×	0	exit
7.0ms	23×	3	valid
0.0ms	2×	1	exit

Compiler

Compiled 153 226 to 83 906 computations (45.2% saved)

Precisions

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

ival-mult: 545.0ms (35.9% of total)

ival-sub: 321.0ms (21.1% of total)

ival-div: 173.0ms (11.4% of total)

ival-pow: 147.0ms (9.7% of total)

ival-add: 143.0ms (9.4% of total)

adjust: 46.0ms (3% of total)

ival-exp: 41.0ms (2.7% of total)

ival-sqrt: 40.0ms (2.6% of total)

ival-neg: 32.0ms (2.1% of total)

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

exact: 11.0ms (0.7% of total)

ival-assert: 7.0ms (0.5% of total)

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

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

series3.7s (1.1%)

Memory

113.5MiB live, 4 500.3MiB allocated

Counts

1 933 → 10 563

Calls

885 calls:

Time	Variable		Point	Expression
123.0ms	x	@	inf	((+ (* x (* x x)) (* x x)) (* x x) (* (+ 1 x) (* x x)) (+ 1 x) (* (+ (* x x) x) x) (+ (* x x) x) (+ (* x x) (pow x 3)) (pow x 3))
89.0ms	x	@	0	((+ (* (* (pow x 3) -23/360) x) (* (* 1/6 x) x)) (/ (- x (sin x)) (tan x)) (* (pow x 3) -23/360) (pow x 3) (/ (- x (sin x)) (tan x)) (* (/ x (pow (+ (* -23/360 (* x x)) 1/6) -1)) x) (/ x (pow (+ (* -23/360 (* x x)) 1/6) -1)) (pow (+ (* -23/360 (* x x)) 1/6) -1) (/ (- x (sin x)) (tan x)) (/ (* (* (+ (* 529/129600 (pow x 4)) -1/36) x) x) (+ (* -23/360 (* x x)) -1/6)) (* (* (+ (* 529/129600 (pow x 4)) -1/36) x) x) (* (+ (* 529/129600 (pow x 4)) -1/36) x) (/ 1 (/ (/ -1 (+ (* (* x x) -23/360) 1/6)) (* (neg x) x))) (/ (- x (sin x)) (tan x)) (/ -1 (+ (* (* x x) -23/360) 1/6)) (+ (* (* x x) -23/360) 1/6) (/ x (pow x -1)) (/ (- x (sin x)) (tan x)) (* (+ (* (* x x) -23/360) 1/6) (/ x (pow x -1))) (* 1/6 x) (* (* 1/6 x) x) (+ (* 529/129600 (pow x 4)) -1/36) (/ (/ -1 (+ (* (* x x) -23/360) 1/6)) (* (neg x) x)))
87.0ms	t	@	0	((* (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 5/8) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/8)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 5/8) (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/8) (/ 1 (/ 1 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (/ 1 (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) -2) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (/ (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 5/8) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -3/8)) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -3/8) (/ (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) -4)) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) -4) (pow (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8))
80.0ms	t	@	-inf	((+ (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (- -1 (* 2 (* t 1/5000000000000000)))) (* (+ 1 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000))) (* 2 (* t 1/5000000000000000)) (+ 1 (* t 1/5000000000000000)) (* t 1/5000000000000000))
75.0ms	t	@	-inf	((* (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (- (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (/ (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2)) (sqrt (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/2) (pow (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) 8) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/8) (/ (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4)) (pow (+ (* t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) -1/4))

start2.0ms (0%)

Memory: 3.8MiB live, 3.8MiB allocated

end0.0ms (0%)

Memory: 0.6MiB live, 0.5MiB allocated

sample1.4min (24.8%)

simplify1.1min (19.2%)

soundness53.9s (16.3%)

rewrite36.3s (11%)

eval22.9s (6.9%)

localize21.4s (6.5%)

preprocess12.6s (3.8%)

explain10.2s (3.1%)

regimes7.2s (2.2%)

prune7.0s (2.1%)

analyze6.1s (1.9%)

bsearch4.0s (1.2%)

series3.7s (1.1%)

start2.0ms (0%)

end0.0ms (0%)

Profiling