Metrics for sqrt A (should all be same)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

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)

sample596.0ms (27.6%)

Memory

42.2MiB live, 641.3MiB allocated; 129ms collecting garbage

Samples

398.0ms

8 256×

valid

Precisions

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

ival-hypot: 203.0ms (94.7% of total)

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

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

adjust: 2.0ms (0.9% of total)

Bogosity

explain94.0ms (4.3%)

Memory

3.8MiB live, 184.1MiB allocated; 35ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
132	-	3	(-4.5976766556772086e-158)	`(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	76	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	overflow	76
↳	`(*.f64 x x)`	overflow	152
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	uflow-rescue	53	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	underflow	53
↳	`(*.f64 x x)`	underflow	106

Confusion

	Predicted +	Predicted -
+	129	3
-	0	124

Precision

1.0

Recall

0.9772727272727273

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	129	0	3
-	0	0	124

Precision?

1.0

Recall?

0.9772727272727273

Freqs

test

number	freq
0	127
1	129

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

28.0ms

512×

valid

Compiler

Compiled 50 to 16 computations (68% saved)

Precisions

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

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

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

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

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

adjust: 0.0ms (0% of total)

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

preprocess238.0ms (11%)

Memory

1.3MiB live, 235.0MiB allocated; 38ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	22	13
2	78	13
3	140	13
4	296	13
5	657	13
6	1421	13
7	3397	13
0	4	8
0	7	6
1	17	6
2	54	6
3	135	6
4	264	6
5	612	6
6	1430	6
7	5304	6
0	8068	3

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

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.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 4 computations (50% saved)

simplify223.0ms (10.3%)

Memory

3.4MiB live, 143.6MiB allocated; 77ms collecting garbage

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 x x)
cost-diff	2	(+.f64 (.f64 x x) (.f64 x x))
cost-diff	3	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	19
0	7	15
1	17	15
2	54	15
3	135	15
4	264	15
5	612	15
6	1430	15
7	5304	15
0	8068	12

Stop Event

1×	iter limit
1×	node limit
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

localize21.0ms (1%)

Memory

-21.6MiB live, 23.2MiB allocated; 7ms collecting garbage

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	30.208176384583858	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Samples

16.0ms

256×

valid

Compiler

Compiled 21 to 6 computations (71.4% saved)

Precisions

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

ival-mult: 5.0ms (44.3% of total)

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

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

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

adjust: 0.0ms (0% of total)

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

series3.0ms (0.2%)

Memory

4.4MiB live, 4.4MiB allocated; 0ms collecting garbage

Counts

3 → 4

Calls

Call 1

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

Outputs
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (+ (* x x) (* x x)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))

Calls

3 calls:

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

simplify195.0ms (9%)

Memory

12.2MiB live, 153.1MiB allocated; 30ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	41
1	34	41
2	94	41
3	230	41
4	474	41
5	1351	41
6	5631	41
0	8212	35

Stop Event

1×	iter limit
1×	node limit

Counts

4 → 4

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (+ (* x x) (* x x)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))

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

rewrite50.0ms (2.3%)

Memory

24.7MiB live, 70.9MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	18
0	7	14
1	29	10
0	250	9

Stop Event

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

Counts

3 → 107

Calls

Call 1

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

Outputs
(*.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)) (fabs.f64 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)) (neg.f64 (neg.f64 x)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (neg.f64 (fabs.f64 x)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (fabs.f64 (fabs.f64 x)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (neg.f64 x))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (fabs.f64 x))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) x)
(hypot.f64 (neg.f64 (neg.f64 x)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (fabs.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 x))
(hypot.f64 (neg.f64 (neg.f64 x)) (fabs.f64 x))
(hypot.f64 (neg.f64 (neg.f64 x)) x)
(hypot.f64 (neg.f64 (fabs.f64 x)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.f64 x))
(hypot.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x))
(hypot.f64 (neg.f64 (fabs.f64 x)) x)
(hypot.f64 (fabs.f64 (fabs.f64 x)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (fabs.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(hypot.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(hypot.f64 (fabs.f64 (fabs.f64 x)) (neg.f64 x))
(hypot.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 x))
(hypot.f64 (fabs.f64 (fabs.f64 x)) x)
(hypot.f64 (neg.f64 x) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (neg.f64 x) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 x) (neg.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 x) (fabs.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 x) (neg.f64 x))
(hypot.f64 (neg.f64 x) (fabs.f64 x))
(hypot.f64 (neg.f64 x) x)
(hypot.f64 (fabs.f64 x) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 x) (neg.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 x) (neg.f64 (fabs.f64 x)))
(hypot.f64 (fabs.f64 x) (fabs.f64 (fabs.f64 x)))
(hypot.f64 (fabs.f64 x) (neg.f64 x))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 x (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 x (neg.f64 (neg.f64 x)))
(hypot.f64 x (neg.f64 (fabs.f64 x)))
(hypot.f64 x (fabs.f64 (fabs.f64 x)))
(hypot.f64 x (neg.f64 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 (.f64 #s(literal 2 binary64) (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (fabs.f64 x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 (neg.f64 x) (+.f64 (neg.f64 x) (neg.f64 x)))
(*.f64 (neg.f64 x) (-.f64 (neg.f64 x) x))
(*.f64 (fabs.f64 x) (+.f64 (fabs.f64 x) (fabs.f64 x)))
(.f64 #s(literal 2 binary64) (.f64 x x))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 x (-.f64 x (neg.f64 x)))
(.f64 x (.f64 #s(literal 2 binary64) x))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (.f64 (neg.f64 x) x) #s(literal 3 binary64))) (+.f64 (pow.f64 x #s(literal 4 binary64)) (+.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 (.f64 x x) (.f64 (neg.f64 x) 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 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 (neg.f64 (neg.f64 x)) x))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (*.f64 x x))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (*.f64 (neg.f64 (neg.f64 x)) x))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (*.f64 x x))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (*.f64 (neg.f64 (neg.f64 x)) x))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (*.f64 x x))
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) (*.f64 (neg.f64 (neg.f64 x)) x))
(fma.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)) (*.f64 x x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 (neg.f64 (neg.f64 x)) x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 x x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 (neg.f64 (neg.f64 x)) x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 x x))
(fma.f64 x x (*.f64 (neg.f64 (neg.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 (neg.f64 (neg.f64 x)) (neg.f64 x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 x) x))
(+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))) (/.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64)))))
(+.f64 (.f64 x x) (.f64 (neg.f64 (neg.f64 x)) x))
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (fabs.f64 (fabs.f64 x)) (fabs.f64 (fabs.f64 x)))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 x x)
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))

eval22.0ms (1%)

Memory: -21.5MiB live, 34.0MiB allocated; 8ms collecting garbage
Compiler: Compiled 1 053 to 257 computations (75.6% saved)

prune6.0ms (0.3%)

Memory

-27.5MiB live, 19.3MiB allocated; 2ms collecting garbage

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	121	4	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	4	126

Accuracy

100.0%

Counts

126 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify120.0ms (5.6%)

Memory

35.4MiB live, 125.3MiB allocated; 14ms collecting garbage

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	0	(*.f64 #s(literal 2 binary64) x)
cost-diff	0	(.f64 (.f64 #s(literal 2 binary64) x) x)
cost-diff	3	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
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	15	54
0	23	51
1	38	51
2	78	51
3	184	51
4	371	51
5	1079	51
6	5030	51
0	8821	51

Stop Event

1×	iter limit
1×	node limit
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 #s(literal 2 binary64) x) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.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 #s(literal 2 binary64) x) x))
(hypot.f64 x x)
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x
(.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

localize49.0ms (2.3%)

Memory

-17.0MiB live, 80.5MiB allocated; 9ms collecting garbage

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(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.3125	(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
accuracy	0.0	(.f64 (.f64 #s(literal 2 binary64) x) x)
accuracy	0.0	(*.f64 #s(literal 2 binary64) x)
accuracy	30.208176384583858	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
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.4453125	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)

Samples

38.0ms

256×

valid

Compiler

Compiled 61 to 13 computations (78.7% saved)

Precisions

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

ival-mult: 6.0ms (34.8% of total)

ival-sqrt: 6.0ms (34.8% of total)

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series6.0ms (0.3%)

Memory

7.8MiB live, 7.8MiB allocated; 0ms collecting garbage

Counts

10 → 13

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))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) x)
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 (*.f64 #s(literal 2 binary64) x))
(hypot.f64 x x)

Outputs
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* (sqrt 2) x) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (* (* 2 x) x)) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* (* 2 x) x) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (* 2 x) #s(hole binary64 (* 2 x)))
#s(approx (* (sqrt x) (sqrt (* 2 x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (sqrt (* 2 x)) #s(hole binary64 (* (sqrt x) (sqrt 2))))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (sqrt (* (* 2 x) x)) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (* (sqrt x) (sqrt (* 2 x))) #s(hole binary64 (* -1 (* x (* (sqrt -2) (sqrt -1))))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (sqrt (* 2 x)) #s(hole binary64 (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))))

Calls

3 calls:

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

Time

Variable

Point

Expression

3.0ms

-inf

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

1.0ms

inf

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

1.0ms

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

simplify26.0ms (1.2%)

Memory

21.3MiB live, 21.3MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	135
1	84	135
2	218	135
0	557	123

Stop Event

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

Counts

13 → 13

Calls

Call 1

Inputs
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* (sqrt 2) x) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt (* (* 2 x) x)) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* (* 2 x) x) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (* 2 x) #s(hole binary64 (* 2 x)))
#s(approx (* (sqrt x) (sqrt (* 2 x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (sqrt (* 2 x)) #s(hole binary64 (* (sqrt x) (sqrt 2))))
#s(approx (sqrt (+ (* x x) (* x x))) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (sqrt (* (* 2 x) x)) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (* (sqrt x) (sqrt (* 2 x))) #s(hole binary64 (* -1 (* x (* (sqrt -2) (sqrt -1))))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (sqrt (* 2 x)) #s(hole binary64 (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))))

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

rewrite51.0ms (2.4%)

Memory

-20.1MiB live, 25.3MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	44
0	23	34
1	56	29
0	304	29

Stop Event

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

Counts

10 → 71

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))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) x)
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 #s(literal 2 binary64) x)))
(sqrt.f64 x)
(sqrt.f64 (*.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)))
(.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)) (.f64 (sqrt.f64 x) (sqrt.f64 x)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 #s(literal 2 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 #s(literal 2 binary64))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 #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)))
(.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)) (.f64 (sqrt.f64 x) (sqrt.f64 x)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 #s(literal 2 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 #s(literal 2 binary64))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(literal 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))
(fma.f64 #s(literal 1 binary64) x (*.f64 #s(literal 1 binary64) x))
(fma.f64 x #s(literal 1 binary64) (*.f64 x #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) x) (.f64 #s(literal 1 binary64) x))
(+.f64 (.f64 x #s(literal 1 binary64)) (.f64 x #s(literal 1 binary64)))
(+.f64 x x)
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 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)) (.f64 (sqrt.f64 x) (sqrt.f64 x)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 #s(literal 2 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 #s(literal 2 binary64))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 #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 #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 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 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)) (.f64 (sqrt.f64 x) (sqrt.f64 x)))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (pow.f64 (.f64 x x) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(pow.f64 #s(literal 2 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 #s(literal 2 binary64))
(hypot.f64 x x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

eval5.0ms (0.2%)

Memory: 7.9MiB live, 7.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 647 to 176 computations (72.8% saved)

prune3.0ms (0.2%)

Memory

5.9MiB live, 5.9MiB allocated; 0ms collecting garbage

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	0	0
Picked	2	2	4
Done	0	0	0
Total	54	5	59

Accuracy

100.0%

Counts

59 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	99.5%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
▶	52.8%	(sqrt.f64 (*.f64 (+.f64 x x) x))
▶	5.2%	(sqrt.f64 #s(literal 2 binary64))
✓	99.3%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Compiler

Compiled 31 to 22 computations (29% saved)

simplify210.0ms (9.7%)

Memory

-33.1MiB live, 72.9MiB allocated; 115ms collecting garbage

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(+.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 x x)
cost-diff	0	(*.f64 (+.f64 x x) x)
cost-diff	3	(sqrt.f64 (*.f64 (+.f64 x x) x))
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	35
0	16	35
1	21	35
2	29	35
3	49	35
4	145	35
5	545	35
6	2688	35
7	7899	35
0	8183	32

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

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

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

localize25.0ms (1.2%)

Memory

28.7MiB live, 28.7MiB allocated; 0ms collecting garbage

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.0	(+.f64 x x)
accuracy	0.0	(sqrt.f64 (+.f64 x x))
accuracy	0.0	(sqrt.f64 x)
accuracy	0.3125	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
accuracy	0.0	(+.f64 x x)
accuracy	0.0	(*.f64 (+.f64 x x) x)
accuracy	30.208176384583858	(sqrt.f64 (*.f64 (+.f64 x x) x))
accuracy	0.0	(sqrt.f64 #s(literal 2 binary64))

Samples

18.0ms

256×

valid

Compiler

Compiled 37 to 11 computations (70.3% saved)

Precisions

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

ival-sqrt: 6.0ms (53.7% of total)

ival-mult: 3.0ms (26.9% of total)

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series4.0ms (0.2%)

Memory

5.4MiB live, 5.4MiB allocated; 0ms collecting garbage

Counts

7 → 10

Calls

Call 1

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

Outputs
#s(approx (sqrt (* (+ x x) x)) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* (+ x x) x) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (+ x x) #s(hole binary64 (* 2 x)))
#s(approx (* (sqrt x) (sqrt (+ x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (sqrt (+ x x)) #s(hole binary64 (* (sqrt x) (sqrt 2))))
#s(approx (sqrt (* (+ x x) x)) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (* (sqrt x) (sqrt (+ x x))) #s(hole binary64 (* -1 (* x (* (sqrt -2) (sqrt -1))))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (sqrt (+ x x)) #s(hole binary64 (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))))

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

-inf

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

1.0ms

inf

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

1.0ms

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

simplify27.0ms (1.2%)

Memory

-31.8MiB live, 18.7MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	103
1	71	103
2	176	103
0	452	97

Stop Event

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

Counts

10 → 10

Calls

Call 1

Inputs
#s(approx (sqrt (* (+ x x) x)) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* (+ x x) x) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (+ x x) #s(hole binary64 (* 2 x)))
#s(approx (* (sqrt x) (sqrt (+ x x))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (sqrt x) #s(hole binary64 (sqrt x)))
#s(approx (sqrt (+ x x)) #s(hole binary64 (* (sqrt x) (sqrt 2))))
#s(approx (sqrt (* (+ x x) x)) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (* (sqrt x) (sqrt (+ x x))) #s(hole binary64 (* -1 (* x (* (sqrt -2) (sqrt -1))))))
#s(approx (sqrt x) #s(hole binary64 (* -1 (* (sqrt x) (pow (sqrt -1) 2)))))
#s(approx (sqrt (+ x x)) #s(hole binary64 (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))))

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

rewrite26.0ms (1.2%)

Memory

21.0MiB live, 21.0MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	29
0	16	16
1	36	12
0	172	12

Stop Event

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

Counts

7 → 38

Calls

Call 1

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

Outputs
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(pow.f64 #s(literal 2 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 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #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)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(pow.f64 #s(literal 2 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 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(literal 2 binary64)
#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)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(pow.f64 #s(literal 2 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 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #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 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(pow.f64 #s(literal 2 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 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

eval2.0ms (0.1%)

Memory: 3.3MiB live, 3.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 207 to 73 computations (64.7% saved)

prune3.0ms (0.1%)

Memory

4.7MiB live, 4.7MiB allocated; 0ms collecting garbage

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	23	0	23
Fresh	0	0	0
Picked	0	3	3
Done	0	2	2
Total	23	5	28

Accuracy

100.0%

Counts

28 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	99.5%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	52.8%	(sqrt.f64 (*.f64 (+.f64 x x) x))
✓	5.2%	(sqrt.f64 #s(literal 2 binary64))
✓	99.3%	#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Compiler

Compiled 83 to 45 computations (45.8% saved)

regimes16.0ms (0.8%)

Memory

-28.2MiB live, 17.1MiB allocated; 4ms collecting garbage

Counts

8 → 1

Calls

Call 1

Inputs
(sqrt.f64 #s(literal 2 binary64))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (*.f64 (+.f64 x x) x))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(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)))
(hypot.f64 x x)

Outputs
(hypot.f64 x x)

Calls

4 calls:

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

Results

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

regimes9.0ms (0.4%)

Memory

13.7MiB live, 13.7MiB allocated; 0ms collecting garbage

Counts

7 → 1

Calls

Call 1

Inputs
(sqrt.f64 #s(literal 2 binary64))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (*.f64 (+.f64 x x) x))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(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)))

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

regimes8.0ms (0.3%)

Memory

12.2MiB live, 12.2MiB allocated; 0ms collecting garbage

Counts

5 → 1

Calls

Call 1

Inputs
(sqrt.f64 #s(literal 2 binary64))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (*.f64 (+.f64 x x) x))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(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	x
2.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
2.0ms	(+.f64 (.f64 x x) (.f64 x x))
2.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

regimes5.0ms (0.2%)

Memory

-38.3MiB live, 8.2MiB allocated; 2ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(sqrt.f64 #s(literal 2 binary64))

Outputs
(sqrt.f64 #s(literal 2 binary64))

Calls

4 calls:

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

Results

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

simplify43.0ms (2%)

Memory

40.0MiB live, 40.0MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	24	23
2	62	23
3	154	23
4	343	23
5	1581	23
6	5172	23

Stop Event

1×	node limit

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))
(sqrt.f64 #s(literal 2 binary64))

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))
(sqrt.f64 #s(literal 2 binary64))

derivations57.0ms (2.6%)

Memory

-28.6MiB live, 20.1MiB allocated; 9ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 25 to 13 computations (48% saved)

preprocess17.0ms (0.8%)

Memory: 25.2MiB live, 25.2MiB allocated; 0ms collecting garbage
Remove: (abs x)
Compiler: Compiled 72 to 38 computations (47.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze0.0ms (0%)

sample596.0ms (27.6%)

explain94.0ms (4.3%)

preprocess238.0ms (11%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify223.0ms (10.3%)

localize21.0ms (1%)

series3.0ms (0.2%)

simplify195.0ms (9%)

rewrite50.0ms (2.3%)

eval22.0ms (1%)

prune6.0ms (0.3%)

simplify120.0ms (5.6%)

localize49.0ms (2.3%)

series6.0ms (0.3%)

simplify26.0ms (1.2%)

rewrite51.0ms (2.4%)

eval5.0ms (0.2%)

prune3.0ms (0.2%)

simplify210.0ms (9.7%)

localize25.0ms (1.2%)

series4.0ms (0.2%)

simplify27.0ms (1.2%)

rewrite26.0ms (1.2%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

regimes16.0ms (0.8%)

regimes9.0ms (0.4%)

regimes8.0ms (0.3%)

regimes5.0ms (0.2%)

simplify43.0ms (2%)

derivations57.0ms (2.6%)

preprocess17.0ms (0.8%)

end0.0ms (0%)

Profiling