Metrics for Optimisation.CirclePacking:place from circle-packing-0.1.0.4, C

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

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 7 computations (0% saved)

sample773.0ms (18.9%)

Memory

13.4MiB live, 892.4MiB allocated

Samples

478.0ms

8 256×

valid

Precisions

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

ival-sqrt: 109.0ms (43.1% of total)

ival-fabs: 84.0ms (33.2% of total)

ival-sub: 51.0ms (20.2% of total)

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

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

Bogosity

explain260.0ms (6.4%)

Memory

-47.1MiB live, 87.6MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`y`
-	-	`(fabs.f64 (-.f64 x y))`
-	-	`(-.f64 x y)`
-	-	`(sqrt.f64 (fabs.f64 (-.f64 x 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

27.0ms

512×

valid

Compiler

Compiled 51 to 24 computations (52.9% saved)

Precisions

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

ival-sub: 4.0ms (32.3% of total)

ival-sqrt: 4.0ms (32.3% of total)

ival-fabs: 3.0ms (24.2% of total)

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

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

preprocess18.0ms (0.4%)

Memory

27.3MiB live, 27.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	31
1	35	27
2	72	27
3	137	27
4	185	27
5	197	27
6	199	27
0	5	5
0	8	5
1	12	5
2	19	5
3	27	5
4	46	5
5	93	5
6	144	5
7	165	5
8	173	5
0	173	5

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))

Outputs
(sqrt.f64 (fabs.f64 (-.f64 y x)))

Symmetry

(sort x y)

Compiler

Compiled 5 to 5 computations (0% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 5 to 5 computations (0% saved)

simplify72.0ms (1.8%)

Memory

-28.0MiB live, 9.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	14
0	8	14
1	12	14
2	19	14
3	27	14
4	46	14
5	93	14
6	144	14
7	165	14
8	173	14
0	173	14

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(-.f64 x y)
x
y

Outputs
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(-.f64 x y)
x
y

localize15.0ms (0.4%)

Memory

27.4MiB live, 27.4MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 x y)
accuracy	0	(fabs.f64 (-.f64 x y))
accuracy	0.00390625	(sqrt.f64 (fabs.f64 (-.f64 x y)))

Samples

11.0ms

256×

valid

Compiler

Compiled 30 to 12 computations (60% saved)

Precisions

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

ival-sqrt: 2.0ms (42.3% of total)

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

ival-fabs: 1.0ms (21.2% of total)

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

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

series4.0ms (0.1%)

Memory

7.1MiB live, 7.1MiB allocated

Counts

3 → 72

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())

Inputs

#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())

#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())

#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (-.f64 x y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (-.f64 x y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (-.f64 x y) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y))
1.0ms	y	@	inf	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y))
0.0ms	y	@	0	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y))
0.0ms	y	@	-inf	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y))
0.0ms	x	@	inf	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y))

simplify161.0ms (3.9%)

Memory

-7.3MiB live, 72.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	279
1	79	279
2	186	279
3	541	279
4	1596	279
5	2435	279
6	3316	279
7	4901	279
8	5409	279
9	5785	279
10	6306	279
11	6970	279
12	7705	279
0	8082	279

Stop Event

1×	iter limit
1×	node limit

Counts

72 → 69

Calls

Call 1

Inputs
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
x
(+ x (* -1 y))
(+ x (* -1 y))
(+ x (* -1 y))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(* -1 y)
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(* -1 y)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(* -1 y)
(- x y)
(- x y)
(- x y)
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
x
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(sqrt (fabs (neg (+ y (* -1 x)))))
(sqrt (fabs (neg (+ y (* -1 x)))))
(sqrt (fabs (neg (+ y (* -1 x)))))
(sqrt (fabs (neg (+ y (* -1 x)))))
(fabs (neg (+ y (* -1 x))))
(fabs (neg (+ y (* -1 x))))
(fabs (neg (+ y (* -1 x))))
(fabs (neg (+ y (* -1 x))))
x
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))

Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)

rewrite169.0ms (4.1%)

Memory

22.4MiB live, 287.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	12
0	8	12
1	29	12
2	181	12
3	1675	12
0	8378	12

Stop Event

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

Counts

3 → 322

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(-.f64 x y)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval77.0ms (1.9%)

Memory: -32.8MiB live, 177.0MiB allocated
Compiler: Compiled 9 403 to 1 405 computations (85.1% saved)

prune10.0ms (0.3%)

Memory

-5.6MiB live, 33.9MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	389	2	391
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	389	3	392

Accuracy

100.0%

Counts

392 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	71.3%	(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)))
✓	100.0%	(sqrt.f64 (fabs.f64 (-.f64 x y)))
▶	54.6%	(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))

Status

Accuracy

Program

▶

71.3%

(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)))

✓

100.0%

(sqrt.f64 (fabs.f64 (-.f64 x y)))

▶

54.6%

(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))

Compiler

Compiled 26 to 23 computations (11.5% saved)

simplify268.0ms (6.6%)

Memory

19.9MiB live, 139.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))
cost-diff	0	(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)))
cost-diff	192	(+.f64 #s(literal 0 binary64) y)
cost-diff	1344	(fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)
cost-diff	0	(neg.f64 y)
cost-diff	0	#s(approx (- x y) (neg.f64 y))
cost-diff	0	(fabs.f64 #s(approx (- x y) (neg.f64 y)))
cost-diff	0	(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	78
0	25	68
1	43	59
2	99	50
3	205	50
4	406	50
5	1378	50
6	2502	50
7	4190	50
8	5628	50
9	6354	50
10	6611	50
11	6828	50
12	6973	50
13	7925	50
0	8465	50

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))
(fabs.f64 #s(approx (- x y) (neg.f64 y)))
#s(approx (- x y) (neg.f64 y))
(neg.f64 y)
y
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)))
(fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))
(fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y))
#s(literal 1 binary64)
(+.f64 #s(literal 0 binary64) y)
#s(literal 0 binary64)
x

Outputs
(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))
(fabs.f64 #s(approx (- x y) (neg.f64 y)))
#s(approx (- x y) (neg.f64 y))
(neg.f64 y)
y
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(-.f64 x y)
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(/.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
y
#s(literal 0 binary64)
x

localize120.0ms (2.9%)

Memory

-9.3MiB live, 68.4MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 y)
accuracy	0	(fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))
accuracy	0.00390625	(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)))
accuracy	17.964292310294688	(fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)
accuracy	0	(neg.f64 y)
accuracy	0	(fabs.f64 #s(approx (- x y) (neg.f64 y)))
accuracy	0.00390625	(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))
accuracy	29.934649621643096	#s(approx (- x y) (neg.f64 y))

Samples

109.0ms

256×

valid

Compiler

Compiled 152 to 32 computations (78.9% saved)

Precisions

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

ival-sqrt: 43.0ms (77.1% of total)

ival-fabs: 3.0ms (5.4% of total)

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

ival-div: 2.0ms (3.6% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series9.0ms (0.2%)

Memory

16.6MiB live, 16.6MiB allocated

Counts

8 → 168

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (+.f64 #s(literal 0 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y)))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 #s(approx (- x y) (neg.f64 y))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch #s(approx (- x y) (neg.f64 y)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y) (neg y) (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x) (+ 0 y) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x))) (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x)))
1.0ms	x	@	inf	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y) (neg y) (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x) (+ 0 y) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x))) (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x)))
1.0ms	y	@	0	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y) (neg y) (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x) (+ 0 y) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x))) (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x)))
0.0ms	y	@	inf	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y) (neg y) (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x) (+ 0 y) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x))) (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x)))
0.0ms	y	@	-inf	((sqrt (fabs (- x y))) (fabs (- x y)) (- x y) (neg y) (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x) (+ 0 y) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x))) (fabs (+ (* (* (neg y) y) (/ 1 (+ 0 y))) x)))

simplify182.0ms (4.5%)

Memory

-18.2MiB live, 103.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	594
1	87	594
2	199	594
3	551	594
4	1610	594
5	2343	594
6	3237	594
7	4831	594
8	5337	594
9	5713	594
10	6234	594
11	6901	594
12	7630	594
0	8007	594

Stop Event

1×	iter limit
1×	node limit

Counts

168 → 150

Calls

Call 1

Inputs
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
x
(+ x (* -1 y))
(+ x (* -1 y))
(+ x (* -1 y))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
x
(+ x (* -1 y))
(+ x (* -1 y))
(+ x (* -1 y))
y
y
y
y
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(* -1 y)
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
y
y
y
y
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(* -1 y)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
y
y
y
y
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(* -1 y)
(- x y)
(- x y)
(- x y)
(* -1 y)
(+ x (* -1 y))
(+ x (* -1 y))
(+ x (* -1 y))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
x
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
x
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(sqrt (fabs (neg (+ y (* -1 x)))))
(sqrt (fabs (neg (+ y (* -1 x)))))
(sqrt (fabs (neg (+ y (* -1 x)))))
(sqrt (fabs (neg (+ y (* -1 x)))))
(fabs (neg (+ y (* -1 x))))
(fabs (neg (+ y (* -1 x))))
(fabs (neg (+ y (* -1 x))))
(fabs (neg (+ y (* -1 x))))
x
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
x
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))

Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
y
y
y
y
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
y
y
y
y
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
y
y
y
y
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))
(fabs.f64 (-.f64 x y))

rewrite50.0ms (1.2%)

Memory

9.5MiB live, 48.7MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	62
0	25	51
1	93	36
0	701	36

Stop Event

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

Counts

8 → 114

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))
(fabs.f64 #s(approx (- x y) (neg.f64 y)))
#s(approx (- x y) (neg.f64 y))
(neg.f64 y)
(fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)
(+.f64 #s(literal 0 binary64) y)
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)))
(fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval85.0ms (2.1%)

Memory: -1.6MiB live, 78.9MiB allocated
Compiler: Compiled 4 532 to 662 computations (85.4% saved)

prune39.0ms (1%)

Memory

6.9MiB live, 44.0MiB allocated

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	312	1	313
Fresh	0	0	0
Picked	1	1	2
Done	0	1	1
Total	313	3	316

Accuracy

100.0%

Counts

316 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	71.3%	(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)))
✓	100.0%	(sqrt.f64 (fabs.f64 (-.f64 x y)))
✓	54.6%	(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))

Compiler

Compiled 24 to 21 computations (12.5% saved)

simplify141.0ms (3.5%)

Memory

2.5MiB live, 130.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 (neg.f64 y) y)
cost-diff	0	(fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))
cost-diff	0	(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)))
cost-diff	1344	(fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	42
0	16	42
1	30	33
2	59	24
3	124	24
4	288	24
5	1134	24
6	1806	24
7	2800	24
8	7678	24
0	8025	24

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)))
(fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))
(fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(/.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
x

Outputs
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(-.f64 x y)
(*.f64 (neg.f64 y) y)
(neg.f64 y)
y
(/.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
x

localize132.0ms (3.2%)

Memory

-18.4MiB live, 57.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 y)
accuracy	0	(fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))
accuracy	0.00390625	(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)))
accuracy	17.964292310294688	(fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)

Samples

125.0ms

256×

valid

Compiler

Compiled 89 to 21 computations (76.4% saved)

Precisions

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

ival-mult: 21.0ms (72.5% of total)

ival-div: 2.0ms (6.9% of total)

ival-sqrt: 2.0ms (6.9% of total)

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

ival-fabs: 1.0ms (3.5% of total)

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

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

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

exact: 0.0ms (0% of total)

series6.0ms (0.2%)

Memory

10.5MiB live, 10.5MiB allocated

Counts

5 → 96

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())
#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (neg.f64 y) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (neg.f64 y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	((+ (* (* (neg y) y) (/ 1 y)) x) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 y)) x))) (fabs (+ (* (* (neg y) y) (/ 1 y)) x)) (* (neg y) y) (neg y))
1.0ms	y	@	0	((+ (* (* (neg y) y) (/ 1 y)) x) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 y)) x))) (fabs (+ (* (* (neg y) y) (/ 1 y)) x)) (* (neg y) y) (neg y))
1.0ms	y	@	-inf	((+ (* (* (neg y) y) (/ 1 y)) x) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 y)) x))) (fabs (+ (* (* (neg y) y) (/ 1 y)) x)) (* (neg y) y) (neg y))
0.0ms	x	@	-inf	((+ (* (* (neg y) y) (/ 1 y)) x) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 y)) x))) (fabs (+ (* (* (neg y) y) (/ 1 y)) x)) (* (neg y) y) (neg y))
0.0ms	x	@	inf	((+ (* (* (neg y) y) (/ 1 y)) x) (sqrt (fabs (+ (* (* (neg y) y) (/ 1 y)) x))) (fabs (+ (* (* (neg y) y) (/ 1 y)) x)) (* (neg y) y) (neg y))

simplify378.0ms (9.3%)

Memory

11.5MiB live, 168.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	351
1	85	351
2	199	351
3	546	351
4	1631	351
5	2416	351
6	3353	351
7	4848	351
8	5251	351
9	5554	351
10	6091	351
11	6756	351
0	8385	351

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 93

Calls

Call 1

Inputs
x
(+ x (* -1 y))
(+ x (* -1 y))
(+ x (* -1 y))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 (pow y 2))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(+ x (* -1 y))
(+ x (* -1 y))
(+ x (* -1 y))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
x
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
x
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))

Outputs
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(*.f64 (neg.f64 y) y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))

rewrite122.0ms (3%)

Memory

-10.4MiB live, 108.0MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	36
0	16	33
1	54	21
2	333	18
0	3148	18

Stop Event

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

Counts

5 → 211

Calls

Call 1

Inputs
(fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)))
(fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x))
(*.f64 (neg.f64 y) y)
(neg.f64 y)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval53.0ms (1.3%)

Memory: 18.9MiB live, 135.7MiB allocated
Compiler: Compiled 5 067 to 926 computations (81.7% saved)

prune11.0ms (0.3%)

Memory

-5.7MiB live, 32.3MiB allocated

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	303	1	304
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	304	3	307

Accuracy

100.0%

Counts

307 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	71.3%	(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)))
✓	100.0%	(sqrt.f64 (fabs.f64 (-.f64 x y)))
✓	54.6%	(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))

Compiler

Compiled 23 to 20 computations (13% saved)

simplify158.0ms (3.9%)

Memory

-36.2MiB live, 56.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(/.f64 #s(literal -1 binary64) y)
cost-diff	0	(fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))
cost-diff	0	(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)))
cost-diff	1216	(fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	8	36
0	14	36
1	20	36
2	31	36
3	44	24
4	59	21
5	124	21
6	453	21
7	1508	21
8	2090	21
9	4399	21
10	6460	21
0	8073	21

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)))
(fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))
(fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)
(/.f64 #s(literal -1 binary64) y)
#s(literal -1 binary64)
y
(*.f64 y y)
x

Outputs
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(-.f64 x y)
(/.f64 #s(literal -1 binary64) y)
#s(literal -1 binary64)
y
(*.f64 y y)
x

localize24.0ms (0.6%)

Memory

29.2MiB live, 29.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 y y)
accuracy	0	(fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))
accuracy	0.00390625	(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)))
accuracy	17.964292310294688	(fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)

Samples

17.0ms

256×

valid

Compiler

Compiled 77 to 19 computations (75.3% saved)

Precisions

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

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

ival-div: 2.0ms (20.3% of total)

ival-sqrt: 2.0ms (20.3% of total)

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

ival-fabs: 1.0ms (10.1% of total)

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

exact: 0.0ms (0% of total)

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

series11.0ms (0.3%)

Memory

-22.6MiB live, 13.3MiB allocated

Counts

5 → 96

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())
#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (/.f64 #s(literal -1 binary64) y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 y y) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	y	@	-inf	((+ (* (/ -1 y) (* y y)) x) (sqrt (fabs (+ (* (/ -1 y) (* y y)) x))) (fabs (+ (* (/ -1 y) (* y y)) x)) (/ -1 y) (* y y))
1.0ms	y	@	inf	((+ (* (/ -1 y) (* y y)) x) (sqrt (fabs (+ (* (/ -1 y) (* y y)) x))) (fabs (+ (* (/ -1 y) (* y y)) x)) (/ -1 y) (* y y))
1.0ms	y	@	0	((+ (* (/ -1 y) (* y y)) x) (sqrt (fabs (+ (* (/ -1 y) (* y y)) x))) (fabs (+ (* (/ -1 y) (* y y)) x)) (/ -1 y) (* y y))
0.0ms	x	@	inf	((+ (* (/ -1 y) (* y y)) x) (sqrt (fabs (+ (* (/ -1 y) (* y y)) x))) (fabs (+ (* (/ -1 y) (* y y)) x)) (/ -1 y) (* y y))
0.0ms	x	@	-inf	((+ (* (/ -1 y) (* y y)) x) (sqrt (fabs (+ (* (/ -1 y) (* y y)) x))) (fabs (+ (* (/ -1 y) (* y y)) x)) (/ -1 y) (* y y))

simplify219.0ms (5.4%)

Memory

33.2MiB live, 189.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	351
1	83	351
2	193	351
3	537	351
4	1594	351
5	2383	351
6	3319	351
7	4813	351
8	5216	351
9	5519	351
10	6056	351
11	6720	351
0	8354	351

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 93

Calls

Call 1

Inputs
x
(+ x (* -1 y))
(+ x (* -1 y))
(+ x (* -1 y))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(/ -1 y)
(/ -1 y)
(/ -1 y)
(/ -1 y)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(* -1 y)
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(* y (- (/ x y) 1))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(sqrt (fabs (- x y)))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(fabs (- x y))
(/ -1 y)
(/ -1 y)
(/ -1 y)
(/ -1 y)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(* -1 y)
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(/ -1 y)
(/ -1 y)
(/ -1 y)
(/ -1 y)
(pow y 2)
(pow y 2)
(pow y 2)
(pow y 2)
(* -1 y)
(+ x (* -1 y))
(+ x (* -1 y))
(+ x (* -1 y))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
x
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(* x (+ 1 (* -1 (/ y x))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(sqrt (fabs (+ x (* -1 y))))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
(fabs (+ x (* -1 y)))
x
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
(* -1 (* x (- (/ y x) 1)))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(sqrt (fabs (- (* -1 y) (* -1 x))))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))
(fabs (- (* -1 y) (* -1 x)))

Outputs
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(*.f64 y y)
(*.f64 y y)
(*.f64 y y)
(*.f64 y y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(*.f64 y y)
(*.f64 y y)
(*.f64 y y)
(*.f64 y y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(/.f64 #s(literal -1 binary64) y)
(*.f64 y y)
(*.f64 y y)
(*.f64 y y)
(*.f64 y y)
(neg.f64 y)
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
x
(-.f64 x y)
(-.f64 x y)
(-.f64 x y)
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))
(fabs.f64 (-.f64 y x))

rewrite95.0ms (2.3%)

Memory

-21.7MiB live, 100.6MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	33
0	14	33
1	47	33
2	282	19
0	3377	19

Stop Event

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

Counts

5 → 175

Calls

Call 1

Inputs
(fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)))
(fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x))
(/.f64 #s(literal -1 binary64) y)
(*.f64 y y)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval38.0ms (0.9%)

Memory: -8.4MiB live, 67.6MiB allocated
Compiler: Compiled 4 299 to 741 computations (82.8% saved)

prune9.0ms (0.2%)

Memory

26.2MiB live, 26.2MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	268	0	268
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	268	3	271

Accuracy

100.0%

Counts

271 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	71.3%	(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)))
✓	100.0%	(sqrt.f64 (fabs.f64 (-.f64 x y)))
✓	54.6%	(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))

Compiler

Compiled 70 to 48 computations (31.4% saved)

regimes42.0ms (1%)

Memory

-5.5MiB live, 33.6MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 #s(approx (- x y) (neg.f64 y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 y y) x)))
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) y) x)))
(sqrt.f64 (fabs.f64 (fma.f64 (*.f64 (neg.f64 y) y) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) y)) x)))

Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))

Calls

5 calls:

32.0ms	(fabs.f64 (-.f64 x y))
3.0ms	(sqrt.f64 (fabs.f64 (-.f64 x y)))
2.0ms	(-.f64 x y)
2.0ms	y
2.0ms	x

Results

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

Compiler

Compiled 14 to 16 computations (-14.3% saved)

regimes10.0ms (0.3%)

Memory

-25.1MiB live, 18.1MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

5 calls:

4.0ms	y
1.0ms	(sqrt.f64 (fabs.f64 (-.f64 x y)))
1.0ms	x
1.0ms	(fabs.f64 (-.f64 x y))
1.0ms	(-.f64 x y)

Results

Accuracy	Segments	Branch
54.6%	1	`x`
54.6%	1	`y`
54.6%	1	`(sqrt.f64 (fabs.f64 (-.f64 x y)))`
54.6%	1	`(fabs.f64 (-.f64 x y))`
54.6%	1	`(-.f64 x y)`

Compiler

Compiled 14 to 16 computations (-14.3% saved)

simplify25.0ms (0.6%)

Memory

20.7MiB live, 58.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	17	13
2	22	13
3	26	13
4	28	13
5	29	13

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness233.0ms (5.7%)

Memory

-12.8MiB live, 60.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	279
1	79	279
2	186	279
3	541	279
4	1596	279
5	2435	279
6	3316	279
7	4901	279
8	5409	279
9	5785	279
10	6306	279
11	6970	279
12	7705	279
0	8082	279

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 17 to 15 computations (11.8% saved)

preprocess61.0ms (1.5%)

Memory: 9.6MiB live, 136.7MiB allocated
Remove: (sort x y)
Compiler: Compiled 56 to 50 computations (10.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	15	31
1	35	27
2	72	27
3	137	27
4	185	27
5	197	27
6	199	27
0	5	5
0	8	5
1	12	5
2	19	5
3	27	5
4	46	5
5	93	5
6	144	5
7	165	5
8	173	5
0	173	5

Iter	Nodes	Cost
0	15	31
1	35	27
2	72	27
3	137	27
4	185	27
5	197	27
6	199	27
0	5	5
0	8	5
1	12	5
2	19	5
3	27	5
4	46	5
5	93	5
6	144	5
7	165	5
8	173	5
0	173	5

start0.0ms (0%)

analyze0.0ms (0%)

sample773.0ms (18.9%)

explain260.0ms (6.4%)

preprocess18.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify72.0ms (1.8%)

localize15.0ms (0.4%)

series4.0ms (0.1%)

simplify161.0ms (3.9%)

rewrite169.0ms (4.1%)

eval77.0ms (1.9%)

prune10.0ms (0.3%)

simplify268.0ms (6.6%)

localize120.0ms (2.9%)

series9.0ms (0.2%)

simplify182.0ms (4.5%)

rewrite50.0ms (1.2%)

eval85.0ms (2.1%)

prune39.0ms (1%)

simplify141.0ms (3.5%)

localize132.0ms (3.2%)

series6.0ms (0.2%)

simplify378.0ms (9.3%)

rewrite122.0ms (3%)

eval53.0ms (1.3%)

prune11.0ms (0.3%)

simplify158.0ms (3.9%)

localize24.0ms (0.6%)

series11.0ms (0.3%)

simplify219.0ms (5.4%)

rewrite95.0ms (2.3%)

eval38.0ms (0.9%)

prune9.0ms (0.2%)

regimes42.0ms (1%)

regimes10.0ms (0.3%)

simplify25.0ms (0.6%)

soundness233.0ms (5.7%)

preprocess61.0ms (1.5%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	15	31
1	35	27
2	72	27
3	137	27
4	185	27
5	197	27
6	199	27
0	5	5
0	8	5
1	12	5
2	19	5
3	27	5
4	46	5
5	93	5
6	144	5
7	165	5
8	173	5
0	173	5