Metrics for Expression, p6

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 41 to 33 computations (19.5% saved)

sample1.6s (35.7%)

Memory

-25.9MiB live, 2 019.9MiB allocated

Samples

925.0ms

8 256×

valid

Precisions

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

ival-<=: 265.0ms (49.9% of total)

ival-add: 132.0ms (24.9% of total)

ival-mult: 65.0ms (12.2% of total)

ival-and: 38.0ms (7.2% of total)

exact: 28.0ms (5.3% of total)

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

Bogosity

explain109.0ms (2.5%)

Memory

26.5MiB live, 172.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
79	16	(-13.515554188796177 -2.5047173649150114 3.426838904044514 12.607237280872944)	44	(-13.77631928451224 -2.453597435680469 3.172538910878302 12.812254365846494)	`(+.f64 a (+.f64 b (+.f64 c d)))`
0	0	-	0	-	`a`
0	0	-	0	-	`d`
0	0	-	0	-	`(+.f64 c d)`
0	0	-	0	-	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))`
0	0	-	0	-	`(+.f64 b (+.f64 c d))`
0	0	-	0	-	`c`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`b`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 a (+.f64 b (+.f64 c d)))`	cancellation	51	82

Confusion

	Predicted +	Predicted -
+	43	81
-	8	124

Precision

0.8431372549019608

Recall

0.3467741935483871

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	43	58	23
-	8	24	100

Precision?

0.7593984962406015

Recall?

0.8145161290322581

Freqs

test

number	freq
0	205
1	51

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

58.0ms

512×

valid

Compiler

Compiled 100 to 40 computations (60% saved)

Precisions

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

ival-mult: 29.0ms (80% of total)

ival-add: 7.0ms (19.3% of total)

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

exact: 0.0ms (0% of total)

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

preprocess250.0ms (5.7%)

Memory

1.3MiB live, 39.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	132
1	150	126
2	449	126
3	2011	126
4	5325	126
5	6447	126
6	6863	126
7	7028	126
8	7070	126
9	7075	126
10	7130	126
11	7138	126
12	7138	126
13	7138	126
14	7530	126
15	7530	126
16	7530	126
0	9	9
0	13	9
1	21	9
2	57	9
3	159	9
4	286	9
5	287	9
0	287	9

Stop Event

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

Calls

Call 1

Inputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

Outputs
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 (+.f64 d c) b) a))

Symmetry

(sort a b c d)

Compiler

Compiled 9 to 9 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	94.4%	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

Compiler

Compiled 9 to 9 computations (0% saved)

simplify6.0ms (0.1%)

Memory

11.6MiB live, 11.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 c d)
cost-diff	0	(+.f64 b (+.f64 c d))
cost-diff	0	(+.f64 a (+.f64 b (+.f64 c d)))
cost-diff	0	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	29
0	13	29
1	21	29
2	57	29
3	159	29
4	286	29
5	287	29
0	287	29

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(+.f64 a (+.f64 b (+.f64 c d)))
a
(+.f64 b (+.f64 c d))
b
(+.f64 c d)
c
d
#s(literal 2 binary64)

Outputs
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 (+.f64 d c) b) a))
(+.f64 (+.f64 (+.f64 d c) b) a)
a
(+.f64 (+.f64 d c) b)
b
(+.f64 d c)
c
d
#s(literal 2 binary64)

localize95.0ms (2.2%)

Memory

-9.7MiB live, 76.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 c d)
accuracy	0	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
accuracy	0.40986254884221013	(+.f64 b (+.f64 c d))
accuracy	2.63788589385253	(+.f64 a (+.f64 b (+.f64 c d)))

Samples

90.0ms

256×

valid

Compiler

Compiled 60 to 20 computations (66.7% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

series13.0ms (0.3%)

Memory

-19.3MiB live, 17.4MiB allocated

Counts

4 → 156

Calls

Call 1

Inputs
#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 a (+.f64 b (+.f64 c d))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 b (+.f64 c d)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 c d) #<representation binary64>) () ())) ())

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	d	@	inf	((* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ c d))
1.0ms	c	@	inf	((* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ c d))
1.0ms	b	@	inf	((* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ c d))
1.0ms	c	@	-inf	((* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ c d))
1.0ms	d	@	-inf	((* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ c d))

simplify122.0ms (2.8%)

Memory

31.1MiB live, 150.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	137	890
1	436	890
2	1261	890
3	4091	878
0	8126	875

Stop Event

1×	iter limit
1×	node limit

Counts

156 → 136

Calls

Call 1

Inputs
(* 2 (+ a (+ b d)))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ a (+ b d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ b d)
(+ b (+ c d))
(+ b (+ c d))
(+ b (+ c d))
d
(+ c d)
(+ c d)
(+ c d)
(* 2 c)
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
c
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
c
(* c (+ 1 (+ (/ b c) (/ d c))))
(* c (+ 1 (+ (/ b c) (/ d c))))
(* c (+ 1 (+ (/ b c) (/ d c))))
c
(* c (+ 1 (/ d c)))
(* c (+ 1 (/ d c)))
(* c (+ 1 (/ d c)))
(* 2 c)
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
c
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
c
(* -1 (* c (- (* -1 (/ (+ b d) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ b d) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ b d) c)) 1)))
c
(* -1 (* c (- (* -1 (/ d c)) 1)))
(* -1 (* c (- (* -1 (/ d c)) 1)))
(* -1 (* c (- (* -1 (/ d c)) 1)))
(* 2 (+ a (+ c d)))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ a (+ c d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ c d)
(+ b (+ c d))
(+ b (+ c d))
(+ b (+ c d))
(* 2 b)
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
b
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
b
(* b (+ 1 (+ (/ c b) (/ d b))))
(* b (+ 1 (+ (/ c b) (/ d b))))
(* b (+ 1 (+ (/ c b) (/ d b))))
(* 2 b)
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
b
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
b
(* -1 (* b (- (* -1 (/ (+ c d) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ c d) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ c d) b)) 1)))
(* 2 (+ b (+ c d)))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ b (+ c d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(* 2 a)
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
a
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
(* 2 a)
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
a
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
(* 2 (+ a (+ b c)))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ a (+ b c))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ b c)
(+ b (+ c d))
(+ b (+ c d))
(+ b (+ c d))
c
(+ c d)
(+ c d)
(+ c d)
(* 2 d)
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
d
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
d
(* d (+ 1 (+ (/ b d) (/ c d))))
(* d (+ 1 (+ (/ b d) (/ c d))))
(* d (+ 1 (+ (/ b d) (/ c d))))
d
(* d (+ 1 (/ c d)))
(* d (+ 1 (/ c d)))
(* d (+ 1 (/ c d)))
(* 2 d)
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
d
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
d
(* -1 (* d (- (* -1 (/ (+ b c) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ b c) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ b c) d)) 1)))
d
(* -1 (* d (- (* -1 (/ c d)) 1)))
(* -1 (* d (- (* -1 (/ c d)) 1)))
(* -1 (* d (- (* -1 (/ c d)) 1)))

Outputs
(*.f64 (+.f64 (+.f64 d b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d b) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 d b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
d
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
c
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
c
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
c
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
c
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
c
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
c
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 (+.f64 (+.f64 d c) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d c) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 d c)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
b
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
b
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
b
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
b
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(*.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
a
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
a
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(*.f64 (+.f64 (+.f64 c b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 c b) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 c b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
c
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
d
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
d
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
d
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
d
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
d
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
d
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)

rewrite333.0ms (7.6%)

Memory

-43.2MiB live, 156.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	24
0	13	24
1	58	24
2	569	24
0	8247	24

Stop Event

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

Counts

4 → 373

Calls

Call 1

Inputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(+.f64 a (+.f64 b (+.f64 c d)))
(+.f64 b (+.f64 c d))
(+.f64 c d)

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

eval90.0ms (2%)

Memory: 12.1MiB live, 122.5MiB allocated
Compiler: Compiled 12 004 to 1 484 computations (87.6% saved)

prune92.0ms (2.1%)

Memory

-30.2MiB live, 55.1MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	505	4	509
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	506	4	510

Accuracy

100.0%

Counts

510 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))
▶	11.4%	(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
▶	11.3%	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
▶	6.6%	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

Compiler

Compiled 48 to 44 computations (8.3% saved)

simplify7.0ms (0.2%)

Memory

14.2MiB live, 14.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 c b)
cost-diff	0	(+.f64 d a)
cost-diff	0	(+.f64 (+.f64 d a) (+.f64 c b))
cost-diff	0	(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))
cost-diff	0	(+.f64 d c)
cost-diff	0	#s(approx (+ b (+ c d)) (+.f64 d c))
cost-diff	0	(+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))
cost-diff	0	(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
cost-diff	0	(*.f64 #s(literal 2 binary64) c)
cost-diff	0	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
cost-diff	0	(*.f64 #s(literal 2 binary64) b)
cost-diff	0	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	103
0	30	103
1	50	103
2	119	103
3	223	103
4	249	103
0	249	103

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
(*.f64 #s(literal 2 binary64) b)
#s(literal 2 binary64)
b
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
(*.f64 #s(literal 2 binary64) c)
#s(literal 2 binary64)
c
(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
(+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))
a
#s(approx (+ b (+ c d)) (+.f64 d c))
(+.f64 d c)
d
c
#s(literal 2 binary64)
(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))
(+.f64 (+.f64 d a) (+.f64 c b))
(+.f64 d a)
d
a
(+.f64 c b)
c
b
#s(literal 2 binary64)

Outputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
(*.f64 #s(literal 2 binary64) b)
#s(literal 2 binary64)
b
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
(*.f64 #s(literal 2 binary64) c)
#s(literal 2 binary64)
c
(*.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 2 binary64))
(+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)
a
#s(approx (+ b (+ c d)) (+.f64 d c))
(+.f64 d c)
d
c
#s(literal 2 binary64)
(*.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 2 binary64))
(+.f64 (+.f64 (+.f64 d c) b) a)
(+.f64 d a)
d
a
(+.f64 c b)
c
b
#s(literal 2 binary64)

localize70.0ms (1.6%)

Memory

-0.8MiB live, 73.7MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 (+.f64 d a) (+.f64 c b))
accuracy	0	(+.f64 d a)
accuracy	0	(+.f64 c b)
accuracy	0	(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))
accuracy	0	(+.f64 d c)
accuracy	0	(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
accuracy	2.63788589385253	(+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))
accuracy	50.21560490662173	#s(approx (+ b (+ c d)) (+.f64 d c))
accuracy	0	(*.f64 #s(literal 2 binary64) c)
accuracy	56.74461714788426	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
accuracy	0	(*.f64 #s(literal 2 binary64) b)
accuracy	59.80134402169117	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

Samples

59.0ms

256×

valid

Compiler

Compiled 188 to 40 computations (78.7% saved)

Precisions

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

ival-mult: 18.0ms (70.9% of total)

ival-add: 7.0ms (27.6% of total)

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

exact: 0.0ms (0% of total)

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

series19.0ms (0.4%)

Memory

22.4MiB live, 22.4MiB allocated

Counts

12 → 420

Calls

Call 1

Inputs
#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())
#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())
#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())
#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())

Outputs
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf c) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 #s(literal 2 binary64) b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf b) (#s(alt #<batchref> (patch (+.f64 c b) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf a) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor 0 d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor inf d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch #s(approx (+ b (+ c d)) (+.f64 d c)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 d c) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 (+.f64 d a) (+.f64 c b)) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())
#s(alt #<batchref> (taylor -inf d) (#s(alt #<batchref> (patch (+.f64 d a) #<representation binary64>) () ())) ())

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	c	@	-inf	((* (+ a (+ b (+ c d))) 2) (* 2 b) (* (+ a (+ b (+ c d))) 2) (* 2 c) (* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ d c) (* (+ (+ d a) (+ c b)) 2) (+ (+ d a) (+ c b)) (+ d a) (+ c b))
1.0ms	c	@	inf	((* (+ a (+ b (+ c d))) 2) (* 2 b) (* (+ a (+ b (+ c d))) 2) (* 2 c) (* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ d c) (* (+ (+ d a) (+ c b)) 2) (+ (+ d a) (+ c b)) (+ d a) (+ c b))
1.0ms	b	@	-inf	((* (+ a (+ b (+ c d))) 2) (* 2 b) (* (+ a (+ b (+ c d))) 2) (* 2 c) (* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ d c) (* (+ (+ d a) (+ c b)) 2) (+ (+ d a) (+ c b)) (+ d a) (+ c b))
1.0ms	b	@	inf	((* (+ a (+ b (+ c d))) 2) (* 2 b) (* (+ a (+ b (+ c d))) 2) (* 2 c) (* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ d c) (* (+ (+ d a) (+ c b)) 2) (+ (+ d a) (+ c b)) (+ d a) (+ c b))
1.0ms	c	@	0	((* (+ a (+ b (+ c d))) 2) (* 2 b) (* (+ a (+ b (+ c d))) 2) (* 2 c) (* (+ a (+ b (+ c d))) 2) (+ a (+ b (+ c d))) (+ b (+ c d)) (+ d c) (* (+ (+ d a) (+ c b)) 2) (+ (+ d a) (+ c b)) (+ d a) (+ c b))

simplify384.0ms (8.8%)

Memory

0.7MiB live, 117.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	162	2532
1	515	2532
2	1443	2526
3	4507	2499
4	7518	2499
0	8257	2493

Stop Event

1×	iter limit
1×	node limit

Counts

420 → 380

Calls

Call 1

Inputs
(* 2 (+ a (+ b d)))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(* 2 (+ a (+ b d)))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(* 2 c)
(* 2 c)
(* 2 c)
(* 2 c)
(* 2 (+ a (+ b d)))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ a (+ b d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ b d)
(+ b (+ c d))
(+ b (+ c d))
(+ b (+ c d))
d
(+ c d)
(+ c d)
(+ c d)
(* 2 (+ a (+ b d)))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ (* 2 c) (* 2 (+ a (+ b d))))
(+ a (+ b d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
b
(+ b c)
(+ b c)
(+ b c)
(* 2 c)
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* 2 c)
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* 2 c)
(* 2 c)
(* 2 c)
(* 2 c)
(* 2 c)
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
c
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
c
(* c (+ 1 (+ (/ b c) (/ d c))))
(* c (+ 1 (+ (/ b c) (/ d c))))
(* c (+ 1 (+ (/ b c) (/ d c))))
c
(* c (+ 1 (/ d c)))
(* c (+ 1 (/ d c)))
(* c (+ 1 (/ d c)))
(* 2 c)
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
(* c (+ 2 (* 2 (/ (+ a (+ b d)) c))))
c
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
(* c (+ 1 (+ (/ a c) (+ (/ b c) (/ d c)))))
c
(* c (+ 1 (/ b c)))
(* c (+ 1 (/ b c)))
(* c (+ 1 (/ b c)))
(* 2 c)
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* 2 c)
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* 2 c)
(* 2 c)
(* 2 c)
(* 2 c)
(* 2 c)
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
c
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
c
(* -1 (* c (- (* -1 (/ (+ b d) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ b d) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ b d) c)) 1)))
c
(* -1 (* c (- (* -1 (/ d c)) 1)))
(* -1 (* c (- (* -1 (/ d c)) 1)))
(* -1 (* c (- (* -1 (/ d c)) 1)))
(* 2 c)
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
(* -1 (* c (- (* -2 (/ (+ a (+ b d)) c)) 2)))
c
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
(* -1 (* c (- (* -1 (/ (+ a (+ b d)) c)) 1)))
c
(* -1 (* c (- (* -1 (/ b c)) 1)))
(* -1 (* c (- (* -1 (/ b c)) 1)))
(* -1 (* c (- (* -1 (/ b c)) 1)))
(* 2 (+ a (+ c d)))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(* 2 b)
(* 2 b)
(* 2 b)
(* 2 b)
(* 2 (+ a (+ c d)))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(* 2 (+ a (+ c d)))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ a (+ c d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ c d)
(+ b (+ c d))
(+ b (+ c d))
(+ b (+ c d))
(* 2 (+ a (+ c d)))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ (* 2 b) (* 2 (+ a (+ c d))))
(+ a (+ c d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
c
(+ b c)
(+ b c)
(+ b c)
(* 2 b)
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* 2 b)
(* 2 b)
(* 2 b)
(* 2 b)
(* 2 b)
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* 2 b)
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
b
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
b
(* b (+ 1 (+ (/ c b) (/ d b))))
(* b (+ 1 (+ (/ c b) (/ d b))))
(* b (+ 1 (+ (/ c b) (/ d b))))
(* 2 b)
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
(* b (+ 2 (* 2 (/ (+ a (+ c d)) b))))
b
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
(* b (+ 1 (+ (/ a b) (+ (/ c b) (/ d b)))))
b
(* b (+ 1 (/ c b)))
(* b (+ 1 (/ c b)))
(* b (+ 1 (/ c b)))
(* 2 b)
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* 2 b)
(* 2 b)
(* 2 b)
(* 2 b)
(* 2 b)
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* 2 b)
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
b
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
b
(* -1 (* b (- (* -1 (/ (+ c d) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ c d) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ c d) b)) 1)))
(* 2 b)
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
(* -1 (* b (- (* -2 (/ (+ a (+ c d)) b)) 2)))
b
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
(* -1 (* b (- (* -1 (/ (+ a (+ c d)) b)) 1)))
b
(* -1 (* b (- (* -1 (/ c b)) 1)))
(* -1 (* b (- (* -1 (/ c b)) 1)))
(* -1 (* b (- (* -1 (/ c b)) 1)))
(* 2 (+ b (+ c d)))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(* 2 (+ b (+ c d)))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(* 2 (+ b (+ c d)))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ b (+ c d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(* 2 (+ b (+ c d)))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ (* 2 a) (* 2 (+ b (+ c d))))
(+ b (+ c d))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
d
(+ a d)
(+ a d)
(+ a d)
(* 2 a)
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* 2 a)
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* 2 a)
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
a
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
(* 2 a)
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
(* a (+ 2 (* 2 (/ (+ b (+ c d)) a))))
a
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
(* a (+ 1 (+ (/ b a) (+ (/ c a) (/ d a)))))
a
(* a (+ 1 (/ d a)))
(* a (+ 1 (/ d a)))
(* a (+ 1 (/ d a)))
(* 2 a)
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* 2 a)
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* 2 a)
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
a
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
(* 2 a)
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
(* -1 (* a (- (* -2 (/ (+ b (+ c d)) a)) 2)))
a
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
(* -1 (* a (- (* -1 (/ (+ b (+ c d)) a)) 1)))
a
(* -1 (* a (- (* -1 (/ d a)) 1)))
(* -1 (* a (- (* -1 (/ d a)) 1)))
(* -1 (* a (- (* -1 (/ d a)) 1)))
(* 2 (+ a (+ b c)))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(* 2 (+ a (+ b c)))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(* 2 (+ a (+ b c)))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ a (+ b c))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ b c)
(+ b (+ c d))
(+ b (+ c d))
(+ b (+ c d))
c
(+ c d)
(+ c d)
(+ c d)
(* 2 (+ a (+ b c)))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ (* 2 d) (* 2 (+ a (+ b c))))
(+ a (+ b c))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
(+ a (+ b (+ c d)))
a
(+ a d)
(+ a d)
(+ a d)
(* 2 d)
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* 2 d)
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* 2 d)
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
d
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
d
(* d (+ 1 (+ (/ b d) (/ c d))))
(* d (+ 1 (+ (/ b d) (/ c d))))
(* d (+ 1 (+ (/ b d) (/ c d))))
d
(* d (+ 1 (/ c d)))
(* d (+ 1 (/ c d)))
(* d (+ 1 (/ c d)))
(* 2 d)
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
(* d (+ 2 (* 2 (/ (+ a (+ b c)) d))))
d
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
(* d (+ 1 (+ (/ a d) (+ (/ b d) (/ c d)))))
d
(* d (+ 1 (/ a d)))
(* d (+ 1 (/ a d)))
(* d (+ 1 (/ a d)))
(* 2 d)
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* 2 d)
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* 2 d)
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
d
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
d
(* -1 (* d (- (* -1 (/ (+ b c) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ b c) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ b c) d)) 1)))
d
(* -1 (* d (- (* -1 (/ c d)) 1)))
(* -1 (* d (- (* -1 (/ c d)) 1)))
(* -1 (* d (- (* -1 (/ c d)) 1)))
(* 2 d)
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
(* -1 (* d (- (* -2 (/ (+ a (+ b c)) d)) 2)))
d
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
(* -1 (* d (- (* -1 (/ (+ a (+ b c)) d)) 1)))
d
(* -1 (* d (- (* -1 (/ a d)) 1)))
(* -1 (* d (- (* -1 (/ a d)) 1)))
(* -1 (* d (- (* -1 (/ a d)) 1)))

Outputs
(*.f64 (+.f64 (+.f64 d b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 d b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 d b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d b) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 d b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
d
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 (+.f64 (+.f64 d b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d b) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
b
(+.f64 c b)
(+.f64 c b)
(+.f64 c b)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
c
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
c
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
c
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
c
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
c
(+.f64 c b)
(+.f64 c b)
(+.f64 c b)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
c
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
c
(fma.f64 (/.f64 (+.f64 d b) c) c c)
(fma.f64 (/.f64 (+.f64 d b) c) c c)
(fma.f64 (/.f64 (+.f64 d b) c) c c)
c
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
c
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
c
(+.f64 c b)
(+.f64 c b)
(+.f64 c b)
(*.f64 (+.f64 (+.f64 d c) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 d c) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 d c) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d c) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 d c)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(*.f64 (+.f64 (+.f64 d c) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d c) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
c
(+.f64 c b)
(+.f64 c b)
(+.f64 c b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
b
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
b
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
b
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
b
(+.f64 c b)
(+.f64 c b)
(+.f64 c b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
b
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
b
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(*.f64 #s(literal 2 binary64) b)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
b
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
b
(+.f64 c b)
(+.f64 c b)
(+.f64 c b)
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
d
(+.f64 d a)
(+.f64 d a)
(+.f64 d a)
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
a
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
a
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
(fma.f64 (/.f64 c a) a (+.f64 (+.f64 d b) a))
a
(+.f64 d a)
(+.f64 d a)
(+.f64 d a)
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
a
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(*.f64 #s(literal 2 binary64) a)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
a
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
a
(+.f64 d a)
(+.f64 d a)
(+.f64 d a)
(*.f64 (+.f64 (+.f64 c b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 c b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 c b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 c b) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 c b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
c
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 (+.f64 (+.f64 c b) a) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(+.f64 (+.f64 c b) a)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
a
(+.f64 d a)
(+.f64 d a)
(+.f64 d a)
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
d
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
d
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
d
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
d
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
d
(+.f64 d a)
(+.f64 d a)
(+.f64 d a)
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
d
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
d
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
(+.f64 (+.f64 d c) b)
d
(+.f64 d c)
(+.f64 d c)
(+.f64 d c)
(*.f64 #s(literal 2 binary64) d)
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 (+.f64 c b) a) d) #s(literal 2 binary64))
d
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 (+.f64 c b) a) d)
d
(+.f64 d a)
(+.f64 d a)
(+.f64 d a)

rewrite380.0ms (8.7%)

Memory

-18.1MiB live, 235.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	90
0	30	90
1	133	90
2	1359	90
0	8617	90

Stop Event

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

Counts

12 → 464

Calls

Call 1

Inputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
(*.f64 #s(literal 2 binary64) b)
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
(*.f64 #s(literal 2 binary64) c)
(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
(+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))
#s(approx (+ b (+ c d)) (+.f64 d c))
(+.f64 d c)
(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))
(+.f64 (+.f64 d a) (+.f64 c b))
(+.f64 d a)
(+.f64 c b)

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

eval224.0ms (5.1%)

Memory: -12.4MiB live, 255.1MiB allocated
Compiler: Compiled 22 518 to 2 029 computations (91% saved)

prune40.0ms (0.9%)

Memory

21.9MiB live, 105.3MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	844	0	844
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	844	4	848

Accuracy

100.0%

Counts

848 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))
✓	11.4%	(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
✓	11.3%	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
✓	6.6%	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

Compiler

Compiled 105 to 70 computations (33.3% saved)

regimes27.0ms (0.6%)

Memory

-17.8MiB live, 57.2MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))

Outputs
(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))

Calls

8 calls:

6.0ms	a
5.0ms	(+.f64 b (+.f64 c d))
3.0ms	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
3.0ms	(+.f64 c d)
3.0ms	c

Results

Accuracy	Segments	Branch
100.0%	1	`a`
100.0%	1	`b`
100.0%	1	`c`
100.0%	1	`d`
100.0%	1	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))`
100.0%	1	`(+.f64 a (+.f64 b (+.f64 c d)))`
100.0%	1	`(+.f64 b (+.f64 c d))`
100.0%	1	`(+.f64 c d)`

Compiler

Compiled 28 to 43 computations (-53.6% saved)

regimes22.0ms (0.5%)

Memory

18.9MiB live, 64.7MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

Outputs
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

Calls

8 calls:

6.0ms	d
2.0ms	a
2.0ms	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
2.0ms	(+.f64 a (+.f64 b (+.f64 c d)))
2.0ms	(+.f64 c d)

Results

Accuracy	Segments	Branch
94.4%	1	`a`
94.4%	1	`b`
94.4%	1	`c`
94.4%	1	`d`
94.4%	1	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))`
94.4%	1	`(+.f64 a (+.f64 b (+.f64 c d)))`
94.4%	1	`(+.f64 b (+.f64 c d))`
94.4%	1	`(+.f64 c d)`

Compiler

Compiled 28 to 43 computations (-53.6% saved)

regimes17.0ms (0.4%)

Memory

4.4MiB live, 43.3MiB allocated

Counts

3 → 2

Calls

Call 1

Inputs

#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))

(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))

Outputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))

Calls

8 calls:

3.0ms	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
2.0ms	a
2.0ms	(+.f64 b (+.f64 c d))
2.0ms	(+.f64 c d)
2.0ms	b

Results

Accuracy	Segments	Branch
11.4%	1	`b`
13.2%	2	`(+.f64 c d)`
11.4%	1	`a`
11.4%	1	`c`
11.4%	1	`d`
14.5%	2	`(+.f64 b (+.f64 c d))`
16.4%	2	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))`
16.4%	2	`(+.f64 a (+.f64 b (+.f64 c d)))`

Compiler

Compiled 28 to 43 computations (-53.6% saved)

regimes5.0ms (0.1%)

Memory

-27.1MiB live, 11.6MiB allocated

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))

Outputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))

Calls

2 calls:

3.0ms	(+.f64 a (+.f64 b (+.f64 c d)))
2.0ms	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))

Results

Accuracy	Segments	Branch
16.3%	2	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))`
16.3%	2	`(+.f64 a (+.f64 b (+.f64 c d)))`

Compiler

Compiled 16 to 16 computations (0% saved)

regimes12.0ms (0.3%)

Memory

-3.3MiB live, 35.0MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

Outputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

Calls

8 calls:

3.0ms	a
1.0ms	(+.f64 c d)
1.0ms	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
1.0ms	c
1.0ms	(+.f64 a (+.f64 b (+.f64 c d)))

Results

Accuracy	Segments	Branch
6.6%	1	`a`
6.6%	1	`d`
6.6%	1	`b`
6.6%	1	`c`
6.6%	1	`(+.f64 c d)`
6.6%	1	`(+.f64 b (+.f64 c d))`
6.6%	1	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))`
6.6%	1	`(+.f64 a (+.f64 b (+.f64 c d)))`

Compiler

Compiled 28 to 43 computations (-53.6% saved)

bsearch0.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.00022500708011463644	0.013804631206271623

Compiler

Compiled 12 to 16 computations (-33.3% saved)

bsearch0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.00022500708011463644	0.013804631206271623

Compiler

Compiled 12 to 16 computations (-33.3% saved)

simplify26.0ms (0.6%)

Memory

14.0MiB live, 63.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	103
1	41	103

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 (+.f64 (+.f64 d a) (+.f64 c b)) #s(literal 2 binary64))
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
(if (<=.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal -7378697629483821/36893488147419103232 binary64)) #s(approx (* (+ a (+ b (+ c d))) 2) (.f64 #s(literal 2 binary64) b)) (.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64)))
(if (<=.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal -7378697629483821/36893488147419103232 binary64)) #s(approx (* (+ a (+ b (+ c d))) 2) (.f64 #s(literal 2 binary64) b)) #s(approx ( (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)))
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

Outputs
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 b c) (+.f64 a d)))
(*.f64 (+.f64 (+.f64 (+.f64 c d) b) a) #s(literal 2 binary64))
(if (<=.f64 (+.f64 (+.f64 (+.f64 c d) b) a) #s(literal -7378697629483821/36893488147419103232 binary64)) #s(approx (* (+ a (+ b (+ c d))) 2) (.f64 #s(literal 2 binary64) b)) (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 c d)) a) #s(literal 2 binary64)))
(if (<=.f64 (+.f64 (+.f64 (+.f64 c d) b) a) #s(literal -7378697629483821/36893488147419103232 binary64)) #s(approx (* (+ a (+ b (+ c d))) 2) (.f64 #s(literal 2 binary64) b)) #s(approx ( (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c)))
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

soundness372.0ms (8.5%)

Memory

-2.5MiB live, 230.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	24
0	13	24
1	58	24
2	569	24
0	8247	24
0	137	890
1	436	890
2	1261	890
3	4091	878
0	8126	875

Stop Event

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

Compiler

Compiled 140 to 74 computations (47.1% saved)

preprocess96.0ms (2.2%)

Memory: -10.7MiB live, 105.2MiB allocated
Remove: (sort a b c d)
Compiler: Compiled 300 to 150 computations (50% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.6s (35.7%)

explain109.0ms (2.5%)

preprocess250.0ms (5.7%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify6.0ms (0.1%)

localize95.0ms (2.2%)

series13.0ms (0.3%)

simplify122.0ms (2.8%)

rewrite333.0ms (7.6%)

eval90.0ms (2%)

prune92.0ms (2.1%)

simplify7.0ms (0.2%)

localize70.0ms (1.6%)

series19.0ms (0.4%)

simplify384.0ms (8.8%)

rewrite380.0ms (8.7%)

eval224.0ms (5.1%)

prune40.0ms (0.9%)

regimes27.0ms (0.6%)

regimes22.0ms (0.5%)

regimes17.0ms (0.4%)

regimes5.0ms (0.1%)

regimes12.0ms (0.3%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify26.0ms (0.6%)

soundness372.0ms (8.5%)

preprocess96.0ms (2.2%)

end0.0ms (0%)

Profiling