Metrics for sqrt A (should all be same)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 10 to 4 computations (60% saved)

sample805.0ms (49.9%)

Memory

-26.9MiB live, 678.1MiB allocated

Samples

627.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 478.0ms

ival-hypot: 469.0ms (98% of total)

ival-true: 6.0ms (1.3% of total)

ival-assert: 3.0ms (0.6% of total)

Bogosity

explain71.0ms (4.4%)

Memory

9.4MiB live, 99.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
144	-	4	(1.5111408903645234e-162)	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
0	-	0	-	`(+.f64 (.f64 x x) (.f64 x x))`
0	-	0	-	`(*.f64 x x)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	oflow-rescue	79	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	overflow	79
↳	`(*.f64 x x)`	overflow	158
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	uflow-rescue	61	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	underflow	61
↳	`(*.f64 x x)`	underflow	124

Confusion

	Predicted +	Predicted -
+	140	4
-	0	112

Precision

1.0

Recall

0.9722222222222222

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	140	0	4
-	0	0	112

Precision?

1.0

Recall?

0.9722222222222222

Freqs

test

number	freq
0	116
1	140

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

34.0ms

512×

valid

Compiler

Compiled 69 to 20 computations (71% saved)

Precisions

Click to see histograms. Total time spent on operations: 16.0ms

ival-hypot: 9.0ms (57.4% of total)

ival-mult: 4.0ms (25.5% of total)

ival-add: 2.0ms (12.8% of total)

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

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

preprocess17.0ms (1.1%)

Memory

-12.7MiB live, 26.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	173	13
4	269	13
5	278	13
6	280	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Outputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(hypot.f64 x x)

Symmetry

(abs x)

Compiler

Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	48.3%	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Compiler

Compiled 8 to 4 computations (50% saved)

simplify3.0ms (0.2%)

Memory

3.9MiB live, 3.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	-5184	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
cost-diff	0	(*.f64 x x)
cost-diff	192	(+.f64 (.f64 x x) (.f64 x x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	19
0	7	15
1	11	15
2	14	15
3	17	15
0	17	12

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 x x)
x

Outputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(hypot.f64 x x)
(+.f64 (.f64 x x) (.f64 x x))
(.f64 #s(literal 2 binary64) (.f64 x x))
(*.f64 x x)
x

localize20.0ms (1.2%)

Memory

-6.9MiB live, 30.8MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x x)
accuracy	0.0078125	(+.f64 (.f64 x x) (.f64 x x))
accuracy	33.04889237670261	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Samples

15.0ms

256×

valid

Compiler

Compiled 40 to 10 computations (75% saved)

Precisions

Click to see histograms. Total time spent on operations: 7.0ms

ival-hypot: 4.0ms (53.6% of total)

ival-mult: 2.0ms (26.8% of total)

ival-add: 1.0ms (13.4% of total)

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

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

series3.0ms (0.2%)

Memory

5.9MiB live, 5.9MiB allocated

Counts

3 → 4

Calls

Call 1

Inputs
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 x x)
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Outputs
(* 2 (pow x 2))
(pow x 2)
(* x (sqrt 2))
(* -1 (* x (sqrt 2)))

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	((+ (* x x) (* x x)) (* x x) (sqrt (+ (* x x) (* x x))))
1.0ms	x	@	0	((+ (* x x) (* x x)) (* x x) (sqrt (+ (* x x) (* x x))))
1.0ms	x	@	-inf	((+ (* x x) (* x x)) (* x x) (sqrt (+ (* x x) (* x x))))

simplify4.0ms (0.2%)

Memory

6.3MiB live, 6.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	15	17
2	32	17
3	37	17
4	41	17
5	53	17
6	65	17
7	76	17
8	96	17
9	101	17
0	101	17

Stop Event

1×	iter limit
1×	saturated

Counts

4 → 4

Calls

Call 1

Inputs
(* 2 (pow x 2))
(pow x 2)
(* x (sqrt 2))
(* -1 (* x (sqrt 2)))

Outputs
(* 2 (pow x 2))
(.f64 (.f64 x x) #s(literal 2 binary64))
(pow x 2)
(*.f64 x x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* -1 (* x (sqrt 2)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))

rewrite29.0ms (1.8%)

Memory

-4.1MiB live, 33.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	18
0	7	14
1	23	10
0	160	9

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

3 → 33

Calls

Call 1

Inputs
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 x x)
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Outputs
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 x x))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 x (.f64 #s(literal 2 binary64) x))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (neg.f64 (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64))) (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (*.f64 x x))
(fma.f64 x x (*.f64 x x))
(-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64)) (/.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64)))
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 x x)
(pow.f64 x #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/4 binary64)) (pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (.f64 x x)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(.f64 (pow.f64 x #s(literal 1/2 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/2 binary64)))
(pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(sqrt.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) x)
(hypot.f64 x (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))

eval4.0ms (0.2%)

Memory: 5.9MiB live, 5.9MiB allocated
Compiler: Compiled 370 to 110 computations (70.3% saved)

prune2.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	38	4	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	4	43

Accuracy

100.0%

Counts

43 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 x x)
▶	99.4%	(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
▶	48.3%	(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
▶	99.4%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify3.0ms (0.2%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score
cost-diff	0	(hypot.f64 x x)
cost-diff	0	(*.f64 #s(literal 2 binary64) x)
cost-diff	0	(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
cost-diff	-5184	(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
cost-diff	0	(*.f64 x x)
cost-diff	0	(.f64 (.f64 x x) #s(literal 2 binary64))
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
cost-diff	0	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
cost-diff	0	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	54
0	25	51
1	33	51
2	34	51
0	34	51

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
x
#s(literal 2 binary64)
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(sqrt.f64 x)
x
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
(hypot.f64 x x)
x

Outputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(hypot.f64 x x)
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 x x))
(*.f64 x x)
x
#s(literal 2 binary64)
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(sqrt.f64 x)
x
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
(hypot.f64 x x)
x

localize71.0ms (4.4%)

Memory

5.5MiB live, 48.0MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.01953125	(hypot.f64 x x)
accuracy	0.0	(*.f64 #s(literal 2 binary64) x)
accuracy	0.0	(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
accuracy	0.0	(sqrt.f64 x)
accuracy	0.36947250976844204	(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
accuracy	0.0	(*.f64 x x)
accuracy	0.0078125	(.f64 (.f64 x x) #s(literal 2 binary64))
accuracy	33.04889237670261	(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
accuracy	0.0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0.0	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
accuracy	0.4140625	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)

Samples

62.0ms

256×

valid

Compiler

Compiled 120 to 30 computations (75% saved)

Precisions

Click to see histograms. Total time spent on operations: 53.0ms

ival-sqrt: 41.0ms (77.7% of total)

ival-mult: 7.0ms (13.3% of total)

ival-hypot: 5.0ms (9.5% of total)

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

exact: 0.0ms (0% of total)

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

series8.0ms (0.5%)

Memory

-26.7MiB live, 10.5MiB allocated

Counts

11 → 10

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
(hypot.f64 x x)

Outputs
(* x (sqrt 2))
(* 2 (pow x 2))
(pow x 2)
(sqrt x)
(* (sqrt x) (sqrt 2))
(* 2 x)
(* -1 (* x (sqrt 2)))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))

Calls

3 calls:

Time	Variable		Point	Expression
5.0ms	x	@	-inf	((sqrt (+ (* x x) (* x x))) (* (sqrt 2) x) (sqrt 2) (* (* x x) 2) (* x x) (sqrt (* (* x x) 2)) (* (sqrt x) (sqrt (* 2 x))) (sqrt x) (sqrt (* 2 x)) (* 2 x) (sqrt (+ (* x x) (* x x))))
1.0ms	x	@	inf	((sqrt (+ (* x x) (* x x))) (* (sqrt 2) x) (sqrt 2) (* (* x x) 2) (* x x) (sqrt (* (* x x) 2)) (* (sqrt x) (sqrt (* 2 x))) (sqrt x) (sqrt (* 2 x)) (* 2 x) (sqrt (+ (* x x) (* x x))))
1.0ms	x	@	0	((sqrt (+ (* x x) (* x x))) (* (sqrt 2) x) (sqrt 2) (* (* x x) 2) (* x x) (sqrt (* (* x x) 2)) (* (sqrt x) (sqrt (* 2 x))) (sqrt x) (sqrt (* 2 x)) (* 2 x) (sqrt (+ (* x x) (* x x))))

Time

Variable

Point

Expression

5.0ms

-inf

((sqrt (+ (* x x) (* x x))) (* (sqrt 2) x) (sqrt 2) (* (* x x) 2) (* x x) (sqrt (* (* x x) 2)) (* (sqrt x) (sqrt (* 2 x))) (sqrt x) (sqrt (* 2 x)) (* 2 x) (sqrt (+ (* x x) (* x x))))

1.0ms

inf

((sqrt (+ (* x x) (* x x))) (* (sqrt 2) x) (sqrt 2) (* (* x x) 2) (* x x) (sqrt (* (* x x) 2)) (* (sqrt x) (sqrt (* 2 x))) (sqrt x) (sqrt (* 2 x)) (* 2 x) (sqrt (+ (* x x) (* x x))))

1.0ms

((sqrt (+ (* x x) (* x x))) (* (sqrt 2) x) (sqrt 2) (* (* x x) 2) (* x x) (sqrt (* (* x x) 2)) (* (sqrt x) (sqrt (* 2 x))) (sqrt x) (sqrt (* 2 x)) (* 2 x) (sqrt (+ (* x x) (* x x))))

simplify133.0ms (8.2%)

Memory

13.3MiB live, 51.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	46
1	50	46
2	136	46
3	263	46
4	491	46
5	851	46
6	1200	46
7	1328	46
8	1390	46
9	1429	46
10	1613	46
11	1915	46
12	1963	46
13	1991	46
14	2003	46
15	2003	46
16	2237	46
17	2421	46
18	3734	46
19	3850	46
20	3874	46
21	3882	46
22	3886	46
23	3890	46
24	4002	46
25	4050	46
26	4050	46
27	4260	46
0	4260	46

Stop Event

1×	iter limit
1×	saturated

Counts

10 → 10

Calls

Call 1

Inputs
(* x (sqrt 2))
(* 2 (pow x 2))
(pow x 2)
(sqrt x)
(* (sqrt x) (sqrt 2))
(* 2 x)
(* -1 (* x (sqrt 2)))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))

Outputs
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* 2 (pow x 2))
(.f64 #s(literal 2 binary64) (.f64 x x))
(pow x 2)
(*.f64 x x)
(sqrt x)
(sqrt.f64 x)
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* -1 (* x (sqrt 2)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(.f64 (neg.f64 x) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(.f64 (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 #s(literal -2 binary64))) (neg.f64 (sqrt.f64 x)))

rewrite22.0ms (1.4%)

Memory

19.4MiB live, 19.4MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	47
0	25	40
1	53	38
0	203	38

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

11 → 83

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(*.f64 #s(literal 2 binary64) x)
(hypot.f64 x x)

Outputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(.f64 #s(literal 2 binary64) (.f64 x x))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 x (.f64 #s(literal 2 binary64) x))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (neg.f64 (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64))) (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 x x))
(fma.f64 x x (*.f64 x x))
(-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64)) (/.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64)))
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 x x)
(pow.f64 x #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/4 binary64)) (pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/4 binary64)))
(*.f64 (fabs.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(sqrt.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/4 binary64)) (pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/4 binary64)))
(*.f64 (fabs.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(sqrt.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(pow.f64 x #s(literal 1/2 binary64))
(sqrt.f64 x)
(exp.f64 (*.f64 (log.f64 x) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)) (pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(pow.f64 (*.f64 #s(literal 2 binary64) x) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 2 binary64) x)) #s(literal 1/2 binary64)))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) (-.f64 x x))
(+.f64 x x)
(*.f64 (pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/4 binary64)) (pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/4 binary64)))
(*.f64 (fabs.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(sqrt.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))

eval13.0ms (0.8%)

Memory: -20.9MiB live, 15.9MiB allocated
Compiler: Compiled 584 to 173 computations (70.4% saved)

prune3.0ms (0.2%)

Memory

6.3MiB live, 6.3MiB allocated

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	60	3	63
Fresh	0	0	0
Picked	1	3	4
Done	0	0	0
Total	61	6	67

Accuracy

100.0%

Counts

67 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	99.1%	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
▶	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	48.3%	(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
✓	99.4%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
▶	99.1%	#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))

Compiler

Compiled 53 to 37 computations (30.2% saved)

simplify5.0ms (0.3%)

Memory

5.0MiB live, 5.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
cost-diff	0	(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
cost-diff	0	(sqrt.f64 x)
cost-diff	1600	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
cost-diff	-128	(+.f64 x x)
cost-diff	0	(sqrt.f64 (+.f64 x x))
cost-diff	0	(sqrt.f64 x)
cost-diff	0	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
cost-diff	0	(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
cost-diff	0	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
cost-diff	0	#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
cost-diff	12480	(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	73
0	29	63
1	42	58
2	52	58
3	67	58
4	93	58
5	97	58
6	99	58
0	99	55

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(log.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(literal 1/2 binary64)
x
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(sqrt.f64 x)
x
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
(sqrt.f64 x)
x
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(sqrt.f64 #s(literal 2 binary64))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (log.f64 #s(literal 2 binary64)))
(log.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(literal 1/2 binary64)
x
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) x)) (sqrt.f64 x))
(sqrt.f64 x)
x
(sqrt.f64 (+.f64 x x))
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(+.f64 x x)
(*.f64 #s(literal 2 binary64) x)
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 x)
x
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)

localize54.0ms (3.3%)

Memory

-17.1MiB live, 63.5MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(sqrt.f64 x)
accuracy	0.0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0.36947250976844204	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
accuracy	0.4850387695368841	(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
accuracy	0.0	(+.f64 x x)
accuracy	0.0	(sqrt.f64 (+.f64 x x))
accuracy	0.0	(sqrt.f64 x)
accuracy	0.36947250976844204	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
accuracy	0.0	(log.f64 #s(literal 2 binary64))
accuracy	0.0	#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
accuracy	0.4140625	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
accuracy	1.0	(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

Samples

41.0ms

256×

valid

Compiler

Compiled 140 to 35 computations (75% saved)

Precisions

Click to see histograms. Total time spent on operations: 27.0ms

ival-mult: 7.0ms (25.6% of total)

ival-log: 7.0ms (25.6% of total)

ival-hypot: 5.0ms (18.3% of total)

ival-sqrt: 5.0ms (18.3% of total)

ival-exp: 3.0ms (11% of total)

ival-add: 1.0ms (3.7% of total)

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

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

exact: 0.0ms (0% of total)

series4.0ms (0.3%)

Memory

9.6MiB live, 9.6MiB allocated

Counts

12 → 10

Calls

Call 1

Inputs
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(sqrt.f64 x)
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 #s(literal 2 binary64))
(log.f64 #s(literal 2 binary64))

Outputs
(* x (sqrt 2))
(sqrt x)
(* (sqrt x) (sqrt 2))
(* 2 x)
(* -1 (* x (sqrt 2)))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))

Calls

3 calls:

Time

Variable

Point

Expression

3.0ms

-inf

((exp (* (log 2) 1/2)) (sqrt (+ (* x x) (* x x))) (* (exp (* (log 2) 1/2)) x) (* (log 2) 1/2) (* (sqrt x) (sqrt (+ x x))) (sqrt x) (sqrt (+ x x)) (+ x x) (* (sqrt x) (* (sqrt x) (sqrt 2))) (* (sqrt x) (sqrt 2)) (sqrt 2) (log 2))

1.0ms

inf

((exp (* (log 2) 1/2)) (sqrt (+ (* x x) (* x x))) (* (exp (* (log 2) 1/2)) x) (* (log 2) 1/2) (* (sqrt x) (sqrt (+ x x))) (sqrt x) (sqrt (+ x x)) (+ x x) (* (sqrt x) (* (sqrt x) (sqrt 2))) (* (sqrt x) (sqrt 2)) (sqrt 2) (log 2))

1.0ms

((exp (* (log 2) 1/2)) (sqrt (+ (* x x) (* x x))) (* (exp (* (log 2) 1/2)) x) (* (log 2) 1/2) (* (sqrt x) (sqrt (+ x x))) (sqrt x) (sqrt (+ x x)) (+ x x) (* (sqrt x) (* (sqrt x) (sqrt 2))) (* (sqrt x) (sqrt 2)) (sqrt 2) (log 2))

simplify73.0ms (4.5%)

Memory

7.6MiB live, 45.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	47
1	63	47
2	210	47
3	435	47
4	1002	47
5	1613	47
6	1922	47
7	1959	47
8	1970	47
9	1979	47
10	1981	47
11	2001	47
12	2009	47
13	2009	47
14	2061	47
15	2445	47
16	2453	47
0	2453	47

Stop Event

1×	iter limit
1×	saturated

Counts

10 → 10

Calls

Call 1

Inputs
(* x (sqrt 2))
(sqrt x)
(* (sqrt x) (sqrt 2))
(* 2 x)
(* -1 (* x (sqrt 2)))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))

Outputs
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt x)
(sqrt.f64 x)
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* -1 (* x (sqrt 2)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* -1 (* x (* (sqrt -2) (sqrt -1))))
(.f64 (sqrt.f64 #s(literal -2 binary64)) (.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))) x))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(.f64 (sqrt.f64 #s(literal -2 binary64)) (.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))) (sqrt.f64 x)))
(* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))

rewrite48.0ms (3%)

Memory

-9.1MiB live, 73.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	65
0	29	46
1	67	44
0	282	37

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

12 → 117

Calls

Call 1

Inputs
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(sqrt.f64 x)
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 #s(literal 2 binary64))
(log.f64 #s(literal 2 binary64))

Outputs
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 #s(literal 2 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 #s(literal 2 binary64))))
#s(approx (sqrt (+ (* x x) (* x x))) (hypot.f64 x x))
(.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (hypot.f64 x x) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (hypot.f64 x x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 x))
(hypot.f64 x x)
(exp.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(*.f64 #s(literal 1/2 binary64) (log.f64 #s(literal 2 binary64)))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (hypot.f64 x x) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (hypot.f64 x x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 x))
(hypot.f64 x x)
(exp.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(pow.f64 x #s(literal 1/2 binary64))
(sqrt.f64 x)
(exp.f64 (*.f64 (log.f64 x) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (hypot.f64 x x) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (hypot.f64 x x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 x))
(hypot.f64 x x)
(exp.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(*.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x #s(literal 0 binary64))))
(.f64 (.f64 x #s(literal 2 binary64)) x)
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 x (.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 x x))
(*.f64 #s(literal 2 binary64) x)
(/.f64 (.f64 x (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (neg.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64)) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x #s(literal 0 binary64)) (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 2 binary64)))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64))) (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64)))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x #s(literal 0 binary64)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) x)
(fma.f64 x x (*.f64 x x))
(-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64)) (/.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64)))
(-.f64 (/.f64 (.f64 x x) #s(literal 0 binary64)) (/.f64 (.f64 x x) #s(literal 0 binary64)))
(+.f64 (.f64 x x) (.f64 x x))
(+.f64 x x)
(.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (hypot.f64 x x) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (hypot.f64 x x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 x))
(hypot.f64 x x)
(exp.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (hypot.f64 x x) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (hypot.f64 x x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 6 binary64)))) (sqrt.f64 (+.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 x))
(hypot.f64 x x)
(exp.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 #s(literal 2 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 #s(literal 2 binary64))))
(log.f64 #s(literal 2 binary64))

eval7.0ms (0.4%)

Memory: 12.9MiB live, 12.9MiB allocated
Compiler: Compiled 916 to 218 computations (76.2% saved)

prune4.0ms (0.3%)

Memory

9.3MiB live, 9.3MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	0	0
Picked	0	3	3
Done	0	3	3
Total	71	6	77

Accuracy

100.0%

Counts

77 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	99.1%	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
✓	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	48.3%	(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
✓	99.4%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
✓	99.1%	#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))

Compiler

Compiled 121 to 66 computations (45.5% saved)

regimes12.0ms (0.8%)

Memory

-18.3MiB live, 20.5MiB allocated

Counts

8 → 1

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
(hypot.f64 x x)
#s(approx (sqrt (+ (* x x) (* x x))) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))

Outputs
(hypot.f64 x x)

Calls

4 calls:

4.0ms	(+.f64 (.f64 x x) (.f64 x x))
3.0ms	x
3.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
3.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
100.0%	1	`(+.f64 (.f64 x x) (.f64 x x))`
100.0%	1	`(*.f64 x x)`

Compiler

Compiled 19 to 10 computations (47.4% saved)

regimes9.0ms (0.6%)

Memory

17.4MiB live, 17.4MiB allocated

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))

Outputs
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))

Calls

4 calls:

2.0ms	x
2.0ms	(*.f64 x x)
2.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
2.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Accuracy	Segments	Branch
99.4%	1	`x`
99.4%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
99.4%	1	`(+.f64 (.f64 x x) (.f64 x x))`
99.4%	1	`(*.f64 x x)`

Compiler

Compiled 19 to 10 computations (47.4% saved)

regimes7.0ms (0.4%)

Memory

-25.0MiB live, 14.1MiB allocated

Accuracy

Total -32.8b remaining (-7926.5%)

Threshold costs -32.8b (-7926.5%)

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Outputs
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Calls

4 calls:

2.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
2.0ms	x
1.0ms	(+.f64 (.f64 x x) (.f64 x x))
1.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
99.4%	1	`x`
99.4%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
99.4%	1	`(+.f64 (.f64 x x) (.f64 x x))`
99.4%	1	`(*.f64 x x)`

Compiler

Compiled 19 to 10 computations (47.4% saved)

simplify8.0ms (0.5%)

Memory

17.7MiB live, 17.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	16	21
2	19	21
3	22	21

Stop Event

1×

saturated

Calls

Call 1

Inputs
(hypot.f64 x x)
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Outputs
(hypot.f64 x x)
(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

soundness153.0ms (9.5%)

Memory

-8.7MiB live, 29.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	15	17
2	32	17
3	37	17
4	41	17
5	53	17
6	65	17
7	76	17
8	96	17
9	101	17
0	101	17
0	16	47
0	25	40
1	53	38
0	203	38
0	4	18
0	7	14
1	23	10
0	160	9

Stop Event

1×	done
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit
1×	iter limit
1×	saturated

Compiler

Compiled 67 to 40 computations (40.3% saved)

preprocess19.0ms (1.2%)

Memory: 22.9MiB live, 22.9MiB allocated
Remove: (abs x)
Compiler: Compiled 68 to 38 computations (44.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	173	13
4	269	13
5	278	13
6	280	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	17
1	15	17
2	32	17
3	37	17
4	41	17
5	53	17
6	65	17
7	76	17
8	96	17
9	101	17
0	101	17
0	16	47
0	25	40
1	53	38
0	203	38
0	4	18
0	7	14
1	23	10
0	160	9

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	173	13
4	269	13
5	278	13
6	280	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	17
1	15	17
2	32	17
3	37	17
4	41	17
5	53	17
6	65	17
7	76	17
8	96	17
9	101	17
0	101	17
0	16	47
0	25	40
1	53	38
0	203	38
0	4	18
0	7	14
1	23	10
0	160	9

start0.0ms (0%)

analyze0.0ms (0%)

sample805.0ms (49.9%)

explain71.0ms (4.4%)

preprocess17.0ms (1.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.2%)

localize20.0ms (1.2%)

series3.0ms (0.2%)

simplify4.0ms (0.2%)

rewrite29.0ms (1.8%)

eval4.0ms (0.2%)

prune2.0ms (0.1%)

simplify3.0ms (0.2%)

localize71.0ms (4.4%)

series8.0ms (0.5%)

simplify133.0ms (8.2%)

rewrite22.0ms (1.4%)

eval13.0ms (0.8%)

prune3.0ms (0.2%)

simplify5.0ms (0.3%)

localize54.0ms (3.3%)

series4.0ms (0.3%)

simplify73.0ms (4.5%)

rewrite48.0ms (3%)

eval7.0ms (0.4%)

prune4.0ms (0.3%)

regimes12.0ms (0.8%)

regimes9.0ms (0.6%)

regimes7.0ms (0.4%)

simplify8.0ms (0.5%)

soundness153.0ms (9.5%)

preprocess19.0ms (1.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	173	13
4	269	13
5	278	13
6	280	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	17
1	15	17
2	32	17
3	37	17
4	41	17
5	53	17
6	65	17
7	76	17
8	96	17
9	101	17
0	101	17
0	16	47
0	25	40
1	53	38
0	203	38
0	4	18
0	7	14
1	23	10
0	160	9