Metrics for Graphics.Rasterific.Shading:$sradialGradientWithFocusShader from Rasterific-0.6.1

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample767.0ms (50.8%)

Memory

46.6MiB live, 930.9MiB allocated; 212ms collecting garbage

Samples

540.0ms

8 256×

valid

Precisions

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

ival-mult: 114.0ms (64.6% of total)

ival-sub: 52.0ms (29.5% of total)

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

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

adjust: 2.0ms (1.1% of total)

Bogosity

explain54.0ms (3.6%)

Memory

16.7MiB live, 108.7MiB allocated; 11ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 x (*.f64 y y))`
-	-	`y`
-	-	`(*.f64 y y)`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

19.0ms

512×

valid

Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions

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

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

ival-sub: 2.0ms (28.8% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess21.0ms (1.4%)

Memory

-6.2MiB live, 39.7MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	34
1	33	34
2	87	32
3	146	32
4	192	32
0	4	5
0	6	5
1	12	5
2	33	5
3	59	5
4	74	5
0	74	5

Stop Event

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

Calls

Call 1

Inputs
(-.f64 x (*.f64 y y))

Outputs
(-.f64 x (*.f64 y y))

Symmetry

(abs y)

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.1MiB live, 1.2MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f64 x (*.f64 y y))

Compiler

Compiled 5 to 4 computations (20% saved)

simplify4.0ms (0.2%)

Memory

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

Localize:

Found 2 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	10
0	6	10
1	12	10
2	33	10
3	59	10
4	74	10
0	74	10

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(-.f64 x (*.f64 y y))
x
(*.f64 y y)
y

Outputs
(-.f64 x (*.f64 y y))
x
(*.f64 y y)
y

localize18.0ms (1.2%)

Memory

-10.4MiB live, 42.9MiB allocated; 8ms collecting garbage

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(*.f64 y y)
accuracy	0.00390625	(-.f64 x (*.f64 y y))

Samples

13.0ms

256×

valid

Compiler

Compiled 12 to 6 computations (50% saved)

Precisions

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

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

ival-sub: 1.0ms (30.9% of total)

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

adjust: 0.0ms (0% of total)

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

series2.0ms (0.2%)

Memory

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

Counts

2 → 8

Calls

Call 1

Inputs
(-.f64 x (*.f64 y y))
(*.f64 y y)

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

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	inf	((- x (* y y)) (* y y))
0.0ms	y	@	0	((- x (* y y)) (* y y))
0.0ms	y	@	-inf	((- x (* y y)) (* y y))
0.0ms	x	@	inf	((- x (* y y)) (* y y))
0.0ms	x	@	0	((- x (* y y)) (* y y))

simplify137.0ms (9.1%)

Memory

-40.5MiB live, 193.7MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	85
1	65	85
2	193	85
3	779	85
4	2887	85
5	6557	85
0	8167	85

Stop Event

1×	iter limit
1×	node limit

Counts

8 → 8

Calls

Call 1

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

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

rewrite44.0ms (2.9%)

Memory

27.2MiB live, 115.0MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	8
1	27	8
0	210	8

Stop Event

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

Counts

2 → 28

Calls

Call 1

Inputs
(-.f64 x (*.f64 y y))
(*.f64 y y)

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

eval3.0ms (0.2%)

Memory: 12.7MiB live, 12.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 334 to 93 computations (72.2% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Accuracy

100.0%

Counts

34 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (neg.f64 y) y x)
▶	53.1%	#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
▶	48.7%	#s(approx (- x (* y y)) x)

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify34.0ms (2.3%)

Memory

-51.5MiB live, 14.3MiB allocated; 15ms collecting garbage

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(neg.f64 y)
cost-diff	0	(fma.f64 (neg.f64 y) y x)
cost-diff	0	(neg.f64 y)
cost-diff	0	(*.f64 (neg.f64 y) y)
cost-diff	0	#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
cost-diff	0	#s(approx (- x (* y y)) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	34
0	12	34
1	18	34
2	36	34
3	61	34
4	74	34
0	74	34

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (- x (* y y)) x)
x
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(fma.f64 (neg.f64 y) y x)
(neg.f64 y)
y
x

Outputs
#s(approx (- x (* y y)) x)
x
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(fma.f64 (neg.f64 y) y x)
(-.f64 x (*.f64 y y))
(neg.f64 y)
y
x

localize28.0ms (1.9%)

Memory

39.3MiB live, 84.7MiB allocated; 3ms collecting garbage

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0.0	(fma.f64 (neg.f64 y) y x)
accuracy	0.0	(neg.f64 y)
accuracy	0.0	(*.f64 (neg.f64 y) y)
accuracy	0.0	(neg.f64 y)
accuracy	29.99593249566687	#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
accuracy	32.860359387711625	#s(approx (- x (* y y)) x)

Samples

22.0ms

256×

valid

Compiler

Compiled 30 to 9 computations (70% saved)

Precisions

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

ival-sub: 6.0ms (47.6% of total)

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

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

ival-neg: 1.0ms (7.9% of total)

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

adjust: 0.0ms (0% of total)

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

series5.0ms (0.3%)

Memory

-31.1MiB live, 15.7MiB allocated; 2ms collecting garbage

Counts

5 → 15

Calls

Call 1

Inputs
#s(approx (- x (* y y)) x)
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
(fma.f64 (neg.f64 y) y x)

Outputs
#s(approx (- x (* y y)) #s(hole binary64 (* -1 (pow y 2))))
#s(approx (- x (* y y)) #s(hole binary64 (- x (pow y 2))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (* -1 (pow y 2))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (+ x (* -1 (pow y 2)))))
#s(approx (- x (* y y)) #s(hole binary64 x))
#s(approx (- x (* y y)) #s(hole binary64 (* x (+ 1 (* -1 (/ (pow y 2) x))))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 x))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (* x (+ 1 (* -1 (/ (pow y 2) x))))))
#s(approx (- x (* y y)) #s(hole binary64 (* -1 (* x (- (/ (pow y 2) x) 1)))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (* -1 (* x (- (/ (pow y 2) x) 1)))))
#s(approx (- x (* y y)) #s(hole binary64 (+ x (* -1 (pow y 2)))))
#s(approx (* (neg y) y) #s(hole binary64 (* -1 (pow y 2))))
#s(approx (neg y) #s(hole binary64 (* -1 y)))
#s(approx (- x (* y y)) #s(hole binary64 (* (pow y 2) (- (/ x (pow y 2)) 1))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (* (pow y 2) (- (/ x (pow y 2)) 1))))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	y	@	inf	((- x (* y y)) (- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))
1.0ms	y	@	-inf	((- x (* y y)) (- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))
0.0ms	y	@	0	((- x (* y y)) (- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))
0.0ms	x	@	0	((- x (* y y)) (- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))
0.0ms	x	@	inf	((- x (* y y)) (- x (* y y)) (* (neg y) y) (neg y) (+ (* (neg y) y) x))

simplify104.0ms (6.9%)

Memory

36.7MiB live, 180.2MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	159
1	78	159
2	206	159
3	863	159
4	3095	159
5	6433	159
0	8022	159

Stop Event

1×	iter limit
1×	node limit

Counts

15 → 15

Calls

Call 1

Inputs
#s(approx (- x (* y y)) #s(hole binary64 (* -1 (pow y 2))))
#s(approx (- x (* y y)) #s(hole binary64 (- x (pow y 2))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (* -1 (pow y 2))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (+ x (* -1 (pow y 2)))))
#s(approx (- x (* y y)) #s(hole binary64 x))
#s(approx (- x (* y y)) #s(hole binary64 (* x (+ 1 (* -1 (/ (pow y 2) x))))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 x))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (* x (+ 1 (* -1 (/ (pow y 2) x))))))
#s(approx (- x (* y y)) #s(hole binary64 (* -1 (* x (- (/ (pow y 2) x) 1)))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (* -1 (* x (- (/ (pow y 2) x) 1)))))
#s(approx (- x (* y y)) #s(hole binary64 (+ x (* -1 (pow y 2)))))
#s(approx (* (neg y) y) #s(hole binary64 (* -1 (pow y 2))))
#s(approx (neg y) #s(hole binary64 (* -1 y)))
#s(approx (- x (* y y)) #s(hole binary64 (* (pow y 2) (- (/ x (pow y 2)) 1))))
#s(approx (+ (* (neg y) y) x) #s(hole binary64 (* (pow y 2) (- (/ x (pow y 2)) 1))))

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

rewrite76.0ms (5.1%)

Memory

-26.2MiB live, 62.6MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
0	12	28
1	43	28
0	317	28

Stop Event

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

Counts

5 → 33

Calls

Call 1

Inputs
#s(approx (- x (* y y)) x)
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 y) y)
(neg.f64 y)
(fma.f64 (neg.f64 y) y x)

Outputs
#s(approx (- x (* y y)) x)
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(*.f64 (neg.f64 (fabs.f64 y)) (fabs.f64 y))
(*.f64 (neg.f64 (neg.f64 y)) (neg.f64 y))
(*.f64 (fabs.f64 y) (neg.f64 (fabs.f64 y)))
(*.f64 (neg.f64 y) (neg.f64 (neg.f64 y)))
(*.f64 (neg.f64 y) y)
(*.f64 y (neg.f64 y))
(neg.f64 (*.f64 y y))
(neg.f64 y)
(/.f64 (neg.f64 (-.f64 (*.f64 x x) (pow.f64 y #s(literal 4 binary64)))) (neg.f64 (fma.f64 y y x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 y #s(literal 4 binary64)) (.f64 x x))) (neg.f64 (-.f64 (.f64 (neg.f64 y) y) x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64)))) (neg.f64 (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (neg.f64 (pow.f64 y #s(literal 6 binary64))))) (neg.f64 (fma.f64 x (fma.f64 y y x) (pow.f64 y #s(literal 4 binary64)))))
(/.f64 (-.f64 (*.f64 x x) (pow.f64 y #s(literal 4 binary64))) (fma.f64 y y x))
(/.f64 (-.f64 (pow.f64 y #s(literal 4 binary64)) (.f64 x x)) (-.f64 (.f64 (neg.f64 y) y) x))
(/.f64 (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 y #s(literal 6 binary64))) (fma.f64 x x (fma.f64 (*.f64 y y) x (pow.f64 y #s(literal 4 binary64)))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (neg.f64 (pow.f64 y #s(literal 6 binary64)))) (fma.f64 x x (-.f64 (pow.f64 y #s(literal 4 binary64)) (.f64 (.f64 (neg.f64 y) y) x))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (neg.f64 (pow.f64 y #s(literal 6 binary64)))) (fma.f64 x (fma.f64 y y x) (pow.f64 y #s(literal 4 binary64))))
(fma.f64 (neg.f64 (fabs.f64 y)) (fabs.f64 y) x)
(fma.f64 (neg.f64 (neg.f64 y)) (neg.f64 y) x)
(fma.f64 (fabs.f64 y) (neg.f64 (fabs.f64 y)) x)
(fma.f64 (neg.f64 y) (neg.f64 (neg.f64 y)) x)
(fma.f64 (neg.f64 y) y x)
(fma.f64 y (neg.f64 y) x)
(-.f64 (/.f64 (*.f64 x x) (fma.f64 y y x)) (/.f64 (pow.f64 y #s(literal 4 binary64)) (fma.f64 y y x)))
(-.f64 (/.f64 (pow.f64 y #s(literal 4 binary64)) (-.f64 (.f64 (neg.f64 y) y) x)) (/.f64 (.f64 x x) (-.f64 (*.f64 (neg.f64 y) y) x)))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x (fma.f64 (.f64 y y) x (pow.f64 y #s(literal 4 binary64))))) (/.f64 (pow.f64 y #s(literal 6 binary64)) (fma.f64 x x (fma.f64 (.f64 y y) x (pow.f64 y #s(literal 4 binary64))))))
(-.f64 x (*.f64 (neg.f64 (neg.f64 y)) y))
(-.f64 x (*.f64 y y))
(+.f64 (/.f64 (neg.f64 (pow.f64 y #s(literal 6 binary64))) (fma.f64 x (fma.f64 y y x) (pow.f64 y #s(literal 4 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x (fma.f64 y y x) (pow.f64 y #s(literal 4 binary64)))))
(+.f64 (*.f64 (neg.f64 y) y) x)
(+.f64 x (*.f64 (neg.f64 y) y))

eval4.0ms (0.2%)

Memory: 13.0MiB live, 13.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 510 to 102 computations (80% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	41	3	44

Accuracy

100.0%

Counts

44 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (neg.f64 y) y x)
✓	53.1%	#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
✓	48.7%	#s(approx (- x (* y y)) x)

Compiler

Compiled 49 to 27 computations (44.9% saved)

regimes22.0ms (1.5%)

Memory

-17.9MiB live, 28.7MiB allocated; 18ms collecting garbage

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (- x (* y y)) x)
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(-.f64 x (*.f64 y y))
(fma.f64 (neg.f64 y) y x)

Outputs
(fma.f64 (neg.f64 y) y x)

Calls

4 calls:

16.0ms	x
2.0ms	y
2.0ms	(-.f64 x (*.f64 y y))
2.0ms	(*.f64 y y)

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 y y)`
100.0%	1	`(-.f64 x (*.f64 y y))`
100.0%	1	`x`
100.0%	1	`y`

Compiler

Compiled 10 to 11 computations (-10% saved)

regimes7.0ms (0.4%)

Memory

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

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (- x (* y y)) x)
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))
(-.f64 x (*.f64 y y))

Outputs
(-.f64 x (*.f64 y y))

Calls

4 calls:

2.0ms	y
2.0ms	x
1.0ms	(-.f64 x (*.f64 y y))
1.0ms	(*.f64 y y)

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 y y)`
100.0%	1	`(-.f64 x (*.f64 y y))`
100.0%	1	`x`
100.0%	1	`y`

Compiler

Compiled 10 to 11 computations (-10% saved)

regimes20.0ms (1.3%)

Memory

-11.9MiB live, 25.2MiB allocated; 18ms collecting garbage

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (- x (* y y)) x)
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))

Outputs
#s(approx (- x (* y y)) x)
#s(approx (- x (* y y)) (*.f64 (neg.f64 y) y))

Calls

4 calls:

16.0ms	(-.f64 x (*.f64 y y))
1.0ms	x
1.0ms	y
1.0ms	(*.f64 y y)

Results

Accuracy	Segments	Branch
87.5%	2	`(*.f64 y y)`
80.0%	2	`(-.f64 x (*.f64 y y))`
65.4%	3	`x`
87.5%	2	`y`

Compiler

Compiled 10 to 11 computations (-10% saved)

regimes4.0ms (0.3%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- x (* y y)) x)

Outputs
#s(approx (- x (* y y)) x)

Calls

4 calls:

1.0ms	y
1.0ms	x
1.0ms	(-.f64 x (*.f64 y y))
1.0ms	(*.f64 y y)

Results

Accuracy	Segments	Branch
48.7%	1	`x`
48.7%	1	`(-.f64 x (*.f64 y y))`
48.7%	1	`(*.f64 y y)`
48.7%	1	`y`

Compiler

Compiled 10 to 11 computations (-10% saved)

bsearch17.0ms (1.1%)

Memory

-13.4MiB live, 31.0MiB allocated; 11ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
16.0ms	6.428182807641362e-21	4.8669383926702666e-20

Samples

12.0ms

96×

valid

Compiler

Compiled 110 to 93 computations (15.5% saved)

Precisions

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

ival-mult: 1.0ms (68.4% of total)

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

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

adjust: 0.0ms (0% of total)

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

simplify10.0ms (0.7%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	27	38
2	53	38
3	80	38
4	95	38

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fma.f64 (neg.f64 y) y x)
(-.f64 x (*.f64 y y))
(if (<=.f64 y #s(literal 5150758483666549/332306998946228968225951765070086144 binary64)) #s(approx (- x (* y y)) x) #s(approx (- x (* y y)) (*.f64 (neg.f64 y) y)))
#s(approx (- x (* y y)) x)

Outputs
(fma.f64 (neg.f64 y) y x)
(-.f64 x (*.f64 y y))
(if (<=.f64 y #s(literal 5150758483666549/332306998946228968225951765070086144 binary64)) #s(approx (- x (* y y)) x) #s(approx (- x (* y y)) (*.f64 (neg.f64 y) y)))
#s(approx (- x (* y y)) x)

derivations104.0ms (6.9%)

Memory

-51.7MiB live, 51.9MiB allocated; 52ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 38 to 14 computations (63.2% saved)

preprocess19.0ms (1.3%)

Memory: 37.7MiB live, 37.7MiB allocated; 0ms collecting garbage
Remove: (abs y)
Compiler: Compiled 106 to 52 computations (50.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample767.0ms (50.8%)

explain54.0ms (3.6%)

preprocess21.0ms (1.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify4.0ms (0.2%)

localize18.0ms (1.2%)

series2.0ms (0.2%)

simplify137.0ms (9.1%)

rewrite44.0ms (2.9%)

eval3.0ms (0.2%)

prune2.0ms (0.1%)

simplify34.0ms (2.3%)

localize28.0ms (1.9%)

series5.0ms (0.3%)

simplify104.0ms (6.9%)

rewrite76.0ms (5.1%)

eval4.0ms (0.2%)

prune3.0ms (0.2%)

regimes22.0ms (1.5%)

regimes7.0ms (0.4%)

regimes20.0ms (1.3%)

regimes4.0ms (0.3%)

bsearch17.0ms (1.1%)

simplify10.0ms (0.7%)

derivations104.0ms (6.9%)

preprocess19.0ms (1.3%)

end0.0ms (0%)

Profiling