Metrics for sqrt C (should all be same)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample1.1s (15.8%)

Memory

17.2MiB live, 753.2MiB allocated; 122ms collecting garbage

Samples

731.0ms

8 256×

valid

Precisions

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

ival-mult: 112.0ms (56.6% of total)

ival-sqrt: 72.0ms (36.4% of total)

ival-true: 5.0ms (2.5% of total)

exact: 4.0ms (2% of total)

adjust: 2.0ms (1% of total)

ival-assert: 2.0ms (1% of total)

Bogosity

explain82.0ms (1.1%)

Memory

-32.4MiB live, 106.7MiB allocated; 31ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
132	-	2	(-8.548364568892834e-157)	`(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(*.f64 x x)`
0	-	0	-	`(.f64 #s(literal 2 binary64) (.f64 x x))`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))`	uflow-rescue	72	0
↳	`(.f64 #s(literal 2 binary64) (.f64 x x))`	underflow	72
↳	`(*.f64 x x)`	underflow	72
`sqrt.f64`	`(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))`	oflow-rescue	58	0
↳	`(.f64 #s(literal 2 binary64) (.f64 x x))`	overflow	58
↳	`(*.f64 x x)`	overflow	58

Confusion

	Predicted +	Predicted -
+	130	2
-	0	124

Precision

1.0

Recall

0.9848484848484849

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	130	0	2
-	0	0	124

Precision?

1.0

Recall?

0.9848484848484849

Freqs

test

number	freq
0	126
1	130

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

22.0ms

512×

valid

Compiler

Compiled 42 to 19 computations (54.8% saved)

Precisions

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

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

ival-sqrt: 3.0ms (25.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)

preprocess641.0ms (8.8%)

Memory

18.8MiB live, 394.4MiB allocated; 87ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	22	13
2	88	13
3	188	13
4	582	13
5	1434	13
6	5100	13
0	5	6
0	8	6
1	18	6
2	61	6
3	182	6
4	501	6
5	1233	6
6	4737	6
7	7909	6
0	8489	3

Stop Event

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

Calls

Call 1

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

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

Symmetry

(abs x)

Compiler

Compiled 6 to 5 computations (16.7% 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.8MiB live, 0.8MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	52.5%	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify771.0ms (10.6%)

Memory

62.0MiB live, 505.7MiB allocated; 94ms collecting garbage

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 x x)
cost-diff	0	(.f64 #s(literal 2 binary64) (.f64 x x))
cost-diff	3	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	16
0	8	16
1	18	16
2	61	16
3	182	16
4	501	16
5	1233	16
6	4737	16
7	7909	16
0	8489	13

Stop Event

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

Calls

Call 1

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

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

localize227.0ms (3.1%)

Memory

-32.2MiB live, 134.2MiB allocated; 103ms collecting garbage

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 x x)
accuracy	0.0078125	(.f64 #s(literal 2 binary64) (.f64 x x))
accuracy	30.362378548852618	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))

Samples

222.0ms

256×

valid

Compiler

Compiled 18 to 7 computations (61.1% saved)

Precisions

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

ival-mult: 49.0ms (95.1% of total)

ival-sqrt: 2.0ms (3.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)

series3.0ms (0%)

Memory

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

Counts

3 → 4

Calls

Call 1

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

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

Calls

3 calls:

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

simplify1.1s (15.2%)

Memory

-21.2MiB live, 557.6MiB allocated; 775ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	18	17
2	50	17
3	125	17
4	398	17
5	1308	17
6	4904	17
0	8014	17

Stop Event

1×	iter limit
1×	node limit

Counts

4 → 4

Calls

Call 1

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

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

rewrite36.0ms (0.5%)

Memory

29.1MiB live, 73.4MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	14
0	8	14
1	24	13
0	122	11

Stop Event

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

Counts

3 → 73

Calls

Call 1

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

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

eval21.0ms (0.3%)

Memory: -35.5MiB live, 23.3MiB allocated; 20ms collecting garbage
Compiler: Compiled 625 to 176 computations (71.8% saved)

prune2.0ms (0%)

Memory

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

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	74	3	77
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	74	4	78

Accuracy

100.0%

Counts

78 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify1.1s (14.6%)

Memory

31.3MiB live, 510.3MiB allocated; 111ms collecting garbage

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	41
0	21	38
1	37	38
2	85	38
3	210	38
4	439	38
5	1196	38
6	5172	38
0	8083	38

Stop Event

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

Calls

Call 1

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

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

localize50.0ms (0.7%)

Memory

-5.8MiB live, 48.8MiB allocated; 23ms collecting garbage

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.015625	(hypot.f64 x x)
accuracy	0.0	(*.f64 x #s(literal 2 binary64))
accuracy	0.0	(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
accuracy	0.0	(sqrt.f64 x)
accuracy	0.37109375	(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
accuracy	0.0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0.0	#s(approx (sqrt (* 2 (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
accuracy	0.3984375	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))

Samples

42.0ms

256×

valid

Compiler

Compiled 43 to 14 computations (67.4% saved)

Precisions

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

ival-mult: 8.0ms (43.9% of total)

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

ival-hypot: 4.0ms (21.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)

series5.0ms (0.1%)

Memory

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

Counts

8 → 8

Calls

Call 1

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

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

Calls

3 calls:

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

Time

Variable

Point

Expression

3.0ms

-inf

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

1.0ms

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

1.0ms

inf

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

simplify15.0ms (0.2%)

Memory

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

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	49	38
2	142	38
0	354	38

Stop Event

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

Counts

8 → 8

Calls

Call 1

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

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

rewrite61.0ms (0.8%)

Memory

-2.3MiB live, 76.6MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	36
0	21	27
1	57	26
0	323	26

Stop Event

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

Counts

8 → 130

Calls

Call 1

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

Outputs
#s(approx (sqrt (* 2 (* 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 (fabs.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x #s(literal 2 binary64))))
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
(*.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)))) (hypot.f64 #s(literal 0 binary64) (.f64 x x)))
(sqrt.f64 #s(literal 2 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)) (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)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.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 #s(literal 1 binary64) #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) (neg.f64 x))
(hypot.f64 (neg.f64 x) (fabs.f64 x))
(hypot.f64 (neg.f64 x) x)
(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) (neg.f64 x))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 x (neg.f64 (neg.f64 x)))
(hypot.f64 x (neg.f64 (fabs.f64 x)))
(hypot.f64 x (neg.f64 x))
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x x)
(exp.f64 (*.f64 (log1p.f64 #s(literal 1 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 (fabs.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x #s(literal 2 binary64))))
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
(*.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)))) (hypot.f64 #s(literal 0 binary64) (.f64 x x)))
(sqrt.f64 #s(literal 2 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)) (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)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.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 #s(literal 1 binary64) #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) (neg.f64 x))
(hypot.f64 (neg.f64 x) (fabs.f64 x))
(hypot.f64 (neg.f64 x) x)
(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) (neg.f64 x))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 x (neg.f64 (neg.f64 x)))
(hypot.f64 x (neg.f64 (fabs.f64 x)))
(hypot.f64 x (neg.f64 x))
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x x)
(exp.f64 (*.f64 (log1p.f64 #s(literal 1 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 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(*.f64 x #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
(/.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 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 (fabs.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(.f64 (sqrt.f64 x) (sqrt.f64 (.f64 x #s(literal 2 binary64))))
(.f64 (sqrt.f64 (.f64 x #s(literal 2 binary64))) (sqrt.f64 x))
(*.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)))) (hypot.f64 #s(literal 0 binary64) (.f64 x x)))
(sqrt.f64 #s(literal 2 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)) (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)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.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 #s(literal 1 binary64) #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) (neg.f64 x))
(hypot.f64 (neg.f64 x) (fabs.f64 x))
(hypot.f64 (neg.f64 x) x)
(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) (neg.f64 x))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 x (neg.f64 (neg.f64 x)))
(hypot.f64 x (neg.f64 (fabs.f64 x)))
(hypot.f64 x (neg.f64 x))
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x x)
(exp.f64 (*.f64 (log1p.f64 #s(literal 1 binary64)) #s(literal 1/2 binary64)))

eval7.0ms (0.1%)

Memory: 10.9MiB live, 10.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 812 to 215 computations (73.5% saved)

prune2.0ms (0%)

Memory

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

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	0	0
Picked	1	2	3
Done	0	1	1
Total	64	4	68

Accuracy

100.0%

Counts

68 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 27 to 21 computations (22.2% saved)

simplify984.0ms (13.5%)

Memory

-4.8MiB live, 538.0MiB allocated; 190ms collecting garbage

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	17
0	9	17
1	12	17
2	15	17
3	22	17
4	40	17
5	79	17
6	283	17
7	1740	17
0	8132	17

Stop Event

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

Calls

Call 1

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

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

localize22.0ms (0.3%)

Memory

-19.2MiB live, 24.0MiB allocated; 8ms collecting garbage

Localize:

Found 4 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.37109375	(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))

Samples

12.0ms

256×

valid

Compiler

Compiled 19 to 7 computations (63.2% saved)

Precisions

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

ival-sqrt: 3.0ms (47.8% of total)

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

ival-add: 1.0ms (15.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%)

Memory

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

Counts

4 → 7

Calls

Call 1

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

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

Calls

3 calls:

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

simplify15.0ms (0.2%)

Memory

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

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	33
1	45	33
2	128	33
0	323	33

Stop Event

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

Counts

7 → 7

Calls

Call 1

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

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

rewrite30.0ms (0.4%)

Memory

-1.1MiB live, 33.9MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	16
0	9	15
1	26	15
0	131	15

Stop Event

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

Counts

4 → 24

Calls

Call 1

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

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

eval3.0ms (0%)

Memory: 9.3MiB live, 9.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 314 to 101 computations (67.8% saved)

prune2.0ms (0%)

Memory

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

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	30	4	34

Accuracy

100.0%

Counts

34 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 61 to 41 computations (32.8% saved)

regimes18.0ms (0.2%)

Memory

-39.9MiB live, 22.8MiB allocated; 18ms collecting garbage

Counts

5 → 1

Calls

Call 1

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

Outputs
(hypot.f64 x x)

Calls

4 calls:

12.0ms	(*.f64 x x)
2.0ms	x
2.0ms	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
2.0ms	(.f64 #s(literal 2 binary64) (.f64 x x))

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 x x)`
100.0%	1	`(.f64 #s(literal 2 binary64) (.f64 x x))`
100.0%	1	`(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))`
100.0%	1	`x`

Compiler

Compiled 15 to 12 computations (20% saved)

regimes7.0ms (0.1%)

Memory

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

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	x
1.0ms	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
1.0ms	(.f64 #s(literal 2 binary64) (.f64 x x))
1.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
99.4%	1	`(*.f64 x x)`
99.4%	1	`(.f64 #s(literal 2 binary64) (.f64 x x))`
99.4%	1	`(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))`
99.4%	1	`x`

Compiler

Compiled 15 to 12 computations (20% saved)

regimes5.0ms (0.1%)

Memory

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

Accuracy

Total -30.2b remaining (-7568.6%)

Threshold costs -30.2b (-7568.6%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

4 calls:

1.0ms	x
1.0ms	(.f64 #s(literal 2 binary64) (.f64 x x))
1.0ms	(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))
1.0ms	(*.f64 x x)

Results

Accuracy	Segments	Branch
99.4%	1	`(*.f64 x x)`
99.4%	1	`(.f64 #s(literal 2 binary64) (.f64 x x))`
99.4%	1	`(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 x x)))`
99.4%	1	`x`

Compiler

Compiled 15 to 12 computations (20% saved)

simplify105.0ms (1.4%)

Memory

-10.8MiB live, 80.9MiB allocated; 12ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	23	21
2	66	21
3	188	21
4	528	21
5	2665	21

Stop Event

1×	node limit

Calls

Call 1

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

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

derivations819.0ms (11.3%)

Memory

-47.6MiB live, 194.1MiB allocated; 30ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	18	17
2	50	17
3	125	17
4	398	17
5	1308	17
6	4904	17
0	8014	17
0	13	36
0	21	27
1	57	26
0	323	26
0	5	14
0	8	14
1	24	13
0	122	11

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

Compiler

Compiled 21 to 14 computations (33.3% saved)

preprocess23.0ms (0.3%)

Memory: 21.9MiB live, 21.9MiB allocated; 0ms collecting garbage
Remove: (abs x)
Compiler: Compiled 60 to 42 computations (30% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (15.8%)

explain82.0ms (1.1%)

preprocess641.0ms (8.8%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify771.0ms (10.6%)

localize227.0ms (3.1%)

series3.0ms (0%)

simplify1.1s (15.2%)

rewrite36.0ms (0.5%)

eval21.0ms (0.3%)

prune2.0ms (0%)

simplify1.1s (14.6%)

localize50.0ms (0.7%)

series5.0ms (0.1%)

simplify15.0ms (0.2%)

rewrite61.0ms (0.8%)

eval7.0ms (0.1%)

prune2.0ms (0%)

simplify984.0ms (13.5%)

localize22.0ms (0.3%)

series3.0ms (0%)

simplify15.0ms (0.2%)

rewrite30.0ms (0.4%)

eval3.0ms (0%)

prune2.0ms (0%)

regimes18.0ms (0.2%)

regimes7.0ms (0.1%)

regimes5.0ms (0.1%)

simplify105.0ms (1.4%)

derivations819.0ms (11.3%)

preprocess23.0ms (0.3%)

end0.0ms (0%)

Profiling