Metrics for FastMath dist4

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample875.0ms (33.4%)

Memory

12.4MiB live, 1 299.8MiB allocated

Samples

600.0ms

8 004×

valid

Precisions

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

ival-mult: 243.0ms (62.9% of total)

ival-sub: 96.0ms (24.9% of total)

ival-add: 37.0ms (9.6% of total)

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

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

Bogosity

explain3.0ms (0.1%)

Memory

4.8MiB live, 4.8MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`d4`
-	-	`(*.f64 d4 d1)`
-	-	`(*.f64 d1 d2)`
-	-	`(-.f64 (.f64 d1 d2) (.f64 d1 d3))`
-	-	`(*.f64 d1 d3)`
-	-	`(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))`
-	-	`d2`
-	-	`d1`
-	-	`(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))`
-	-	`d3`
-	-	`(*.f64 d1 d1)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	4

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	4

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	4

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

1.0ms

8×

valid

Compiler

Compiled 166 to 48 computations (71.1% saved)

Precisions

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

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

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

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

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

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

preprocess178.0ms (6.8%)

Memory

-41.4MiB live, 130.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	63	196
1	257	166
2	810	132
3	3150	127
4	6052	126
5	7296	126
6	7946	126
0	11	15
0	18	13
1	37	11
2	92	9
3	255	9
4	698	9
5	1824	9
6	3001	9
7	3595	9
8	3595	9
9	3675	9
10	3707	9
11	3707	9
0	3707	9

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Outputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
(*.f64 (-.f64 (+.f64 (-.f64 d2 d3) d4) d1) d1)

Symmetry

(sort d2 d4)

Compiler

Compiled 15 to 11 computations (26.7% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify117.0ms (4.5%)

Memory

27.4MiB live, 64.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 d1 d2)
cost-diff	320	(-.f64 (.f64 d1 d2) (.f64 d1 d3))
cost-diff	320	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
cost-diff	320	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	49
0	18	43
1	37	39
2	92	37
3	255	37
4	698	37
5	1824	37
6	3001	37
7	3595	37
8	3595	37
9	3675	37
10	3707	37
11	3707	37
0	3707	37

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
(-.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
d1
d2
(*.f64 d1 d3)
d3
(*.f64 d4 d1)
d4
(*.f64 d1 d1)

Outputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
(*.f64 (-.f64 (+.f64 (-.f64 d2 d3) d4) d1) d1)
(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
(*.f64 (+.f64 (-.f64 d2 d3) d4) d1)
(-.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 (-.f64 d2 d3) d1)
(*.f64 d1 d2)
(*.f64 d2 d1)
d1
d2
(*.f64 d1 d3)
(*.f64 d3 d1)
d3
(*.f64 d4 d1)
d4
(*.f64 d1 d1)

localize1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
accuracy	0	(*.f64 d4 d1)
accuracy	0	(*.f64 d1 d3)
accuracy	0	(*.f64 d1 d2)
accuracy	0	(*.f64 d1 d1)

Samples

0.0ms

4×

valid

Compiler

Compiled 100 to 24 computations (76% saved)

Precisions

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

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

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

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

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

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

series22.0ms (0.8%)

Memory

-6.9MiB live, 32.3MiB allocated

Counts

7 → 216

Calls

Call 1

Inputs
#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())
#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())
#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())
#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())
#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())
#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())
#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())

Outputs
#s(alt (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d2) (* d1 d3)) (taylor 0 d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (taylor 0 d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (taylor 0 d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (taylor 0 d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4))) (taylor inf d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4))) (taylor inf d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4))) (taylor inf d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4))))) (taylor -inf d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4))))) (taylor -inf d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4))))) (taylor -inf d4) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d4) (* d1 d3)) (taylor 0 d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (taylor 0 d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (taylor 0 d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (* d1 d3)) (taylor 0 d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor 0 d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d2) (* d1 d3)) (taylor 0 d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d2) (* d1 d3)) (taylor 0 d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d2) (* d1 d3)) (taylor 0 d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2))) (taylor inf d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2))) (taylor inf d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2))) (taylor inf d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d2 (+ d1 (* -1 (/ (* d1 d3) d2)))) (taylor inf d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d2 (+ d1 (* -1 (/ (* d1 d3) d2)))) (taylor inf d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d2 (+ d1 (* -1 (/ (* d1 d3) d2)))) (taylor inf d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2))))) (taylor -inf d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2))))) (taylor -inf d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2))))) (taylor -inf d2) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2)))) (taylor -inf d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2)))) (taylor -inf d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2)))) (taylor -inf d2) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) (taylor 0 d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (+ (* d1 d2) (* d1 d4)) (taylor 0 d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (taylor 0 d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (taylor 0 d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (taylor 0 d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* d1 d3)) (* d1 d2)) (taylor 0 d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* d1 d3)) (* d1 d2)) (taylor 0 d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (+ (* -1 (* d1 d3)) (* d1 d2)) (taylor 0 d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor 0 d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor 0 d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor 0 d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor 0 d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor inf d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor inf d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1)) (taylor inf d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1)) (taylor inf d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1)) (taylor inf d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor inf d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (/ (* d1 d2) d3) d1)) (taylor inf d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (/ (* d1 d2) d3) d1)) (taylor inf d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (/ (* d1 d2) d3) d1)) (taylor inf d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor inf d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor inf d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor inf d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor inf d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor -inf d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor -inf d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor -inf d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor -inf d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor -inf d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor -inf d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor -inf d3) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor 0 d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor 0 d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor 0 d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor 0 d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor 0 d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- d2 d3)) (taylor 0 d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- d2 d3)) (taylor 0 d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- d2 d3)) (taylor 0 d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- d2 d3)) (taylor 0 d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor 0 d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor 0 d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor 0 d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor 0 d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor inf d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor inf d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor inf d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor inf d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor inf d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- d2 d3)) (taylor inf d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- d2 d3)) (taylor inf d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- d2 d3)) (taylor inf d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- d2 d3)) (taylor inf d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor inf d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor inf d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor inf d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor inf d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor -inf d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) (patch (-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)))) (taylor -inf d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)))) (taylor -inf d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)))) (taylor -inf d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)))) (taylor -inf d1) (#s(alt (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (patch (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 (- (* -1 d2) (* -1 d3)))) (taylor -inf d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 (- (* -1 d2) (* -1 d3)))) (taylor -inf d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 (- (* -1 d2) (* -1 d3)))) (taylor -inf d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 (- (* -1 d2) (* -1 d3)))) (taylor -inf d1) (#s(alt (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (patch (-.f64 (.f64 d1 d2) (.f64 d1 d3)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d1) (#s(alt (.f64 d1 d2) (patch (.f64 d1 d2) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor -inf d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor -inf d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor -inf d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d3) (taylor -inf d1) (#s(alt (.f64 d1 d3) (patch (.f64 d1 d3) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())

Calls

12 calls:

Time	Variable		Point	Expression
8.0ms	d1	@	-inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (- (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d1) (* d1 d3) (* d4 d1))
2.0ms	d1	@	0	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (- (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d1) (* d1 d3) (* d4 d1))
1.0ms	d1	@	inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (- (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d1) (* d1 d3) (* d4 d1))
1.0ms	d4	@	0	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (- (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d1) (* d1 d3) (* d4 d1))
1.0ms	d2	@	0	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (- (* d1 d2) (* d1 d3)) (* d1 d2) (* d1 d1) (* d1 d3) (* d4 d1))

simplify345.0ms (13.2%)

Memory

3.4MiB live, 190.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	125	1521
1	409	1327
2	1321	1303
3	5147	1255
0	8956	1243

Stop Event

1×	iter limit
1×	node limit

Counts

216 → 216

Calls

Call 1

Inputs
(- (* d1 d2) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (* d1 d2) (* d1 d3))
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d1 d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4)))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4)))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4)))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* d1 d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4)))))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(- (* d1 d4) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (* d1 d4) (* d1 d3))
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(* -1 (* d1 d3))
(- (* d1 d2) (* d1 d3))
(- (* d1 d2) (* d1 d3))
(- (* d1 d2) (* d1 d3))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d1 d2)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2)))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2)))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2)))
(* d1 d2)
(* d2 (+ d1 (* -1 (/ (* d1 d3) d2))))
(* d2 (+ d1 (* -1 (/ (* d1 d3) d2))))
(* d2 (+ d1 (* -1 (/ (* d1 d3) d2))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2)))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2))))
(* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2))))
(* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(- (+ (* d1 d2) (* d1 d4)) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(+ (* d1 d2) (* d1 d4))
(+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4)))
(+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4)))
(+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4)))
(* d1 d2)
(+ (* -1 (* d1 d3)) (* d1 d2))
(+ (* -1 (* d1 d3)) (* d1 d2))
(+ (* -1 (* d1 d3)) (* d1 d2))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* -1 (* d1 d3))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* -1 (* d1 d3))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1))
(* -1 (* d1 d3))
(* d3 (- (/ (* d1 d2) d3) d1))
(* d3 (- (/ (* d1 d2) d3) d1))
(* d3 (- (/ (* d1 d2) d3) d1))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* -1 (* d1 d3))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d1 d3))
(* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1))))
(* -1 (* d1 d3))
(* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1))))
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 d4) d3))
(* d1 (- d2 d3))
(* d1 (- d2 d3))
(* d1 (- d2 d3))
(* d1 (- d2 d3))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* -1 (pow d1 2))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 d4) d3))
(* d1 (- d2 d3))
(* d1 (- d2 d3))
(* d1 (- d2 d3))
(* d1 (- d2 d3))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* -1 (pow d1 2))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3))))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3))))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3))))
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3))))
(* -1 (* d1 (- (* -1 d2) (* -1 d3))))
(* -1 (* d1 (- (* -1 d2) (* -1 d3))))
(* -1 (* d1 (- (* -1 d2) (* -1 d3))))
(* -1 (* d1 (- (* -1 d2) (* -1 d3))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)

Outputs
(- (* d1 d2) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 d2 d3) d1) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (* d1 d2) (* d1 d3))
(*.f64 (-.f64 d2 d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d1 d4)
(*.f64 d4 d1)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (/ (* d1 d3) d4)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4)))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4)))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (* d1 d3)) d4)))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(- (* d1 d4) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 d4 d3) d1) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (* d1 d4) (* d1 d3))
(*.f64 (-.f64 d4 d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (* d1 d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d3) d1)
(- (* d1 d2) (* d1 d3))
(*.f64 (-.f64 d2 d3) d1)
(- (* d1 d2) (* d1 d3))
(*.f64 (-.f64 d2 d3) d1)
(- (* d1 d2) (* d1 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (fma.f64 (/.f64 d1 d2) (-.f64 (-.f64 d4 d3) d1) d1) d2)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (fma.f64 (/.f64 d1 d2) (-.f64 (-.f64 d4 d3) d1) d1) d2)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (fma.f64 (/.f64 d1 d2) (-.f64 (-.f64 d4 d3) d1) d1) d2)
(* d1 d2)
(*.f64 d2 d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (/ (* d1 d3) d2)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d2 (+ d1 (* -1 (/ (* d1 d3) d2))))
(*.f64 (-.f64 d2 d3) d1)
(* d2 (+ d1 (* -1 (/ (* d1 d3) d2))))
(*.f64 (-.f64 d2 d3) d1)
(* d2 (+ d1 (* -1 (/ (* d1 d3) d2))))
(*.f64 (-.f64 d2 d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (fma.f64 (/.f64 d1 d2) (-.f64 (-.f64 d4 d3) d1) d1) d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (fma.f64 (/.f64 d1 d2) (-.f64 (-.f64 d4 d3) d1) d1) d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (fma.f64 (/.f64 d1 d2) (-.f64 (-.f64 d4 d3) d1) d1) d2)
(* d1 d2)
(*.f64 d2 d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2)))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2)))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (* d1 d3)) d2)))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2))))
(*.f64 (-.f64 d2 d3) d1)
(* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2))))
(*.f64 (-.f64 d2 d3) d1)
(* -1 (* d2 (+ (* -1 d1) (/ (* d1 d3) d2))))
(*.f64 (-.f64 d2 d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(- (+ (* d1 d2) (* d1 d4)) (pow d1 2))
(*.f64 (-.f64 (+.f64 d4 d2) d1) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(+ (* d1 d2) (* d1 d4))
(*.f64 (+.f64 d4 d2) d1)
(+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4)))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(+ (* -1 (* d1 d3)) (* d1 d2))
(*.f64 (-.f64 d2 d3) d1)
(+ (* -1 (* d1 d3)) (* d1 d2))
(*.f64 (-.f64 d2 d3) d1)
(+ (* -1 (* d1 d3)) (* d1 d2))
(*.f64 (-.f64 d2 d3) d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d3) d1)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d3) d1)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1))
(.f64 (.f64 d1 (-.f64 (/.f64 (+.f64 d4 d2) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1))
(.f64 (.f64 d1 (-.f64 (/.f64 (+.f64 d4 d2) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) d1))
(.f64 (.f64 d1 (-.f64 (/.f64 (+.f64 d4 d2) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d3) d1)
(* d3 (- (/ (* d1 d2) d3) d1))
(.f64 (-.f64 (/.f64 (.f64 d2 d1) d3) d1) d3)
(* d3 (- (/ (* d1 d2) d3) d1))
(.f64 (-.f64 (/.f64 (.f64 d2 d1) d3) d1) d3)
(* d3 (- (/ (* d1 d2) d3) d1))
(.f64 (-.f64 (/.f64 (.f64 d2 d1) d3) d1) d3)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d3) d1)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d3) d1)
(* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (+.f64 d4 d2) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (+.f64 d4 d2) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (+ (* d1 d2) (* d1 d4)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (+.f64 d4 d2) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d3) d1)
(* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1))))
(.f64 (-.f64 (/.f64 (.f64 d2 d1) d3) d1) d3)
(* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1))))
(.f64 (-.f64 (/.f64 (.f64 d2 d1) d3) d1) d3)
(* -1 (* d3 (- (* -1 (/ (* d1 d2) d3)) (* -1 d1))))
(.f64 (-.f64 (/.f64 (.f64 d2 d1) d3) d1) d3)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- d2 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 (- d2 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 (- d2 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 (- d2 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(*.f64 (fma.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) d1 (neg.f64 d1)) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(*.f64 (fma.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) d1 (neg.f64 d1)) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(*.f64 (fma.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) d1 (neg.f64 d1)) d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- d2 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 (- d2 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 (- d2 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 (- d2 d3))
(*.f64 (-.f64 d2 d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(*.f64 (fma.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) d1 (neg.f64 d1)) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(*.f64 (fma.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) d1 (neg.f64 d1)) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(*.f64 (fma.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) d1 (neg.f64 d1)) d1)
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d1 (- (+ (* -1 d2) (* -1 d4)) (* -1 d3))))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* -1 (* d1 (- (* -1 d2) (* -1 d3))))
(*.f64 (-.f64 d2 d3) d1)
(* -1 (* d1 (- (* -1 d2) (* -1 d3))))
(*.f64 (-.f64 d2 d3) d1)
(* -1 (* d1 (- (* -1 d2) (* -1 d3))))
(*.f64 (-.f64 d2 d3) d1)
(* -1 (* d1 (- (* -1 d2) (* -1 d3))))
(*.f64 (-.f64 d2 d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d3)
(*.f64 d3 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)

rewrite320.0ms (12.2%)

Memory

12.4MiB live, 257.4MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	45
0	18	39
1	76	35
2	694	33
0	8802	33

Stop Event

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

Counts

7 → 361

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
(-.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)
(*.f64 d1 d1)
(*.f64 d1 d3)
(*.f64 d4 d1)

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>

eval13.0ms (0.5%)

Memory: -4.3MiB live, 33.3MiB allocated
Compiler: Compiled 14 673 to 1 285 computations (91.2% saved)

prune1.0ms (0%)

Memory

2.6MiB live, 2.6MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	574	3	577
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	575	3	578

Accuracy

100.0%

Counts

578 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	27.1%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1))
▶	51.1%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1))
▶	27.0%	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1))

Status

Accuracy

Program

▶

27.1%

#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1))

▶

51.1%

#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1))

▶

27.0%

#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1))

Compiler

Compiled 13 to 19 computations (-46.2% saved)

simplify224.0ms (8.5%)

Memory

11.8MiB live, 49.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(neg.f64 d1)
cost-diff	0	(*.f64 (neg.f64 d1) d1)
cost-diff	0	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1))
cost-diff	0	(*.f64 d4 d1)
cost-diff	0	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1))
cost-diff	0	(*.f64 d2 d1)
cost-diff	0	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	75
0	22	69
1	44	63
2	96	57
3	267	57
4	709	57
5	1888	57
6	3022	57
7	3584	57
8	3584	57
9	3584	57
10	3664	57
11	3696	57
12	3696	57
0	3696	57

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1))
(*.f64 d2 d1)
d2
d1
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1))
(*.f64 d4 d1)
d4
d1
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1))
(*.f64 (neg.f64 d1) d1)
(neg.f64 d1)
d1

Outputs
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1))
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d1 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
d2
d1
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1))
(*.f64 d4 d1)
d4
d1
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1))
(*.f64 (neg.f64 d1) d1)
(neg.f64 d1)
d1

localize1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 (neg.f64 d1) d1)
accuracy	0	(neg.f64 d1)
accuracy	46.62853805777139	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1))
accuracy	0	(*.f64 d4 d1)
accuracy	31.31226608099947	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1))
accuracy	0	(*.f64 d2 d1)
accuracy	46.70380309402961	#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1))

Samples

0.0ms

4×

valid

Compiler

Compiled 94 to 27 computations (71.3% saved)

Precisions

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

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

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

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

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

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

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

series86.0ms (3.3%)

Memory

-18.2MiB live, 36.5MiB allocated

Counts

7 → 216

Calls

Call 1

Inputs
#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())
#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())
#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())
#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())
#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())
#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())
#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())

Outputs
#s(alt (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4)))) (taylor inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4))))) (taylor -inf d4) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2))) (taylor 0 d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2)))) (taylor inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2))))) (taylor -inf d2) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2)) (taylor 0 d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3)))) (taylor inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d1 d3)) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1)))) (taylor -inf d3) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor 0 d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor 0 d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 d4) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 (- (+ d2 (+ d4 (* -1 d1))) d3)) (taylor 0 d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor 0 d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor 0 d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor 0 d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor 0 d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor 0 d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor 0 d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor 0 d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor 0 d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor inf d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1)))) (taylor inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor inf d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor inf d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor inf d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor inf d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor inf d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor inf d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor inf d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor inf d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d2 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d2) (taylor -inf d1) (#s(alt (.f64 d2 d1) (patch (.f64 d2 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 d4 d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1)) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* d1 d4) (taylor -inf d1) (#s(alt (.f64 d4 d1) (patch (.f64 d4 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1)) (taylor -inf d1) (#s(alt #s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (.f64 (neg.f64 d1) d1)) (patch #s(approx (- (+ (- ( d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor -inf d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor -inf d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor -inf d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow d1 2)) (taylor -inf d1) (#s(alt (.f64 (neg.f64 d1) d1) (patch (.f64 (neg.f64 d1) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor -inf d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor -inf d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor -inf d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 d1) (taylor -inf d1) (#s(alt (neg.f64 d1) (patch (neg.f64 d1) #<representation binary64>) () ())) ())

Calls

12 calls:

Time	Variable		Point	Expression
40.0ms	d1	@	-inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d2 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d4 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* (neg d1) d1) (neg d1))
1.0ms	d1	@	inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d2 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d4 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* (neg d1) d1) (neg d1))
1.0ms	d1	@	0	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d2 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d4 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* (neg d1) d1) (neg d1))
1.0ms	d2	@	-inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d2 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d4 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* (neg d1) d1) (neg d1))
0.0ms	d4	@	-inf	((- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d2 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* d4 d1) (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (* (neg d1) d1) (neg d1))

simplify185.0ms (7.1%)

Memory

-21.3MiB live, 171.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	81	2178
1	257	1908
2	796	1716
3	3231	1572
0	8327	1554

Stop Event

1×	iter limit
1×	node limit

Counts

216 → 216

Calls

Call 1

Inputs
(- (* d1 d2) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (* d1 d2) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(- (* d1 d2) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(* d1 d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d1 d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(* d1 d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* d1 d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(- (* d1 d4) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(- (* d1 d4) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (* d1 d4) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(* d1 d2)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d1 d2)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(- (+ (* d1 d2) (* d1 d4)) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* d1 d2) (* d1 d4)) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* d1 d2) (* d1 d4)) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(* -1 (* d1 d3))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* -1 (* d1 d3))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* -1 (* d1 d3))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(* -1 (* d1 d3))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d1 d3))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d1 d3))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 (- (+ d2 d4) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 d1)
(* -1 d1)
(* -1 d1)
(* -1 d1)
(* -1 (pow d1 2))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* -1 (pow d1 2))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* -1 (pow d1 2))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 d1)
(* -1 d1)
(* -1 d1)
(* -1 d1)
(* -1 (pow d1 2))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* -1 (pow d1 2))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* d1 d4)
(* -1 (pow d1 2))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 (pow d1 2))
(* -1 d1)
(* -1 d1)
(* -1 d1)
(* -1 d1)

Outputs
(- (* d1 d2) (+ (* d1 d3) (pow d1 2)))
(*.f64 d1 (-.f64 (-.f64 d2 d1) d3))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (* d1 d2) (+ (* d1 d3) (pow d1 2)))
(*.f64 d1 (-.f64 (-.f64 d2 d1) d3))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(- (* d1 d2) (+ (* d1 d3) (pow d1 2)))
(*.f64 d1 (-.f64 (-.f64 d2 d1) d3))
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d4)
(*.f64 d4 d1)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d1 d4)
(*.f64 d4 d1)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d4 (- (+ d1 (/ (* d1 d2) d4)) (+ (/ (* d1 d3) d4) (/ (pow d1 2) d4))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(* -1 (* d4 (+ (* -1 d1) (* -1 (/ (- (* d1 d2) (+ (* d1 d3) (pow d1 2))) d4)))))
(*.f64 (fma.f64 (/.f64 d1 d4) (-.f64 (-.f64 d2 d1) d3) d1) d4)
(- (* d1 d4) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 d4 d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(- (* d1 d4) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 d4 d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (* d1 d4) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 d4 d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (+ (* d1 d3) (pow d1 2)))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d2 (- (+ d1 (/ (* d1 d4) d2)) (+ (/ (* d1 d3) d2) (/ (pow d1 2) d2))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (- (* d1 d4) (+ (* d1 d3) (pow d1 2))) d2)))))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (pow d1 2))
(*.f64 (-.f64 (+.f64 d4 d2) d1) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (pow d1 2))
(*.f64 (-.f64 (+.f64 d4 d2) d1) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* d1 d2) (* d1 d4)) (pow d1 2))
(*.f64 (-.f64 (+.f64 d4 d2) d1) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(- (+ (* -1 (* d1 d3)) (+ (* d1 d2) (* d1 d4))) (pow d1 2))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d1) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d1) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d1) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d3 (- (+ (/ (* d1 d2) d3) (/ (* d1 d4) d3)) (+ d1 (/ (pow d1 2) d3))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d1) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d1) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d1 d3))
(*.f64 (neg.f64 d1) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* -1 (* d3 (- (* -1 (/ (- (+ (* d1 d2) (* d1 d4)) (pow d1 2)) d3)) (* -1 d1))))
(.f64 (.f64 d1 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d1) d3) #s(literal 1 binary64))) d3)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 (- (+ d2 d4) d3))
(*.f64 (-.f64 (+.f64 d4 d2) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* d1 (- (+ d2 (+ d4 (* -1 d1))) d3))
(*.f64 (-.f64 (-.f64 (+.f64 d4 d2) d1) d3) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (+ (/ d2 d1) (/ d4 d1)) (+ 1 (/ d3 d1))))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* d1 d2)
(*.f64 d2 d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* d1 d4)
(*.f64 d4 d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* (pow d1 2) (- (* -1 (/ (- (+ (* -1 d2) (* -1 d4)) (* -1 d3)) d1)) 1))
(.f64 (.f64 (-.f64 (/.f64 (-.f64 (+.f64 d4 d2) d3) d1) #s(literal 1 binary64)) d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 (pow d1 2))
(*.f64 (neg.f64 d1) d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)
(* -1 d1)
(neg.f64 d1)

rewrite250.0ms (9.5%)

Memory

22.5MiB live, 213.5MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	70
0	22	64
1	83	58
2	694	52
0	8255	52

Stop Event

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

Counts

7 → 38

Calls

Call 1

Inputs
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1))
(*.f64 d2 d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1))
(*.f64 d4 d1)
#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1))
(*.f64 (neg.f64 d1) d1)
(neg.f64 d1)

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>

eval2.0ms (0.1%)

Memory: 5.2MiB live, 5.2MiB allocated
Compiler: Compiled 2 201 to 172 computations (92.2% saved)

prune1.0ms (0%)

Memory

2.6MiB live, 2.6MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	254	0	254
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	254	3	257

Accuracy

100.0%

Counts

257 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

27.1%

#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 (neg.f64 d1) d1))

✓

51.1%

#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d4 d1))

✓

27.0%

#s(approx (- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1)) (*.f64 d2 d1))

Compiler

Compiled 41 to 36 computations (12.2% saved)

regimes0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 15 to 11 computations (26.7% saved)

end0.0ms (0%)

Memory

0.0MiB live, 0.0MiB allocated

Calls

1 calls:

0.0ms

(-.f64 (+.f64 (-.f64 (*.f64 d1 d2) (*.f64 d1 d3)) (*.f64 d4 d1)) (*.f64 d1 d1))

start0.0ms (0%)

analyze0.0ms (0%)

sample875.0ms (33.4%)

explain3.0ms (0.1%)

preprocess178.0ms (6.8%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify117.0ms (4.5%)

localize1.0ms (0%)

series22.0ms (0.8%)

simplify345.0ms (13.2%)

rewrite320.0ms (12.2%)

eval13.0ms (0.5%)

prune1.0ms (0%)

simplify224.0ms (8.5%)

localize1.0ms (0%)

series86.0ms (3.3%)

simplify185.0ms (7.1%)

rewrite250.0ms (9.5%)

eval2.0ms (0.1%)

prune1.0ms (0%)

regimes0.0ms (0%)

end0.0ms (0%)

Profiling