Metrics for FastMath dist

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample953.0ms (30.9%)

Memory

-2.1MiB live, 789.9MiB allocated

Samples

692.0ms

8 256×

valid

Precisions

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

ival-mult: 353.0ms (88.2% of total)

ival-add: 39.0ms (9.7% of total)

ival-true: 5.0ms (1.2% of total)

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

Bogosity

preprocess29.0ms (0.9%)

Memory

24.0MiB live, 63.0MiB allocated

Algorithm

2×	egg-herbie

Rules

158×	`unsub-neg`
130×	`associate-l`
116×	`associate-r`
106×	`distribute-lft-neg-in`
94×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	55
1	75	53
2	177	51
3	431	51
4	746	51
5	1049	51
6	1058	51
0	6	5
1	11	5
2	14	5
0	14	5

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(+ (* d1 d2) (* d1 d3))

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

Call 2

Inputs
(+ (* d1 d2) (* d1 d3))
(+ (* (neg d1) d2) (* (neg d1) d3))
(+ (* d1 (neg d2)) (* d1 d3))
(+ (* d1 d2) (* d1 (neg d3)))
(neg (+ (* (neg d1) d2) (* (neg d1) d3)))
(neg (+ (* d1 (neg d2)) (* d1 d3)))
(neg (+ (* d1 d2) (* d1 (neg d3))))
(+ (* d2 d1) (* d2 d3))
(+ (* d3 d2) (* d3 d1))
(+ (* d1 d3) (* d1 d2))

Outputs
(+ (* d1 d2) (* d1 d3))
(* d1 (+ d2 d3))
(+ (* (neg d1) d2) (* (neg d1) d3))
(* d1 (- (neg d2) d3))
(+ (* d1 (neg d2)) (* d1 d3))
(* d1 (- d3 d2))
(+ (* d1 d2) (* d1 (neg d3)))
(* d1 (- d2 d3))
(neg (+ (* (neg d1) d2) (* (neg d1) d3)))
(* d1 (+ d2 d3))
(neg (+ (* d1 (neg d2)) (* d1 d3)))
(* d1 (- d2 d3))
(neg (+ (* d1 d2) (* d1 (neg d3))))
(* d1 (- d3 d2))
(+ (* d2 d1) (* d2 d3))
(* d2 (+ d1 d3))
(+ (* d3 d2) (* d3 d1))
(* d3 (+ d1 d2))
(+ (* d1 d3) (* d1 d2))
(* d1 (+ d2 d3))

Symmetry

(negabs d1)

(sort d2 d3)

explain68.0ms (2.2%)

Memory

6.9MiB live, 160.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
8	-	-	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`
0	-	-	`d2`
0	-	-	`d1`
0	-	-	`d3`
0	-	-	`(*.f64 d1 d2)`
0	-	-	`(*.f64 d1 d3)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`	nan-rescue	8	0
↳	`(*.f64 d1 d2)`	overflow	33
↳	`(*.f64 d1 d3)`	overflow	32

Confusion

	Predicted +	Predicted -
+	8	0
-	0	248

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	8	0	0
-	0	0	248

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	248
1	8

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

23.0ms

512×

valid

Compiler

Compiled 56 to 28 computations (50% saved)

Precisions

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

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

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

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

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

eval0.0ms (0%)

Memory: 0.7MiB live, 0.7MiB allocated
Compiler: Compiled 8 to 5 computations (37.5% saved)

prune1.0ms (0%)

Memory

2.5MiB live, 2.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	96.9%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
▶	100.0%	(*.f64 d1 (+.f64 d2 d3))

Compiler

Compiled 18 to 11 computations (38.9% saved)

simplify5.0ms (0.2%)

Memory

-30.2MiB live, 9.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 5 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 d1 d3)
✓	cost-diff	0	(*.f64 d1 d2)
✓	cost-diff	128	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	cost-diff	0	(+.f64 d2 d3)
✓	cost-diff	0	(*.f64 d1 (+.f64 d2 d3))

Rules

12×	`-lowering-.f32`
12×	`-lowering-.f64`
8×	`+-lowering-+.f64`
8×	`+-lowering-+.f32`
8×	`accelerator-lowering-fma.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
1	14	25
0	14	25

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* d1 (+ d2 d3))
d1
(+ d2 d3)
d2
d3
(+ (* d1 d2) (* d1 d3))
(* d1 d2)
d1
d2
(* d1 d3)
d3

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

localize27.0ms (0.9%)

Memory

25.4MiB live, 64.6MiB allocated

Localize:

Found 5 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 d1 d3)
✓	accuracy	100.0%	(*.f64 d1 d2)
✓	accuracy	97.0%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	accuracy	100.0%	(+.f64 d2 d3)
✓	accuracy	100.0%	(*.f64 d1 (+.f64 d2 d3))

Samples

19.0ms

256×

valid

Compiler

Compiled 29 to 10 computations (65.5% saved)

Precisions

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

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

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

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

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

series18.0ms (0.6%)

Memory

-29.4MiB live, 18.1MiB allocated

Counts

5 → 144

Calls

Call 1

Inputs
#<alt (* d1 (+ d2 d3))>
#<alt (+ d2 d3)>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (* d1 d2)>
#<alt (* d1 d3)>

Outputs
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 d3)>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* d1 d2)>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt d3>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt d2>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt (* d2 (+ 1 (/ d3 d2)))>
#<alt d2>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt (* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))>
#<alt d2>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt (+ d2 d3)>
#<alt d3>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt (* d3 (+ 1 (/ d2 d3)))>
#<alt d3>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* d1 (+ d2 d3))>
#<alt (* -1 (* d1 (+ (* -1 d2) (* -1 d3))))>
#<alt (* -1 (* d1 (+ (* -1 d2) (* -1 d3))))>
#<alt (* -1 (* d1 (+ (* -1 d2) (* -1 d3))))>
#<alt (* -1 (* d1 (+ (* -1 d2) (* -1 d3))))>
#<alt (* d1 d3)>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (* d1 d2)>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d2 (+ d1 (/ (* d1 d3) d2)))>
#<alt (* d1 d2)>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))>
#<alt (* d1 d2)>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (+ (* d1 d2) (* d1 d3))>
#<alt (* d1 d3)>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d3 (+ d1 (/ (* d1 d2) d3)))>
#<alt (* d1 d3)>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt (* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>

Calls

36 calls:

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

rewrite491.0ms (15.9%)

Memory

12.9MiB live, 902.5MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

5 288×	`accelerator-lowering-fma.f32`
5 288×	`accelerator-lowering-fma.f64`
4 488×	`/-lowering-/.f32`
4 488×	`/-lowering-/.f64`
4 488×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	39	19
2	301	19
3	3262	19
0	8969	19

Stop Event

1×	iter limit
1×	node limit

Counts

5 → 506

Calls

Call 1

Inputs
(* d1 (+ d2 d3))
(+ d2 d3)
(+ (* d1 d2) (* d1 d3))
(* d1 d2)
(* d1 d3)

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

simplify250.0ms (8.1%)

Memory

19.7MiB live, 414.1MiB allocated

Algorithm

1×	egg-herbie

Rules

3 920×	`accelerator-lowering-fma.f32`
3 920×	`accelerator-lowering-fma.f64`
2 832×	`/-lowering-/.f32`
2 832×	`/-lowering-/.f64`
2 672×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	540
1	151	540
2	400	540
3	1157	540
4	3193	540
5	3840	540
6	4203	540
7	4522	540
8	4622	540
9	4647	540
10	7297	540
0	8061	540

Stop Event

1×	iter limit
1×	node limit

Counts

144 → 144

Calls

Call 1

Inputs
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 d3)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* d1 d2)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
d3
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
d2
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
(* d2 (+ 1 (/ d3 d2)))
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
d2
(+ d2 d3)
(+ d2 d3)
(+ d2 d3)
d3
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
(* d3 (+ 1 (/ d2 d3)))
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 d3))
(* d1 (+ d2 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 d3)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(* d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(* d1 d2)
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(+ (* d1 d2) (* d1 d3))
(* d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(* d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)

Outputs
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
d3
(+ d2 d3)
(+.f64 d2 d3)
(+ d2 d3)
(+.f64 d2 d3)
(+ d2 d3)
(+.f64 d2 d3)
d2
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d2 d3)
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d2 d3)
(* d2 (+ 1 (/ d3 d2)))
(+.f64 d2 d3)
d2
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d2 d3)
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d2 d3)
(* -1 (* d2 (- (* -1 (/ d3 d2)) 1)))
(+.f64 d2 d3)
d2
(+ d2 d3)
(+.f64 d2 d3)
(+ d2 d3)
(+.f64 d2 d3)
(+ d2 d3)
(+.f64 d2 d3)
d3
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d2 d3)
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d2 d3)
(* d3 (+ 1 (/ d2 d3)))
(+.f64 d2 d3)
d3
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d2 d3)
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d2 d3)
(* -1 (* d3 (- (* -1 (/ d2 d3)) 1)))
(+.f64 d2 d3)
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 (+ d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d1 (+ (* -1 d2) (* -1 d3))))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d2 (+ d1 (/ (* d1 d3) d2)))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d2 (+ (* -1 d1) (* -1 (/ (* d1 d3) d2)))))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+ (* d1 d2) (* d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d3 (+ d1 (/ (* d1 d2) d3)))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d3)
(*.f64 d1 d3)
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(* -1 (* d3 (+ (* -1 d1) (* -1 (/ (* d1 d2) d3)))))
(*.f64 d1 (+.f64 d2 d3))
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)

eval76.0ms (2.5%)

Memory: -24.7MiB live, 165.9MiB allocated
Compiler: Compiled 20 426 to 1 021 computations (95% saved)

prune100.0ms (3.2%)

Memory

33.2MiB live, 71.8MiB allocated

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	648	2	650
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	648	4	652

Accuracy

100.0%

Counts

652 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.9%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	52.0%	(*.f64 d1 d3)
▶	55.5%	(*.f64 d1 d2)

Compiler

Compiled 30 to 19 computations (36.7% saved)

simplify26.0ms (0.8%)

Memory

-33.7MiB live, 4.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 d1 d3)
✓	cost-diff	0	(*.f64 d1 d2)

Rules

8×	`-lowering-.f32`
8×	`-lowering-.f64`
4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	7	10
0	7	10

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* d1 d2)
d1
d2
(* d1 d3)
d1
d3

Outputs
(* d1 d2)
(*.f64 d1 d2)
d1
d2
(* d1 d3)
(*.f64 d1 d3)
d1
d3

localize15.0ms (0.5%)

Memory

23.3MiB live, 23.3MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 d1 d3)
✓	accuracy	100.0%	(*.f64 d1 d2)

Samples

10.0ms

256×

valid

Compiler

Compiled 12 to 7 computations (41.7% saved)

Precisions

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

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

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

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

series1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Counts

2 → 48

Calls

Call 1

Inputs
#<alt (* d1 d2)>
#<alt (* d1 d3)>

Outputs
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d2)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>
#<alt (* d1 d3)>

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	0	(* d1 d2)
0.0ms	d1	@	-inf	(* d1 d2)
0.0ms	d1	@	inf	(* d1 d2)
0.0ms	d2	@	-inf	(* d1 d2)
0.0ms	d3	@	-inf	(* d1 d3)

rewrite8.0ms (0.3%)

Memory

8.0MiB live, 8.0MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

8×	`-lowering-.f32`
8×	`-lowering-.f64`
4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	7	6
0	7	6

Stop Event

1×	iter limit
1×	saturated

Counts

2 → 4

Calls

Call 1

Inputs
(* d1 d2)
(* d1 d3)

Outputs
(*.f64 d1 d2)
(*.f64 d2 d1)
(*.f64 d1 d3)
(*.f64 d3 d1)

simplify15.0ms (0.5%)

Memory

-36.7MiB live, 9.9MiB allocated

Algorithm

1×	egg-herbie

Rules

8×	`-lowering-.f32`
8×	`-lowering-.f64`
4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	144
1	7	144
0	7	144

Stop Event

1×	iter limit
1×	saturated

Counts

48 → 48

Calls

Call 1

Inputs
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d2)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)
(* d1 d3)

Outputs
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d2)
(*.f64 d1 d2)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)
(* d1 d3)
(*.f64 d1 d3)

eval5.0ms (0.2%)

Memory: 9.7MiB live, 9.7MiB allocated
Compiler: Compiled 159 to 7 computations (95.6% saved)

prune2.0ms (0.1%)

Memory

7.8MiB live, 7.8MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	52	4	56

Accuracy

100.0%

Counts

56 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.9%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	52.0%	(*.f64 d1 d3)
✓	55.5%	(*.f64 d1 d2)

Compiler

Compiled 51 to 27 computations (47.1% saved)

regimes10.0ms (0.3%)

Memory

-12.9MiB live, 25.9MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	d1
2.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
2.0ms	d2
2.0ms	d3

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`d3`
100.0%	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes5.0ms (0.2%)

Memory

15.3MiB live, 15.3MiB allocated

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 d1 d2)
(*.f64 d1 d3)

Outputs
(*.f64 d1 d2)
(*.f64 d1 d3)

Calls

3 calls:

2.0ms	d3
2.0ms	d2
2.0ms	d1

Results

Accuracy	Segments	Branch
70.1%	8	`d1`
87.4%	2	`d2`
87.4%	2	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes4.0ms (0.1%)

Memory

12.8MiB live, 12.8MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)

Calls

3 calls:

1.0ms	d1
1.0ms	d2
1.0ms	d3

Results

Accuracy	Segments	Branch
55.5%	1	`d1`
55.5%	1	`d3`
55.5%	1	`d2`

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch9.0ms (0.3%)

Memory

-20.7MiB live, 17.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
8.0ms	-7.988085757962544e-32	-1.7275292602108698e-32

Samples

4.0ms

96×

valid

Compiler

Compiled 97 to 72 computations (25.8% saved)

Precisions

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

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

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

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

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

simplify7.0ms (0.2%)

Memory

18.1MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	14	18

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 d3))
(if (<=.f64 d2 #s(literal -2374940160662717/45671926166590716193865151022383844364247891968 binary64)) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

Outputs
(*.f64 d1 (+.f64 d2 d3))
(if (<=.f64 d2 #s(literal -2374940160662717/45671926166590716193865151022383844364247891968 binary64)) (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 d2)

soundness881.0ms (28.6%)

Memory

-28.0MiB live, 379.7MiB allocated

Rules

3 920×	`accelerator-lowering-fma.f32`
3 920×	`accelerator-lowering-fma.f64`
2 832×	`/-lowering-/.f32`
2 832×	`/-lowering-/.f64`
2 672×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	5
1	11	5
2	14	5
0	14	5
0	44	540
1	151	540
2	400	540
3	1157	540
4	3193	540
5	3840	540
6	4203	540
7	4522	540
8	4622	540
9	4647	540
10	7297	540
0	8061	540

Stop Event

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

Compiler

Compiled 71 to 42 computations (40.8% saved)

preprocess77.0ms (2.5%)

Memory

5.8MiB live, 82.1MiB allocated

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 142 to 82 computations (42.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

sample953.0ms (30.9%)

preprocess29.0ms (0.9%)

explain68.0ms (2.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify5.0ms (0.2%)

localize27.0ms (0.9%)

series18.0ms (0.6%)

rewrite491.0ms (15.9%)

simplify250.0ms (8.1%)

eval76.0ms (2.5%)

prune100.0ms (3.2%)

simplify26.0ms (0.8%)

localize15.0ms (0.5%)

series1.0ms (0%)

rewrite8.0ms (0.3%)

simplify15.0ms (0.5%)

eval5.0ms (0.2%)

prune2.0ms (0.1%)

regimes10.0ms (0.3%)

regimes5.0ms (0.2%)

regimes4.0ms (0.1%)

bsearch9.0ms (0.3%)

simplify7.0ms (0.2%)

soundness881.0ms (28.6%)

preprocess77.0ms (2.5%)

end0.0ms (0%)

Profiling