Metrics for Expression, p6

start0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

analyze1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

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

Compiler

Compiled 41 to 33 computations (19.5% saved)

sample1.9s (39.9%)

Memory

14.3MiB live, 2 017.2MiB allocated; 522ms collecting garbage

Samples

1.3s

8 256×

valid

Precisions

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

ival-<=: 347.0ms (41.2% of total)

ival-mult: 219.0ms (26% of total)

ival-add: 200.0ms (23.7% of total)

ival-and: 41.0ms (4.9% of total)

exact: 30.0ms (3.6% of total)

adjust: 3.0ms (0.4% of total)

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

Bogosity

explain106.0ms (2.2%)

Memory

0.5MiB live, 146.8MiB allocated; 15ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
89	19	(-13.31663119254287 -2.956371000508744 3.0478370558275696 13.167162761496183)	41	(-13.16640658908739 -2.5836812934234463 3.388012338706222 12.51979761771784)	`(+.f64 a (+.f64 b (+.f64 c d)))`
0	0	-	0	-	`a`
0	0	-	0	-	`d`
0	0	-	0	-	`(+.f64 c d)`
0	0	-	0	-	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))`
0	0	-	0	-	`(+.f64 b (+.f64 c d))`
0	0	-	0	-	`c`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`b`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 a (+.f64 b (+.f64 c d)))`	cancellation	67	76

Confusion

	Predicted +	Predicted -
+	57	69
-	10	120

Precision

0.8507462686567164

Recall

0.4523809523809524

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	57	49	20
-	10	27	93

Precision?

0.7412587412587412

Recall?

0.8412698412698413

Freqs

test

number	freq
0	189
1	67

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

27.0ms

512×

valid

Compiler

Compiled 71 to 31 computations (56.3% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

preprocess228.0ms (4.8%)

Memory

17.4MiB live, 243.9MiB allocated; 53ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	134
1	133	134
2	434	134
3	2152	126
4	6041	126
5	7755	126
0	9	9
0	13	9
1	23	9
2	67	9
3	314	9
4	2095	9
5	5476	9
0	8311	9

Stop Event

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

Calls

Call 1

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

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

Symmetry

(sort a b c d)

Compiler

Compiled 9 to 9 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 9 computations (0% saved)

simplify155.0ms (3.2%)

Memory

31.2MiB live, 214.4MiB allocated; 33ms collecting garbage

Localize:

Found 4 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	29
0	13	29
1	23	29
2	67	29
3	314	29
4	2095	29
5	5476	29
0	8311	29

Stop Event

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

Calls

Call 1

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

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

localize52.0ms (1.1%)

Memory

-20.3MiB live, 37.7MiB allocated; 26ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(+.f64 c d)
accuracy	0.0	(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
accuracy	0.38185502930532605	(+.f64 b (+.f64 c d))
accuracy	2.932312962621592	(+.f64 a (+.f64 b (+.f64 c d)))

Samples

47.0ms

256×

valid

Compiler

Compiled 31 to 11 computations (64.5% saved)

Precisions

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

ival-add: 20.0ms (89.1% of total)

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series6.0ms (0.1%)

Memory

12.0MiB live, 12.0MiB allocated; 0ms collecting garbage

Counts

4 → 50

Calls

Call 1

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

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

Calls

12 calls:

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

simplify150.0ms (3.1%)

Memory

17.3MiB live, 152.1MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	137	412
1	455	412
2	1832	412
3	7401	412
0	8200	395

Stop Event

1×	iter limit
1×	node limit

Counts

50 → 46

Calls

Call 1

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

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

rewrite68.0ms (1.4%)

Memory

-7.6MiB live, 43.1MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	24
0	13	24
1	60	24
0	573	24

Stop Event

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

Counts

4 → 69

Calls

Call 1

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

Outputs
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 (+.f64 d c) b) a))
(*.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 2 binary64))
(/.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))) #s(literal 2 binary64)) (-.f64 a (+.f64 (+.f64 d c) b)))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) #s(literal 2 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a)))
(/.f64 (.f64 #s(literal 2 binary64) (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))) (-.f64 a (+.f64 (+.f64 d c) b)))
(/.f64 (.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a)))
(fma.f64 (+.f64 b a) #s(literal 2 binary64) (*.f64 (+.f64 d c) #s(literal 2 binary64)))
(fma.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a) (*.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)))
(fma.f64 #s(literal 2 binary64) (+.f64 b a) (*.f64 #s(literal 2 binary64) (+.f64 d c)))
(fma.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b) (*.f64 #s(literal 2 binary64) a))
(fma.f64 #s(literal 2 binary64) a (*.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)))
(fma.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64) (*.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)))
(fma.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64) (*.f64 a #s(literal 2 binary64)))
(fma.f64 a #s(literal 2 binary64) (*.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))
(+.f64 (.f64 (+.f64 b a) #s(literal 2 binary64)) (.f64 (+.f64 d c) #s(literal 2 binary64)))
(+.f64 (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64)))
(+.f64 (.f64 a #s(literal 2 binary64)) (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)))
(+.f64 (.f64 #s(literal 2 binary64) (+.f64 b a)) (.f64 #s(literal 2 binary64) (+.f64 d c)))
(+.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)) (.f64 #s(literal 2 binary64) a))
(+.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)))
(+.f64 (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)))
(+.f64 (+.f64 (+.f64 (+.f64 d c) b) a) (+.f64 (+.f64 (+.f64 d c) b) a))
(/.f64 (-.f64 (*.f64 (+.f64 b a) (+.f64 b a)) (pow.f64 (+.f64 d c) #s(literal 2 binary64))) (-.f64 (+.f64 b a) (+.f64 d c)))
(/.f64 (-.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (*.f64 a a)) (-.f64 (+.f64 (+.f64 d c) b) a))
(/.f64 (+.f64 (pow.f64 (+.f64 b a) #s(literal 3 binary64)) (pow.f64 (+.f64 d c) #s(literal 3 binary64))) (fma.f64 (+.f64 b a) (+.f64 b a) (-.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (*.f64 (+.f64 b a) (+.f64 d c)))))
(/.f64 (neg.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))) (neg.f64 (-.f64 a (+.f64 (+.f64 d c) b))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (*.f64 a a))))
(/.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))) (-.f64 a (+.f64 (+.f64 d c) b)))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 (+.f64 (+.f64 d c) b) a))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (*.f64 a a)))
(-.f64 (/.f64 (*.f64 a a) (-.f64 a (+.f64 (+.f64 d c) b))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 a (+.f64 (+.f64 d c) b))))
(+.f64 (+.f64 (+.f64 b a) d) c)
(+.f64 (+.f64 (+.f64 b a) c) d)
(+.f64 (+.f64 a (+.f64 c b)) d)
(+.f64 (+.f64 a (+.f64 d c)) b)
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))))
(+.f64 (+.f64 b a) (+.f64 d c))
(+.f64 (+.f64 c b) (+.f64 d a))
(+.f64 (+.f64 (+.f64 d c) b) a)
(+.f64 (+.f64 d c) (+.f64 b a))
(+.f64 b (+.f64 (+.f64 d c) a))
(+.f64 a (+.f64 (+.f64 d c) b))
(/.f64 (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (.f64 d d)) (-.f64 (+.f64 c b) d))
(/.f64 (-.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (*.f64 b b)) (-.f64 (+.f64 d c) b))
(/.f64 (+.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 (+.f64 c b) (+.f64 c b) (-.f64 (.f64 d d) (.f64 (+.f64 c b) d))))
(/.f64 (neg.f64 (-.f64 (*.f64 b b) (pow.f64 (+.f64 d c) #s(literal 2 binary64)))) (neg.f64 (-.f64 b (+.f64 d c))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d c) #s(literal 3 binary64)) (pow.f64 b #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 d c) (-.f64 (+.f64 d c) b) (*.f64 b b))))
(/.f64 (-.f64 (*.f64 b b) (pow.f64 (+.f64 d c) #s(literal 2 binary64))) (-.f64 b (+.f64 d c)))
(/.f64 (+.f64 (pow.f64 (+.f64 d c) #s(literal 3 binary64)) (pow.f64 b #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (-.f64 (.f64 b b) (.f64 (+.f64 d c) b))))
(/.f64 (+.f64 (pow.f64 (+.f64 d c) #s(literal 3 binary64)) (pow.f64 b #s(literal 3 binary64))) (fma.f64 (+.f64 d c) (-.f64 (+.f64 d c) b) (*.f64 b b)))
(-.f64 (/.f64 (*.f64 b b) (-.f64 b (+.f64 d c))) (/.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (-.f64 b (+.f64 d c))))
(+.f64 (+.f64 b d) c)
(+.f64 (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 (+.f64 d c) (-.f64 (+.f64 d c) b) (.f64 b b))) (/.f64 (pow.f64 (+.f64 d c) #s(literal 3 binary64)) (fma.f64 (+.f64 d c) (-.f64 (+.f64 d c) b) (.f64 b b))))
(+.f64 (+.f64 c b) d)
(+.f64 (+.f64 d c) b)
(+.f64 d (+.f64 c b))
(+.f64 c (+.f64 d b))
(+.f64 b (+.f64 d c))
(/.f64 (-.f64 (.f64 d d) (.f64 c c)) (-.f64 d c))
(/.f64 (neg.f64 (*.f64 (+.f64 d c) (-.f64 c d))) (neg.f64 (-.f64 c d)))
(/.f64 (neg.f64 (+.f64 (pow.f64 d #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))) (neg.f64 (fma.f64 d (-.f64 d c) (*.f64 c c))))
(/.f64 (*.f64 (+.f64 d c) (-.f64 c d)) (-.f64 c d))
(/.f64 (+.f64 (pow.f64 d #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 d d (-.f64 (.f64 c c) (.f64 d c))))
(/.f64 (+.f64 (pow.f64 d #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 d (-.f64 d c) (*.f64 c c)))
(-.f64 (/.f64 (.f64 c c) (-.f64 c d)) (/.f64 (.f64 d d) (-.f64 c d)))
(+.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))))
(+.f64 d c)
(+.f64 c d)

eval22.0ms (0.5%)

Memory: -12.0MiB live, 32.3MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 016 to 422 computations (79.1% saved)

prune5.0ms (0.1%)

Memory

9.6MiB live, 9.6MiB allocated; 0ms collecting garbage

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	108	4	112
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	4	113

Accuracy

100.0%

Counts

113 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 48 to 44 computations (8.3% saved)

simplify129.0ms (2.7%)

Memory

9.3MiB live, 146.8MiB allocated; 28ms collecting garbage

Localize:

Found 12 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	103
0	30	103
1	53	103
2	137	103
3	529	103
4	2830	103
5	6445	103
0	8039	103

Stop Event

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

Calls

Call 1

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

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

localize57.0ms (1.2%)

Memory

22.3MiB live, 106.6MiB allocated; 34ms collecting garbage

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(+.f64 (+.f64 c b) (+.f64 d a))
accuracy	0.0	(+.f64 d a)
accuracy	0.0	(+.f64 c b)
accuracy	0.0	(*.f64 (+.f64 (+.f64 c b) (+.f64 d a)) #s(literal 2 binary64))
accuracy	0.0	(+.f64 d c)
accuracy	0.0	(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
accuracy	2.932312962621592	(+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))
accuracy	50.25606397573744	#s(approx (+ b (+ c d)) (+.f64 d c))
accuracy	0.0	(*.f64 #s(literal 2 binary64) c)
accuracy	57.361026819081864	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
accuracy	0.0	(*.f64 #s(literal 2 binary64) b)
accuracy	59.30386398885587	#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))

Samples

37.0ms

256×

valid

Compiler

Compiled 85 to 18 computations (78.8% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series11.0ms (0.2%)

Memory

-31.8MiB live, 14.9MiB allocated; 7ms collecting garbage

Counts

12 → 59

Calls

Call 1

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

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

Calls

12 calls:

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

simplify164.0ms (3.4%)

Memory

20.7MiB live, 204.9MiB allocated; 51ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	162	479
1	530	479
2	1976	479
3	7634	479
0	8414	458

Stop Event

1×	iter limit
1×	node limit

Counts

59 → 55

Calls

Call 1

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

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

rewrite395.0ms (8.3%)

Memory

-74.7MiB live, 278.4MiB allocated; 130ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	90
0	30	90
1	136	90
2	1320	90
0	8406	90

Stop Event

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

Counts

12 → 353

Calls

Call 1

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

Outputs
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) b))
(*.f64 #s(literal 2 binary64) b)
(*.f64 b #s(literal 2 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) b) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 1 binary64) b) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) b) (.f64 #s(literal 1 binary64) b) (-.f64 (.f64 (.f64 #s(literal 1 binary64) b) (.f64 #s(literal 1 binary64) b)) (.f64 (.f64 #s(literal 1 binary64) b) (.f64 #s(literal 1 binary64) b)))))
(/.f64 (+.f64 (pow.f64 (.f64 b #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 b #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 b #s(literal 1 binary64)) (.f64 b #s(literal 1 binary64)) (-.f64 (.f64 (.f64 b #s(literal 1 binary64)) (.f64 b #s(literal 1 binary64))) (.f64 (.f64 b #s(literal 1 binary64)) (.f64 b #s(literal 1 binary64))))))
(/.f64 (neg.f64 (-.f64 (.f64 b b) (.f64 b b))) (neg.f64 (-.f64 b b)))
(/.f64 (neg.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 b #s(literal 3 binary64)))) (neg.f64 (fma.f64 b b (-.f64 (.f64 b b) (.f64 b b)))))
(/.f64 (-.f64 (.f64 b b) (.f64 b b)) (-.f64 b b))
(/.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 b #s(literal 3 binary64))) (fma.f64 b b (-.f64 (.f64 b b) (.f64 b b))))
(fma.f64 #s(literal 1 binary64) b (*.f64 #s(literal 1 binary64) b))
(fma.f64 b #s(literal 1 binary64) (*.f64 b #s(literal 1 binary64)))
(-.f64 (/.f64 (.f64 b b) (-.f64 b b)) (/.f64 (.f64 b b) (-.f64 b b)))
(+.f64 (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b b (-.f64 (.f64 b b) (.f64 b b)))) (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b b (-.f64 (.f64 b b) (.f64 b b)))))
(+.f64 (.f64 #s(literal 1 binary64) b) (.f64 #s(literal 1 binary64) b))
(+.f64 (.f64 b #s(literal 1 binary64)) (.f64 b #s(literal 1 binary64)))
(+.f64 b b)
#s(approx (* (+ a (+ b (+ c d))) 2) (*.f64 #s(literal 2 binary64) c))
(*.f64 #s(literal 2 binary64) c)
(*.f64 c #s(literal 2 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) c) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 1 binary64) c) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) c) (.f64 #s(literal 1 binary64) c) (-.f64 (.f64 (.f64 #s(literal 1 binary64) c) (.f64 #s(literal 1 binary64) c)) (.f64 (.f64 #s(literal 1 binary64) c) (.f64 #s(literal 1 binary64) c)))))
(/.f64 (+.f64 (pow.f64 (.f64 c #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 c #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 c #s(literal 1 binary64)) (.f64 c #s(literal 1 binary64)) (-.f64 (.f64 (.f64 c #s(literal 1 binary64)) (.f64 c #s(literal 1 binary64))) (.f64 (.f64 c #s(literal 1 binary64)) (.f64 c #s(literal 1 binary64))))))
(/.f64 (neg.f64 (-.f64 (.f64 c c) (.f64 c c))) (neg.f64 (-.f64 c c)))
(/.f64 (neg.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))) (neg.f64 (fma.f64 c c (-.f64 (.f64 c c) (.f64 c c)))))
(/.f64 (-.f64 (.f64 c c) (.f64 c c)) (-.f64 c c))
(/.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 c c (-.f64 (.f64 c c) (.f64 c c))))
(fma.f64 #s(literal 1 binary64) c (*.f64 #s(literal 1 binary64) c))
(fma.f64 c #s(literal 1 binary64) (*.f64 c #s(literal 1 binary64)))
(-.f64 (/.f64 (.f64 c c) (-.f64 c c)) (/.f64 (.f64 c c) (-.f64 c c)))
(+.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c c (-.f64 (.f64 c c) (.f64 c c)))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c c (-.f64 (.f64 c c) (.f64 c c)))))
(+.f64 (.f64 #s(literal 1 binary64) c) (.f64 #s(literal 1 binary64) c))
(+.f64 (.f64 c #s(literal 1 binary64)) (.f64 c #s(literal 1 binary64)))
(+.f64 c c)
(*.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) (-.f64 (.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a))) (.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 a #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 a #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64))) (.f64 (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 a #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 a #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64)) (-.f64 (.f64 (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))) (.f64 (.f64 a #s(literal 2 binary64)) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)) (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)) (-.f64 (.f64 (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)) (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64))) (.f64 (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)) (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) a) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))) (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) a)) (.f64 (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))) (.f64 #s(literal 2 binary64) a)))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) a) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) a) (-.f64 (.f64 (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))) (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c)))) (.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c)))))))
(/.f64 (+.f64 (pow.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 3 binary64)) (pow.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 3 binary64))) (fma.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (-.f64 (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))))
(/.f64 (+.f64 (-.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (.f64 a a)) (-.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (.f64 a a))) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a))
(/.f64 (+.f64 (neg.f64 (-.f64 (.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))))) (neg.f64 (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))))
(/.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))))) (neg.f64 (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (*.f64 a a))))
(/.f64 (+.f64 (-.f64 (.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))) (-.f64 (.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)))) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))))
(/.f64 (+.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a))))
(/.f64 (+.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (*.f64 a a)))
(/.f64 (neg.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))) #s(literal 2 binary64))) (neg.f64 (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))))
(/.f64 (neg.f64 (.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) #s(literal 2 binary64))) (neg.f64 (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))))
(/.f64 (neg.f64 (.f64 #s(literal 2 binary64) (-.f64 (.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))))) (neg.f64 (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))))
(/.f64 (neg.f64 (.f64 #s(literal 2 binary64) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))))) (neg.f64 (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))))
(/.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))) #s(literal 2 binary64)) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))))
(/.f64 (.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) #s(literal 2 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a)))
(/.f64 (.f64 #s(literal 2 binary64) (-.f64 (.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)))) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))))
(/.f64 (.f64 #s(literal 2 binary64) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a)))
(fma.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (*.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))
(fma.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64) (*.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)))
(fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64) (*.f64 a #s(literal 2 binary64)))
(fma.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c)) (*.f64 #s(literal 2 binary64) a))
(fma.f64 #s(literal 2 binary64) a (*.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))))
(fma.f64 a #s(literal 2 binary64) (*.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) (.f64 #s(literal 1 binary64) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))
(+.f64 (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64)))
(+.f64 (.f64 a #s(literal 2 binary64)) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)))
(+.f64 (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)) (.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))) (.f64 #s(literal 2 binary64) a))
(+.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) #s(approx (+ b (+ c d)) (+.f64 d c))))
(+.f64 (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 a a) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 a a) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) (/.f64 (.f64 a a) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) (fma.f64 (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) (.f64 (/.f64 (*.f64 a a) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))) (-.f64 (.f64 (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))) (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a)))) (.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))) (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (*.f64 a a))) (neg.f64 (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (*.f64 a a)))))
(/.f64 (-.f64 (.f64 (.f64 a a) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) (.f64 (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)))) (.f64 (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))))
(/.f64 (-.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (*.f64 a a)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a))
(/.f64 (neg.f64 (-.f64 (*.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)))) (neg.f64 (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (*.f64 a a))))
(/.f64 (-.f64 (*.f64 a a) (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64))) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))))
(/.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a))))
(/.f64 (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (*.f64 a a)))
(-.f64 (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)) (/.f64 (*.f64 a a) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))
(-.f64 (/.f64 (*.f64 a a) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))))
(+.f64 (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))))
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))) (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (+.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)))))
(+.f64 (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))))
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))) (/.f64 (pow.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) #s(literal 3 binary64)) (fma.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) (-.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a) (.f64 a a))))
(+.f64 (/.f64 (.f64 a a) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))) (/.f64 (.f64 (neg.f64 #s(approx (+ b (+ c d)) (+.f64 d c))) #s(approx (+ b (+ c d)) (+.f64 d c))) (-.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))))
(+.f64 #s(approx (+ b (+ c d)) (+.f64 d c)) a)
(+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c)))
#s(approx (+ b (+ c d)) (+.f64 d c))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 c c) (-.f64 c d)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 d d) (-.f64 c d)) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 c c) (-.f64 c d)) (/.f64 (.f64 c c) (-.f64 c d)) (fma.f64 (/.f64 (.f64 d d) (-.f64 c d)) (/.f64 (.f64 d d) (-.f64 c d)) (.f64 (/.f64 (.f64 c c) (-.f64 c d)) (/.f64 (*.f64 d d) (-.f64 c d))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 d d) (-.f64 d c)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 c c) (-.f64 d c)) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 d d) (-.f64 d c)) (/.f64 (.f64 d d) (-.f64 d c)) (fma.f64 (/.f64 (.f64 c c) (-.f64 d c)) (/.f64 (.f64 c c) (-.f64 d c)) (.f64 (/.f64 (.f64 d d) (-.f64 d c)) (/.f64 (*.f64 c c) (-.f64 d c))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) (-.f64 (.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c)))) (.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c)))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))) (-.f64 (.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d)))) (.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 d c) (-.f64 c d)))) (neg.f64 (neg.f64 (-.f64 c d))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 d c) (-.f64 d c)))) (neg.f64 (neg.f64 (-.f64 d c))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 d (-.f64 d c) (*.f64 c c)))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 c (-.f64 c d) (*.f64 d d)))))
(/.f64 (-.f64 (.f64 (.f64 c c) (-.f64 c d)) (.f64 (-.f64 c d) (.f64 d d))) (pow.f64 (-.f64 c d) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 d d) (-.f64 d c)) (.f64 (-.f64 d c) (.f64 c c))) (pow.f64 (-.f64 d c) #s(literal 2 binary64)))
(/.f64 (neg.f64 (*.f64 (+.f64 d c) (-.f64 c d))) (neg.f64 (-.f64 c d)))
(/.f64 (neg.f64 (*.f64 (+.f64 d c) (-.f64 d c))) (neg.f64 (-.f64 d c)))
(/.f64 (neg.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))) (neg.f64 (fma.f64 d (-.f64 d c) (*.f64 c c))))
(/.f64 (neg.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))) (neg.f64 (fma.f64 c (-.f64 c d) (*.f64 d d))))
(/.f64 (*.f64 (+.f64 d c) (-.f64 c d)) (-.f64 c d))
(/.f64 (*.f64 (+.f64 d c) (-.f64 d c)) (-.f64 d c))
(/.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 d (-.f64 d c) (*.f64 c c)))
(/.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 c (-.f64 c d) (*.f64 d d)))
(-.f64 (/.f64 (.f64 c c) (-.f64 c d)) (/.f64 (.f64 d d) (-.f64 c d)))
(-.f64 (/.f64 (.f64 d d) (-.f64 d c)) (/.f64 (.f64 c c) (-.f64 d c)))
(+.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))))
(+.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 d (-.f64 d c) (.f64 c c))))
(+.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))))
(+.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c (-.f64 c d) (.f64 d d))))
(+.f64 (/.f64 (.f64 c c) (-.f64 c d)) (/.f64 (.f64 (neg.f64 d) d) (-.f64 c d)))
(+.f64 (/.f64 (.f64 d d) (-.f64 d c)) (/.f64 (.f64 (neg.f64 c) c) (-.f64 d c)))
(+.f64 d c)
(+.f64 c d)
(*.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 (+.f64 d c) b) a))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) (-.f64 (.f64 (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a))) (.f64 (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a))))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 b a) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 d c) #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 b a) #s(literal 2 binary64)) (.f64 (+.f64 b a) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (+.f64 d c) #s(literal 2 binary64)) (.f64 (+.f64 d c) #s(literal 2 binary64))) (.f64 (.f64 (+.f64 b a) #s(literal 2 binary64)) (.f64 (+.f64 d c) #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 d a) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 c b) #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 d a) #s(literal 2 binary64)) (.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (+.f64 c b) #s(literal 2 binary64)) (.f64 (+.f64 c b) #s(literal 2 binary64))) (.f64 (.f64 (+.f64 d a) #s(literal 2 binary64)) (.f64 (+.f64 c b) #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 c b) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 d a) #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 c b) #s(literal 2 binary64)) (.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (+.f64 d a) #s(literal 2 binary64)) (.f64 (+.f64 d a) #s(literal 2 binary64))) (.f64 (.f64 (+.f64 c b) #s(literal 2 binary64)) (.f64 (+.f64 d a) #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 a #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 (.f64 a #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64))) (.f64 (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 a #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 a #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64)) (-.f64 (.f64 (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))) (.f64 (.f64 a #s(literal 2 binary64)) (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)) (-.f64 (.f64 (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64))) (.f64 (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 b a)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 d c)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) (+.f64 b a)) (.f64 #s(literal 2 binary64) (+.f64 b a)) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (+.f64 d c)) (.f64 #s(literal 2 binary64) (+.f64 d c))) (.f64 (.f64 #s(literal 2 binary64) (+.f64 b a)) (.f64 #s(literal 2 binary64) (+.f64 d c))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 d a)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 c b)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) (+.f64 d a)) (.f64 #s(literal 2 binary64) (+.f64 d a)) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (+.f64 c b)) (.f64 #s(literal 2 binary64) (+.f64 c b))) (.f64 (.f64 #s(literal 2 binary64) (+.f64 d a)) (.f64 #s(literal 2 binary64) (+.f64 c b))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 c b)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 d a)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) (+.f64 c b)) (.f64 #s(literal 2 binary64) (+.f64 c b)) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (+.f64 d a)) (.f64 #s(literal 2 binary64) (+.f64 d a))) (.f64 (.f64 #s(literal 2 binary64) (+.f64 c b)) (.f64 #s(literal 2 binary64) (+.f64 d a))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) a) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)) (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)) (-.f64 (.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) a)) (.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)) (.f64 #s(literal 2 binary64) a)))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) a) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) a) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)) (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b))) (.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b))))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 3 binary64)) (pow.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 3 binary64))) (fma.f64 (+.f64 (+.f64 (+.f64 d c) b) a) (+.f64 (+.f64 (+.f64 d c) b) a) (-.f64 (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) (+.f64 (+.f64 (+.f64 d c) b) a)) (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) (+.f64 (+.f64 (+.f64 d c) b) a)))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) c) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) c) (.f64 #s(literal 2 binary64) c) (-.f64 (.f64 (.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) (.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64))) (.f64 (.f64 #s(literal 2 binary64) c) (.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 2 binary64) c) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 b a) d)) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 2 binary64) c) (.f64 #s(literal 2 binary64) c) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 b a) d)) (.f64 #s(literal 2 binary64) (+.f64 (+.f64 b a) d))) (.f64 (.f64 #s(literal 2 binary64) c) (.f64 #s(literal 2 binary64) (+.f64 (+.f64 b a) d))))))
(/.f64 (+.f64 (-.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (pow.f64 (+.f64 d c) #s(literal 2 binary64))) (-.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (pow.f64 (+.f64 d c) #s(literal 2 binary64)))) (-.f64 (+.f64 b a) (+.f64 d c)))
(/.f64 (+.f64 (-.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))) (-.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) (-.f64 (+.f64 d a) (+.f64 c b)))
(/.f64 (+.f64 (-.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (.f64 a a)) (-.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (.f64 a a))) (-.f64 (+.f64 (+.f64 d c) b) a))
(/.f64 (+.f64 (-.f64 (.f64 c c) (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64))) (-.f64 (.f64 c c) (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)))) (-.f64 c (+.f64 (+.f64 b a) d)))
(/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 b a) #s(literal 3 binary64)) (pow.f64 (+.f64 d c) #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 b a) #s(literal 3 binary64)) (pow.f64 (+.f64 d c) #s(literal 3 binary64)))) (+.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (*.f64 (+.f64 b a) (+.f64 d c)))))
(/.f64 (+.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 3 binary64))) (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 3 binary64)))) (fma.f64 c c (-.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) (*.f64 c (+.f64 (+.f64 b a) d)))))
(/.f64 (+.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64)))) (neg.f64 (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64))))) (neg.f64 (-.f64 (-.f64 (+.f64 c b) a) d)))
(/.f64 (+.f64 (neg.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))) (neg.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))))) (neg.f64 (-.f64 a (+.f64 (+.f64 d c) b))))
(/.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))))
(/.f64 (+.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (*.f64 a a))))
(/.f64 (+.f64 (fma.f64 (.f64 (+.f64 d a) (-.f64 d a)) (-.f64 c b) (.f64 (-.f64 d a) (.f64 (+.f64 c b) (-.f64 c b)))) (fma.f64 (.f64 (+.f64 d a) (-.f64 d a)) (-.f64 c b) (.f64 (-.f64 d a) (.f64 (+.f64 c b) (-.f64 c b))))) (*.f64 (-.f64 d a) (-.f64 c b)))
(/.f64 (+.f64 (fma.f64 (.f64 (+.f64 d a) (-.f64 d a)) (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (-.f64 d a) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))))) (fma.f64 (.f64 (+.f64 d a) (-.f64 d a)) (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (-.f64 d a) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))))) (.f64 (-.f64 d a) (fma.f64 b (-.f64 b c) (.f64 c c))))
(/.f64 (+.f64 (fma.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (-.f64 c b) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (+.f64 c b) (-.f64 c b)))) (fma.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (-.f64 c b) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (+.f64 c b) (-.f64 c b))))) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (-.f64 c b)))
(/.f64 (+.f64 (fma.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))))) (fma.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))))) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (fma.f64 b (-.f64 b c) (*.f64 c c))))
(/.f64 (+.f64 (fma.f64 (.f64 (+.f64 c b) (-.f64 c b)) (-.f64 d a) (.f64 (-.f64 c b) (.f64 (+.f64 d a) (-.f64 d a)))) (fma.f64 (.f64 (+.f64 c b) (-.f64 c b)) (-.f64 d a) (.f64 (-.f64 c b) (.f64 (+.f64 d a) (-.f64 d a))))) (*.f64 (-.f64 c b) (-.f64 d a)))
(/.f64 (+.f64 (fma.f64 (.f64 (+.f64 c b) (-.f64 c b)) (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (-.f64 c b) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))))) (fma.f64 (.f64 (+.f64 c b) (-.f64 c b)) (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (-.f64 c b) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))))) (.f64 (-.f64 c b) (fma.f64 a (-.f64 a d) (.f64 d d))))
(/.f64 (+.f64 (fma.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (-.f64 d a) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (+.f64 d a) (-.f64 d a)))) (fma.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (-.f64 d a) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (+.f64 d a) (-.f64 d a))))) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (-.f64 d a)))
(/.f64 (+.f64 (fma.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))))) (fma.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))))) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (fma.f64 a (-.f64 a d) (*.f64 d d))))
(/.f64 (+.f64 (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64))) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64)))) (-.f64 (-.f64 (+.f64 c b) a) d))
(/.f64 (+.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))) (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))) (-.f64 a (+.f64 (+.f64 d c) b)))
(/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64)))) (+.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (*.f64 (+.f64 d a) (+.f64 c b)))))
(/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64)))) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))))
(/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 (+.f64 (+.f64 d c) b) a))))
(/.f64 (+.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (*.f64 a a)))
(/.f64 (neg.f64 (*.f64 (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64))) #s(literal 2 binary64))) (neg.f64 (-.f64 (-.f64 (+.f64 c b) a) d)))
(/.f64 (neg.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))) #s(literal 2 binary64))) (neg.f64 (-.f64 a (+.f64 (+.f64 d c) b))))
(/.f64 (neg.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))) #s(literal 2 binary64))) (neg.f64 (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) #s(literal 2 binary64))) (neg.f64 (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64))))) (neg.f64 (-.f64 (-.f64 (+.f64 c b) a) d)))
(/.f64 (neg.f64 (.f64 #s(literal 2 binary64) (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))))) (neg.f64 (-.f64 a (+.f64 (+.f64 d c) b))))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))))) (neg.f64 (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))))
(/.f64 (*.f64 (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64))) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d))
(/.f64 (.f64 (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))) #s(literal 2 binary64)) (-.f64 a (+.f64 (+.f64 d c) b)))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))) #s(literal 2 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) #s(literal 2 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a)))
(/.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64)))) (-.f64 (-.f64 (+.f64 c b) a) d))
(/.f64 (.f64 #s(literal 2 binary64) (-.f64 (.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))) (-.f64 a (+.f64 (+.f64 d c) b)))
(/.f64 (*.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64)))) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))))
(/.f64 (.f64 #s(literal 2 binary64) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a)))
(fma.f64 (+.f64 b a) #s(literal 2 binary64) (*.f64 (+.f64 d c) #s(literal 2 binary64)))
(fma.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a) (*.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)))
(fma.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64) (*.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)))
(fma.f64 (+.f64 d a) #s(literal 2 binary64) (*.f64 (+.f64 c b) #s(literal 2 binary64)))
(fma.f64 (+.f64 c b) #s(literal 2 binary64) (*.f64 (+.f64 d a) #s(literal 2 binary64)))
(fma.f64 #s(literal 2 binary64) (+.f64 b a) (*.f64 #s(literal 2 binary64) (+.f64 d c)))
(fma.f64 #s(literal 2 binary64) (+.f64 d a) (*.f64 #s(literal 2 binary64) (+.f64 c b)))
(fma.f64 #s(literal 2 binary64) (+.f64 c b) (*.f64 #s(literal 2 binary64) (+.f64 d a)))
(fma.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b) (*.f64 #s(literal 2 binary64) a))
(fma.f64 #s(literal 2 binary64) c (*.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)))
(fma.f64 #s(literal 2 binary64) c (*.f64 #s(literal 2 binary64) (+.f64 (+.f64 b a) d)))
(fma.f64 #s(literal 2 binary64) a (*.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)))
(fma.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64) (*.f64 a #s(literal 2 binary64)))
(fma.f64 c #s(literal 2 binary64) (*.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)))
(fma.f64 c #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) (+.f64 (+.f64 b a) d)))
(fma.f64 a #s(literal 2 binary64) (*.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) (.f64 #s(literal 1 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)))
(+.f64 (.f64 (+.f64 b a) #s(literal 2 binary64)) (.f64 (+.f64 d c) #s(literal 2 binary64)))
(+.f64 (.f64 (+.f64 d a) #s(literal 2 binary64)) (.f64 (+.f64 c b) #s(literal 2 binary64)))
(+.f64 (.f64 (+.f64 c b) #s(literal 2 binary64)) (.f64 (+.f64 d a) #s(literal 2 binary64)))
(+.f64 (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (.f64 a #s(literal 2 binary64)))
(+.f64 (.f64 a #s(literal 2 binary64)) (.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))
(+.f64 (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)) (.f64 (+.f64 (+.f64 (+.f64 d c) b) a) #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 2 binary64) (+.f64 b a)) (.f64 #s(literal 2 binary64) (+.f64 d c)))
(+.f64 (.f64 #s(literal 2 binary64) (+.f64 d a)) (.f64 #s(literal 2 binary64) (+.f64 c b)))
(+.f64 (.f64 #s(literal 2 binary64) (+.f64 c b)) (.f64 #s(literal 2 binary64) (+.f64 d a)))
(+.f64 (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)) (.f64 #s(literal 2 binary64) a))
(+.f64 (.f64 #s(literal 2 binary64) a) (.f64 #s(literal 2 binary64) (+.f64 (+.f64 d c) b)))
(+.f64 (+.f64 (+.f64 (+.f64 d c) b) a) (+.f64 (+.f64 (+.f64 d c) b) a))
(+.f64 (.f64 #s(literal 2 binary64) c) (.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)))
(+.f64 (.f64 #s(literal 2 binary64) c) (.f64 #s(literal 2 binary64) (+.f64 (+.f64 b a) d)))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) (/.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) (fma.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) (/.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) (*.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) (/.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 a a) (-.f64 a (+.f64 (+.f64 d c) b))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 a (+.f64 (+.f64 d c) b))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 a a) (-.f64 a (+.f64 (+.f64 d c) b))) (/.f64 (.f64 a a) (-.f64 a (+.f64 (+.f64 d c) b))) (fma.f64 (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 a (+.f64 (+.f64 d c) b))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 a (+.f64 (+.f64 d c) b))) (.f64 (/.f64 (*.f64 a a) (-.f64 a (+.f64 (+.f64 d c) b))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 a (+.f64 (+.f64 d c) b)))))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 b a) c) #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 (+.f64 (+.f64 b a) c) (+.f64 (+.f64 b a) c) (-.f64 (.f64 d d) (.f64 (+.f64 (+.f64 b a) c) d))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d a) c) #s(literal 3 binary64)) (pow.f64 b #s(literal 3 binary64))) (fma.f64 (+.f64 (+.f64 d a) c) (+.f64 (+.f64 d a) c) (-.f64 (.f64 b b) (.f64 (+.f64 (+.f64 d a) c) b))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 c b) a) #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 (+.f64 (+.f64 c b) a) (+.f64 (+.f64 c b) a) (-.f64 (.f64 d d) (.f64 (+.f64 (+.f64 c b) a) d))))
(/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 c b)) #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 (+.f64 a (+.f64 c b)) (+.f64 a (+.f64 c b)) (-.f64 (.f64 d d) (.f64 (+.f64 a (+.f64 c b)) d))))
(/.f64 (+.f64 (pow.f64 (+.f64 a (+.f64 d c)) #s(literal 3 binary64)) (pow.f64 b #s(literal 3 binary64))) (fma.f64 (+.f64 a (+.f64 d c)) (+.f64 a (+.f64 d c)) (-.f64 (.f64 b b) (.f64 (+.f64 a (+.f64 d c)) b))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) (-.f64 (.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))))) (.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) (-.f64 (.f64 (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a)))) (.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a)))))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) (-.f64 (.f64 c c) (.f64 (+.f64 (+.f64 b a) d) c))))
(/.f64 (+.f64 (pow.f64 (+.f64 d c) #s(literal 3 binary64)) (pow.f64 (+.f64 b a) #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (*.f64 (+.f64 d c) (+.f64 b a)))))
(/.f64 (+.f64 (pow.f64 d #s(literal 3 binary64)) (pow.f64 (+.f64 a (+.f64 c b)) #s(literal 3 binary64))) (fma.f64 d d (-.f64 (.f64 (+.f64 a (+.f64 c b)) (+.f64 a (+.f64 c b))) (.f64 d (+.f64 a (+.f64 c b))))))
(/.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 (+.f64 c (+.f64 d a)) #s(literal 3 binary64))) (fma.f64 b b (-.f64 (.f64 (+.f64 c (+.f64 d a)) (+.f64 c (+.f64 d a))) (.f64 b (+.f64 c (+.f64 d a))))))
(/.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 (+.f64 (+.f64 d c) a) #s(literal 3 binary64))) (fma.f64 b b (-.f64 (.f64 (+.f64 (+.f64 d c) a) (+.f64 (+.f64 d c) a)) (.f64 b (+.f64 (+.f64 d c) a)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (pow.f64 (+.f64 d c) #s(literal 2 binary64)))) (neg.f64 (-.f64 (+.f64 b a) (+.f64 d c))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) (neg.f64 (-.f64 (+.f64 d a) (+.f64 c b))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (*.f64 a a))) (neg.f64 (-.f64 (+.f64 (+.f64 d c) b) a)))
(/.f64 (neg.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)))) (neg.f64 (-.f64 c (+.f64 (+.f64 b a) d))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 b a) #s(literal 3 binary64)) (pow.f64 (+.f64 d c) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (*.f64 (+.f64 b a) (+.f64 d c))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 3 binary64)))) (neg.f64 (fma.f64 c c (-.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) (*.f64 c (+.f64 (+.f64 b a) d))))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 (-.f64 (+.f64 c b) a) d))))
(/.f64 (neg.f64 (neg.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))))) (neg.f64 (neg.f64 (-.f64 a (+.f64 (+.f64 d c) b)))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (*.f64 a a)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (+.f64 d a) (-.f64 d a)) (-.f64 c b) (.f64 (-.f64 d a) (.f64 (+.f64 c b) (-.f64 c b))))) (neg.f64 (.f64 (-.f64 d a) (-.f64 c b))))
(/.f64 (neg.f64 (fma.f64 (.f64 (+.f64 d a) (-.f64 d a)) (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (-.f64 d a) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))))) (neg.f64 (.f64 (-.f64 d a) (fma.f64 b (-.f64 b c) (*.f64 c c)))))
(/.f64 (neg.f64 (fma.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (-.f64 c b) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (+.f64 c b) (-.f64 c b))))) (neg.f64 (.f64 (fma.f64 a (-.f64 a d) (*.f64 d d)) (-.f64 c b))))
(/.f64 (neg.f64 (fma.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))))) (neg.f64 (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (fma.f64 b (-.f64 b c) (.f64 c c)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (+.f64 c b) (-.f64 c b)) (-.f64 d a) (.f64 (-.f64 c b) (.f64 (+.f64 d a) (-.f64 d a))))) (neg.f64 (.f64 (-.f64 c b) (-.f64 d a))))
(/.f64 (neg.f64 (fma.f64 (.f64 (+.f64 c b) (-.f64 c b)) (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (-.f64 c b) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))))) (neg.f64 (.f64 (-.f64 c b) (fma.f64 a (-.f64 a d) (*.f64 d d)))))
(/.f64 (neg.f64 (fma.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (-.f64 d a) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (+.f64 d a) (-.f64 d a))))) (neg.f64 (.f64 (fma.f64 b (-.f64 b c) (*.f64 c c)) (-.f64 d a))))
(/.f64 (neg.f64 (fma.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))))) (neg.f64 (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (fma.f64 a (-.f64 a d) (.f64 d d)))))
(/.f64 (-.f64 (.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) (.f64 (-.f64 (-.f64 (+.f64 c b) a) d) (pow.f64 (+.f64 d a) #s(literal 2 binary64)))) (*.f64 (-.f64 (-.f64 (+.f64 c b) a) d) (-.f64 (-.f64 (+.f64 c b) a) d)))
(/.f64 (-.f64 (.f64 (.f64 a a) (-.f64 a (+.f64 (+.f64 d c) b))) (.f64 (-.f64 a (+.f64 (+.f64 d c) b)) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))) (.f64 (-.f64 a (+.f64 (+.f64 d c) b)) (-.f64 a (+.f64 (+.f64 d c) b))))
(/.f64 (-.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (pow.f64 (+.f64 d c) #s(literal 2 binary64))) (-.f64 (+.f64 b a) (+.f64 d c)))
(/.f64 (-.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))) (-.f64 (+.f64 d a) (+.f64 c b)))
(/.f64 (-.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (*.f64 a a)) (-.f64 (+.f64 (+.f64 d c) b) a))
(/.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64))) (-.f64 c (+.f64 (+.f64 b a) d)))
(/.f64 (+.f64 (pow.f64 (+.f64 b a) #s(literal 3 binary64)) (pow.f64 (+.f64 d c) #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (*.f64 (+.f64 b a) (+.f64 d c)))))
(/.f64 (+.f64 (pow.f64 c #s(literal 3 binary64)) (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 3 binary64))) (fma.f64 c c (-.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) (*.f64 c (+.f64 (+.f64 b a) d)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64)))) (neg.f64 (-.f64 (-.f64 (+.f64 c b) a) d)))
(/.f64 (neg.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)))) (neg.f64 (-.f64 a (+.f64 (+.f64 d c) b))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (*.f64 (+.f64 d a) (+.f64 c b))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 (+.f64 (+.f64 d c) b) a)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (*.f64 a a))))
(/.f64 (fma.f64 (.f64 (+.f64 d a) (-.f64 d a)) (-.f64 c b) (.f64 (-.f64 d a) (.f64 (+.f64 c b) (-.f64 c b)))) (.f64 (-.f64 d a) (-.f64 c b)))
(/.f64 (fma.f64 (.f64 (+.f64 d a) (-.f64 d a)) (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (-.f64 d a) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))))) (.f64 (-.f64 d a) (fma.f64 b (-.f64 b c) (*.f64 c c))))
(/.f64 (fma.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (-.f64 c b) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (+.f64 c b) (-.f64 c b)))) (.f64 (fma.f64 a (-.f64 a d) (*.f64 d d)) (-.f64 c b)))
(/.f64 (fma.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))))) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (fma.f64 b (-.f64 b c) (.f64 c c))))
(/.f64 (fma.f64 (.f64 (+.f64 c b) (-.f64 c b)) (-.f64 d a) (.f64 (-.f64 c b) (.f64 (+.f64 d a) (-.f64 d a)))) (.f64 (-.f64 c b) (-.f64 d a)))
(/.f64 (fma.f64 (.f64 (+.f64 c b) (-.f64 c b)) (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (-.f64 c b) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))))) (.f64 (-.f64 c b) (fma.f64 a (-.f64 a d) (*.f64 d d))))
(/.f64 (fma.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (-.f64 d a) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (+.f64 d a) (-.f64 d a)))) (.f64 (fma.f64 b (-.f64 b c) (*.f64 c c)) (-.f64 d a)))
(/.f64 (fma.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))))) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (fma.f64 a (-.f64 a d) (.f64 d d))))
(/.f64 (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (pow.f64 (+.f64 d a) #s(literal 2 binary64))) (-.f64 (-.f64 (+.f64 c b) a) d))
(/.f64 (-.f64 (*.f64 a a) (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64))) (-.f64 a (+.f64 (+.f64 d c) b)))
(/.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (*.f64 (+.f64 d a) (+.f64 c b)))))
(/.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 (+.f64 c b) #s(literal 3 binary64))) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 (+.f64 (+.f64 d c) b) a))))
(/.f64 (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (*.f64 a a)))
(-.f64 (/.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (-.f64 (+.f64 b a) (+.f64 d c))) (/.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (-.f64 (+.f64 b a) (+.f64 d c))))
(-.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (+.f64 d a) (+.f64 c b))) (/.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (+.f64 d a) (+.f64 c b))))
(-.f64 (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (+.f64 (+.f64 d c) b) a)) (/.f64 (*.f64 a a) (-.f64 (+.f64 (+.f64 d c) b) a)))
(-.f64 (/.f64 (*.f64 c c) (-.f64 c (+.f64 (+.f64 b a) d))) (/.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) (-.f64 c (+.f64 (+.f64 b a) d))))
(-.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) (/.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)))
(-.f64 (/.f64 (*.f64 a a) (-.f64 a (+.f64 (+.f64 d c) b))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 a (+.f64 (+.f64 d c) b))))
(+.f64 (/.f64 (pow.f64 (+.f64 b a) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (.f64 (+.f64 b a) (+.f64 d c))))) (/.f64 (pow.f64 (+.f64 d c) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 b a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 d c) #s(literal 2 binary64)) (.f64 (+.f64 b a) (+.f64 d c))))))
(+.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c c (-.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) (.f64 c (+.f64 (+.f64 b a) d))))) (/.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 3 binary64)) (fma.f64 c c (-.f64 (pow.f64 (+.f64 (+.f64 b a) d) #s(literal 2 binary64)) (.f64 c (+.f64 (+.f64 b a) d))))))
(+.f64 (/.f64 (.f64 (.f64 (+.f64 d a) (-.f64 d a)) (-.f64 c b)) (.f64 (-.f64 d a) (-.f64 c b))) (/.f64 (.f64 (-.f64 d a) (.f64 (+.f64 c b) (-.f64 c b))) (.f64 (-.f64 d a) (-.f64 c b))))
(+.f64 (/.f64 (.f64 (.f64 (+.f64 d a) (-.f64 d a)) (fma.f64 b (-.f64 b c) (.f64 c c))) (.f64 (-.f64 d a) (fma.f64 b (-.f64 b c) (.f64 c c)))) (/.f64 (.f64 (-.f64 d a) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))) (.f64 (-.f64 d a) (fma.f64 b (-.f64 b c) (.f64 c c)))))
(+.f64 (/.f64 (.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (-.f64 c b)) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (-.f64 c b))) (/.f64 (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (.f64 (+.f64 c b) (-.f64 c b))) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (-.f64 c b))))
(+.f64 (/.f64 (.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 b (-.f64 b c) (.f64 c c))) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (fma.f64 b (-.f64 b c) (.f64 c c)))) (/.f64 (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))) (.f64 (fma.f64 a (-.f64 a d) (.f64 d d)) (fma.f64 b (-.f64 b c) (.f64 c c)))))
(+.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (.f64 (+.f64 d a) (+.f64 c b))))) (/.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (.f64 (+.f64 d a) (+.f64 c b))))))
(+.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (.f64 (+.f64 d a) (+.f64 c b))))) (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (.f64 (+.f64 d a) (+.f64 c b))))))
(+.f64 (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 (+.f64 (+.f64 d c) b) a)))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 (+.f64 (+.f64 d c) b) a)))))
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 (+.f64 (+.f64 d c) b) a)))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (+.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 2 binary64)) (-.f64 (.f64 a a) (.f64 (+.f64 (+.f64 d c) b) a)))))
(+.f64 (/.f64 (.f64 (.f64 (+.f64 c b) (-.f64 c b)) (-.f64 d a)) (.f64 (-.f64 c b) (-.f64 d a))) (/.f64 (.f64 (-.f64 c b) (.f64 (+.f64 d a) (-.f64 d a))) (.f64 (-.f64 c b) (-.f64 d a))))
(+.f64 (/.f64 (.f64 (.f64 (+.f64 c b) (-.f64 c b)) (fma.f64 a (-.f64 a d) (.f64 d d))) (.f64 (-.f64 c b) (fma.f64 a (-.f64 a d) (.f64 d d)))) (/.f64 (.f64 (-.f64 c b) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))) (.f64 (-.f64 c b) (fma.f64 a (-.f64 a d) (.f64 d d)))))
(+.f64 (/.f64 (.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (-.f64 d a)) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (-.f64 d a))) (/.f64 (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (.f64 (+.f64 d a) (-.f64 d a))) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (-.f64 d a))))
(+.f64 (/.f64 (.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 a (-.f64 a d) (.f64 d d))) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (fma.f64 a (-.f64 a d) (.f64 d d)))) (/.f64 (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))) (.f64 (fma.f64 b (-.f64 b c) (.f64 c c)) (fma.f64 a (-.f64 a d) (.f64 d d)))))
(+.f64 (+.f64 (+.f64 b a) c) d)
(+.f64 (+.f64 (+.f64 d a) c) b)
(+.f64 (+.f64 (+.f64 c b) a) d)
(+.f64 (+.f64 a (+.f64 c b)) d)
(+.f64 (+.f64 a (+.f64 d c)) b)
(+.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))))
(+.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))) (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (fma.f64 (+.f64 d a) (-.f64 (+.f64 d a) (+.f64 c b)) (pow.f64 (+.f64 c b) #s(literal 2 binary64)))))
(+.f64 (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))))
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))) (/.f64 (pow.f64 (+.f64 (+.f64 d c) b) #s(literal 3 binary64)) (fma.f64 (+.f64 (+.f64 d c) b) (-.f64 (+.f64 (+.f64 d c) b) a) (.f64 a a))))
(+.f64 (/.f64 (pow.f64 (+.f64 c b) #s(literal 2 binary64)) (-.f64 (-.f64 (+.f64 c b) a) d)) (/.f64 (*.f64 (neg.f64 (+.f64 d a)) (+.f64 d a)) (-.f64 (-.f64 (+.f64 c b) a) d)))
(+.f64 (/.f64 (.f64 a a) (-.f64 a (+.f64 (+.f64 d c) b))) (/.f64 (.f64 (neg.f64 (+.f64 (+.f64 d c) b)) (+.f64 (+.f64 d c) b)) (-.f64 a (+.f64 (+.f64 d c) b))))
(+.f64 (+.f64 (+.f64 b a) d) c)
(+.f64 (+.f64 b a) (+.f64 d c))
(+.f64 (+.f64 d a) (+.f64 c b))
(+.f64 (+.f64 c b) (+.f64 d a))
(+.f64 (+.f64 (+.f64 d c) b) a)
(+.f64 (+.f64 d c) (+.f64 b a))
(+.f64 d (+.f64 a (+.f64 c b)))
(+.f64 c (+.f64 (+.f64 b a) d))
(+.f64 b (+.f64 c (+.f64 d a)))
(+.f64 b (+.f64 (+.f64 d c) a))
(+.f64 a (+.f64 (+.f64 d c) b))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 c c) (-.f64 c b)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 b b) (-.f64 c b)) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 c c) (-.f64 c b)) (/.f64 (.f64 c c) (-.f64 c b)) (fma.f64 (/.f64 (.f64 b b) (-.f64 c b)) (/.f64 (.f64 b b) (-.f64 c b)) (.f64 (/.f64 (.f64 c c) (-.f64 c b)) (/.f64 (*.f64 b b) (-.f64 c b))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))) (-.f64 (.f64 (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))) (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c)))) (.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))) (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c)))))))
(/.f64 (neg.f64 (-.f64 (.f64 b b) (.f64 c c))) (neg.f64 (-.f64 b c)))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 c b) (-.f64 c b)))) (neg.f64 (neg.f64 (-.f64 c b))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 b (-.f64 b c) (*.f64 c c)))))
(/.f64 (-.f64 (.f64 (.f64 c c) (-.f64 c b)) (.f64 (-.f64 c b) (.f64 b b))) (pow.f64 (-.f64 c b) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 b b) (.f64 c c)) (-.f64 b c))
(/.f64 (neg.f64 (*.f64 (+.f64 c b) (-.f64 c b))) (neg.f64 (-.f64 c b)))
(/.f64 (neg.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))) (neg.f64 (fma.f64 b b (-.f64 (.f64 c c) (.f64 c b)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))) (neg.f64 (fma.f64 b (-.f64 b c) (*.f64 c c))))
(/.f64 (*.f64 (+.f64 c b) (-.f64 c b)) (-.f64 c b))
(/.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 b b (-.f64 (.f64 c c) (.f64 c b))))
(/.f64 (+.f64 (pow.f64 b #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 b (-.f64 b c) (*.f64 c c)))
(-.f64 (/.f64 (.f64 b b) (-.f64 b c)) (/.f64 (.f64 c c) (-.f64 b c)))
(-.f64 (/.f64 (.f64 c c) (-.f64 c b)) (/.f64 (.f64 b b) (-.f64 c b)))
(+.f64 (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b b (-.f64 (.f64 c c) (.f64 c b)))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 b b (-.f64 (.f64 c c) (.f64 c b)))))
(+.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 b b (-.f64 (.f64 c c) (.f64 c b)))) (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b b (-.f64 (.f64 c c) (.f64 c b)))))
(+.f64 (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))))
(+.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))) (/.f64 (pow.f64 b #s(literal 3 binary64)) (fma.f64 b (-.f64 b c) (.f64 c c))))
(+.f64 (/.f64 (.f64 c c) (-.f64 c b)) (/.f64 (.f64 (neg.f64 b) b) (-.f64 c b)))
(+.f64 c b)
(+.f64 b c)
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 d d) (-.f64 d a)) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 a a) (-.f64 d a)) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 d d) (-.f64 d a)) (/.f64 (.f64 d d) (-.f64 d a)) (fma.f64 (/.f64 (.f64 a a) (-.f64 d a)) (/.f64 (.f64 a a) (-.f64 d a)) (.f64 (/.f64 (.f64 d d) (-.f64 d a)) (/.f64 (*.f64 a a) (-.f64 d a))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) #s(literal 3 binary64))) (fma.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) (-.f64 (.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d)))) (.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d)))))))
(/.f64 (neg.f64 (-.f64 (.f64 a a) (.f64 d d))) (neg.f64 (-.f64 a d)))
(/.f64 (neg.f64 (neg.f64 (*.f64 (+.f64 d a) (-.f64 d a)))) (neg.f64 (neg.f64 (-.f64 d a))))
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))))) (neg.f64 (neg.f64 (fma.f64 a (-.f64 a d) (*.f64 d d)))))
(/.f64 (-.f64 (.f64 (.f64 d d) (-.f64 d a)) (.f64 (-.f64 d a) (.f64 a a))) (pow.f64 (-.f64 d a) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 a a) (.f64 d d)) (-.f64 a d))
(/.f64 (neg.f64 (*.f64 (+.f64 d a) (-.f64 d a))) (neg.f64 (-.f64 d a)))
(/.f64 (neg.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))) (neg.f64 (fma.f64 a a (-.f64 (.f64 d d) (.f64 d a)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64)))) (neg.f64 (fma.f64 a (-.f64 a d) (*.f64 d d))))
(/.f64 (*.f64 (+.f64 d a) (-.f64 d a)) (-.f64 d a))
(/.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 a a (-.f64 (.f64 d d) (.f64 d a))))
(/.f64 (+.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 d #s(literal 3 binary64))) (fma.f64 a (-.f64 a d) (*.f64 d d)))
(-.f64 (/.f64 (.f64 a a) (-.f64 a d)) (/.f64 (.f64 d d) (-.f64 a d)))
(-.f64 (/.f64 (.f64 d d) (-.f64 d a)) (/.f64 (.f64 a a) (-.f64 d a)))
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a a (-.f64 (.f64 d d) (.f64 d a)))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a a (-.f64 (.f64 d d) (.f64 d a)))))
(+.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a a (-.f64 (.f64 d d) (.f64 d a)))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a a (-.f64 (.f64 d d) (.f64 d a)))))
(+.f64 (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))))
(+.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))))
(+.f64 (/.f64 (.f64 d d) (-.f64 d a)) (/.f64 (.f64 (neg.f64 a) a) (-.f64 d a)))
(+.f64 d a)
(+.f64 a d)

eval56.0ms (1.2%)

Memory: 13.3MiB live, 102.3MiB allocated; 15ms collecting garbage
Compiler: Compiled 13 399 to 1 609 computations (88% saved)

prune13.0ms (0.3%)

Memory

-23.6MiB live, 34.1MiB allocated; 5ms collecting garbage

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	401	3	404
Fresh	0	0	0
Picked	2	2	4
Done	0	0	0
Total	403	5	408

Accuracy

100.0%

Counts

408 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 (+.f64 c b) (+.f64 d a)) #s(literal 2 binary64))
✓	10.4%	(*.f64 (+.f64 a #s(approx (+ b (+ c d)) (+.f64 d c))) #s(literal 2 binary64))
▶	10.4%	(*.f64 #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) #s(literal 2 binary64))
▶	10.4%	#s(approx (* (+ a (+ b (+ c d))) 2) (+.f64 c c))
▶	7.3%	#s(approx (* (+ a (+ b (+ c d))) 2) (+.f64 b b))

Compiler

Compiled 63 to 54 computations (14.3% saved)

simplify218.0ms (4.6%)

Memory

15.5MiB live, 143.6MiB allocated; 21ms collecting garbage

Localize:

Found 8 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	74
0	22	74
1	39	74
2	93	74
3	335	74
4	2124	74
5	5699	74
0	8186	74

Stop Event

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

Calls

Call 1

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

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

localize51.0ms (1.1%)

Memory

27.2MiB live, 85.2MiB allocated; 9ms collecting garbage

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.0	(+.f64 (+.f64 d a) c)
accuracy	0.0	(+.f64 d a)
accuracy	0.0	(*.f64 #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) #s(literal 2 binary64))
accuracy	57.319848989251135	#s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c))
accuracy	0.0	(+.f64 c c)
accuracy	57.361026819081864	#s(approx (* (+ a (+ b (+ c d))) 2) (+.f64 c c))
accuracy	0.0	(+.f64 b b)
accuracy	59.30386398885587	#s(approx (* (+ a (+ b (+ c d))) 2) (+.f64 b b))

Samples

19.0ms

256×

valid

Compiler

Compiled 56 to 15 computations (73.2% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series11.0ms (0.2%)

Memory

-30.9MiB live, 12.8MiB allocated; 10ms collecting garbage

Counts

8 → 50

Calls

Call 1

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

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

Calls

12 calls:

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

simplify176.0ms (3.7%)

Memory

-10.1MiB live, 152.2MiB allocated; 36ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	141	412
1	461	412
2	1823	412
3	7358	412
0	8159	395

Stop Event

1×	iter limit
1×	node limit

Counts

50 → 46

Calls

Call 1

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

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

rewrite45.0ms (0.9%)

Memory

6.0MiB live, 52.2MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	68
0	22	68
1	106	60
0	960	60

Stop Event

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

Counts

8 → 38

Calls

Call 1

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

Outputs
#s(approx (* (+ a (+ b (+ c d))) 2) #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* (+ a (+ b (+ c d))) 2) #s(literal 2 binary64))
#s(literal 2 binary64)
(*.f64 #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)))
(fma.f64 #s(literal 1 binary64) #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) (*.f64 #s(literal 1 binary64) #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c))))
(fma.f64 #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) #s(literal 1 binary64) (*.f64 #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c))) (.f64 #s(literal 1 binary64) #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c))))
(+.f64 (.f64 #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) #s(literal 1 binary64)) (.f64 #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) #s(literal 1 binary64)))
(+.f64 #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)) #s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c)))
#s(approx (+ a (+ b (+ c d))) (+.f64 (+.f64 d a) c))
(/.f64 (-.f64 (.f64 d d) (.f64 (+.f64 c a) (+.f64 c a))) (-.f64 d (+.f64 c a)))
(/.f64 (-.f64 (*.f64 c c) (pow.f64 (+.f64 d a) #s(literal 2 binary64))) (-.f64 c (+.f64 d a)))
(/.f64 (+.f64 (pow.f64 d #s(literal 3 binary64)) (pow.f64 (+.f64 c a) #s(literal 3 binary64))) (fma.f64 d d (-.f64 (.f64 (+.f64 c a) (+.f64 c a)) (.f64 d (+.f64 c a)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (*.f64 c c))) (neg.f64 (-.f64 (+.f64 d a) c)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64)))) (neg.f64 (fma.f64 c (-.f64 c (+.f64 d a)) (pow.f64 (+.f64 d a) #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (*.f64 c c)) (-.f64 (+.f64 d a) c))
(/.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 c c (-.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (*.f64 (+.f64 d a) c))))
(/.f64 (+.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (pow.f64 c #s(literal 3 binary64))) (fma.f64 c (-.f64 c (+.f64 d a)) (pow.f64 (+.f64 d a) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 2 binary64)) (-.f64 (+.f64 d a) c)) (/.f64 (*.f64 c c) (-.f64 (+.f64 d a) c)))
(+.f64 (/.f64 (pow.f64 (+.f64 d a) #s(literal 3 binary64)) (fma.f64 c (-.f64 c (+.f64 d a)) (pow.f64 (+.f64 d a) #s(literal 2 binary64)))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (fma.f64 c (-.f64 c (+.f64 d a)) (pow.f64 (+.f64 d a) #s(literal 2 binary64)))))
(+.f64 (+.f64 c a) d)
(+.f64 (+.f64 d a) c)
(+.f64 (+.f64 d c) a)
(+.f64 d (+.f64 c a))
(+.f64 c (+.f64 d a))
(+.f64 a (+.f64 d c))
(/.f64 (-.f64 (.f64 a a) (.f64 d d)) (-.f64 a d))
(/.f64 (neg.f64 (*.f64 (+.f64 d a) (-.f64 d a))) (neg.f64 (-.f64 d a)))
(/.f64 (neg.f64 (+.f64 (pow.f64 d #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64)))) (neg.f64 (fma.f64 a (-.f64 a d) (*.f64 d d))))
(/.f64 (*.f64 (+.f64 d a) (-.f64 d a)) (-.f64 d a))
(/.f64 (+.f64 (pow.f64 d #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (fma.f64 a a (-.f64 (.f64 d d) (.f64 d a))))
(/.f64 (+.f64 (pow.f64 d #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))) (fma.f64 a (-.f64 a d) (*.f64 d d)))
(-.f64 (/.f64 (.f64 d d) (-.f64 d a)) (/.f64 (.f64 a a) (-.f64 d a)))
(+.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))) (/.f64 (pow.f64 a #s(literal 3 binary64)) (fma.f64 a (-.f64 a d) (.f64 d d))))
(+.f64 d a)
(+.f64 a d)

eval9.0ms (0.2%)

Memory: 13.5MiB live, 13.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 761 to 333 computations (81.1% saved)

prune3.0ms (0.1%)

Memory

3.7MiB live, 3.7MiB allocated; 0ms collecting garbage

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	0	0
Picked	2	1	3
Done	1	1	2
Total	81	3	84

Accuracy

100.0%

Counts

84 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 (+.f64 c b) (+.f64 d a)) #s(literal 2 binary64))
✓	7.3%	#s(approx (* (+ a (+ b (+ c d))) 2) (+.f64 b b))
▶	11.9%	#s(approx (* (+ a (+ b (+ c d))) 2) #s(literal 2 binary64))

Compiler

Compiled 33 to 31 computations (6.1% saved)

simplify156.0ms (3.3%)

Memory

5.5MiB live, 145.2MiB allocated; 28ms collecting garbage

Localize:

Found 1 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	12
0	10	12
1	20	12
2	64	12
3	311	12
4	2136	12
5	5541	12
0	8348	12

Stop Event

1×	iter limit
1×	node limit
1×	saturated

Calls

Call 1

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

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

localize20.0ms (0.4%)

Memory

-1.6MiB live, 40.0MiB allocated; 7ms collecting garbage

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
accuracy	56.39410618334343	#s(approx (* (+ a (+ b (+ c d))) 2) #s(literal 2 binary64))

Samples

12.0ms

256×

valid

Compiler

Compiled 12 to 11 computations (8.3% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series2.0ms (0.1%)

Memory

5.9MiB live, 5.9MiB allocated; 0ms collecting garbage

Counts

1 → 20

Calls

Call 1

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

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

Calls

12 calls:

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

simplify177.0ms (3.7%)

Memory

0.8MiB live, 197.6MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	184
1	212	184
2	903	184
3	5199	184
0	8166	176

Stop Event

1×	iter limit
1×	node limit

Counts

20 → 20

Calls

Call 1

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

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

rewrite59.0ms (1.2%)

Memory

-23.9MiB live, 21.2MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
0	10	11
1	57	11
0	570	11

Stop Event

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

Counts

1 → 1

Calls

Call 1

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

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

eval2.0ms (0%)

Memory: 3.9MiB live, 3.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 330 to 70 computations (78.8% saved)

prune3.0ms (0.1%)

Memory

5.3MiB live, 5.3MiB allocated; 0ms collecting garbage

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	18	0	18
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	18	3	21

Accuracy

100.0%

Counts

21 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 142 to 65 computations (54.2% saved)

regimes54.0ms (1.1%)

Memory

-6.6MiB live, 38.9MiB allocated; 3ms collecting garbage

Counts

9 → 1

Calls

Call 1

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

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

Calls

8 calls:

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

Results

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

Compiler

Compiled 28 to 43 computations (-53.6% saved)

regimes36.0ms (0.8%)

Memory

-17.7MiB live, 40.1MiB allocated; 5ms collecting garbage

Counts

8 → 1

Calls

Call 1

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

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

Calls

8 calls:

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

Results

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

Compiler

Compiled 28 to 43 computations (-53.6% saved)

regimes20.0ms (0.4%)

Memory

38.6MiB live, 38.6MiB allocated; 0ms collecting garbage

Counts

7 → 2

Calls

Call 1

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

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

Calls

8 calls:

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

Results

Accuracy	Segments	Branch
11.9%	1	`d`
13.6%	2	`(+.f64 c d)`
14.9%	2	`(+.f64 b (+.f64 c d))`
17.7%	2	`(+.f64 a (+.f64 b (+.f64 c d)))`
17.7%	2	`(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))`
13.6%	2	`a`
13.5%	2	`b`
11.9%	1	`c`

Compiler

Compiled 28 to 43 computations (-53.6% saved)

regimes8.0ms (0.2%)

Memory

-23.4MiB live, 23.1MiB allocated; 4ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 26 to 35 computations (-34.6% saved)

bsearch0.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated; 0ms collecting garbage

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.0009332109677302469	0.00456034161854646

Compiler

Compiled 12 to 16 computations (-33.3% saved)

simplify51.0ms (1.1%)

Memory

1.6MiB live, 47.5MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	65
1	33	65
2	77	65
3	324	65
4	2169	65
5	5716	65

Stop Event

1×	node limit

Calls

Call 1

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

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

derivations114.0ms (2.4%)

Memory

18.5MiB live, 113.5MiB allocated; 25ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 65 to 24 computations (63.1% saved)

preprocess35.0ms (0.7%)

Memory: 13.4MiB live, 55.0MiB allocated; 15ms collecting garbage
Remove: (sort a b c d)
Compiler: Compiled 206 to 122 computations (40.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze1.0ms (0%)

sample1.9s (39.9%)

explain106.0ms (2.2%)

preprocess228.0ms (4.8%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify155.0ms (3.2%)

localize52.0ms (1.1%)

series6.0ms (0.1%)

simplify150.0ms (3.1%)

rewrite68.0ms (1.4%)

eval22.0ms (0.5%)

prune5.0ms (0.1%)

simplify129.0ms (2.7%)

localize57.0ms (1.2%)

series11.0ms (0.2%)

simplify164.0ms (3.4%)

rewrite395.0ms (8.3%)

eval56.0ms (1.2%)

prune13.0ms (0.3%)

simplify218.0ms (4.6%)

localize51.0ms (1.1%)

series11.0ms (0.2%)

simplify176.0ms (3.7%)

rewrite45.0ms (0.9%)

eval9.0ms (0.2%)

prune3.0ms (0.1%)

simplify156.0ms (3.3%)

localize20.0ms (0.4%)

series2.0ms (0.1%)

simplify177.0ms (3.7%)

rewrite59.0ms (1.2%)

eval2.0ms (0%)

prune3.0ms (0.1%)

regimes54.0ms (1.1%)

regimes36.0ms (0.8%)

regimes20.0ms (0.4%)

regimes8.0ms (0.2%)

bsearch0.0ms (0%)

simplify51.0ms (1.1%)

derivations114.0ms (2.4%)

preprocess35.0ms (0.7%)

end0.0ms (0%)

Profiling