Metrics for FastMath dist

analyze0.0ms (0%)

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 11 to 7 computations (36.4% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

sample763.0ms (34%)

Results

569.0ms

8256×

valid

Precisions

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

ival-mult: 143.0ms (73% of total)

ival-add: 43.0ms (22% of total)

const: 7.0ms (3.6% of total)

backward-pass: 3.0ms (1.5% of total)

Bogosity

preprocess54.0ms (2.4%)

Algorithm

2×	egg-herbie

Rules

1052×	`fnmadd-define`
798×	`fmsub-define`
780×	`fnmsub-define`
688×	`sum5-define`
658×	`fma-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	55
1	84	53
2	238	51
3	725	51
4	1982	51
5	3415	51
6	3968	51
7	3988	51
0	6	5
1	12	5
2	18	5
0	18	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))
(fnmsub d1 d2 (* d1 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)

explain96.0ms (4.3%)

FPErrors

Click to see full error table

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

Results

74.0ms

512×

valid

Compiler

Compiled 50 to 20 computations (60% saved)

Precisions

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

ival-mult: 9.0ms (75.3% of total)

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 11 computations (38.9% saved)

simplify4.0ms (0.2%)

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×	`fma-lowering-fma.f32`
8×	`fma-define`
8×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
1	15	25
2	18	25
0	18	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

localize43.0ms (1.9%)

Localize:

Found 5 expressions of interest:

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

Results

33.0ms

256×

valid

Compiler

Compiled 31 to 9 computations (71% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series10.0ms (0.4%)

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
2.0ms	d2	@	0	(+ (* d1 d2) (* d1 d3))
1.0ms	d1	@	inf	(+ (* d1 d2) (* d1 d3))
1.0ms	d1	@	0	(+ (* d1 d2) (* d1 d3))
1.0ms	d2	@	-inf	(* d1 (+ d2 d3))
0.0ms	d1	@	0	(* d1 (+ d2 d3))

rewrite308.0ms (13.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2878×	`-lowering-.f32`
2878×	`-lowering-.f64`
2186×	`fma-lowering-fma.f32`
2186×	`fma-lowering-fma.f64`
1928×	`fmsub-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	40	19
2	348	19
3	4335	19
0	8280	19

Stop Event

1×	iter limit
1×	node limit

Counts

5 → 286

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))))
(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 d3 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 d2 (/.f64 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)))))
(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 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))))))
(neg.f64 (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (-.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 (.f64 d1 (+.f64 d2 d3)) (-.f64 #s(literal 0 binary64) (.f64 d1 (-.f64 d2 d3)))) (-.f64 #s(literal 0 binary64) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (+.f64 (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3))))))) (.f64 (+.f64 (.f64 d1 (.f64 d1 (.f64 d2 d2))) (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (+.f64 (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2)))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 d1 (.f64 d2 (.f64 d1 (.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 (.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 (.f64 d1 (.f64 d2 d2))) (.f64 d1 (.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 (+.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 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 d1 (+.f64 d2 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 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3))))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2)))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 d1 (.f64 d2 (.f64 d1 (.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 (.f64 d1 (.f64 d2 d2))) (.f64 d1 (.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 #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 (.f64 d1 (+.f64 d2 d3)) (-.f64 #s(literal 0 binary64) (.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 (-.f64 (pow.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d2 d2))) (.f64 d1 (-.f64 d2 d3))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d3 d3))) (.f64 d1 (-.f64 d2 d3))) #s(literal 3 binary64))) (+.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 #s(literal 0 binary64) (-.f64 (.f64 d2 d2) (*.f64 d3 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 (+.f64 d2 d3) (.f64 d1 (.f64 d1 (-.f64 d2 d3)))) #s(literal 1 binary64)) (*.f64 d1 (-.f64 d2 d3)))
(/.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 #s(literal 0 binary64) (-.f64 (.f64 d2 d2) (*.f64 d3 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 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.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 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2)))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 d1 (.f64 d2 (.f64 d1 (.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 (.f64 d1 (.f64 d2 d2))) (.f64 d1 (.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))
(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 (.f64 d1 (+.f64 d2 d3)) (-.f64 #s(literal 0 binary64) (.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 d1 (-.f64 d2 d3))) (.f64 (+.f64 d2 d3) (.f64 d1 (*.f64 d1 (-.f64 d2 d3)))))
(.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)) (.f64 d1 (-.f64 d3 d2))) (/.f64 #s(literal 1 binary64) (*.f64 d1 (-.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 (.f64 (.f64 d1 (.f64 d1 d1)) (+.f64 (.f64 d2 (.f64 d2 d2)) (.f64 d3 (.f64 d3 d3)))) (+.f64 (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 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 (.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 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 d2)) (.f64 (.f64 d3 (-.f64 d3 d2)) (.f64 d3 (-.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 (.f64 d2 d2) (.f64 d3 (-.f64 d3 d2))) (-.f64 (.f64 d2 d2) (.f64 d3 (-.f64 d3 d2))))) (-.f64 (.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2))))
(+.f64 d2 d3)
(+.f64 d3 d2)
(+.f64 (.f64 d2 (/.f64 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 d2 (/.f64 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)))
(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 (.f64 d2 d2)) (.f64 d3 (.f64 d3 d3)))) (+.f64 (.f64 d2 d2) (.f64 d3 (-.f64 d3 d2)))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 d2 d2) (.f64 d3 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 #s(literal 0 binary64) (-.f64 (.f64 d2 d2) (.f64 d3 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 (-.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 d3 d3) (.f64 d2 d2)) (-.f64 d3 d2))
(/.f64 (-.f64 (.f64 d2 (.f64 d2 (.f64 d2 d2))) (.f64 d3 (.f64 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 (-.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 d3 (.f64 d3 (.f64 d3 d3)))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 d2 d2) (.f64 d3 d3)) (-.f64 d2 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 #s(literal 0 binary64) (-.f64 (.f64 d2 d2) (.f64 d3 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 (pow.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 d3 d3) (-.f64 d2 d3)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 d2 (/.f64 d2 (-.f64 d2 d3)))) (+.f64 (.f64 (/.f64 (.f64 d3 d3) (-.f64 d2 d3)) (/.f64 (.f64 d3 d3) (-.f64 d2 d3))) (.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (/.f64 (*.f64 d3 d3) (-.f64 d2 d3))))))
(/.f64 (-.f64 (.f64 (.f64 d2 (/.f64 d2 (-.f64 d2 d3))) (.f64 d2 (/.f64 d2 (-.f64 d2 d3)))) (.f64 (/.f64 (.f64 d3 d3) (-.f64 d2 d3)) (/.f64 (.f64 d3 d3) (-.f64 d2 d3)))) (+.f64 (.f64 d2 (/.f64 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 d2 d2) (*.f64 d3 d3)) #s(literal 1 binary64)) (-.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))))) (/.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 d3 (.f64 d3 (.f64 d3 d3)))) (/.f64 #s(literal 1 binary64) (-.f64 d2 d3))) (+.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 #s(literal 0 binary64) (-.f64 (.f64 d2 d2) (*.f64 d3 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 d2 d3)) (-.f64 (.f64 d2 d2) (*.f64 d3 d3)))
(.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 d2)) (.f64 (.f64 d3 (-.f64 d3 d2)) (.f64 d3 (-.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 (.f64 d2 d2) (.f64 d3 (-.f64 d3 d2))) (-.f64 (.f64 d2 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 (.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))))
(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 d3 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 d2 (/.f64 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)))))
(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 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))))))
(neg.f64 (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (-.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 (.f64 d1 (+.f64 d2 d3)) (-.f64 #s(literal 0 binary64) (.f64 d1 (-.f64 d2 d3)))) (-.f64 #s(literal 0 binary64) (.f64 d1 (-.f64 d2 d3))))
(/.f64 (+.f64 (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3))))))) (.f64 (+.f64 (.f64 d1 (.f64 d1 (.f64 d2 d2))) (.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)))) (+.f64 (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2)))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 d1 (.f64 d2 (.f64 d1 (.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 (.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 (.f64 d1 (.f64 d2 d2))) (.f64 d1 (.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 (+.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 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 d1 (+.f64 d2 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 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3))))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2)))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 d1 (.f64 d2 (.f64 d1 (.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 (.f64 d1 (.f64 d2 d2))) (.f64 d1 (.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 #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 (.f64 d1 (+.f64 d2 d3)) (-.f64 #s(literal 0 binary64) (.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 (-.f64 (pow.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d2 d2))) (.f64 d1 (-.f64 d2 d3))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 d1 (.f64 d1 (.f64 d3 d3))) (.f64 d1 (-.f64 d2 d3))) #s(literal 3 binary64))) (+.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 #s(literal 0 binary64) (-.f64 (.f64 d2 d2) (*.f64 d3 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 (+.f64 d2 d3) (.f64 d1 (.f64 d1 (-.f64 d2 d3)))) #s(literal 1 binary64)) (*.f64 d1 (-.f64 d2 d3)))
(/.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 #s(literal 0 binary64) (-.f64 (.f64 d2 d2) (*.f64 d3 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 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.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 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2)))))) (.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 (.f64 d1 (.f64 d3 d3)))) (.f64 d1 (.f64 d2 (.f64 d1 (.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 (.f64 d1 (.f64 d2 d2))) (.f64 d1 (.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))
(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 (.f64 d1 (+.f64 d2 d3)) (-.f64 #s(literal 0 binary64) (.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 d1 (-.f64 d2 d3))) (.f64 (+.f64 d2 d3) (.f64 d1 (*.f64 d1 (-.f64 d2 d3)))))
(.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)) (.f64 d1 (-.f64 d3 d2))) (/.f64 #s(literal 1 binary64) (*.f64 d1 (-.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 (.f64 (.f64 d1 (.f64 d1 d1)) (+.f64 (.f64 d2 (.f64 d2 d2)) (.f64 d3 (.f64 d3 d3)))) (+.f64 (.f64 (.f64 d1 (.f64 d2 (.f64 d1 (.f64 d1 (.f64 d2 d2))))) (.f64 d1 (.f64 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 (.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 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 d2)) (.f64 (.f64 d3 (-.f64 d3 d2)) (.f64 d3 (-.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 (.f64 d2 d2) (.f64 d3 (-.f64 d3 d2))) (-.f64 (.f64 d2 d2) (.f64 d3 (-.f64 d3 d2))))) (-.f64 (.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2))))
(*.f64 d1 d2)
(*.f64 d2 d1)
(*.f64 d1 d3)
(*.f64 d3 d1)

simplify160.0ms (7.1%)

Algorithm

1×	egg-herbie

Rules

1980×	`fnmadd-define`
1716×	`fmsub-define`
1668×	`fnmsub-define`
1552×	`times-frac`
1492×	`fmm-def`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	540
1	159	540
2	451	540
3	1397	540
4	4865	540
0	8120	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)

eval57.0ms (2.5%)

Compiler: Compiled 9649 to 512 computations (94.7% saved)

prune27.0ms (1.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	428	2	430
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	428	4	432

Accuracy

100.0%

Counts

432 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.5%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
▶	53.9%	(*.f64 d1 d3)
▶	54.0%	(*.f64 d1 d2)

Compiler

Compiled 30 to 19 computations (36.7% saved)

simplify4.0ms (0.2%)

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

localize60.0ms (2.7%)

Localize:

Found 2 expressions of interest:

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

Results

55.0ms

256×

valid

Compiler

Compiled 14 to 6 computations (57.1% saved)

Precisions

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

ival-mult: 4.0ms (83.2% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series1.0ms (0%)

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	@	-inf	(* d1 d2)
0.0ms	d1	@	0	(* d1 d2)
0.0ms	d1	@	inf	(* d1 d2)
0.0ms	d1	@	-inf	(* d1 d3)
0.0ms	d3	@	-inf	(* d1 d3)

rewrite23.0ms (1%)

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)

simplify6.0ms (0.3%)

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%)

Compiler: Compiled 159 to 7 computations (95.6% saved)

prune2.0ms (0.1%)

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.5%	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	100.0%	(*.f64 d1 (+.f64 d2 d3))
✓	53.9%	(*.f64 d1 d3)
✓	54.0%	(*.f64 d1 d2)

Compiler

Compiled 51 to 27 computations (47.1% saved)

regimes22.0ms (1%)

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:

15.0ms	d2
2.0ms	d1
2.0ms	d3
2.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 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%)

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	d1
2.0ms	d3
1.0ms	d2

Results

Accuracy	Segments	Branch
64.1%	4	`d1`
83.6%	2	`d2`
85.2%	2	`d3`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes4.0ms (0.2%)

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	d2
1.0ms	d3
1.0ms	d1

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch30.0ms (1.3%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
29.0ms	3.4551607787032026e-69	4.6260239078576057e-69

Results

27.0ms

64×

valid

Compiler

Compiled 72 to 51 computations (29.2% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

simplify7.0ms (0.3%)

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 d3 #s(literal 4468138452119177/971334446112864535459730953411759453321203419526069760625906204869452142602604249088 binary64)) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

Outputs

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

(if (<=.f64 d3 #s(literal 4468138452119177/971334446112864535459730953411759453321203419526069760625906204869452142602604249088 binary64)) (*.f64 d1 d2) (*.f64 d1 d3))

(*.f64 d1 d2)

soundness442.0ms (19.7%)

Rules

1980×	`fnmadd-define`
1716×	`fmsub-define`
1668×	`fnmsub-define`
1552×	`times-frac`
1492×	`fmm-def`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	540
1	159	540
2	451	540
3	1397	540
4	4865	540
0	8120	540
0	6	5
1	12	5
2	18	5
0	18	5

Stop Event

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

Compiler

Compiled 71 to 42 computations (40.8% saved)

preprocess106.0ms (4.7%)

Remove

(sort d2 d3)

(negabs d1)

Compiler

Compiled 142 to 82 computations (42.3% saved)

FastMath dist

analyze0.0ms (0%)

sample763.0ms (34%)

preprocess54.0ms (2.4%)

explain96.0ms (4.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.2%)

localize43.0ms (1.9%)

series10.0ms (0.4%)

rewrite308.0ms (13.7%)

simplify160.0ms (7.1%)

eval57.0ms (2.5%)

prune27.0ms (1.2%)

simplify4.0ms (0.2%)

localize60.0ms (2.7%)

series1.0ms (0%)

rewrite23.0ms (1%)

simplify6.0ms (0.3%)

eval5.0ms (0.2%)

prune2.0ms (0.1%)

regimes22.0ms (1%)

regimes5.0ms (0.2%)

regimes4.0ms (0.2%)

bsearch30.0ms (1.3%)

simplify7.0ms (0.3%)

soundness442.0ms (19.7%)

preprocess106.0ms (4.7%)

end0.0ms (0%)

Profiling