Metrics for SynthBasics:oscSampleBasedAux from YampaSynth-0.2

start0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated

analyze0.0ms (0%)

Memory

1.5MiB live, 1.5MiB 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 8 computations (11.1% saved)

sample2.6s (42.3%)

Memory

20.1MiB live, 693.8MiB allocated

Samples

2.4s

8 256×

valid

Precisions

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

ival-mult: 57.0ms (35.3% of total)

ival-sub: 56.0ms (34.7% of total)

ival-add: 38.0ms (23.5% of total)

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

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

Bogosity

explain76.0ms (1.2%)

Memory

6.4MiB live, 124.5MiB allocated

FPErrors

Click to see full error table

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

32.0ms

512×

valid

Compiler

Compiled 65 to 28 computations (56.9% saved)

Precisions

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

ival-sub: 3.0ms (31.1% of total)

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

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

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

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

preprocess70.0ms (1.1%)

Memory

-13.6MiB live, 25.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	72
1	68	63
2	208	63
3	681	63
4	1308	63
5	2067	63
6	2345	63
7	2377	63
8	2377	63
0	6	7
0	9	7
1	13	7
2	24	7
3	48	7
4	84	7
5	130	7
6	220	7
7	370	7
8	585	7
9	670	7
10	692	7
0	692	6

Stop Event

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

Calls

Call 1

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

Outputs
(fma.f64 (-.f64 z x) y x)

Compiler

Compiled 7 to 6 computations (14.3% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify18.0ms (0.3%)

Memory

14.8MiB live, 14.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	0	(-.f64 z x)
cost-diff	0	(*.f64 y (-.f64 z x))
cost-diff	128	(+.f64 x (*.f64 y (-.f64 z x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	18
0	9	18
1	13	18
2	24	18
3	48	18
4	84	18
5	130	18
6	220	18
7	370	18
8	585	18
9	670	18
10	692	18
0	692	17

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize20.0ms (0.3%)

Memory

-8.5MiB live, 29.3MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(-.f64 z x)
accuracy	0.0078125	(*.f64 y (-.f64 z x))
accuracy	0.01953125	(+.f64 x (*.f64 y (-.f64 z x)))

Samples

16.0ms

256×

valid

Compiler

Compiled 38 to 14 computations (63.2% saved)

Precisions

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

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

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

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

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

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

series8.0ms (0.1%)

Memory

11.4MiB live, 11.4MiB allocated

Counts

3 → 96

Calls

Call 1

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

Inputs

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

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

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

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

Calls

9 calls:

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

simplify123.0ms (2%)

Memory

-14.1MiB live, 99.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	638
1	242	458
2	728	458
3	2042	458
4	4246	458
5	6040	458
6	7435	458
0	8256	431

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 92

Calls

Call 1

Inputs
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(* -1 (* x y))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(* -1 x)
(- z x)
(- z x)
(- z x)
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
z
(* z (+ 1 (* -1 (/ x z))))
(* z (+ 1 (* -1 (/ x z))))
(* z (+ 1 (* -1 (/ x z))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
z
(* -1 (* z (- (/ x z) 1)))
(* -1 (* z (- (/ x z) 1)))
(* -1 (* z (- (/ x z) 1)))
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* 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))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* y z)
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
z
(+ z (* -1 x))
(+ z (* -1 x))
(+ z (* -1 x))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x y))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* -1 x)
(* x (- (/ z x) 1))
(* x (- (/ z x) 1))
(* x (- (/ z x) 1))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x y))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 x)
(* -1 (* x (+ 1 (* -1 (/ z x)))))
(* -1 (* x (+ 1 (* -1 (/ z x)))))
(* -1 (* x (+ 1 (* -1 (/ z x)))))

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

rewrite206.0ms (3.3%)

Memory

-3.5MiB live, 189.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
0	9	15
1	36	15
2	286	15
3	3817	15
0	10869	14

Stop Event

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

Counts

3 → 258

Calls

Call 1

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

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

eval65.0ms (1%)

Memory: 21.4MiB live, 75.6MiB allocated
Compiler: Compiled 7 997 to 971 computations (87.9% saved)

prune13.0ms (0.2%)

Memory

-12.1MiB live, 25.0MiB allocated

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	344	6	350
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	345	6	351

Accuracy

100.0%

Counts

351 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (-.f64 z x) y x)
	97.7%	(fma.f64 z y (fma.f64 (neg.f64 x) y x))
▶	77.4%	(+.f64 x #s(approx (* y (- z x)) (*.f64 z y)))
▶	67.7%	#s(approx (+ x (* y (- z x))) (*.f64 (-.f64 z x) y))
▶	59.3%	#s(approx (+ x (* y (- z x))) (*.f64 (-.f64 #s(literal 1 binary64) y) x))
▶	46.4%	#s(approx (+ x (* y (- z x))) (*.f64 z y))

Compiler

Compiled 124 to 92 computations (25.8% saved)

simplify28.0ms (0.5%)

Memory

-13.9MiB live, 24.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 13 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	102
0	25	99
1	37	99
2	54	99
3	84	99
4	148	99
5	210	99
6	338	99
7	536	99
8	717	99
9	749	99
10	777	99
11	789	99
12	791	99
0	791	99

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize36.0ms (0.6%)

Memory

8.9MiB live, 46.8MiB allocated

Localize:

Found 13 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 z y)
accuracy	0.01953125	(+.f64 x #s(approx (* y (- z x)) (*.f64 z y)))
accuracy	26.80551912150427	#s(approx (* y (- z x)) (*.f64 z y))
accuracy	0	(-.f64 z x)
accuracy	0.0078125	(*.f64 (-.f64 z x) y)
accuracy	20.64161030601091	#s(approx (+ x (* y (- z x))) (*.f64 (-.f64 z x) y))
accuracy	0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.0078125	(*.f64 (-.f64 #s(literal 1 binary64) y) x)
accuracy	26.055517884826187	#s(approx (+ x (* y (- z x))) (*.f64 (-.f64 #s(literal 1 binary64) y) x))
accuracy	0	(*.f64 z y)
accuracy	34.323616060772665	#s(approx (+ x (* y (- z x))) (*.f64 z y))
accuracy	0	(-.f64 z x)
accuracy	0.00390625	(fma.f64 (-.f64 z x) y x)

Samples

26.0ms

256×

valid

Compiler

Compiled 183 to 32 computations (82.5% saved)

Precisions

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

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

ival-sub: 3.0ms (25% of total)

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

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

exact: 0.0ms (0% of total)

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

series22.0ms (0.4%)

Memory

-12.8MiB live, 32.8MiB allocated

Counts

11 → 336

Calls

Call 1

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

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

Calls

9 calls:

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

simplify114.0ms (1.8%)

Memory

2.4MiB live, 116.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	1779
1	282	1743
2	821	1743
3	2139	1743
4	4703	1743
5	7033	1743
0	8135	1608

Stop Event

1×	iter limit
1×	node limit

Counts

336 → 327

Calls

Call 1

Inputs
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(* -1 x)
(- z x)
(- z x)
(- z x)
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(* y z)
(* y z)
(* y z)
(* y z)
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(* -1 (* x y))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(* -1 (* x y))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
z
(* z (+ 1 (* -1 (/ x z))))
(* z (+ 1 (* -1 (/ x z))))
(* z (+ 1 (* -1 (/ x z))))
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* y z)
(* y z)
(* y z)
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
z
(* -1 (* z (- (/ x z) 1)))
(* -1 (* z (- (/ x z) 1)))
(* -1 (* z (- (/ x z) 1)))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* y z)
(* y z)
(* y z)
(* y z)
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(* y z)
(* y z)
(* y z)
(* y z)
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
x
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
1
(+ 1 (* -1 y))
(+ 1 (* -1 y))
(+ 1 (* -1 y))
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y (- z x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y z)
(* y z)
(* y z)
(* y z)
(* y (- z x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* -1 (* x y))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* -1 y)
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* y (- z x))
(* 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)) 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))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* y (- z x))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* y z)
(* y z)
(* y z)
(* y z)
(* y (- z x))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* x y))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 y)
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* y (- z x))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
z
(+ z (* -1 x))
(+ z (* -1 x))
(+ z (* -1 x))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* y z)
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* y z)
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* -1 x)
(* x (- (/ z x) 1))
(* x (- (/ z x) 1))
(* x (- (/ z x) 1))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x y))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x y))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 x)
(* -1 (* x (+ 1 (* -1 (/ z x)))))
(* -1 (* x (+ 1 (* -1 (/ z x)))))
(* -1 (* x (+ 1 (* -1 (/ z x)))))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x y))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x y))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))

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

rewrite178.0ms (2.9%)

Memory

35.7MiB live, 180.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	82
0	25	79
1	97	79
2	623	79
3	7362	79
0	8067	79

Stop Event

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

Counts

11 → 405

Calls

Call 1

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

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

eval156.0ms (2.5%)

Memory: -3.0MiB live, 199.8MiB allocated
Compiler: Compiled 19 497 to 1 461 computations (92.5% saved)

prune28.0ms (0.5%)

Memory

-10.1MiB live, 64.0MiB allocated

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	852	4	856
Fresh	1	0	1
Picked	1	4	5
Done	0	0	0
Total	854	8	862

Accuracy

100.0%

Counts

862 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 z x) y x)
▶	59.3%	(fma.f64 #s(approx (- z x) (neg.f64 x)) y x)
✓	77.4%	(+.f64 x #s(approx (* y (- z x)) (*.f64 z y)))
▶	65.4%	#s(approx (+ x (* y (- z x))) (fma.f64 z y (*.f64 (neg.f64 y) x)))
✓	67.7%	#s(approx (+ x (* y (- z x))) (*.f64 (-.f64 z x) y))
▶	27.2%	#s(approx (+ x (* y (- z x))) (*.f64 #s(approx (- z x) (neg.f64 x)) y))
▶	33.8%	#s(approx (+ x (* y (- z x))) (*.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x))
✓	46.4%	#s(approx (+ x (* y (- z x))) (*.f64 z y))

Compiler

Compiled 96 to 69 computations (28.1% saved)

simplify39.0ms (0.6%)

Memory

13.3MiB live, 47.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 14 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	113
0	28	113
1	47	109
2	66	109
3	102	109
4	158	109
5	254	109
6	455	109
7	641	109
8	769	109
9	878	109
10	905	109
11	910	109
12	915	109
13	917	109
0	917	106

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize48.0ms (0.8%)

Memory

1.8MiB live, 91.1MiB allocated

Localize:

Found 14 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 x)
accuracy	0.00390625	(fma.f64 #s(approx (- z x) (neg.f64 x)) y x)
accuracy	33.44754917861459	#s(approx (- z x) (neg.f64 x))
accuracy	0	(*.f64 (neg.f64 y) x)
accuracy	0	(neg.f64 y)
accuracy	1.4999834856333614	(fma.f64 z y (*.f64 (neg.f64 y) x))
accuracy	20.64161030601091	#s(approx (+ x (* y (- z x))) (fma.f64 z y (*.f64 (neg.f64 y) x)))
accuracy	0	(neg.f64 x)
accuracy	0.0078125	(*.f64 #s(approx (- z x) (neg.f64 x)) y)
accuracy	20.64161030601091	#s(approx (+ x (* y (- z x))) (*.f64 #s(approx (- z x) (neg.f64 x)) y))
accuracy	33.44754917861459	#s(approx (- z x) (neg.f64 x))
accuracy	0.0078125	(*.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x)
accuracy	26.055517884826187	#s(approx (+ x (* y (- z x))) (*.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x))
accuracy	31.88547164908191	#s(approx (- 1 y) #s(literal 1 binary64))

Samples

37.0ms

256×

valid

Compiler

Compiled 189 to 39 computations (79.4% saved)

Precisions

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

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

ival-neg: 8.0ms (32.7% of total)

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

ival-sub: 3.0ms (12.2% of total)

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

exact: 0.0ms (0% of total)

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

series22.0ms (0.3%)

Memory

1.6MiB live, 39.2MiB allocated

Counts

12 → 324

Calls

Call 1

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

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

Calls

9 calls:

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

simplify125.0ms (2%)

Memory

-10.6MiB live, 137.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	91	1624
1	301	1591
2	852	1591
3	2184	1591
4	4852	1591
5	7169	1591
0	8021	1483

Stop Event

1×	iter limit
1×	node limit

Counts

324 → 316

Calls

Call 1

Inputs
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(* -1 (* x y))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(* -1 x)
(- z x)
(- z x)
(- z x)
(* -1 (* x y))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (* -1 (* x y)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(+ x (+ (* -1 (* x y)) (* y z)))
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
z
(* z (+ 1 (* -1 (/ x z))))
(* z (+ 1 (* -1 (/ x z))))
(* z (+ 1 (* -1 (/ x z))))
(* y z)
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
(* z (+ y (* -1 (/ (* x y) z))))
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* z (+ y (+ (* -1 (/ (* x y) z)) (/ x z))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
z
(* -1 (* z (- (/ x z) 1)))
(* -1 (* z (- (/ x z) 1)))
(* -1 (* z (- (/ x z) 1)))
(* y z)
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* -1 (* z (+ (* -1 y) (/ (* x y) z))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* y z)
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
(* -1 (* z (+ (* -1 y) (* -1 (/ (+ x (* -1 (* x y))) z)))))
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
x
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
(+ x (* -1 (* x y)))
1
(+ 1 (* -1 y))
(+ 1 (* -1 y))
(+ 1 (* -1 y))
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (+ z (* -1 x)))
(* y (+ z (* -1 x)))
(* y (+ z (* -1 x)))
(* y (+ z (* -1 x)))
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
x
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(+ x (* y (- z x)))
(* y (- z x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* -1 (* x y))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* y (+ (* -1 x) (/ x y)))
(* -1 y)
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* y (- (/ 1 y) 1))
(* y (- z x))
(* 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 (* -1 x)))
(* y (+ z (* -1 x)))
(* y (+ z (* -1 x)))
(* y (+ z (* -1 x)))
(* y (- z x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* y (- z x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y (- (+ z (/ x y)) x))
(* y (- z x))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* x y))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 (* y (+ x (* -1 (/ x y)))))
(* -1 y)
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (- 1 (/ 1 y))))
(* y (- z x))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* y (- z x))
(* -1 (* y (+ x (* -1 z))))
(* -1 (* y (+ x (* -1 z))))
(* -1 (* y (+ x (* -1 z))))
(* -1 (* y (+ x (* -1 z))))
(* y (- z x))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 y)
(* -1 y)
(* -1 y)
(* -1 y)
(* y (- z x))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* -1 (* y (+ (* -1 (- z x)) (* -1 (/ x y)))))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* y z)
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
z
(+ z (* -1 x))
(+ z (* -1 x))
(+ z (* -1 x))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* y z)
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(+ (* -1 (* x y)) (* y z))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* y z)
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(+ (* x (+ 1 (* -1 y))) (* y z))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x y))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* -1 x)
(* x (- (/ z x) 1))
(* x (- (/ z x) 1))
(* x (- (/ z x) 1))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 (* x y))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ (* -1 y) (/ (* y z) x)))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* x (+ 1 (* -1 y)))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* x (+ 1 (+ (* -1 y) (/ (* y z) x))))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* x (- 1 y))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x y))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 x)
(* -1 (* x (+ 1 (* -1 (/ z x)))))
(* -1 (* x (+ 1 (* -1 (/ z x)))))
(* -1 (* x (+ 1 (* -1 (/ z x)))))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 (* x y))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (+ y (* -1 (/ (* y z) x)))))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x y))
(* -1 (* x (- y 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))
(* -1 (* x (- (+ y (* -1 (/ (* y z) x))) 1)))

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

rewrite401.0ms (6.4%)

Memory

-12.2MiB live, 226.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	96
0	28	96
1	104	92
2	740	92
0	8648	89

Stop Event

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

Counts

12 → 209

Calls

Call 1

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

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

eval288.0ms (4.6%)

Memory: -20.6MiB live, 192.0MiB allocated
Compiler: Compiled 11 332 to 799 computations (92.9% saved)

prune37.0ms (0.6%)

Memory

-0.3MiB live, 38.3MiB allocated

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	576	0	576
Fresh	0	0	0
Picked	0	4	4
Done	0	4	4
Total	576	8	584

Accuracy

100.0%

Counts

584 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 z x) y x)
✓	59.3%	(fma.f64 #s(approx (- z x) (neg.f64 x)) y x)
✓	77.4%	(+.f64 x #s(approx (* y (- z x)) (*.f64 z y)))
✓	65.4%	#s(approx (+ x (* y (- z x))) (fma.f64 z y (*.f64 (neg.f64 y) x)))
✓	67.7%	#s(approx (+ x (* y (- z x))) (*.f64 (-.f64 z x) y))
✓	27.2%	#s(approx (+ x (* y (- z x))) (*.f64 #s(approx (- z x) (neg.f64 x)) y))
✓	33.8%	#s(approx (+ x (* y (- z x))) (*.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x))
✓	46.4%	#s(approx (+ x (* y (- z x))) (*.f64 z y))

Compiler

Compiled 220 to 105 computations (52.3% saved)

regimes37.0ms (0.6%)

Memory

-4.7MiB live, 32.5MiB allocated

Counts

11 → 1

Calls

Call 1

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

Outputs
(fma.f64 (-.f64 z x) y x)

Calls

4 calls:

24.0ms	y
4.0ms	x
4.0ms	z
4.0ms	(+.f64 x (*.f64 y (-.f64 z x)))

Results

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

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes13.0ms (0.2%)

Memory

20.4MiB live, 20.4MiB allocated

Counts

7 → 3

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	z
3.0ms	y
3.0ms	x
3.0ms	(+.f64 x (*.f64 y (-.f64 z x)))

Results

Accuracy	Segments	Branch
89.8%	3	`x`
98.5%	3	`y`
92.5%	4	`z`
86.3%	3	`(+.f64 x (*.f64 y (-.f64 z x)))`

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes22.0ms (0.3%)

Memory

-21.8MiB live, 16.0MiB allocated

Counts

5 → 3

Calls

Call 1

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

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

Calls

4 calls:

14.0ms	x
2.0ms	y
2.0ms	z
2.0ms	(+.f64 x (*.f64 y (-.f64 z x)))

Results

Accuracy	Segments	Branch
75.0%	3	`(+.f64 x (*.f64 y (-.f64 z x)))`
85.5%	3	`x`
82.5%	3	`z`
84.8%	3	`y`

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes7.0ms (0.1%)

Memory

11.9MiB live, 11.9MiB allocated

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

2.0ms	y
2.0ms	z
2.0ms	x

Results

Accuracy	Segments	Branch
76.7%	3	`z`
68.1%	4	`y`
81.7%	3	`x`

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes8.0ms (0.1%)

Memory

16.6MiB live, 16.6MiB allocated

Counts

3 → 6

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	z
2.0ms	y
2.0ms	x
2.0ms	(+.f64 x (*.f64 y (-.f64 z x)))

Results

Accuracy	Segments	Branch
69.1%	6	`y`
53.1%	3	`(+.f64 x (*.f64 y (-.f64 z x)))`
63.1%	4	`z`
64.2%	5	`x`

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes12.0ms (0.2%)

Memory

-43.3MiB live, 3.2MiB allocated

Counts

2 → 3

Calls

Call 1

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

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

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
63.6%	3	`y`

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes6.0ms (0.1%)

Memory

7.3MiB live, 7.3MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
46.4%	1	`(+.f64 x (*.f64 y (-.f64 z x)))`
46.4%	1	`x`
46.4%	1	`z`
46.4%	1	`y`

Compiler

Compiled 10 to 15 computations (-50% saved)

bsearch21.0ms (0.3%)

Memory

11.1MiB live, 11.1MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	9.302345143727795e-10	0.0008105783715325085
8.0ms	-936.1484432276291	-72.1402902541629

Samples

10.0ms

240×

valid

Compiler

Compiled 370 to 297 computations (19.7% saved)

Precisions

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

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

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

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

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

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

bsearch28.0ms (0.4%)

Memory

-7.7MiB live, 30.4MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	2.99520320317134e+41	2.3378014705212747e+62
10.0ms	-5.772139200411518e-73	-1.9402543305835266e-76

Samples

14.0ms

304×

valid

Compiler

Compiled 504 to 411 computations (18.5% saved)

Precisions

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

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

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

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

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

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

bsearch18.0ms (0.3%)

Memory

27.0MiB live, 27.0MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	2.99520320317134e+41	2.3378014705212747e+62
4.0ms	-5.772139200411518e-73	-1.9402543305835266e-76

Samples

8.0ms

192×

valid

Compiler

Compiled 466 to 392 computations (15.9% saved)

Precisions

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

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

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

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

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

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

bsearch65.0ms (1%)

Memory

-11.6MiB live, 63.0MiB allocated

Algorithm

5×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.662123129824313e+276	1.7989305187347215e+276
6.0ms	2.448538749410573e+170	7.814185333707215e+170
34.0ms	0.0008105783715325085	81.16568437584831
8.0ms	4.404728880209351e-177	2.96122630295117e-176
12.0ms	-8.187950602579864e-51	-4.394403690255618e-52

Samples

22.0ms

448×

valid

Compiler

Compiled 753 to 598 computations (20.6% saved)

Precisions

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

ival-sub: 3.0ms (36.4% of total)

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

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

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

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

bsearch2.0ms (0%)

Memory

5.8MiB live, 5.7MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	4.404728880209351e-177	2.96122630295117e-176
1.0ms	-8.187950602579864e-51	-4.394403690255618e-52

Compiler

Compiled 348 to 298 computations (14.4% saved)

simplify43.0ms (0.7%)

Memory

4.1MiB live, 47.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	299
1	76	299
2	82	299
3	85	299
4	86	299

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fma.f64 (-.f64 z x) y x)
(if (<=.f64 y #s(literal -75 binary64)) #s(approx (+ x (* y (- z x))) (.f64 (-.f64 z x) y)) (if (<=.f64 y #s(literal 7378697629483821/9223372036854775808 binary64)) (+.f64 x #s(approx ( y (- z x)) (.f64 z y))) #s(approx (+ x ( y (- z x))) (*.f64 (-.f64 z x) y))))
(if (<=.f64 x #s(literal -8912032396463377/15914343565113172548972231940698266883214596825515126958094847260581103904401068017057792 binary64)) #s(approx (+ x (* y (- z x))) (.f64 (-.f64 #s(literal 1 binary64) y) x)) (if (<=.f64 x #s(literal 345000000000000015938112234697354904306636491325440 binary64)) #s(approx (+ x ( y (- z x))) (.f64 (-.f64 z x) y)) #s(approx (+ x ( y (- z x))) (*.f64 (-.f64 #s(literal 1 binary64) y) x))))
(if (<=.f64 x #s(literal -7320598039952059/15914343565113172548972231940698266883214596825515126958094847260581103904401068017057792 binary64)) #s(approx (+ x (* y (- z x))) (.f64 (-.f64 #s(literal 1 binary64) y) x)) (if (<=.f64 x #s(literal 124999999999999991219661128066943902491344896 binary64)) #s(approx (+ x ( y (- z x))) (.f64 z y)) #s(approx (+ x ( y (- z x))) (*.f64 (-.f64 #s(literal 1 binary64) y) x))))
(if (<=.f64 y #s(literal -8627182933488205/6739986666787659948666753771754907668409286105635143120275902562304 binary64)) #s(approx (+ x (* y (- z x))) (.f64 z y)) (if (<=.f64 y #s(literal 8269423619440229/285152538601387201165073225356268207805826781703034995661199532368704697950542336656619550707335712486165144348349650456918044045085964874890791332482638386765749667147516559380179637015412736 binary64)) #s(approx (+ x ( y (- z x))) (.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x)) (if (<=.f64 y #s(literal 80 binary64)) #s(approx (+ x ( y (- z x))) (.f64 z y)) (if (<=.f64 y #s(literal 650000000000000002260673406139198676604102009624446167340459978999333070171762243517653682685520912367420216803103107412958118908129549947051002518832097170584915645825024 binary64)) #s(approx (+ x ( y (- z x))) (.f64 #s(approx (- z x) (neg.f64 x)) y)) (if (<=.f64 y #s(literal 1749999999999999906616262815732934714244902364728690629539854892637264733488334733340611674970520471274672749965385228143615648609687871936213596155984263678950718061507649667430138467913223096984759335651038687612719789306765444447209994261062500998020149511608255296896499712 binary64)) #s(approx (+ x ( y (- z x))) (.f64 z y)) #s(approx (+ x ( y (- z x))) (*.f64 #s(approx (- z x) (neg.f64 x)) y)))))))
(if (<=.f64 y #s(literal -8627182933488205/6739986666787659948666753771754907668409286105635143120275902562304 binary64)) #s(approx (+ x (* y (- z x))) (.f64 z y)) (if (<=.f64 y #s(literal 8269423619440229/285152538601387201165073225356268207805826781703034995661199532368704697950542336656619550707335712486165144348349650456918044045085964874890791332482638386765749667147516559380179637015412736 binary64)) #s(approx (+ x ( y (- z x))) (.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x)) #s(approx (+ x ( y (- z x))) (*.f64 z y))))
#s(approx (+ x (* y (- z x))) (*.f64 z y))

Outputs
(fma.f64 (-.f64 z x) y x)
(if (<=.f64 y #s(literal -75 binary64)) #s(approx (+ x (* y (- z x))) (.f64 y (-.f64 z x))) (if (<=.f64 y #s(literal 7378697629483821/9223372036854775808 binary64)) (+.f64 #s(approx ( y (- z x)) (.f64 y z)) x) #s(approx (+ x ( y (- z x))) (*.f64 y (-.f64 z x)))))
(if (<=.f64 x #s(literal -8912032396463377/15914343565113172548972231940698266883214596825515126958094847260581103904401068017057792 binary64)) #s(approx (+ x (* y (- z x))) (.f64 (-.f64 #s(literal 1 binary64) y) x)) (if (<=.f64 x #s(literal 345000000000000015938112234697354904306636491325440 binary64)) #s(approx (+ x ( y (- z x))) (.f64 y (-.f64 z x))) #s(approx (+ x ( y (- z x))) (*.f64 (-.f64 #s(literal 1 binary64) y) x))))
(if (<=.f64 x #s(literal -7320598039952059/15914343565113172548972231940698266883214596825515126958094847260581103904401068017057792 binary64)) #s(approx (+ x (* y (- z x))) (.f64 (-.f64 #s(literal 1 binary64) y) x)) (if (<=.f64 x #s(literal 124999999999999991219661128066943902491344896 binary64)) #s(approx (+ x ( y (- z x))) (.f64 y z)) #s(approx (+ x ( y (- z x))) (*.f64 (-.f64 #s(literal 1 binary64) y) x))))
(if (<=.f64 y #s(literal -8627182933488205/6739986666787659948666753771754907668409286105635143120275902562304 binary64)) #s(approx (+ x (* y (- z x))) (.f64 y z)) (if (<=.f64 y #s(literal 8269423619440229/285152538601387201165073225356268207805826781703034995661199532368704697950542336656619550707335712486165144348349650456918044045085964874890791332482638386765749667147516559380179637015412736 binary64)) #s(approx (+ x ( y (- z x))) (.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x)) (if (<=.f64 y #s(literal 80 binary64)) #s(approx (+ x ( y (- z x))) (.f64 y z)) (if (<=.f64 y #s(literal 650000000000000002260673406139198676604102009624446167340459978999333070171762243517653682685520912367420216803103107412958118908129549947051002518832097170584915645825024 binary64)) #s(approx (+ x ( y (- z x))) (.f64 #s(approx (- z x) (neg.f64 x)) y)) (if (<=.f64 y #s(literal 1749999999999999906616262815732934714244902364728690629539854892637264733488334733340611674970520471274672749965385228143615648609687871936213596155984263678950718061507649667430138467913223096984759335651038687612719789306765444447209994261062500998020149511608255296896499712 binary64)) #s(approx (+ x ( y (- z x))) (.f64 y z)) #s(approx (+ x ( y (- z x))) (*.f64 #s(approx (- z x) (neg.f64 x)) y)))))))
(if (<=.f64 y #s(literal -8627182933488205/6739986666787659948666753771754907668409286105635143120275902562304 binary64)) #s(approx (+ x (* y (- z x))) (.f64 y z)) (if (<=.f64 y #s(literal 8269423619440229/285152538601387201165073225356268207805826781703034995661199532368704697950542336656619550707335712486165144348349650456918044045085964874890791332482638386765749667147516559380179637015412736 binary64)) #s(approx (+ x ( y (- z x))) (.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x)) #s(approx (+ x ( y (- z x))) (*.f64 y z))))
#s(approx (+ x (* y (- z x))) (*.f64 y z))

soundness1.1s (18%)

Memory

-20.1MiB live, 418.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	638
1	242	458
2	728	458
3	2042	458
4	4246	458
5	6040	458
6	7435	458
0	8256	431
0	6	15
0	9	15
1	36	15
2	286	15
3	3817	15
0	10869	14
0	86	1779
1	282	1743
2	821	1743
3	2139	1743
4	4703	1743
5	7033	1743
0	8135	1608

Stop Event

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

Compiler

Compiled 386 to 150 computations (61.1% saved)

preprocess68.0ms (1.1%)

Memory: 28.0MiB live, 145.4MiB allocated
Compiler: Compiled 612 to 136 computations (77.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	6	18
0	9	18
1	13	18
2	24	18
3	48	18
4	84	18
5	130	18
6	220	18
7	370	18
8	585	18
9	670	18
10	692	18
0	692	17

Iter	Nodes	Cost
0	18	102
0	25	99
1	37	99
2	54	99
3	84	99
4	148	99
5	210	99
6	338	99
7	536	99
8	717	99
9	749	99
10	777	99
11	789	99
12	791	99
0	791	99

Iter	Nodes	Cost
0	20	113
0	28	113
1	47	109
2	66	109
3	102	109
4	158	109
5	254	109
6	455	109
7	641	109
8	769	109
9	878	109
10	905	109
11	910	109
12	915	109
13	917	109
0	917	106

Iter	Nodes	Cost
0	6	18
0	9	18
1	13	18
2	24	18
3	48	18
4	84	18
5	130	18
6	220	18
7	370	18
8	585	18
9	670	18
10	692	18
0	692	17

Iter	Nodes	Cost
0	18	102
0	25	99
1	37	99
2	54	99
3	84	99
4	148	99
5	210	99
6	338	99
7	536	99
8	717	99
9	749	99
10	777	99
11	789	99
12	791	99
0	791	99

Iter	Nodes	Cost
0	20	113
0	28	113
1	47	109
2	66	109
3	102	109
4	158	109
5	254	109
6	455	109
7	641	109
8	769	109
9	878	109
10	905	109
11	910	109
12	915	109
13	917	109
0	917	106

start0.0ms (0%)

analyze0.0ms (0%)

sample2.6s (42.3%)

explain76.0ms (1.2%)

preprocess70.0ms (1.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify18.0ms (0.3%)

localize20.0ms (0.3%)

series8.0ms (0.1%)

simplify123.0ms (2%)

rewrite206.0ms (3.3%)

eval65.0ms (1%)

prune13.0ms (0.2%)

simplify28.0ms (0.5%)

localize36.0ms (0.6%)

series22.0ms (0.4%)

simplify114.0ms (1.8%)

rewrite178.0ms (2.9%)

eval156.0ms (2.5%)

prune28.0ms (0.5%)

simplify39.0ms (0.6%)

localize48.0ms (0.8%)

series22.0ms (0.3%)

simplify125.0ms (2%)

rewrite401.0ms (6.4%)

eval288.0ms (4.6%)

prune37.0ms (0.6%)

regimes37.0ms (0.6%)

regimes13.0ms (0.2%)

regimes22.0ms (0.3%)

regimes7.0ms (0.1%)

regimes8.0ms (0.1%)

regimes12.0ms (0.2%)

regimes6.0ms (0.1%)

bsearch21.0ms (0.3%)

bsearch28.0ms (0.4%)

bsearch18.0ms (0.3%)

bsearch65.0ms (1%)

bsearch2.0ms (0%)

simplify43.0ms (0.7%)

soundness1.1s (18%)

preprocess68.0ms (1.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	6	18
0	9	18
1	13	18
2	24	18
3	48	18
4	84	18
5	130	18
6	220	18
7	370	18
8	585	18
9	670	18
10	692	18
0	692	17

Iter	Nodes	Cost
0	18	102
0	25	99
1	37	99
2	54	99
3	84	99
4	148	99
5	210	99
6	338	99
7	536	99
8	717	99
9	749	99
10	777	99
11	789	99
12	791	99
0	791	99

Iter	Nodes	Cost
0	20	113
0	28	113
1	47	109
2	66	109
3	102	109
4	158	109
5	254	109
6	455	109
7	641	109
8	769	109
9	878	109
10	905	109
11	910	109
12	915	109
13	917	109
0	917	106