Metrics for Diagrams.ThreeD.Shapes:frustum from diagrams-lib-1.3.0.3, B

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.5MiB live, 0.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)

sample1000.0ms (25.9%)

Memory

30.7MiB live, 859.3MiB allocated

Samples

605.0ms

8 256×

valid

Precisions

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

ival-mult: 118.0ms (42.4% of total)

ival-sub: 93.0ms (33.4% of total)

ival-add: 58.0ms (20.8% of total)

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

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

Bogosity

explain225.0ms (5.8%)

Memory

-167.2MiB live, 110.9MiB allocated

FPErrors

Click to see full error table

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

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

183.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% of total)

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

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

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

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

preprocess81.0ms (2.1%)

Memory

18.0MiB live, 64.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	72
1	68	63
2	207	63
3	671	63
4	1268	63
5	2143	63
6	2436	63
7	2470	63
8	2470	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	584	7
9	669	7
10	691	7
0	691	6

Stop Event

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

Calls

Call 1

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

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify48.0ms (1.2%)

Memory

-13.6MiB live, 26.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

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	584	18
9	669	18
10	691	18
0	691	17

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize25.0ms (0.6%)

Memory

-13.3MiB live, 26.3MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

21.0ms

256×

valid

Compiler

Compiled 38 to 14 computations (63.2% saved)

Precisions

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

ival-add: 3.0ms (46.1% of total)

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

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

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

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

series8.0ms (0.2%)

Memory

11.1MiB live, 11.0MiB allocated

Counts

3 → 96

Calls

Call 1

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

Inputs

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

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

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

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

Calls

9 calls:

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

simplify129.0ms (3.3%)

Memory

7.5MiB live, 122.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	461
1	243	458
2	731	458
3	2072	458
4	4235	458
5	6018	458
6	7158	458
0	8087	431

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 92

Calls

Call 1

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

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

rewrite236.0ms (6.1%)

Memory

-21.9MiB live, 256.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
0	9	15
1	36	15
2	286	15
3	3823	15
0	10866	14

Stop Event

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

Counts

3 → 258

Calls

Call 1

Inputs
(+.f64 x (*.f64 (-.f64 y x) z))
(*.f64 (-.f64 y x) z)
(-.f64 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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval92.0ms (2.4%)

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

prune9.0ms (0.2%)

Memory

-9.8MiB live, 27.0MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	346	4	350
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	347	4	351

Accuracy

100.0%

Counts

351 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	71.9%	(+.f64 x #s(approx (* (- y x) z) (*.f64 z y)))
▶	72.0%	#s(approx (+ x (* (- y x) z)) (*.f64 (-.f64 y x) z))
▶	60.3%	#s(approx (+ x (* (- y x) z)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
▶	44.7%	#s(approx (+ x (* (- y x) z)) (*.f64 z y))

Compiler

Compiled 48 to 35 computations (27.1% saved)

simplify38.0ms (1%)

Memory

-17.9MiB live, 29.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	90
0	23	90
1	34	90
2	51	90
3	81	90
4	145	90
5	207	90
6	335	90
7	529	90
8	705	90
9	737	90
10	765	90
11	779	90
12	781	90
0	781	87

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize36.0ms (0.9%)

Memory

0.5MiB live, 74.6MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 z y)
accuracy	0.00390625	(+.f64 x #s(approx (* (- y x) z) (*.f64 z y)))
accuracy	30.061594408377662	#s(approx (* (- y x) z) (*.f64 z y))
accuracy	0	(-.f64 y x)
accuracy	0.00390625	(*.f64 (-.f64 y x) z)
accuracy	17.903745464623576	#s(approx (+ x (* (- y x) z)) (*.f64 (-.f64 y x) z))
accuracy	0	(-.f64 #s(literal 1 binary64) z)
accuracy	0.00390625	(*.f64 (-.f64 #s(literal 1 binary64) z) x)
accuracy	25.40777213436909	#s(approx (+ x (* (- y x) z)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
accuracy	0	(*.f64 z y)
accuracy	35.380032577623545	#s(approx (+ x (* (- y x) z)) (*.f64 z y))

Samples

26.0ms

256×

valid

Compiler

Compiled 158 to 29 computations (81.6% saved)

Precisions

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

ival-mult: 5.0ms (47.6% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series17.0ms (0.4%)

Memory

8.7MiB live, 46.8MiB allocated

Counts

10 → 300

Calls

Call 1

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

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

Calls

9 calls:

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

simplify142.0ms (3.7%)

Memory

15.8MiB live, 176.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	1552
1	283	1519
2	822	1519
3	2169	1519
4	4720	1519
5	7057	1519
0	8114	1411

Stop Event

1×	iter limit
1×	node limit

Counts

300 → 292

Calls

Call 1

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

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

rewrite156.0ms (4.1%)

Memory

-18.3MiB live, 221.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
0	23	76
1	79	76
2	531	76
3	6078	76
0	8392	73

Stop Event

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

Counts

10 → 314

Calls

Call 1

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

eval88.0ms (2.3%)

Memory: 6.2MiB live, 176.6MiB allocated
Compiler: Compiled 13 731 to 1 167 computations (91.5% saved)

prune17.0ms (0.4%)

Memory

17.1MiB live, 54.2MiB allocated

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	634	2	636
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	634	6	640

Accuracy

100.0%

Counts

640 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	71.9%	(+.f64 x #s(approx (* (- y x) z) (*.f64 z y)))
✓	72.0%	#s(approx (+ x (* (- y x) z)) (*.f64 (-.f64 y x) z))
✓	60.3%	#s(approx (+ x (* (- y x) z)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
▶	32.4%	#s(approx (+ x (* (- y x) z)) (*.f64 #s(approx (- y x) (neg.f64 x)) z))
▶	29.9%	#s(approx (+ x (* (- y x) z)) (*.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x))
✓	44.7%	#s(approx (+ x (* (- y x) z)) (*.f64 z y))

Compiler

Compiled 79 to 57 computations (27.8% saved)

simplify41.0ms (1.1%)

Memory

-25.5MiB live, 57.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	63
0	18	63
1	30	63
2	44	63
3	81	63
4	127	63
5	182	63
6	300	63
7	502	63
8	625	63
9	693	63
10	792	63
11	838	63
12	844	63
13	848	63
14	854	63
15	858	63
0	858	61

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize28.0ms (0.7%)

Memory

-11.1MiB live, 66.4MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 x)
accuracy	0.00390625	(*.f64 #s(approx (- y x) (neg.f64 x)) z)
accuracy	17.903745464623576	#s(approx (+ x (* (- y x) z)) (*.f64 #s(approx (- y x) (neg.f64 x)) z))
accuracy	31.225917025556427	#s(approx (- y x) (neg.f64 x))
accuracy	0.00390625	(*.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x)
accuracy	25.40777213436909	#s(approx (+ x (* (- y x) z)) (*.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x))
accuracy	36.78387264670838	#s(approx (- 1 z) #s(literal 1 binary64))

Samples

20.0ms

256×

valid

Compiler

Compiled 101 to 28 computations (72.3% saved)

Precisions

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

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series10.0ms (0.3%)

Memory

16.0MiB live, 16.0MiB allocated

Counts

7 → 180

Calls

Call 1

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

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

Calls

9 calls:

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

simplify126.0ms (3.3%)

Memory

23.0MiB live, 136.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	879
1	283	852
2	822	852
3	2170	852
4	4694	852
5	7026	852
0	8072	798

Stop Event

1×	iter limit
1×	node limit

Counts

180 → 174

Calls

Call 1

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

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

rewrite142.0ms (3.7%)

Memory

-28.5MiB live, 130.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	59
0	18	59
1	65	59
2	423	59
3	5079	55
0	9189	53

Stop Event

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

Counts

7 → 37

Calls

Call 1

Inputs
#s(approx (+ x (* (- y x) z)) (*.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x))
(*.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x)
#s(approx (- 1 z) #s(literal 1 binary64))
#s(approx (+ x (* (- y x) z)) (*.f64 #s(approx (- y x) (neg.f64 x)) z))
(*.f64 #s(approx (- y x) (neg.f64 x)) z)
#s(approx (- y x) (neg.f64 x))
(neg.f64 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>

eval23.0ms (0.6%)

Memory: 5.2MiB live, 40.7MiB allocated
Compiler: Compiled 3 508 to 178 computations (94.9% saved)

prune7.0ms (0.2%)

Memory

19.7MiB live, 19.7MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	211	0	211
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	211	6	217

Accuracy

100.0%

Counts

217 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	71.9%	(+.f64 x #s(approx (* (- y x) z) (*.f64 z y)))
✓	72.0%	#s(approx (+ x (* (- y x) z)) (*.f64 (-.f64 y x) z))
✓	60.3%	#s(approx (+ x (* (- y x) z)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))
✓	32.4%	#s(approx (+ x (* (- y x) z)) (*.f64 #s(approx (- y x) (neg.f64 x)) z))
✓	29.9%	#s(approx (+ x (* (- y x) z)) (*.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x))
✓	44.7%	#s(approx (+ x (* (- y x) z)) (*.f64 z y))

Compiler

Compiled 165 to 84 computations (49.1% saved)

regimes16.0ms (0.4%)

Memory

-11.5MiB live, 25.0MiB allocated

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes12.0ms (0.3%)

Memory

28.1MiB live, 28.1MiB allocated

Counts

6 → 3

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
87.5%	3	`x`
86.9%	3	`y`
98.9%	3	`z`
84.8%	4	`(+.f64 x (*.f64 (-.f64 y x) z))`

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes24.0ms (0.6%)

Memory

-37.2MiB live, 13.7MiB allocated

Counts

5 → 3

Calls

Call 1

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

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

Calls

1 calls:

24.0ms

Results

Accuracy	Segments	Branch
88.8%	3	`z`

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes9.0ms (0.2%)

Memory

14.4MiB live, 14.4MiB allocated

Counts

4 → 3

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
67.4%	5	`(+.f64 x (*.f64 (-.f64 y x) z))`
77.5%	3	`y`
80.3%	3	`x`
66.2%	4	`z`

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes12.0ms (0.3%)

Memory

-14.3MiB live, 23.0MiB allocated

Counts

3 → 4

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
52.2%	4	`(+.f64 x (*.f64 (-.f64 y x) z))`
64.1%	4	`z`
59.8%	4	`y`
60.3%	3	`x`

Compiler

Compiled 10 to 15 computations (-50% saved)

regimes2.0ms (0%)

Memory

5.5MiB live, 5.5MiB allocated

Counts

2 → 3

Calls

Call 1

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

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

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
61.4%	3	`z`

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes6.0ms (0.1%)

Memory

16.8MiB live, 16.8MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 15 computations (-50% saved)

bsearch29.0ms (0.8%)

Memory

-22.6MiB live, 53.7MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	0.02614174229358933	1517583.3148628941
13.0ms	-498337260.14027536	-28.068607945391328

Samples

16.0ms

288×

valid

Compiler

Compiled 442 to 354 computations (19.9% saved)

Precisions

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

ival-add: 4.0ms (52.4% of total)

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

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

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

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

bsearch16.0ms (0.4%)

Memory

33.2MiB live, 33.2MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
6.0ms	0.02614174229358933	1517583.3148628941
9.0ms	-1.0291167691091437e-190	-2.7576947014207305e-192

Samples

8.0ms

176×

valid

Compiler

Compiled 426 to 348 computations (18.3% saved)

Precisions

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

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

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

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

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

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

bsearch30.0ms (0.8%)

Memory

-36.7MiB live, 40.8MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	5.711048881871177e-9	5.3266601229487766e-8
17.0ms	-1.9402543305835266e-76	-2.9452912692845678e-84

Samples

10.0ms

240×

valid

Compiler

Compiled 370 to 312 computations (15.7% saved)

Precisions

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

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

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

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

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

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

bsearch32.0ms (0.8%)

Memory

16.4MiB live, 54.1MiB allocated

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
9.0ms	2.79983011147237e-52	8.545583993032513e-52
10.0ms	-3.1716917354554853e-165	-1.79710379436288e-169
10.0ms	-1.954869290132049e+258	-4.895129038920911e+255

Samples

17.0ms

336×

valid

Compiler

Compiled 564 to 458 computations (18.8% saved)

Precisions

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

ival-add: 4.0ms (45.9% of total)

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

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

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

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

bsearch2.0ms (0%)

Memory

3.7MiB live, 3.7MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	2.79983011147237e-52	8.545583993032513e-52
1.0ms	-3.1716917354554853e-165	-1.79710379436288e-169

Compiler

Compiled 348 to 298 computations (14.4% saved)

simplify28.0ms (0.7%)

Memory

14.9MiB live, 52.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	265
1	68	265
2	74	265
3	77	265
4	78	265

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 (-.f64 y x) z))
(if (<=.f64 z #s(literal -57/2 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 (-.f64 y x) z)) (if (<=.f64 z #s(literal 1 binary64)) (+.f64 x #s(approx ( (- y x) z) (.f64 z y))) #s(approx (+ x ( (- y x) z)) (*.f64 (-.f64 y x) z))))
(if (<=.f64 z #s(literal -4093428512252305/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 (-.f64 y x) z)) (if (<=.f64 z #s(literal 2 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 (-.f64 #s(literal 1 binary64) z) x)) #s(approx (+ x ( (- y x) z)) (*.f64 (-.f64 y x) z))))
(if (<=.f64 x #s(literal -733332951480415/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 (-.f64 #s(literal 1 binary64) z) x)) (if (<=.f64 x #s(literal 279564095785883/37778931862957161709568 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 z y)) #s(approx (+ x ( (- y x) z)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))))
(if (<=.f64 z #s(literal -369999999999999991143190864412437903829924647552863806233604985616486948160955670851699858366687717955953619301691057413858033850274238279868339853380266398402242431792045772324161952550761260339061131684529809809766181631245759491835644148745142828315705344 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 #s(approx (- y x) (neg.f64 x)) z)) (if (<=.f64 z #s(literal -6431749131765539/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 z y)) (if (<=.f64 z #s(literal 5728988666769511/6739986666787659948666753771754907668409286105635143120275902562304 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x)) #s(approx (+ x ( (- y x) z)) (*.f64 z y)))))
(if (<=.f64 z #s(literal -6431749131765539/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 z y)) (if (<=.f64 z #s(literal 5728988666769511/6739986666787659948666753771754907668409286105635143120275902562304 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x)) #s(approx (+ x ( (- y x) z)) (*.f64 z y))))
#s(approx (+ x (* (- y x) z)) (*.f64 z y))

Outputs
(+.f64 (*.f64 z (-.f64 y x)) x)
(if (<=.f64 z #s(literal -57/2 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 z (-.f64 y x))) (if (<=.f64 z #s(literal 1 binary64)) (+.f64 #s(approx ( (- y x) z) (.f64 z y)) x) #s(approx (+ x ( (- y x) z)) (*.f64 z (-.f64 y x)))))
(if (<=.f64 z #s(literal -4093428512252305/40131652080904949243476790488282231640246122763238325954424140190648896440865179612073261537762363061729301215028215161995082338334532195000669973530974432754174985283877903733762083113741475809259744657408 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 z (-.f64 y x))) (if (<=.f64 z #s(literal 2 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 (-.f64 #s(literal 1 binary64) z) x)) #s(approx (+ x ( (- y x) z)) (*.f64 z (-.f64 y x)))))
(if (<=.f64 x #s(literal -733332951480415/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 (-.f64 #s(literal 1 binary64) z) x)) (if (<=.f64 x #s(literal 279564095785883/37778931862957161709568 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 z y)) #s(approx (+ x ( (- y x) z)) (*.f64 (-.f64 #s(literal 1 binary64) z) x))))
(if (<=.f64 z #s(literal -369999999999999991143190864412437903829924647552863806233604985616486948160955670851699858366687717955953619301691057413858033850274238279868339853380266398402242431792045772324161952550761260339061131684529809809766181631245759491835644148745142828315705344 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 #s(approx (- y x) (neg.f64 x)) z)) (if (<=.f64 z #s(literal -6431749131765539/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 z y)) (if (<=.f64 z #s(literal 5728988666769511/6739986666787659948666753771754907668409286105635143120275902562304 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x)) #s(approx (+ x ( (- y x) z)) (*.f64 z y)))))
(if (<=.f64 z #s(literal -6431749131765539/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688 binary64)) #s(approx (+ x (* (- y x) z)) (.f64 z y)) (if (<=.f64 z #s(literal 5728988666769511/6739986666787659948666753771754907668409286105635143120275902562304 binary64)) #s(approx (+ x ( (- y x) z)) (.f64 #s(approx (- 1 z) #s(literal 1 binary64)) x)) #s(approx (+ x ( (- y x) z)) (*.f64 z y))))
#s(approx (+ x (* (- y x) z)) (*.f64 z y))

soundness843.0ms (21.9%)

Memory

-0.1MiB live, 303.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	1552
1	283	1519
2	822	1519
3	2169	1519
4	4720	1519
5	7057	1519
0	8114	1411
0	73	461
1	243	458
2	731	458
3	2072	458
4	4235	458
5	6018	458
6	7158	458
0	8087	431

Stop Event

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

Compiler

Compiled 339 to 134 computations (60.5% saved)

preprocess71.0ms (1.8%)

Memory: -10.5MiB live, 106.4MiB allocated
Compiler: Compiled 544 to 118 computations (78.3% 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	584	18
9	669	18
10	691	18
0	691	17

Iter	Nodes	Cost
0	17	90
0	23	90
1	34	90
2	51	90
3	81	90
4	145	90
5	207	90
6	335	90
7	529	90
8	705	90
9	737	90
10	765	90
11	779	90
12	781	90
0	781	87

Iter	Nodes	Cost
0	15	63
0	18	63
1	30	63
2	44	63
3	81	63
4	127	63
5	182	63
6	300	63
7	502	63
8	625	63
9	693	63
10	792	63
11	838	63
12	844	63
13	848	63
14	854	63
15	858	63
0	858	61

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	584	18
9	669	18
10	691	18
0	691	17

Iter	Nodes	Cost
0	17	90
0	23	90
1	34	90
2	51	90
3	81	90
4	145	90
5	207	90
6	335	90
7	529	90
8	705	90
9	737	90
10	765	90
11	779	90
12	781	90
0	781	87

Iter	Nodes	Cost
0	15	63
0	18	63
1	30	63
2	44	63
3	81	63
4	127	63
5	182	63
6	300	63
7	502	63
8	625	63
9	693	63
10	792	63
11	838	63
12	844	63
13	848	63
14	854	63
15	858	63
0	858	61

start0.0ms (0%)

analyze0.0ms (0%)

sample1000.0ms (25.9%)

explain225.0ms (5.8%)

preprocess81.0ms (2.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify48.0ms (1.2%)

localize25.0ms (0.6%)

series8.0ms (0.2%)

simplify129.0ms (3.3%)

rewrite236.0ms (6.1%)

eval92.0ms (2.4%)

prune9.0ms (0.2%)

simplify38.0ms (1%)

localize36.0ms (0.9%)

series17.0ms (0.4%)

simplify142.0ms (3.7%)

rewrite156.0ms (4.1%)

eval88.0ms (2.3%)

prune17.0ms (0.4%)

simplify41.0ms (1.1%)

localize28.0ms (0.7%)

series10.0ms (0.3%)

simplify126.0ms (3.3%)

rewrite142.0ms (3.7%)

eval23.0ms (0.6%)

prune7.0ms (0.2%)

regimes16.0ms (0.4%)

regimes12.0ms (0.3%)

regimes24.0ms (0.6%)

regimes9.0ms (0.2%)

regimes12.0ms (0.3%)

regimes2.0ms (0%)

regimes6.0ms (0.1%)

bsearch29.0ms (0.8%)

bsearch16.0ms (0.4%)

bsearch30.0ms (0.8%)

bsearch32.0ms (0.8%)

bsearch2.0ms (0%)

simplify28.0ms (0.7%)

soundness843.0ms (21.9%)

preprocess71.0ms (1.8%)

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	584	18
9	669	18
10	691	18
0	691	17

Iter	Nodes	Cost
0	17	90
0	23	90
1	34	90
2	51	90
3	81	90
4	145	90
5	207	90
6	335	90
7	529	90
8	705	90
9	737	90
10	765	90
11	779	90
12	781	90
0	781	87

Iter	Nodes	Cost
0	15	63
0	18	63
1	30	63
2	44	63
3	81	63
4	127	63
5	182	63
6	300	63
7	502	63
8	625	63
9	693	63
10	792	63
11	838	63
12	844	63
13	848	63
14	854	63
15	858	63
0	858	61