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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB 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 9 to 9 computations (0% saved)

sample911.0ms (21.1%)

Memory

16.4MiB live, 952.6MiB allocated

Samples

519.0ms	8 255×	0	valid
0.0ms	1×	1	valid

Precisions

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

ival-add: 119.0ms (63.1% of total)

ival-mult: 56.0ms (29.7% of total)

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

exact: 5.0ms (2.7% of total)

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

adjust: 0.0ms (0% of total)

Bogosity

explain73.0ms (1.7%)

Memory

4.9MiB live, 126.4MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))`
-	-	`(+.f64 z #s(literal 1 binary64))`
-	-	`y`
-	-	`#s(literal 1 binary64)`
-	-	`(+.f64 x y)`
-	-	`z`
-	-	`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

26.0ms

512×

valid

Compiler

Compiled 62 to 32 computations (48.4% saved)

Precisions

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

ival-add: 5.0ms (54.5% of total)

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

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

exact: 0.0ms (0% of total)

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

preprocess207.0ms (4.8%)

Memory

-6.8MiB live, 69.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	68
1	108	64
2	409	63
3	1248	63
4	2953	63
5	4413	63
6	5293	63
7	5413	63
8	5423	63
9	5428	63
10	5503	63
11	5539	63
12	5539	63
13	5598	63
14	5598	63
0	7	7
0	10	7
1	21	7
2	49	7
3	96	7
4	182	7
5	224	7
6	224	7
0	224	7

Stop Event

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

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))

Outputs
(*.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 y x))

Symmetry

(sort x y)

Compiler

Compiled 7 to 7 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))

Compiler

Compiled 7 to 7 computations (0% saved)

simplify6.0ms (0.1%)

Memory

12.3MiB live, 12.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 z #s(literal 1 binary64))
cost-diff	0	(+.f64 x y)
cost-diff	0	(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
0	10	17
1	21	17
2	49	17
3	96	17
4	182	17
5	224	17
6	224	17
0	224	17

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))
(+.f64 x y)
x
y
(+.f64 z #s(literal 1 binary64))
z
#s(literal 1 binary64)

Outputs
(*.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 y x))
(+.f64 y x)
x
y
(+.f64 #s(literal 1 binary64) z)
z
#s(literal 1 binary64)

localize21.0ms (0.5%)

Memory

-8.6MiB live, 28.0MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 z #s(literal 1 binary64))
accuracy	0	(+.f64 x y)
accuracy	0.015625	(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))

Samples

15.0ms

256×

valid

Compiler

Compiled 36 to 16 computations (55.6% saved)

Precisions

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

ival-add: 6.0ms (72.5% of total)

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

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

exact: 0.0ms (0% of total)

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

series5.0ms (0.1%)

Memory

7.5MiB live, 7.5MiB allocated

Counts

3 → 72

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 x y) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())

Inputs

#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())

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

#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf z) (#s(alt #<batchref> (patch (+.f64 z #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<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 (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<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 (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf y) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<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 (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<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 (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<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 (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf x) (#s(alt #<batchref> (patch (*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64))) #<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

9 calls:

Time	Variable		Point	Expression
1.0ms	y	@	-inf	((* (+ x y) (+ z 1)) (+ x y) (+ z 1))
0.0ms	z	@	-inf	((* (+ x y) (+ z 1)) (+ x y) (+ z 1))
0.0ms	z	@	inf	((* (+ x y) (+ z 1)) (+ x y) (+ z 1))
0.0ms	x	@	-inf	((* (+ x y) (+ z 1)) (+ x y) (+ z 1))
0.0ms	y	@	inf	((* (+ x y) (+ z 1)) (+ x y) (+ z 1))

simplify286.0ms (6.6%)

Memory

-16.5MiB live, 72.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	376
1	219	322
2	731	322
3	2474	322
4	4944	322
5	7627	322
0	8198	316

Stop Event

1×	iter limit
1×	node limit

Counts

72 → 64

Calls

Call 1

Inputs
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
1
(+ 1 z)
(+ 1 z)
(+ 1 z)
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
z
(* z (+ 1 (/ 1 z)))
(* z (+ 1 (/ 1 z)))
(* z (+ 1 (/ 1 z)))
(* z (+ x y))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
z
(* z (+ 1 (/ 1 z)))
(* z (+ 1 (/ 1 z)))
(* z (+ 1 (/ 1 z)))
(* x (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
x
(+ x y)
(+ x y)
(+ x y)
(* y (+ 1 z))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
y
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
y
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
y
(+ x y)
(+ x y)
(+ x y)
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
x
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
(* x (+ 1 z))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
x
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))

Outputs
(+.f64 y x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
#s(literal 1 binary64)
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(*.f64 (+.f64 y x) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
z
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(*.f64 (+.f64 y x) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
z
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
x
(+.f64 y x)
(+.f64 y x)
(+.f64 y x)
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
y
(+.f64 y x)
(+.f64 y x)
(+.f64 y x)
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
y
(+.f64 y x)
(+.f64 y x)
(+.f64 y x)
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
y
(+.f64 y x)
(+.f64 y x)
(+.f64 y x)
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
x
(+.f64 y x)
(+.f64 y x)
(+.f64 y x)
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
x
(+.f64 y x)
(+.f64 y x)
(+.f64 y x)

rewrite461.0ms (10.7%)

Memory

-9.1MiB live, 269.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
0	10	13
1	46	13
2	367	13
3	5570	13
0	8646	13

Stop Event

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

Counts

3 → 415

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))
(+.f64 x y)
(+.f64 z #s(literal 1 binary64))

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval60.0ms (1.4%)

Memory: 19.8MiB live, 170.1MiB allocated
Compiler: Compiled 9 829 to 1 147 computations (88.3% saved)

prune14.0ms (0.3%)

Memory

10.9MiB live, 46.9MiB allocated

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	474	5	479
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	475	5	480

Accuracy

100.0%

Counts

480 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.0%	(fma.f64 (+.f64 #s(literal 1 binary64) z) y (fma.f64 z x x))
▶	55.1%	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
▶	49.0%	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
▶	42.8%	#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
▶	58.0%	#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))

Compiler

Compiled 114 to 88 computations (22.8% saved)

simplify8.0ms (0.2%)

Memory

-18.0MiB live, 21.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(+.f64 y x)
cost-diff	0	(*.f64 (+.f64 y x) z)
cost-diff	0	#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))
cost-diff	0	(fma.f64 z y y)
cost-diff	0	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
cost-diff	0	(fma.f64 z x x)
cost-diff	0	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
cost-diff	0	(+.f64 y x)
cost-diff	0	#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
cost-diff	0	(fma.f64 z x x)
cost-diff	0	(+.f64 #s(literal 1 binary64) z)
cost-diff	256	(fma.f64 (+.f64 #s(literal 1 binary64) z) y (fma.f64 z x x))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	96
0	26	96
1	51	94
2	88	94
3	131	94
4	192	94
5	192	94
0	192	94

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(fma.f64 (+.f64 #s(literal 1 binary64) z) y (fma.f64 z x x))
(+.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
y
(fma.f64 z x x)
x
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
(+.f64 y x)
y
x
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
(fma.f64 z x x)
z
x
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
(fma.f64 z y y)
z
y
#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) z)
(+.f64 y x)
y
x
z

Outputs
(*.f64 (+.f64 z #s(literal 1 binary64)) (+.f64 x y))
(+.f64 z #s(literal 1 binary64))
#s(literal 1 binary64)
z
y
(fma.f64 x z x)
x
#s(approx (* (+ x y) (+ z 1)) (+.f64 x y))
(+.f64 x y)
y
x
#s(approx (* (+ x y) (+ z 1)) (fma.f64 x z x))
(fma.f64 x z x)
z
x
#s(approx (* (+ x y) (+ z 1)) (fma.f64 y z y))
(fma.f64 y z y)
z
y
#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 x y) z))
(*.f64 (+.f64 x y) z)
(+.f64 x y)
y
x
z

localize101.0ms (2.3%)

Memory

-30.1MiB live, 108.9MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 y x)
accuracy	0.00390625	(*.f64 (+.f64 y x) z)
accuracy	26.87813893260174	#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))
accuracy	0	(fma.f64 z y y)
accuracy	28.745156499072184	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
accuracy	0	(fma.f64 z x x)
accuracy	32.643150377928094	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
accuracy	0	(+.f64 y x)
accuracy	36.627926128844805	#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
accuracy	0	(fma.f64 z x x)
accuracy	0	(+.f64 #s(literal 1 binary64) z)
accuracy	1.257798738027801	(fma.f64 (+.f64 #s(literal 1 binary64) z) y (fma.f64 z x x))

Samples

89.0ms

256×

valid

Compiler

Compiled 179 to 36 computations (79.9% saved)

Precisions

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

ival-add: 18.0ms (70.2% of total)

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

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

exact: 0.0ms (0% of total)

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

series19.0ms (0.4%)

Memory

28.5MiB live, 28.5MiB allocated

Counts

10 → 300

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (fma.f64 (+.f64 #s(literal 1 binary64) z) y (fma.f64 z x x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 #s(literal 1 binary64) z) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 z x x) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* (+ x y) (+ z 1)) (+.f64 y x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 y x) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x)) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 z y y) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (+.f64 y x) z) #<representation binary64>) () ())

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

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	((+ (* (+ 1 z) y) (+ (* z x) x)) (+ 1 z) (+ (* z x) x) (* (+ x y) (+ z 1)) (+ y x) (* (+ x y) (+ z 1)) (* (+ x y) (+ z 1)) (+ (* z y) y) (* (+ x y) (+ z 1)) (* (+ y x) z))
1.0ms	z	@	inf	((+ (* (+ 1 z) y) (+ (* z x) x)) (+ 1 z) (+ (* z x) x) (* (+ x y) (+ z 1)) (+ y x) (* (+ x y) (+ z 1)) (* (+ x y) (+ z 1)) (+ (* z y) y) (* (+ x y) (+ z 1)) (* (+ y x) z))
1.0ms	z	@	-inf	((+ (* (+ 1 z) y) (+ (* z x) x)) (+ 1 z) (+ (* z x) x) (* (+ x y) (+ z 1)) (+ y x) (* (+ x y) (+ z 1)) (* (+ x y) (+ z 1)) (+ (* z y) y) (* (+ x y) (+ z 1)) (* (+ y x) z))
1.0ms	y	@	-inf	((+ (* (+ 1 z) y) (+ (* z x) x)) (+ 1 z) (+ (* z x) x) (* (+ x y) (+ z 1)) (+ y x) (* (+ x y) (+ z 1)) (* (+ x y) (+ z 1)) (+ (* z y) y) (* (+ x y) (+ z 1)) (* (+ y x) z))
1.0ms	y	@	inf	((+ (* (+ 1 z) y) (+ (* z x) x)) (+ 1 z) (+ (* z x) x) (* (+ x y) (+ z 1)) (+ y x) (* (+ x y) (+ z 1)) (* (+ x y) (+ z 1)) (+ (* z y) y) (* (+ x y) (+ z 1)) (* (+ y x) z))

simplify165.0ms (3.8%)

Memory

8.1MiB live, 121.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	1912
1	443	1642
2	1346	1642
3	4015	1642
4	6726	1642
0	8265	1570

Stop Event

1×	iter limit
1×	node limit

Counts

300 → 290

Calls

Call 1

Inputs
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
1
(+ 1 z)
(+ 1 z)
(+ 1 z)
x
(+ x (* x z))
(+ x (* x z))
(+ x (* x z))
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
y
(+ y (* y z))
(+ y (* y z))
(+ y (* y z))
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
z
(* z (+ 1 (/ 1 z)))
(* z (+ 1 (/ 1 z)))
(* z (+ 1 (/ 1 z)))
(* x z)
(* z (+ x (/ x z)))
(* z (+ x (/ x z)))
(* z (+ x (/ x z)))
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* y z)
(* z (+ y (/ y z)))
(* z (+ y (/ y z)))
(* z (+ y (/ y z)))
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* -1 (* z (+ (* -1 x) (* -1 y))))
(* -1 (* z (+ (* -1 x) (+ (* -1 y) (* -1 (/ (+ x y) z))))))
(* -1 (* z (+ (* -1 x) (+ (* -1 y) (* -1 (/ (+ x y) z))))))
(* -1 (* z (+ (* -1 x) (+ (* -1 y) (* -1 (/ (+ x y) z))))))
z
(* z (+ 1 (/ 1 z)))
(* z (+ 1 (/ 1 z)))
(* z (+ 1 (/ 1 z)))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ x z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ x z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ x z)))))
(* z (+ x y))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* z (+ x y))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* z (+ x y))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ y z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ y z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ y z)))))
(* z (+ x y))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(+ x (* x z))
(+ x (+ (* x z) (* y (+ 1 z))))
(+ x (+ (* x z) (* y (+ 1 z))))
(+ x (+ (* x z) (* y (+ 1 z))))
(* x (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
x
(+ x y)
(+ x y)
(+ x y)
(* x (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* x (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* x (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* x z)
(+ (* x z) (* y z))
(+ (* x z) (* y z))
(+ (* x z) (* y z))
(* y (+ 1 z))
(* y (+ 1 (+ z (+ (/ x y) (/ (* x z) y)))))
(* y (+ 1 (+ z (+ (/ x y) (/ (* x z) y)))))
(* y (+ 1 (+ z (+ (/ x y) (/ (* x z) y)))))
(* y (+ 1 z))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
y
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 (/ x y)))
(* y (+ 1 z))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 z))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y z)
(* y (+ z (/ (* x z) y)))
(* y (+ z (/ (* x z) y)))
(* y (+ z (/ (* x z) y)))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (+ x (* x z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (+ x (* x z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (+ x (* x z)) y)))))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
y
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* -1 (* y (- (* -1 (/ x y)) 1)))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (- (* -1 z) 1)))
(* -1 (* y (- (* -1 z) 1)))
(* -1 (* y (- (* -1 z) 1)))
(* -1 (* y (- (* -1 z) 1)))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* y z)
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
y
(+ x y)
(+ x y)
(+ x y)
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* y z)
(+ (* x z) (* y z))
(+ (* x z) (* y z))
(+ (* x z) (* y z))
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
x
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
(* x (+ 1 (/ y x)))
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x z)
(* x (+ z (/ (* y z) x)))
(* x (+ z (/ (* y z) x)))
(* x (+ z (/ (* y z) x)))
(* -1 (* x (- (* -1 z) 1)))
(* -1 (* x (- (+ (* -1 z) (* -1 (/ (* y (+ 1 z)) x))) 1)))
(* -1 (* x (- (+ (* -1 z) (* -1 (/ (* y (+ 1 z)) x))) 1)))
(* -1 (* x (- (+ (* -1 z) (* -1 (/ (* y (+ 1 z)) x))) 1)))
(* -1 (* x (- (* -1 z) 1)))
(* -1 (* x (- (* -1 z) 1)))
(* -1 (* x (- (* -1 z) 1)))
(* -1 (* x (- (* -1 z) 1)))
(* x (+ 1 z))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
x
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* -1 (* x (- (* -1 (/ y x)) 1)))
(* x (+ 1 z))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* x (+ 1 z))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* x (+ 1 z))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* x z)
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))

Outputs
(+.f64 x y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
#s(literal 1 binary64)
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
x
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(+.f64 x y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(+.f64 x y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(+.f64 x y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
y
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(+.f64 x y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
z
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(*.f64 x z)
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 y z)
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
z
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(-.f64 z #s(literal -1 binary64))
(*.f64 x z)
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 y z)
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(*.f64 (+.f64 x y) z)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
x
(+.f64 x y)
(+.f64 x y)
(+.f64 x y)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 x z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
y
(+.f64 x y)
(+.f64 x y)
(+.f64 x y)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 y z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
y
(+.f64 x y)
(+.f64 x y)
(+.f64 x y)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 y z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
y
(+.f64 x y)
(+.f64 x y)
(+.f64 x y)
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 y z y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 y z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
x
(+.f64 x y)
(+.f64 x y)
(+.f64 x y)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 x z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
x
(+.f64 x y)
(+.f64 x y)
(+.f64 x y)
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(fma.f64 x z x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 x y))
(*.f64 x z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)
(*.f64 (+.f64 x y) z)

rewrite190.0ms (4.4%)

Memory

-0.9MiB live, 226.1MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	76
0	26	76
1	124	74
2	1245	74
0	8161	74

Stop Event

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

Counts

10 → 1 085

Calls

Call 1

Inputs
(fma.f64 (+.f64 #s(literal 1 binary64) z) y (fma.f64 z x x))
(+.f64 #s(literal 1 binary64) z)
(fma.f64 z x x)
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
(+.f64 y x)
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
(fma.f64 z y y)
#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))
(*.f64 (+.f64 y x) z)

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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval201.0ms (4.7%)

Memory: 14.0MiB live, 411.7MiB allocated
Compiler: Compiled 50 676 to 3 345 computations (93.4% saved)

prune32.0ms (0.7%)

Memory

10.3MiB live, 125.7MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	1 508	3	1 511
Fresh	0	0	0
Picked	1	4	5
Done	0	0	0
Total	1 509	7	1 516

Accuracy

100.0%

Counts

1 516 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	56.0%	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z)))
✓	55.1%	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
✓	49.0%	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
✓	42.8%	#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
✓	58.0%	#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))
▶	33.0%	#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
▶	30.0%	#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))

Compiler

Compiled 96 to 71 computations (26% saved)

simplify9.0ms (0.2%)

Memory

-36.5MiB live, 10.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 9 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 x z)
cost-diff	0	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z)))
cost-diff	192	(fma.f64 z y (*.f64 x z))
cost-diff	0	(*.f64 y z)
cost-diff	0	#s(approx (+ (* z y) y) (*.f64 y z))
cost-diff	0	#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
cost-diff	0	(*.f64 x z)
cost-diff	0	#s(approx (+ (* z x) x) (*.f64 x z))
cost-diff	0	#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	88
0	22	88
1	41	86
2	60	86
3	105	86
4	227	86
5	275	86
6	275	86
0	275	82

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))
#s(approx (+ (* z x) x) (*.f64 x z))
(*.f64 x z)
x
z
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
#s(approx (+ (* z y) y) (*.f64 y z))
(*.f64 y z)
y
z
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z)))
(fma.f64 z y (*.f64 x z))
z
y
(*.f64 x z)
x

Outputs
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 z x)))
#s(approx (+ (* z x) x) (*.f64 z x))
(*.f64 z x)
x
z
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 z y)))
#s(approx (+ (* z y) y) (*.f64 z y))
(*.f64 z y)
y
z
#s(approx (* (+ x y) (+ z 1)) (*.f64 z (+.f64 y x)))
(*.f64 z (+.f64 y x))
z
y
(*.f64 z x)
x

localize32.0ms (0.7%)

Memory

34.4MiB live, 34.4MiB allocated

Localize:

Found 9 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x z)
accuracy	1.257798738027801	(fma.f64 z y (*.f64 x z))
accuracy	26.87813893260174	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z)))
accuracy	0	(*.f64 y z)
accuracy	26.64639811738044	#s(approx (+ (* z y) y) (*.f64 y z))
accuracy	28.745156499072184	#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
accuracy	0	(*.f64 x z)
accuracy	26.68465882720375	#s(approx (+ (* z x) x) (*.f64 x z))
accuracy	32.643150377928094	#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))

Samples

23.0ms

256×

valid

Compiler

Compiled 144 to 35 computations (75.7% saved)

Precisions

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

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

ival-add: 6.0ms (44.5% of total)

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

exact: 0.0ms (0% of total)

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

series48.0ms (1.1%)

Memory

-17.3MiB live, 21.4MiB allocated

Counts

8 → 240

Calls

Call 1

Inputs
#s(alt #<batchref> (patch #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (+ (* z x) x) (*.f64 x z)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 x z) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (+ (* z y) y) (*.f64 y z)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 y z) #<representation binary64>) () ())
#s(alt #<batchref> (patch (fma.f64 z y (*.f64 x z)) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z))) #<representation binary64>) () ())

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

Calls

9 calls:

Time	Variable		Point	Expression
35.0ms	z	@	0	((* (+ x y) (+ z 1)) (+ (* z x) x) (* x z) (* (+ x y) (+ z 1)) (+ (* z y) y) (* y z) (+ (* z y) (* x z)) (* (+ x y) (+ z 1)))
1.0ms	z	@	-inf	((* (+ x y) (+ z 1)) (+ (* z x) x) (* x z) (* (+ x y) (+ z 1)) (+ (* z y) y) (* y z) (+ (* z y) (* x z)) (* (+ x y) (+ z 1)))
1.0ms	z	@	inf	((* (+ x y) (+ z 1)) (+ (* z x) x) (* x z) (* (+ x y) (+ z 1)) (+ (* z y) y) (* y z) (+ (* z y) (* x z)) (* (+ x y) (+ z 1)))
1.0ms	y	@	-inf	((* (+ x y) (+ z 1)) (+ (* z x) x) (* x z) (* (+ x y) (+ z 1)) (+ (* z y) y) (* y z) (+ (* z y) (* x z)) (* (+ x y) (+ z 1)))
1.0ms	x	@	-inf	((* (+ x y) (+ z 1)) (+ (* z x) x) (* x z) (* (+ x y) (+ z 1)) (+ (* z y) y) (* y z) (+ (* z y) (* x z)) (* (+ x y) (+ z 1)))

simplify133.0ms (3.1%)

Memory

6.4MiB live, 122.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	84	1394
1	323	1232
2	1004	1232
3	3064	1232
4	6013	1232
0	8092	1172

Stop Event

1×	iter limit
1×	node limit

Counts

240 → 238

Calls

Call 1

Inputs
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
x
(+ x (* x z))
(+ x (* x z))
(+ x (* x z))
(* x z)
(* x z)
(* x z)
(* x z)
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
y
(+ y (* y z))
(+ y (* y z))
(+ y (* y z))
(* y z)
(* y z)
(* y z)
(* y z)
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(+ x y)
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(+ x (+ y (* z (+ x y))))
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* x z)
(* z (+ x (/ x z)))
(* z (+ x (/ x z)))
(* z (+ x (/ x z)))
(* x z)
(* x z)
(* x z)
(* x z)
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* y z)
(* z (+ y (/ y z)))
(* z (+ y (/ y z)))
(* z (+ y (/ y z)))
(* y z)
(* y z)
(* y z)
(* y z)
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x y))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x (+ y (+ (/ x z) (/ y z)))))
(* z (+ x y))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* x z)
(* -1 (* z (+ (* -1 x) (* -1 (/ x z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ x z)))))
(* -1 (* z (+ (* -1 x) (* -1 (/ x z)))))
(* x z)
(* x z)
(* x z)
(* x z)
(* z (+ x y))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ y z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ y z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ y z)))))
(* y z)
(* y z)
(* y z)
(* y z)
(* -1 (* z (+ (* -1 x) (* -1 y))))
(* -1 (* z (+ (* -1 x) (* -1 y))))
(* -1 (* z (+ (* -1 x) (* -1 y))))
(* -1 (* z (+ (* -1 x) (* -1 y))))
(* z (+ x y))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* -1 (* z (+ (* -1 (+ x y)) (* -1 (/ (+ x y) z)))))
(* x (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* x (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* y z)
(* y z)
(* y z)
(* y z)
(* x z)
(+ (* x z) (* y z))
(+ (* x z) (* y z))
(+ (* x z) (* y z))
(* x (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* y (+ 1 z))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 z))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* y (+ 1 z))
(* y z)
(* y z)
(* y z)
(* y z)
(* y z)
(* y (+ z (/ (* x z) y)))
(* y (+ z (/ (* x z) y)))
(* y (+ z (/ (* x z) y)))
(* y (+ 1 z))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 (+ z (/ (* x (+ 1 z)) y))))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (- (* -1 z) 1)))
(* -1 (* y (- (* -1 z) 1)))
(* -1 (* y (- (* -1 z) 1)))
(* -1 (* y (- (* -1 z) 1)))
(* y z)
(* y z)
(* y z)
(* y z)
(* y z)
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* -1 (* y (+ (* -1 z) (* -1 (/ (* x z) y)))))
(* y (+ 1 z))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* -1 (* y (+ (* -1 (+ 1 z)) (* -1 (/ (* x (+ 1 z)) y)))))
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* x z)
(* x z)
(* x z)
(* x z)
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* y z)
(+ (* x z) (* y z))
(+ (* x z) (* y z))
(+ (* x z) (* y z))
(* y (+ 1 z))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(+ (* x (+ 1 z)) (* y (+ 1 z)))
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* x (+ 1 z))
(* x z)
(* x z)
(* x z)
(* x z)
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x z)
(* x (+ z (/ (* y z) x)))
(* x (+ z (/ (* y z) x)))
(* x (+ z (/ (* y z) x)))
(* x (+ 1 z))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 (+ z (/ (* y (+ 1 z)) x))))
(* x (+ 1 z))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (- (* -1 z) 1)))
(* -1 (* x (- (* -1 z) 1)))
(* -1 (* x (- (* -1 z) 1)))
(* -1 (* x (- (* -1 z) 1)))
(* x z)
(* x z)
(* x z)
(* x z)
(* x (+ 1 z))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* x z)
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* -1 (* x (+ (* -1 z) (* -1 (/ (* y z) x)))))
(* x (+ 1 z))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))
(* -1 (* x (+ (* -1 (+ 1 z)) (* -1 (/ (* y (+ 1 z)) x)))))

Outputs
(+.f64 y x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
x
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(+.f64 y x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
y
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(+.f64 y x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z x)
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z y)
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z x)
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z y)
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z x)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(fma.f64 z y y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z y)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z y)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(fma.f64 z y y)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z x)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(fma.f64 z x x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(*.f64 z x)
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 z x)
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(*.f64 z (+.f64 y x))
(fma.f64 z x x)
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))
(*.f64 (-.f64 z #s(literal -1 binary64)) (+.f64 y x))

rewrite198.0ms (4.6%)

Memory

-16.1MiB live, 195.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	78
0	22	78
1	101	76
2	722	76
0	8597	72

Stop Event

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

Counts

8 → 95

Calls

Call 1

Inputs
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))
#s(approx (+ (* z x) x) (*.f64 x z))
(*.f64 x z)
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
#s(approx (+ (* z y) y) (*.f64 y z))
(*.f64 y z)
(fma.f64 z y (*.f64 x z))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z)))

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>

eval87.0ms (2%)

Memory: -5.6MiB live, 66.8MiB allocated
Compiler: Compiled 7 118 to 360 computations (94.9% saved)

prune16.0ms (0.4%)

Memory

-12.3MiB live, 38.9MiB allocated

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	361	0	361
Fresh	0	0	0
Picked	0	3	3
Done	0	4	4
Total	361	7	368

Accuracy

100.0%

Counts

368 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	56.0%	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z)))
✓	55.1%	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
✓	49.0%	#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
✓	42.8%	#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
✓	58.0%	#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))
✓	33.0%	#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
✓	30.0%	#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))

Compiler

Compiled 208 to 104 computations (50% saved)

regimes22.0ms (0.5%)

Memory

31.5MiB live, 31.5MiB allocated

Counts

9 → 1

Calls

Call 1

Inputs
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z)))
(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))
(fma.f64 (+.f64 #s(literal 1 binary64) z) y (fma.f64 z x x))

Outputs
(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))

Calls

6 calls:

4.0ms	(+.f64 x y)
4.0ms	z
4.0ms	x
4.0ms	y
3.0ms	(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))`
100.0%	1	`(+.f64 x y)`
100.0%	1	`(+.f64 z #s(literal 1 binary64))`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes44.0ms (1%)

Memory

0.4MiB live, 38.7MiB allocated

Counts

7 → 2

Calls

Call 1

Inputs
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))
#s(approx (* (+ x y) (+ z 1)) (*.f64 (+.f64 y x) z))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y (*.f64 x z)))

Outputs
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y))

Calls

6 calls:

28.0ms	(+.f64 z #s(literal 1 binary64))
3.0ms	(+.f64 x y)
3.0ms	y
3.0ms	x
3.0ms	z

Results

Accuracy	Segments	Branch
83.1%	2	`x`
85.6%	2	`y`
97.2%	3	`z`
83.3%	4	`(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))`
97.9%	2	`(+.f64 x y)`
97.2%	3	`(+.f64 z #s(literal 1 binary64))`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes16.0ms (0.4%)

Memory

-8.0MiB live, 29.9MiB allocated

Counts

4 → 3

Calls

Call 1

Inputs
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))

Outputs
#s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))

Calls

6 calls:

4.0ms	(+.f64 z #s(literal 1 binary64))
2.0ms	x
2.0ms	(+.f64 x y)
2.0ms	y
2.0ms	z

Results

Accuracy	Segments	Branch
63.6%	3	`(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))`
68.4%	3	`x`
68.2%	4	`y`
73.1%	3	`z`
73.1%	3	`(+.f64 z #s(literal 1 binary64))`
77.6%	3	`(+.f64 x y)`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

regimes6.0ms (0.1%)

Memory

14.9MiB live, 14.9MiB allocated

Counts

3 → 3

Calls

Call 1

Inputs
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))

Outputs
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))

Calls

3 calls:

2.0ms	z
2.0ms	(+.f64 x y)
2.0ms	(+.f64 z #s(literal 1 binary64))

Results

Accuracy	Segments	Branch
72.6%	3	`z`
72.6%	3	`(+.f64 z #s(literal 1 binary64))`
58.8%	3	`(+.f64 x y)`

Compiler

Compiled 7 to 12 computations (-71.4% saved)

regimes6.0ms (0.1%)

Memory

-29.7MiB live, 8.2MiB allocated

Counts

2 → 3

Calls

Call 1

Inputs
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))

Outputs
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))
#s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))

Calls

2 calls:

4.0ms	(+.f64 z #s(literal 1 binary64))
2.0ms	z

Results

Accuracy	Segments	Branch
69.5%	3	`z`
69.5%	3	`(+.f64 z #s(literal 1 binary64))`

Compiler

Compiled 4 to 8 computations (-100% saved)

regimes8.0ms (0.2%)

Memory

27.5MiB live, 27.5MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))

Outputs
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))

Calls

6 calls:

1.0ms	x
1.0ms	(+.f64 x y)
1.0ms	y
1.0ms	z
1.0ms	(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
42.8%	1	`(+.f64 x y)`
42.8%	1	`(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))`
42.8%	1	`y`
42.8%	1	`x`
42.8%	1	`z`
42.8%	1	`(+.f64 z #s(literal 1 binary64))`

Compiler

Compiled 16 to 25 computations (-56.3% saved)

bsearch0.0ms (0%)

Memory

1.5MiB live, 1.4MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-2.0695375876933464e-249	7.253624633653453e-238

Compiler

Compiled 10 to 13 computations (-30% saved)

bsearch1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	7.056459884707258e+280	8.512803705431661e+280
0.0ms	-2.0695375876933464e-249	7.253624633653453e-238

Compiler

Compiled 10 to 13 computations (-30% saved)

bsearch5.0ms (0.1%)

Memory

-38.9MiB live, 2.0MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0261417422935892	1517584.3148628941
0.0ms	-10.80554337097424	0.5786165794186916

Compiler

Compiled 10 to 13 computations (-30% saved)

bsearch1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1517584.3148628941	2688668247.8139963
0.0ms	-10.80554337097424	0.5786165794186916

Compiler

Compiled 10 to 13 computations (-30% saved)

simplify56.0ms (1.3%)

Memory

12.6MiB live, 52.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	214
1	51	214

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (+.f64 z #s(literal 1 binary64)))
(if (<=.f64 (+.f64 x y) #s(literal -8061134813471455/4030567406735727282351225165683873035574701889313671280883489296162978382543372035785043761349923613698382530160958318167742519832631573007587730243400112738864034149162331269597866193210040596412843573823632724030670381872189039145190406026970187961498554846937088 binary64)) #s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x)) #s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y)))
(if (<=.f64 (+.f64 x y) #s(literal -8061134813471455/4030567406735727282351225165683873035574701889313671280883489296162978382543372035785043761349923613698382530160958318167742519832631573007587730243400112738864034149162331269597866193210040596412843573823632724030670381872189039145190406026970187961498554846937088 binary64)) #s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x)) (if (<=.f64 (+.f64 x y) #s(literal 80000000000000002622579678628967859885656422641719485141066686195275408255789946874234750293792943444305399806545932065496130774152855655679519288103443401689982304339649605265221861788411967719226283913000824050327408111395586852170475885186080369766302854144868408456101176016896 binary64)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (.f64 y z))) #s(approx ( (+ x y) (+ z 1)) (+.f64 y x))))
(if (<=.f64 (+.f64 z #s(literal 1 binary64)) #s(literal -10 binary64)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (.f64 x z))) (if (<=.f64 (+.f64 z #s(literal 1 binary64)) #s(literal 2 binary64)) #s(approx ( (+ x y) (+ z 1)) (+.f64 y x)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 y z)))))
(if (<=.f64 (+.f64 z #s(literal 1 binary64)) #s(literal -10 binary64)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (.f64 x z))) (if (<=.f64 (+.f64 z #s(literal 1 binary64)) #s(literal 2000000 binary64)) #s(approx ( (+ x y) (+ z 1)) (+.f64 y x)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 x z)))))
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))

Outputs
(*.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 y x))
(if (<=.f64 (+.f64 y x) #s(literal -8061134813471455/4030567406735727282351225165683873035574701889313671280883489296162978382543372035785043761349923613698382530160958318167742519832631573007587730243400112738864034149162331269597866193210040596412843573823632724030670381872189039145190406026970187961498554846937088 binary64)) #s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x)) #s(approx (* (+ x y) (+ z 1)) (fma.f64 z y y)))
(if (<=.f64 (+.f64 y x) #s(literal -8061134813471455/4030567406735727282351225165683873035574701889313671280883489296162978382543372035785043761349923613698382530160958318167742519832631573007587730243400112738864034149162331269597866193210040596412843573823632724030670381872189039145190406026970187961498554846937088 binary64)) #s(approx (* (+ x y) (+ z 1)) (fma.f64 z x x)) (if (<=.f64 (+.f64 y x) #s(literal 80000000000000002622579678628967859885656422641719485141066686195275408255789946874234750293792943444305399806545932065496130774152855655679519288103443401689982304339649605265221861788411967719226283913000824050327408111395586852170475885186080369766302854144868408456101176016896 binary64)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (.f64 z y))) #s(approx ( (+ x y) (+ z 1)) (+.f64 y x))))
(if (<=.f64 (+.f64 #s(literal 1 binary64) z) #s(literal -10 binary64)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (.f64 z x))) (if (<=.f64 (+.f64 #s(literal 1 binary64) z) #s(literal 2 binary64)) #s(approx ( (+ x y) (+ z 1)) (+.f64 y x)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z y) y) (*.f64 z y)))))
(if (<=.f64 (+.f64 #s(literal 1 binary64) z) #s(literal -10 binary64)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (.f64 z x))) (if (<=.f64 (+.f64 #s(literal 1 binary64) z) #s(literal 2000000 binary64)) #s(approx ( (+ x y) (+ z 1)) (+.f64 y x)) #s(approx (* (+ x y) (+ z 1)) #s(approx (+ (* z x) x) (*.f64 z x)))))
#s(approx (* (+ x y) (+ z 1)) (+.f64 y x))

soundness799.0ms (18.5%)

Memory

1.0MiB live, 324.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	1912
1	443	1642
2	1346	1642
3	4015	1642
4	6726	1642
0	8265	1570
0	59	376
1	219	322
2	731	322
3	2474	322
4	4944	322
5	7627	322
0	8198	316

Stop Event

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

Compiler

Compiled 254 to 99 computations (61% saved)

preprocess72.0ms (1.7%)

Memory: 12.2MiB live, 87.6MiB allocated
Remove: (sort x y)
Compiler: Compiled 470 to 128 computations (72.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample911.0ms (21.1%)

explain73.0ms (1.7%)

preprocess207.0ms (4.8%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify6.0ms (0.1%)

localize21.0ms (0.5%)

series5.0ms (0.1%)

simplify286.0ms (6.6%)

rewrite461.0ms (10.7%)

eval60.0ms (1.4%)

prune14.0ms (0.3%)

simplify8.0ms (0.2%)

localize101.0ms (2.3%)

series19.0ms (0.4%)

simplify165.0ms (3.8%)

rewrite190.0ms (4.4%)

eval201.0ms (4.7%)

prune32.0ms (0.7%)

simplify9.0ms (0.2%)

localize32.0ms (0.7%)

series48.0ms (1.1%)

simplify133.0ms (3.1%)

rewrite198.0ms (4.6%)

eval87.0ms (2%)

prune16.0ms (0.4%)

regimes22.0ms (0.5%)

regimes44.0ms (1%)

regimes16.0ms (0.4%)

regimes6.0ms (0.1%)

regimes6.0ms (0.1%)

regimes8.0ms (0.2%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch5.0ms (0.1%)

bsearch1.0ms (0%)

simplify56.0ms (1.3%)

soundness799.0ms (18.5%)

preprocess72.0ms (1.7%)

end0.0ms (0%)

Profiling