Metrics for Complex division, imag part

start0.0ms (0%)

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

analyze51.0ms (1.4%)

Memory

-24.0MiB live, 21.0MiB allocated; 8ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
75%	74.9%	25%	0.2%	0%	0%	0%	5
75%	74.9%	25%	0.2%	0%	0%	0%	6
75%	74.9%	25%	0.2%	0%	0%	0%	7
87.5%	87.3%	12.5%	0.2%	0%	0%	0%	8
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	9
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	10
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	11
96.9%	96.7%	3.1%	0.2%	0%	0%	0%	12

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample1.0s (28.7%)

Memory

29.5MiB live, 1 105.5MiB allocated; 151ms collecting garbage

Samples

690.0ms

8 256×

valid

Precisions

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

ival-mult: 283.0ms (65.5% of total)

ival-sub: 62.0ms (14.3% of total)

ival-div: 47.0ms (10.9% of total)

ival-add: 36.0ms (8.3% of total)

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

adjust: 2.0ms (0.5% of total)

Bogosity

explain126.0ms (3.6%)

Memory

18.0MiB live, 161.6MiB allocated; 12ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
108	-	1	(-1.1112533369679155e-62 -8.259385357451119e-40 1.4061216041419225e-156 -1.2444468723357599e-172)	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`
2	-	0	-	`(-.f64 (.f64 b c) (.f64 a d))`
0	-	0	-	`(+.f64 (.f64 c c) (.f64 d d))`
0	-	0	-	`a`
0	-	0	-	`d`
0	-	0	-	`(*.f64 d d)`
0	-	0	-	`(*.f64 c c)`
0	-	0	-	`(*.f64 b c)`
0	-	0	-	`c`
0	-	0	-	`(*.f64 a d)`
0	-	0	-	`b`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`	o/o	44	0
↳	`(*.f64 b c)`	overflow	28
↳	`(-.f64 (.f64 b c) (.f64 a d))`	overflow	62
↳	`(*.f64 a d)`	overflow	36
↳	`(+.f64 (.f64 c c) (.f64 d d))`	overflow	118
↳	`(*.f64 c c)`	overflow	60
↳	`(*.f64 d d)`	overflow	75
`/.f64`	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`	n/o	34	0
↳	`(+.f64 (.f64 c c) (.f64 d d))`	overflow	118
↳	`(*.f64 c c)`	overflow	60
↳	`(*.f64 d d)`	overflow	75
`/.f64`	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`	o/n	18	0
↳	`(*.f64 b c)`	overflow	28
↳	`(-.f64 (.f64 b c) (.f64 a d))`	overflow	62
↳	`(*.f64 a d)`	overflow	36
`/.f64`	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`	n/u	9	0
↳	`(+.f64 (.f64 c c) (.f64 d d))`	underflow	18
↳	`(*.f64 c c)`	underflow	60
↳	`(*.f64 d d)`	underflow	65
`-.f64`	`(-.f64 (.f64 b c) (.f64 a d))`	nan-rescue	2	0
↳	`(*.f64 b c)`	overflow	28
↳	`(*.f64 a d)`	overflow	36
`/.f64`	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`	u/u	1	0
↳	`(*.f64 b c)`	underflow	34
↳	`(-.f64 (.f64 b c) (.f64 a d))`	underflow	2
↳	`(*.f64 a d)`	underflow	36
↳	`(+.f64 (.f64 c c) (.f64 d d))`	underflow	18
↳	`(*.f64 c c)`	underflow	60
↳	`(*.f64 d d)`	underflow	65
`/.f64`	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`	u/n	1	0
↳	`(*.f64 b c)`	underflow	34
↳	`(-.f64 (.f64 b c) (.f64 a d))`	underflow	2
↳	`(*.f64 a d)`	underflow	36

Confusion

	Predicted +	Predicted -
+	107	1
-	0	148

Precision

1.0

Recall

0.9907407407407407

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	107	0	1
-	0	0	148

Precision?

1.0

Recall?

0.9907407407407407

Freqs

test

number	freq
0	149
1	105
2	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

43.0ms

512×

valid

Compiler

Compiled 109 to 37 computations (66.1% saved)

Precisions

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

ival-mult: 13.0ms (60.1% of total)

ival-div: 3.0ms (13.9% of total)

ival-sub: 2.0ms (9.2% of total)

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

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

adjust: 0.0ms (0% of total)

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

preprocess36.0ms (1%)

Memory

-20.9MiB live, 24.9MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	229
1	197	229
2	464	229
3	833	229
4	1477	229
5	1813	229
0	11	15
0	18	15
1	37	15
2	94	15
3	181	15
4	289	15
5	415	15
6	426	15
0	426	14

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))

Outputs
(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (fma.f64 (neg.f64 a) d (.f64 c b)) (fma.f64 d d (.f64 c c)))

Compiler

Compiled 15 to 11 computations (26.7% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	59.6%	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 15 to 11 computations (26.7% saved)

series20.0ms (0.6%)

Memory

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

Counts

11 → 52

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
(-.f64 (.f64 b c) (.f64 a d))
(*.f64 b c)
b
c
(*.f64 a d)
a
d
(+.f64 (.f64 c c) (.f64 d d))
(*.f64 c c)
(*.f64 d d)

Outputs
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (* b c) (+ (pow c 2) (pow d 2)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ (* a d) (+ (pow c 2) (pow d 2)))) (/ (* b c) (+ (pow c 2) (pow d 2))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* b c)))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (+ (* -1 (* a d)) (* b c))))
#s(approx (* a d) #s(hole binary64 (* a d)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (* a d) (+ (pow c 2) (pow d 2))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* a (+ (* -1 (/ d (+ (pow c 2) (pow d 2)))) (/ (* b c) (* a (+ (pow c 2) (pow d 2))))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* a d))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* a (- (/ (* b c) a) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (* a (+ (* -1 (/ (* b c) (* a (+ (pow c 2) (pow d 2))))) (/ d (+ (pow c 2) (pow d 2))))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* a (- (* -1 (/ (* b c) a)) (* -1 d))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (- (* b c) (* a d))))
#s(approx (* b c) #s(hole binary64 (* b c)))
#s(approx b #s(hole binary64 b))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* b (+ (* -1 (/ (* a d) (* b (+ (pow c 2) (pow d 2))))) (/ c (+ (pow c 2) (pow d 2)))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* b (+ c (* -1 (/ (* a d) b))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (* b (+ (* -1 (/ c (+ (pow c 2) (pow d 2)))) (/ (* a d) (* b (+ (pow c 2) (pow d 2)))))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* b (+ (* -1 c) (/ (* a d) b))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ a d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (/ (* b c) (pow d 2)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (/ b (pow d 2)) (/ (* a c) (pow d 3)))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (* c (- (* -1 (/ (* b c) (pow d 4))) (* -1 (/ a (pow d 3))))) (/ b (pow d 2)))))))
#s(approx c #s(hole binary64 c))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (pow d 2)))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (+ (pow c 2) (pow d 2))))
#s(approx (* c c) #s(hole binary64 (pow c 2)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ b c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ b (* -1 (/ (* a d) c))) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ b (+ (* -1 (/ (* a d) c)) (* -1 (/ (* b (pow d 2)) (pow c 2))))) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (- (+ b (+ (* -1 (/ (* a d) c)) (/ (* a (pow d 3)) (pow c 3)))) (/ (* b (pow d 2)) (pow c 2))) c)))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* c (+ b (* -1 (/ (* a d) c))))))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (pow c 2)))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (* (pow c 2) (+ 1 (/ (pow d 2) (pow c 2))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (/ (* a d) c)) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (* b (pow d 2)) c))) c))) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (- (* -1 (/ (* a (pow d 3)) c)) (* -1 (* b (pow d 2)))) c))) c))) c))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* c (+ (* -1 b) (/ (* a d) c))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ (* a d) (pow c 2))) (/ b c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* -1 (/ (* b d) (pow c 3))))) (/ b c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* d (- (/ (* a d) (pow c 4)) (/ b (pow c 3)))))) (/ b c))))
#s(approx d #s(hole binary64 d))
#s(approx (* d d) #s(hole binary64 (pow d 2)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ (* -1 a) (/ (* b c) d)) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ (* -1 a) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* b c) d))) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (- (+ (* -1 a) (+ (* -1 (/ (* b (pow c 3)) (pow d 3))) (/ (* b c) d))) (* -1 (/ (* a (pow c 2)) (pow d 2)))) d)))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* d (- (/ (* b c) d) a))))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (* (pow d 2) (+ 1 (/ (pow c 2) (pow d 2))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (* b c) d))) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* b c) (/ (* a (pow c 2)) d)) d))) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* -1 (/ (- (/ (* b (pow c 3)) d) (* a (pow c 2))) d)) (* b c)) d))) d))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* d (- (* -1 (/ (* b c) d)) (* -1 a))))))

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	d	@	inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (- (* b c) (* a d)) (* b c) b c (* a d) a d (+ (* c c) (* d d)) (* c c) (* d d))
2.0ms	b	@	inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (- (* b c) (* a d)) (* b c) b c (* a d) a d (+ (* c c) (* d d)) (* c c) (* d d))
2.0ms	c	@	-inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (- (* b c) (* a d)) (* b c) b c (* a d) a d (+ (* c c) (* d d)) (* c c) (* d d))
2.0ms	a	@	inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (- (* b c) (* a d)) (* b c) b c (* a d) a d (+ (* c c) (* d d)) (* c c) (* d d))
2.0ms	c	@	inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (- (* b c) (* a d)) (* b c) b c (* a d) a d (+ (* c c) (* d d)) (* c c) (* d d))

rewrite196.0ms (5.5%)

Memory

-3.6MiB live, 180.8MiB allocated; 67ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	254	1389
0	263	1326
1	1487	1291
0	8197	1223

Stop Event

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

Counts

63 → 168

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
(-.f64 (.f64 b c) (.f64 a d))
(*.f64 b c)
b
c
(*.f64 a d)
a
d
(+.f64 (.f64 c c) (.f64 d d))
(*.f64 c c)
(*.f64 d d)
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (* b c) (+ (pow c 2) (pow d 2)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ (* a d) (+ (pow c 2) (pow d 2)))) (/ (* b c) (+ (pow c 2) (pow d 2))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* b c)))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (+ (* -1 (* a d)) (* b c))))
#s(approx (* a d) #s(hole binary64 (* a d)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (* a d) (+ (pow c 2) (pow d 2))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* a (+ (* -1 (/ d (+ (pow c 2) (pow d 2)))) (/ (* b c) (* a (+ (pow c 2) (pow d 2))))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* a d))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* a (- (/ (* b c) a) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (* a (+ (* -1 (/ (* b c) (* a (+ (pow c 2) (pow d 2))))) (/ d (+ (pow c 2) (pow d 2))))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* a (- (* -1 (/ (* b c) a)) (* -1 d))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (- (* b c) (* a d))))
#s(approx (* b c) #s(hole binary64 (* b c)))
#s(approx b #s(hole binary64 b))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* b (+ (* -1 (/ (* a d) (* b (+ (pow c 2) (pow d 2))))) (/ c (+ (pow c 2) (pow d 2)))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* b (+ c (* -1 (/ (* a d) b))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (* b (+ (* -1 (/ c (+ (pow c 2) (pow d 2)))) (/ (* a d) (* b (+ (pow c 2) (pow d 2)))))))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* b (+ (* -1 c) (/ (* a d) b))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ a d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (/ (* b c) (pow d 2)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (/ b (pow d 2)) (/ (* a c) (pow d 3)))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (* c (- (* -1 (/ (* b c) (pow d 4))) (* -1 (/ a (pow d 3))))) (/ b (pow d 2)))))))
#s(approx c #s(hole binary64 c))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (pow d 2)))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (+ (pow c 2) (pow d 2))))
#s(approx (* c c) #s(hole binary64 (pow c 2)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ b c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ b (* -1 (/ (* a d) c))) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ b (+ (* -1 (/ (* a d) c)) (* -1 (/ (* b (pow d 2)) (pow c 2))))) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (- (+ b (+ (* -1 (/ (* a d) c)) (/ (* a (pow d 3)) (pow c 3)))) (/ (* b (pow d 2)) (pow c 2))) c)))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* c (+ b (* -1 (/ (* a d) c))))))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (pow c 2)))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (* (pow c 2) (+ 1 (/ (pow d 2) (pow c 2))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (/ (* a d) c)) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (* b (pow d 2)) c))) c))) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (- (* -1 (/ (* a (pow d 3)) c)) (* -1 (* b (pow d 2)))) c))) c))) c))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* c (+ (* -1 b) (/ (* a d) c))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ (* a d) (pow c 2))) (/ b c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* -1 (/ (* b d) (pow c 3))))) (/ b c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* d (- (/ (* a d) (pow c 4)) (/ b (pow c 3)))))) (/ b c))))
#s(approx d #s(hole binary64 d))
#s(approx (* d d) #s(hole binary64 (pow d 2)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ (* -1 a) (/ (* b c) d)) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ (* -1 a) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* b c) d))) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (- (+ (* -1 a) (+ (* -1 (/ (* b (pow c 3)) (pow d 3))) (/ (* b c) d))) (* -1 (/ (* a (pow c 2)) (pow d 2)))) d)))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* d (- (/ (* b c) d) a))))
#s(approx (+ (* c c) (* d d)) #s(hole binary64 (* (pow d 2) (+ 1 (/ (pow c 2) (pow d 2))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (* b c) d))) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* b c) (/ (* a (pow c 2)) d)) d))) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* -1 (/ (- (/ (* b (pow c 3)) d) (* a (pow c 2))) d)) (* b c)) d))) d))))
#s(approx (- (* b c) (* a d)) #s(hole binary64 (* -1 (* d (- (* -1 (/ (* b c) d)) (* -1 a))))))

Outputs
(/.f64 (-.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64))) (-.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c)))))
(/.f64 (-.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 3 binary64)) (pow.f64 (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) (.f64 a (/.f64 d (fma.f64 d d (*.f64 c c))))))))
(/.f64 (+.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (*.f64 c c)))))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (neg.f64 a) d (.f64 c b)))) (neg.f64 (neg.f64 (fma.f64 d d (.f64 c c)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)))) (neg.f64 (/.f64 (-.f64 (.f64 (neg.f64 a) d) (.f64 c b)) (fma.f64 d d (*.f64 c c)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 3 binary64)) (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) (.f64 b (/.f64 c (fma.f64 d d (*.f64 c c)))))))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 c b)) (neg.f64 (fma.f64 d d (.f64 c c)))) (.f64 (neg.f64 (fma.f64 d d (.f64 c c))) (.f64 (neg.f64 a) d))) (.f64 (neg.f64 (fma.f64 d d (.f64 c c))) (neg.f64 (fma.f64 d d (*.f64 c c)))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 c b)) (fma.f64 d d (.f64 c c))) (.f64 (neg.f64 (fma.f64 d d (.f64 c c))) (.f64 d a))) (.f64 (neg.f64 (fma.f64 d d (.f64 c c))) (fma.f64 d d (*.f64 c c))))
(/.f64 (-.f64 (.f64 (.f64 c b) (neg.f64 (fma.f64 d d (.f64 c c)))) (.f64 (fma.f64 d d (.f64 c c)) (.f64 (neg.f64 a) d))) (.f64 (fma.f64 d d (.f64 c c)) (neg.f64 (fma.f64 d d (*.f64 c c)))))
(/.f64 (-.f64 (.f64 (.f64 c b) (fma.f64 d d (.f64 c c))) (.f64 (fma.f64 d d (.f64 c c)) (.f64 d a))) (.f64 (fma.f64 d d (.f64 c c)) (fma.f64 d d (*.f64 c c))))
(/.f64 (fma.f64 (.f64 (neg.f64 a) d) (neg.f64 (fma.f64 d d (.f64 c c))) (.f64 (fma.f64 d d (.f64 c c)) (neg.f64 (.f64 c b)))) (.f64 (fma.f64 d d (.f64 c c)) (neg.f64 (fma.f64 d d (.f64 c c)))))
(/.f64 (fma.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c)) (.f64 (fma.f64 d d (.f64 c c)) (.f64 c b))) (.f64 (fma.f64 d d (.f64 c c)) (fma.f64 d d (.f64 c c))))
(/.f64 (fma.f64 (neg.f64 (.f64 c b)) (fma.f64 d d (.f64 c c)) (.f64 (neg.f64 (fma.f64 d d (.f64 c c))) (.f64 (neg.f64 a) d))) (.f64 (neg.f64 (fma.f64 d d (.f64 c c))) (fma.f64 d d (.f64 c c))))
(/.f64 (fma.f64 (.f64 c b) (fma.f64 d d (.f64 c c)) (.f64 (fma.f64 d d (.f64 c c)) (.f64 (neg.f64 a) d))) (.f64 (fma.f64 d d (.f64 c c)) (fma.f64 d d (.f64 c c))))
(/.f64 (-.f64 (neg.f64 (.f64 c b)) (.f64 (neg.f64 a) d)) (neg.f64 (fma.f64 d d (*.f64 c c))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64))) (/.f64 (-.f64 (.f64 (neg.f64 a) d) (.f64 c b)) (fma.f64 d d (*.f64 c c))))
(/.f64 (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 3 binary64)) (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) (.f64 b (/.f64 c (fma.f64 d d (*.f64 c c))))))))
(/.f64 (neg.f64 (fma.f64 (neg.f64 a) d (.f64 c b))) (neg.f64 (fma.f64 d d (.f64 c c))))
(/.f64 (fma.f64 (neg.f64 a) d (.f64 c b)) (fma.f64 d d (.f64 c c)))
(fma.f64 (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) #s(literal -1 binary64) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
(fma.f64 #s(literal -1 binary64) (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
(fma.f64 b (/.f64 c (fma.f64 d d (.f64 c c))) (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (*.f64 c c))))
(-.f64 (/.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 (neg.f64 a) d) (.f64 c b)) (fma.f64 d d (.f64 c c)))) (/.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 (neg.f64 a) d) (.f64 c b)) (fma.f64 d d (.f64 c c)))))
(-.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) (/.f64 (.f64 (neg.f64 b) c) (fma.f64 d d (.f64 c c))))
(-.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))))
(+.f64 (/.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 3 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))))) (/.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 3 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))))))
(+.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
(+.f64 (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))))
(/.f64 (-.f64 (pow.f64 (.f64 (neg.f64 a) d) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 b) c) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (fma.f64 (.f64 (neg.f64 b) c) (.f64 (neg.f64 b) c) (.f64 (.f64 (neg.f64 a) d) (.f64 (neg.f64 b) c)))))
(/.f64 (+.f64 (pow.f64 (.f64 c b) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 a) d) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (-.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (.f64 (.f64 c b) (*.f64 (neg.f64 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 (fma.f64 c b (*.f64 d a))))
(/.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 (neg.f64 a) d) (.f64 c b))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 c b) #s(literal 3 binary64)) (pow.f64 (.f64 d a) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (.f64 (.f64 c b) (*.f64 d a))))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 d a) #s(literal 3 binary64)) #s(literal -1 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 (neg.f64 a) d) (*.f64 c b))))))
(/.f64 (-.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (pow.f64 (.f64 d a) #s(literal 2 binary64))) (-.f64 (.f64 c b) (.f64 (neg.f64 a) d)))
(/.f64 (-.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (pow.f64 (.f64 d a) #s(literal 2 binary64))) (fma.f64 c b (*.f64 d a)))
(/.f64 (-.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (pow.f64 (.f64 c b) #s(literal 2 binary64))) (-.f64 (.f64 (neg.f64 a) d) (.f64 c b)))
(/.f64 (-.f64 (pow.f64 (.f64 c b) #s(literal 3 binary64)) (pow.f64 (.f64 d a) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (.f64 (.f64 c b) (*.f64 d a)))))
(/.f64 (fma.f64 (pow.f64 (.f64 d a) #s(literal 3 binary64)) #s(literal -1 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 (neg.f64 a) d) (*.f64 c b)))))
(fma.f64 (neg.f64 a) d (*.f64 c b))
(fma.f64 #s(literal -1 binary64) (.f64 d a) (.f64 c b))
(fma.f64 (.f64 d a) #s(literal -1 binary64) (.f64 c b))
(fma.f64 c b (*.f64 (neg.f64 a) d))
(fma.f64 b c (*.f64 (neg.f64 a) d))
(-.f64 (/.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (fma.f64 c b (.f64 d a))) (/.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (fma.f64 c b (.f64 d a))))
(-.f64 (/.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 a) d) (.f64 c b))) (/.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 a) d) (.f64 c b))))
(-.f64 (/.f64 (pow.f64 (.f64 c b) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (.f64 (.f64 c b) (.f64 d a))))) (/.f64 (pow.f64 (.f64 d a) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 c b) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 d a) #s(literal 2 binary64)) (.f64 (.f64 c b) (.f64 d a))))))
(-.f64 (.f64 (neg.f64 a) d) (.f64 (neg.f64 b) c))
(-.f64 (.f64 c b) (.f64 d a))
(+.f64 (/.f64 (pow.f64 (.f64 (neg.f64 a) d) #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 (neg.f64 a) d) (.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 (neg.f64 a) d) (.f64 c b))))))
(+.f64 (.f64 (neg.f64 a) d) (.f64 c b))
(+.f64 (.f64 c b) (.f64 (neg.f64 a) d))
(*.f64 c b)
(*.f64 b c)
b
c
(*.f64 d a)
(*.f64 a d)
a
d
(/.f64 (-.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 c #s(literal 4 binary64))) (-.f64 (.f64 d d) (.f64 c c)))
(/.f64 (-.f64 (pow.f64 c #s(literal 6 binary64)) (pow.f64 (.f64 (neg.f64 d) d) #s(literal 3 binary64))) (+.f64 (pow.f64 c #s(literal 4 binary64)) (fma.f64 (.f64 (neg.f64 d) d) (.f64 (neg.f64 d) d) (.f64 (.f64 c c) (.f64 (neg.f64 d) d)))))
(/.f64 (+.f64 (pow.f64 d #s(literal 6 binary64)) (pow.f64 c #s(literal 6 binary64))) (+.f64 (pow.f64 d #s(literal 4 binary64)) (-.f64 (pow.f64 c #s(literal 4 binary64)) (.f64 (.f64 d d) (*.f64 c c)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 d #s(literal 4 binary64)))) (neg.f64 (-.f64 (.f64 c c) (.f64 d d))))
(/.f64 (neg.f64 (+.f64 (pow.f64 c #s(literal 6 binary64)) (pow.f64 d #s(literal 6 binary64)))) (neg.f64 (+.f64 (pow.f64 c #s(literal 4 binary64)) (-.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 (*.f64 c d) #s(literal 2 binary64))))))
(/.f64 (-.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 d #s(literal 4 binary64))) (-.f64 (.f64 c c) (.f64 d d)))
(/.f64 (+.f64 (pow.f64 c #s(literal 6 binary64)) (pow.f64 d #s(literal 6 binary64))) (+.f64 (pow.f64 c #s(literal 4 binary64)) (-.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 (*.f64 c d) #s(literal 2 binary64)))))
(fma.f64 (neg.f64 (neg.f64 d)) (neg.f64 (neg.f64 d)) (*.f64 c c))
(fma.f64 (neg.f64 (fabs.f64 d)) (neg.f64 (fabs.f64 d)) (*.f64 c c))
(fma.f64 (neg.f64 (neg.f64 c)) (neg.f64 (neg.f64 c)) (*.f64 d d))
(fma.f64 (neg.f64 (fabs.f64 c)) (neg.f64 (fabs.f64 c)) (*.f64 d d))
(fma.f64 (fabs.f64 (fabs.f64 d)) (fabs.f64 (fabs.f64 d)) (*.f64 c c))
(fma.f64 (fabs.f64 (fabs.f64 c)) (fabs.f64 (fabs.f64 c)) (*.f64 d d))
(fma.f64 (exp.f64 (log.f64 d)) (exp.f64 (log.f64 d)) (*.f64 c c))
(fma.f64 (exp.f64 (log.f64 c)) (exp.f64 (log.f64 c)) (*.f64 d d))
(fma.f64 (neg.f64 d) (neg.f64 d) (*.f64 c c))
(fma.f64 (neg.f64 c) (neg.f64 c) (*.f64 d d))
(fma.f64 (fabs.f64 d) (fabs.f64 d) (*.f64 c c))
(fma.f64 (fabs.f64 c) (fabs.f64 c) (*.f64 d d))
(fma.f64 d d (*.f64 c c))
(fma.f64 c c (*.f64 d d))
(-.f64 (/.f64 (pow.f64 c #s(literal 4 binary64)) (-.f64 (.f64 c c) (.f64 d d))) (/.f64 (pow.f64 d #s(literal 4 binary64)) (-.f64 (.f64 c c) (.f64 d d))))
(-.f64 (.f64 c c) (.f64 (neg.f64 d) d))
(+.f64 (/.f64 (pow.f64 c #s(literal 6 binary64)) (+.f64 (pow.f64 c #s(literal 4 binary64)) (-.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 (.f64 c d) #s(literal 2 binary64))))) (/.f64 (pow.f64 d #s(literal 6 binary64)) (+.f64 (pow.f64 c #s(literal 4 binary64)) (-.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 (.f64 c d) #s(literal 2 binary64))))))
(+.f64 (.f64 d d) (.f64 c c))
(+.f64 (.f64 c c) (.f64 d d))
(*.f64 (neg.f64 (neg.f64 c)) (neg.f64 (neg.f64 c)))
(*.f64 (neg.f64 (fabs.f64 c)) (neg.f64 (fabs.f64 c)))
(*.f64 (fabs.f64 (fabs.f64 c)) (fabs.f64 (fabs.f64 c)))
(*.f64 (exp.f64 (log.f64 c)) (exp.f64 (log.f64 c)))
(*.f64 (neg.f64 c) (neg.f64 c))
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 c c)
(pow.f64 (exp.f64 (log.f64 c)) #s(literal 2 binary64))
(pow.f64 (neg.f64 c) #s(literal 2 binary64))
(pow.f64 (fabs.f64 c) #s(literal 2 binary64))
(pow.f64 (*.f64 c c) #s(literal 1 binary64))
(pow.f64 c #s(literal 2 binary64))
(fabs.f64 (*.f64 c c))
(exp.f64 (*.f64 (log.f64 c) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 c) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 c) #s(literal 2 binary64))))
(*.f64 (neg.f64 (neg.f64 d)) (neg.f64 (neg.f64 d)))
(*.f64 (neg.f64 (fabs.f64 d)) (neg.f64 (fabs.f64 d)))
(*.f64 (fabs.f64 (fabs.f64 d)) (fabs.f64 (fabs.f64 d)))
(*.f64 (exp.f64 (log.f64 d)) (exp.f64 (log.f64 d)))
(*.f64 (neg.f64 d) (neg.f64 d))
(*.f64 (fabs.f64 d) (fabs.f64 d))
(*.f64 d d)
(pow.f64 (exp.f64 (log.f64 d)) #s(literal 2 binary64))
(pow.f64 (neg.f64 d) #s(literal 2 binary64))
(pow.f64 (fabs.f64 d) #s(literal 2 binary64))
(pow.f64 (*.f64 d d) #s(literal 1 binary64))
(pow.f64 d #s(literal 2 binary64))
(fabs.f64 (*.f64 d d))
(exp.f64 (*.f64 (log.f64 d) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 d) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d) #s(literal 2 binary64))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 (neg.f64 a) d (.f64 c b)) (fma.f64 d d (.f64 c c))))
#s(approx (- (* b c) (* a d)) (*.f64 c b))
#s(approx (- (* b c) (* a d)) (fma.f64 (neg.f64 a) d (*.f64 c b)))
#s(approx (* a d) (*.f64 d a))
#s(approx a a)
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (.f64 (neg.f64 a) d) (fma.f64 d d (.f64 c c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (.f64 (/.f64 (fma.f64 b (/.f64 c a) (neg.f64 d)) (fma.f64 d d (.f64 c c))) a))
#s(approx (- (* b c) (* a d)) (*.f64 (neg.f64 a) d))
#s(approx (- (* b c) (* a d)) (.f64 (-.f64 (/.f64 (.f64 c b) a) d) a))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (.f64 (neg.f64 a) (fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))) (/.f64 d (fma.f64 d d (.f64 c c))))))
#s(approx (- (* b c) (* a d)) (.f64 (neg.f64 a) (.f64 #s(literal -1 binary64) (-.f64 (/.f64 (*.f64 c b) a) d))))
#s(approx (- (* b c) (* a d)) (fma.f64 (neg.f64 a) d (*.f64 c b)))
#s(approx (* b c) (*.f64 c b))
#s(approx b b)
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (.f64 (fma.f64 (/.f64 (neg.f64 a) b) (/.f64 d (fma.f64 d d (.f64 c c))) (/.f64 c (fma.f64 d d (*.f64 c c)))) b))
#s(approx (- (* b c) (* a d)) (.f64 (-.f64 c (/.f64 (.f64 d a) b)) b))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (.f64 (neg.f64 b) (/.f64 (fma.f64 a (/.f64 d b) (neg.f64 c)) (fma.f64 d d (.f64 c c)))))
#s(approx (- (* b c) (* a d)) (*.f64 (neg.f64 b) (fma.f64 a (/.f64 d b) (neg.f64 c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (neg.f64 a) d))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 b d) (/.f64 c d) (/.f64 (neg.f64 a) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (fma.f64 a (/.f64 c (pow.f64 d #s(literal 3 binary64))) (/.f64 b (*.f64 d d))) c (/.f64 (neg.f64 a) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (fma.f64 (.f64 #s(literal -1 binary64) (-.f64 (.f64 b (/.f64 c (pow.f64 d #s(literal 4 binary64)))) (/.f64 a (pow.f64 d #s(literal 3 binary64))))) c (/.f64 b (*.f64 d d))) c (/.f64 (neg.f64 a) d)))
#s(approx c c)
#s(approx (+ (* c c) (* d d)) (*.f64 d d))
#s(approx (+ (* c c) (* d d)) (fma.f64 d d (*.f64 c c)))
#s(approx (* c c) (*.f64 c c))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 b c))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (-.f64 b (/.f64 (*.f64 d a) c)) c))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 #s(literal -1 binary64) (fma.f64 a (/.f64 d c) (.f64 (/.f64 (.f64 d d) c) (/.f64 b c))) b) c))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (-.f64 (+.f64 (-.f64 b (/.f64 (.f64 d a) c)) (.f64 a (pow.f64 (/.f64 d c) #s(literal 3 binary64)))) (.f64 (/.f64 (.f64 d d) c) (/.f64 b c))) c))
#s(approx (- (* b c) (* a d)) (.f64 (-.f64 b (/.f64 (.f64 d a) c)) c))
#s(approx (+ (* c c) (* d d)) (*.f64 c c))
#s(approx (+ (* c c) (* d d)) (.f64 (fma.f64 (/.f64 d c) (/.f64 d c) #s(literal 1 binary64)) (.f64 c c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 a (/.f64 d c) (neg.f64 b)) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 #s(literal -1 binary64) (fma.f64 d a (/.f64 (.f64 (*.f64 d d) b) c))) c) #s(literal -1 binary64) (neg.f64 b)) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 #s(literal -1 binary64) (fma.f64 d a (/.f64 (-.f64 (neg.f64 (/.f64 (.f64 (pow.f64 d #s(literal 3 binary64)) a) c)) (.f64 (neg.f64 b) (.f64 d d))) c))) c) #s(literal -1 binary64) (neg.f64 b)) c)))
#s(approx (- (* b c) (* a d)) (*.f64 (neg.f64 c) (fma.f64 a (/.f64 d c) (neg.f64 b))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 (neg.f64 a) c) (/.f64 d c) (/.f64 b c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (fma.f64 (.f64 b (/.f64 d (pow.f64 c #s(literal 3 binary64)))) #s(literal -1 binary64) (/.f64 (neg.f64 a) (.f64 c c))) d (/.f64 b c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (fma.f64 (-.f64 (.f64 a (/.f64 d (pow.f64 c #s(literal 4 binary64)))) (/.f64 b (pow.f64 c #s(literal 3 binary64)))) d (/.f64 (neg.f64 a) (.f64 c c))) d (/.f64 b c)))
#s(approx d d)
#s(approx (* d d) (*.f64 d d))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (+.f64 (fma.f64 (/.f64 (.f64 c c) d) (/.f64 a d) (/.f64 (.f64 c b) d)) (neg.f64 a)) d))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) a (fma.f64 b (/.f64 c d) (neg.f64 (.f64 b (pow.f64 (/.f64 c d) #s(literal 3 binary64)))))) (neg.f64 (.f64 (/.f64 (*.f64 c c) d) (/.f64 a d)))) d))
#s(approx (- (* b c) (* a d)) (.f64 (-.f64 (/.f64 (.f64 c b) d) a) d))
#s(approx (+ (* c c) (* d d)) (.f64 (fma.f64 (/.f64 c d) (/.f64 c d) #s(literal 1 binary64)) (.f64 d d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 (/.f64 (*.f64 c b) d) #s(literal -1 binary64) a) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 c b (/.f64 (.f64 (.f64 c c) a) d)) d) #s(literal -1 binary64) a) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 c b (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 c #s(literal 3 binary64)) b) d) (.f64 (*.f64 c c) a)) d))) d) #s(literal -1 binary64) a) d)))
#s(approx (- (* b c) (* a d)) (.f64 (neg.f64 d) (.f64 #s(literal -1 binary64) (-.f64 (/.f64 (*.f64 c b) d) a))))

eval19.0ms (0.5%)

Memory: -19.3MiB live, 26.9MiB allocated; 4ms collecting garbage
Compiler: Compiled 4 621 to 638 computations (86.2% saved)

prune212.0ms (6%)

Memory

1.8MiB live, 105.5MiB allocated; 11ms collecting garbage

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	169	6	175
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	169	7	176

Accuracy

99.8%

Counts

176 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	64.2%	(fma.f64 (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) #s(literal -1 binary64) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
✓	59.6%	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
	52.1%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 (neg.f64 a) c) (/.f64 d c) (/.f64 b c)))
	57.0%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 b d) (/.f64 c d) (/.f64 (neg.f64 a) d)))
	57.0%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))
	51.9%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (-.f64 b (/.f64 (*.f64 d a) c)) c))
	52.5%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 a (/.f64 d c) (neg.f64 b)) c)))

Compiler

Compiled 319 to 201 computations (37% saved)

series27.0ms (0.8%)

Memory

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

Counts

12 → 107

Calls

Call 1

Inputs
(fma.f64 (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) #s(literal -1 binary64) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
(.f64 a (/.f64 d (fma.f64 d d (.f64 c c))))
a
(/.f64 d (fma.f64 d d (*.f64 c c)))
d
(fma.f64 d d (*.f64 c c))
(*.f64 c c)
c
#s(literal -1 binary64)
(.f64 b (/.f64 c (fma.f64 d d (.f64 c c))))
b
(/.f64 c (fma.f64 d d (*.f64 c c)))

Outputs
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (* b c) (+ (pow c 2) (pow d 2)))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ (* a d) (+ (pow c 2) (pow d 2)))) (/ (* b c) (+ (pow c 2) (pow d 2))))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (* a d) (+ (pow c 2) (pow d 2)))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (* a d) (+ (pow c 2) (pow d 2))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* a (+ (* -1 (/ d (+ (pow c 2) (pow d 2)))) (/ (* b c) (* a (+ (pow c 2) (pow d 2))))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (* a (+ (* -1 (/ (* b c) (* a (+ (pow c 2) (pow d 2))))) (/ d (+ (pow c 2) (pow d 2))))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (* b c) (+ (pow c 2) (pow d 2)))))
#s(approx b #s(hole binary64 b))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* b (+ (* -1 (/ (* a d) (* b (+ (pow c 2) (pow d 2))))) (/ c (+ (pow c 2) (pow d 2)))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (* b (+ (* -1 (/ c (+ (pow c 2) (pow d 2)))) (/ (* a d) (* b (+ (pow c 2) (pow d 2)))))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ a d))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ a d)) (/ (* b c) (pow d 2)))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (/ b (pow d 2)) (/ (* a c) (pow d 3)))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (* c (+ (* -1 (/ (* b c) (pow d 4))) (/ a (pow d 3)))) (/ b (pow d 2)))))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ a d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (+ (* -1 (/ (* a (pow c 2)) (pow d 3))) (/ a d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (+ (* (pow c 2) (- (/ (* a (pow c 2)) (pow d 5)) (/ a (pow d 3)))) (/ a d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (+ (* (pow c 2) (- (* (pow c 2) (- (* -1 (/ (* a (pow c 2)) (pow d 7))) (* -1 (/ a (pow d 5))))) (/ a (pow d 3)))) (/ a d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ 1 d)))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (+ (* -1 (/ (pow c 2) (pow d 3))) (/ 1 d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (+ (* (pow c 2) (- (/ (pow c 2) (pow d 5)) (/ 1 (pow d 3)))) (/ 1 d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (+ (* (pow c 2) (- (* (pow c 2) (+ (* -1 (/ (pow c 2) (pow d 7))) (/ 1 (pow d 5)))) (/ 1 (pow d 3)))) (/ 1 d))))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (pow d 2)))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (+ (pow c 2) (pow d 2))))
#s(approx (* c c) #s(hole binary64 (pow c 2)))
#s(approx c #s(hole binary64 c))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (* b c) (pow d 2))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* c (+ (* -1 (/ (* b (pow c 2)) (pow d 4))) (/ b (pow d 2))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* c (+ (* (pow c 2) (- (/ (* b (pow c 2)) (pow d 6)) (/ b (pow d 4)))) (/ b (pow d 2))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* c (+ (* (pow c 2) (- (* (pow c 2) (- (* -1 (/ (* b (pow c 2)) (pow d 8))) (* -1 (/ b (pow d 6))))) (/ b (pow d 4)))) (/ b (pow d 2))))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ c (pow d 2))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* c (+ (* -1 (/ (pow c 2) (pow d 4))) (/ 1 (pow d 2))))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* c (+ (* (pow c 2) (- (/ (pow c 2) (pow d 6)) (/ 1 (pow d 4)))) (/ 1 (pow d 2))))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* c (+ (* (pow c 2) (- (* (pow c 2) (+ (* -1 (/ (pow c 2) (pow d 8))) (/ 1 (pow d 6)))) (/ 1 (pow d 4)))) (/ 1 (pow d 2))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ b c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ b (* -1 (/ (* a d) c))) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ b (+ (* -1 (/ (* a d) c)) (* -1 (/ (* b (pow d 2)) (pow c 2))))) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (- (+ b (+ (* -1 (/ (* a d) c)) (/ (* a (pow d 3)) (pow c 3)))) (/ (* b (pow d 2)) (pow c 2))) c)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (* a d) (pow c 2))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (+ (* -1 (/ (* a (pow d 3)) (pow c 2))) (* a d)) (pow c 2))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ (* a d) (/ (* a (pow d 5)) (pow c 4))) (/ (* a (pow d 3)) (pow c 2))) (pow c 2))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ (* -1 (/ (* a (pow d 7)) (pow c 6))) (* a d)) (+ (* -1 (/ (* a (pow d 5)) (pow c 4))) (/ (* a (pow d 3)) (pow c 2)))) (pow c 2))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ d (pow c 2))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (+ d (* -1 (/ (pow d 3) (pow c 2)))) (pow c 2))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ d (/ (pow d 5) (pow c 4))) (/ (pow d 3) (pow c 2))) (pow c 2))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ d (* -1 (/ (pow d 7) (pow c 6)))) (+ (* -1 (/ (pow d 5) (pow c 4))) (/ (pow d 3) (pow c 2)))) (pow c 2))))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (pow c 2)))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (* (pow c 2) (+ 1 (/ (pow d 2) (pow c 2))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ b c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (+ b (* -1 (/ (* b (pow d 2)) (pow c 2)))) c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ b (/ (* b (pow d 4)) (pow c 4))) (/ (* b (pow d 2)) (pow c 2))) c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ b (* -1 (/ (* b (pow d 6)) (pow c 6)))) (+ (* -1 (/ (* b (pow d 4)) (pow c 4))) (/ (* b (pow d 2)) (pow c 2)))) c)))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ 1 c)))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (+ 1 (* -1 (/ (pow d 2) (pow c 2)))) c)))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ 1 (/ (pow d 4) (pow c 4))) (/ (pow d 2) (pow c 2))) c)))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ 1 (* -1 (/ (pow d 6) (pow c 6)))) (+ (* -1 (/ (pow d 4) (pow c 4))) (/ (pow d 2) (pow c 2)))) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (/ (* a d) c)) c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (* b (pow d 2)) c))) c))) c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (+ (* -1 (/ (* a (pow d 3)) c)) (* b (pow d 2))) c))) c))) c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (/ (* b (pow d 2)) (pow c 2))) c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (+ (* -1 (/ (* b (pow d 4)) (pow c 4))) (/ (* b (pow d 2)) (pow c 2)))) c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (+ (* -1 (/ (* b (pow d 4)) (pow c 4))) (+ (/ (* b (pow d 2)) (pow c 2)) (/ (* b (pow d 6)) (pow c 6))))) c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (/ (pow d 2) (pow c 2)) 1) c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (* -1 (/ (pow d 4) (pow c 4))) (+ 1 (* -1 (/ (pow d 2) (pow c 2))))) c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (/ (pow d 6) (pow c 6)) (+ 1 (+ (* -1 (/ (pow d 2) (pow c 2))) (/ (pow d 4) (pow c 4))))) c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ (* a d) (pow c 2))) (/ b c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* -1 (/ (* b d) (pow c 3))))) (/ b c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* d (- (/ (* a d) (pow c 4)) (/ b (pow c 3)))))) (/ b c))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* d (+ (* -1 (/ (* a (pow d 2)) (pow c 4))) (/ a (pow c 2))))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* d (+ (* (pow d 2) (- (/ (* a (pow d 2)) (pow c 6)) (/ a (pow c 4)))) (/ a (pow c 2))))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* d (+ (* (pow d 2) (- (* (pow d 2) (- (* -1 (/ (* a (pow d 2)) (pow c 8))) (* -1 (/ a (pow c 6))))) (/ a (pow c 4)))) (/ a (pow c 2))))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* d (+ (* -1 (/ (pow d 2) (pow c 4))) (/ 1 (pow c 2))))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* d (+ (* (pow d 2) (- (/ (pow d 2) (pow c 6)) (/ 1 (pow c 4)))) (/ 1 (pow c 2))))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* d (+ (* (pow d 2) (- (* (pow d 2) (+ (* -1 (/ (pow d 2) (pow c 8))) (/ 1 (pow c 6)))) (/ 1 (pow c 4)))) (/ 1 (pow c 2))))))
#s(approx d #s(hole binary64 d))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (+ (* -1 (/ (* b (pow d 2)) (pow c 3))) (/ b c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (+ (* (pow d 2) (- (/ (* b (pow d 2)) (pow c 5)) (/ b (pow c 3)))) (/ b c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (+ (* (pow d 2) (- (* (pow d 2) (- (* -1 (/ (* b (pow d 2)) (pow c 7))) (* -1 (/ b (pow c 5))))) (/ b (pow c 3)))) (/ b c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (+ (* -1 (/ (pow d 2) (pow c 3))) (/ 1 c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (+ (* (pow d 2) (- (/ (pow d 2) (pow c 5)) (/ 1 (pow c 3)))) (/ 1 c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (+ (* (pow d 2) (- (* (pow d 2) (+ (* -1 (/ (pow d 2) (pow c 7))) (/ 1 (pow c 5)))) (/ 1 (pow c 3)))) (/ 1 c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ (* -1 a) (/ (* b c) d)) d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ (* -1 a) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* b c) d))) d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ (* -1 a) (+ (* -1 (/ (* b (pow c 3)) (pow d 3))) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* b c) d)))) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (+ a (* -1 (/ (* a (pow c 2)) (pow d 2)))) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ a (/ (* a (pow c 4)) (pow d 4))) (/ (* a (pow c 2)) (pow d 2))) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ a (* -1 (/ (* a (pow c 6)) (pow d 6)))) (+ (* -1 (/ (* a (pow c 4)) (pow d 4))) (/ (* a (pow c 2)) (pow d 2)))) d)))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (+ 1 (* -1 (/ (pow c 2) (pow d 2)))) d)))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ 1 (/ (pow c 4) (pow d 4))) (/ (pow c 2) (pow d 2))) d)))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ 1 (* -1 (/ (pow c 6) (pow d 6)))) (+ (* -1 (/ (pow c 4) (pow d 4))) (/ (pow c 2) (pow d 2)))) d)))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (* (pow d 2) (+ 1 (/ (pow c 2) (pow d 2))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (+ (* -1 (/ (* b (pow c 3)) (pow d 2))) (* b c)) (pow d 2))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ (* b c) (/ (* b (pow c 5)) (pow d 4))) (/ (* b (pow c 3)) (pow d 2))) (pow d 2))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ (* -1 (/ (* b (pow c 7)) (pow d 6))) (* b c)) (+ (* -1 (/ (* b (pow c 5)) (pow d 4))) (/ (* b (pow c 3)) (pow d 2)))) (pow d 2))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (+ c (* -1 (/ (pow c 3) (pow d 2)))) (pow d 2))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ c (/ (pow c 5) (pow d 4))) (/ (pow c 3) (pow d 2))) (pow d 2))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ c (* -1 (/ (pow c 7) (pow d 6)))) (+ (* -1 (/ (pow c 5) (pow d 4))) (/ (pow c 3) (pow d 2)))) (pow d 2))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (* b c) d))) d))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* b c) (/ (* a (pow c 2)) d)) d))) d))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* -1 (/ (- (/ (* b (pow c 3)) d) (* a (pow c 2))) d)) (* b c)) d))) d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 a) (/ (* a (pow c 2)) (pow d 2))) d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 a) (+ (* -1 (/ (* a (pow c 4)) (pow d 4))) (/ (* a (pow c 2)) (pow d 2)))) d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 a) (+ (* -1 (/ (* a (pow c 4)) (pow d 4))) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* a (pow c 6)) (pow d 6))))) d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (/ (pow c 2) (pow d 2)) 1) d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (* -1 (/ (pow c 4) (pow d 4))) (+ 1 (* -1 (/ (pow c 2) (pow d 2))))) d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (/ (pow c 6) (pow d 6)) (+ 1 (+ (* -1 (/ (pow c 2) (pow d 2))) (/ (pow c 4) (pow d 4))))) d))))

Calls

12 calls:

Time	Variable		Point	Expression
5.0ms	d	@	0	((+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (* a (/ d (+ (* d d) (* c c)))) a (/ d (+ (* d d) (* c c))) d (+ (* d d) (* c c)) (* c c) c -1 (* b (/ c (+ (* d d) (* c c)))) b (/ c (+ (* d d) (* c c))))
3.0ms	d	@	inf	((+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (* a (/ d (+ (* d d) (* c c)))) a (/ d (+ (* d d) (* c c))) d (+ (* d d) (* c c)) (* c c) c -1 (* b (/ c (+ (* d d) (* c c)))) b (/ c (+ (* d d) (* c c))))
3.0ms	c	@	inf	((+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (* a (/ d (+ (* d d) (* c c)))) a (/ d (+ (* d d) (* c c))) d (+ (* d d) (* c c)) (* c c) c -1 (* b (/ c (+ (* d d) (* c c)))) b (/ c (+ (* d d) (* c c))))
2.0ms	c	@	0	((+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (* a (/ d (+ (* d d) (* c c)))) a (/ d (+ (* d d) (* c c))) d (+ (* d d) (* c c)) (* c c) c -1 (* b (/ c (+ (* d d) (* c c)))) b (/ c (+ (* d d) (* c c))))
2.0ms	c	@	-inf	((+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (* a (/ d (+ (* d d) (* c c)))) a (/ d (+ (* d d) (* c c))) d (+ (* d d) (* c c)) (* c c) c -1 (* b (/ c (+ (* d d) (* c c)))) b (/ c (+ (* d d) (* c c))))

rewrite500.0ms (14.1%)

Memory

-10.8MiB live, 171.4MiB allocated; 25ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	613	3629
0	627	3461
1	3828	3457
0	9337	3372

Stop Event

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

Counts

119 → 174

Calls

Call 1

Inputs
(fma.f64 (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) #s(literal -1 binary64) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
(.f64 a (/.f64 d (fma.f64 d d (.f64 c c))))
a
(/.f64 d (fma.f64 d d (*.f64 c c)))
d
(fma.f64 d d (*.f64 c c))
(*.f64 c c)
c
#s(literal -1 binary64)
(.f64 b (/.f64 c (fma.f64 d d (.f64 c c))))
b
(/.f64 c (fma.f64 d d (*.f64 c c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (* b c) (+ (pow c 2) (pow d 2)))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ (* a d) (+ (pow c 2) (pow d 2)))) (/ (* b c) (+ (pow c 2) (pow d 2))))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (* a d) (+ (pow c 2) (pow d 2)))))
#s(approx a #s(hole binary64 a))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (* a d) (+ (pow c 2) (pow d 2))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* a (+ (* -1 (/ d (+ (pow c 2) (pow d 2)))) (/ (* b c) (* a (+ (pow c 2) (pow d 2))))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (* a (+ (* -1 (/ (* b c) (* a (+ (pow c 2) (pow d 2))))) (/ d (+ (pow c 2) (pow d 2))))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (* b c) (+ (pow c 2) (pow d 2)))))
#s(approx b #s(hole binary64 b))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* b (+ (* -1 (/ (* a d) (* b (+ (pow c 2) (pow d 2))))) (/ c (+ (pow c 2) (pow d 2)))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (* b (+ (* -1 (/ c (+ (pow c 2) (pow d 2)))) (/ (* a d) (* b (+ (pow c 2) (pow d 2)))))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ a d))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ a d)) (/ (* b c) (pow d 2)))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (/ b (pow d 2)) (/ (* a c) (pow d 3)))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (* c (+ (* -1 (/ (* b c) (pow d 4))) (/ a (pow d 3)))) (/ b (pow d 2)))))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ a d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (+ (* -1 (/ (* a (pow c 2)) (pow d 3))) (/ a d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (+ (* (pow c 2) (- (/ (* a (pow c 2)) (pow d 5)) (/ a (pow d 3)))) (/ a d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (+ (* (pow c 2) (- (* (pow c 2) (- (* -1 (/ (* a (pow c 2)) (pow d 7))) (* -1 (/ a (pow d 5))))) (/ a (pow d 3)))) (/ a d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ 1 d)))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (+ (* -1 (/ (pow c 2) (pow d 3))) (/ 1 d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (+ (* (pow c 2) (- (/ (pow c 2) (pow d 5)) (/ 1 (pow d 3)))) (/ 1 d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (+ (* (pow c 2) (- (* (pow c 2) (+ (* -1 (/ (pow c 2) (pow d 7))) (/ 1 (pow d 5)))) (/ 1 (pow d 3)))) (/ 1 d))))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (pow d 2)))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (+ (pow c 2) (pow d 2))))
#s(approx (* c c) #s(hole binary64 (pow c 2)))
#s(approx c #s(hole binary64 c))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (* b c) (pow d 2))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* c (+ (* -1 (/ (* b (pow c 2)) (pow d 4))) (/ b (pow d 2))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* c (+ (* (pow c 2) (- (/ (* b (pow c 2)) (pow d 6)) (/ b (pow d 4)))) (/ b (pow d 2))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* c (+ (* (pow c 2) (- (* (pow c 2) (- (* -1 (/ (* b (pow c 2)) (pow d 8))) (* -1 (/ b (pow d 6))))) (/ b (pow d 4)))) (/ b (pow d 2))))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ c (pow d 2))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* c (+ (* -1 (/ (pow c 2) (pow d 4))) (/ 1 (pow d 2))))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* c (+ (* (pow c 2) (- (/ (pow c 2) (pow d 6)) (/ 1 (pow d 4)))) (/ 1 (pow d 2))))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* c (+ (* (pow c 2) (- (* (pow c 2) (+ (* -1 (/ (pow c 2) (pow d 8))) (/ 1 (pow d 6)))) (/ 1 (pow d 4)))) (/ 1 (pow d 2))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ b c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ b (* -1 (/ (* a d) c))) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ b (+ (* -1 (/ (* a d) c)) (* -1 (/ (* b (pow d 2)) (pow c 2))))) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (- (+ b (+ (* -1 (/ (* a d) c)) (/ (* a (pow d 3)) (pow c 3)))) (/ (* b (pow d 2)) (pow c 2))) c)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (* a d) (pow c 2))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (+ (* -1 (/ (* a (pow d 3)) (pow c 2))) (* a d)) (pow c 2))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ (* a d) (/ (* a (pow d 5)) (pow c 4))) (/ (* a (pow d 3)) (pow c 2))) (pow c 2))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ (* -1 (/ (* a (pow d 7)) (pow c 6))) (* a d)) (+ (* -1 (/ (* a (pow d 5)) (pow c 4))) (/ (* a (pow d 3)) (pow c 2)))) (pow c 2))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ d (pow c 2))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (+ d (* -1 (/ (pow d 3) (pow c 2)))) (pow c 2))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ d (/ (pow d 5) (pow c 4))) (/ (pow d 3) (pow c 2))) (pow c 2))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ d (* -1 (/ (pow d 7) (pow c 6)))) (+ (* -1 (/ (pow d 5) (pow c 4))) (/ (pow d 3) (pow c 2)))) (pow c 2))))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (pow c 2)))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (* (pow c 2) (+ 1 (/ (pow d 2) (pow c 2))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ b c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (+ b (* -1 (/ (* b (pow d 2)) (pow c 2)))) c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ b (/ (* b (pow d 4)) (pow c 4))) (/ (* b (pow d 2)) (pow c 2))) c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ b (* -1 (/ (* b (pow d 6)) (pow c 6)))) (+ (* -1 (/ (* b (pow d 4)) (pow c 4))) (/ (* b (pow d 2)) (pow c 2)))) c)))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ 1 c)))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (+ 1 (* -1 (/ (pow d 2) (pow c 2)))) c)))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ 1 (/ (pow d 4) (pow c 4))) (/ (pow d 2) (pow c 2))) c)))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ 1 (* -1 (/ (pow d 6) (pow c 6)))) (+ (* -1 (/ (pow d 4) (pow c 4))) (/ (pow d 2) (pow c 2)))) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (/ (* a d) c)) c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (* b (pow d 2)) c))) c))) c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (+ (* -1 (/ (* a (pow d 3)) c)) (* b (pow d 2))) c))) c))) c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (/ (* b (pow d 2)) (pow c 2))) c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (+ (* -1 (/ (* b (pow d 4)) (pow c 4))) (/ (* b (pow d 2)) (pow c 2)))) c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (+ (* -1 (/ (* b (pow d 4)) (pow c 4))) (+ (/ (* b (pow d 2)) (pow c 2)) (/ (* b (pow d 6)) (pow c 6))))) c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (/ (pow d 2) (pow c 2)) 1) c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (* -1 (/ (pow d 4) (pow c 4))) (+ 1 (* -1 (/ (pow d 2) (pow c 2))))) c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (/ (pow d 6) (pow c 6)) (+ 1 (+ (* -1 (/ (pow d 2) (pow c 2))) (/ (pow d 4) (pow c 4))))) c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* -1 (/ (* a d) (pow c 2))) (/ b c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* -1 (/ (* b d) (pow c 3))))) (/ b c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* d (- (/ (* a d) (pow c 4)) (/ b (pow c 3)))))) (/ b c))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* d (+ (* -1 (/ (* a (pow d 2)) (pow c 4))) (/ a (pow c 2))))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* d (+ (* (pow d 2) (- (/ (* a (pow d 2)) (pow c 6)) (/ a (pow c 4)))) (/ a (pow c 2))))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* d (+ (* (pow d 2) (- (* (pow d 2) (- (* -1 (/ (* a (pow d 2)) (pow c 8))) (* -1 (/ a (pow c 6))))) (/ a (pow c 4)))) (/ a (pow c 2))))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* d (+ (* -1 (/ (pow d 2) (pow c 4))) (/ 1 (pow c 2))))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* d (+ (* (pow d 2) (- (/ (pow d 2) (pow c 6)) (/ 1 (pow c 4)))) (/ 1 (pow c 2))))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* d (+ (* (pow d 2) (- (* (pow d 2) (+ (* -1 (/ (pow d 2) (pow c 8))) (/ 1 (pow c 6)))) (/ 1 (pow c 4)))) (/ 1 (pow c 2))))))
#s(approx d #s(hole binary64 d))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (+ (* -1 (/ (* b (pow d 2)) (pow c 3))) (/ b c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (+ (* (pow d 2) (- (/ (* b (pow d 2)) (pow c 5)) (/ b (pow c 3)))) (/ b c))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (+ (* (pow d 2) (- (* (pow d 2) (- (* -1 (/ (* b (pow d 2)) (pow c 7))) (* -1 (/ b (pow c 5))))) (/ b (pow c 3)))) (/ b c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (+ (* -1 (/ (pow d 2) (pow c 3))) (/ 1 c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (+ (* (pow d 2) (- (/ (pow d 2) (pow c 5)) (/ 1 (pow c 3)))) (/ 1 c))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (+ (* (pow d 2) (- (* (pow d 2) (+ (* -1 (/ (pow d 2) (pow c 7))) (/ 1 (pow c 5)))) (/ 1 (pow c 3)))) (/ 1 c))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ (* -1 a) (/ (* b c) d)) d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ (* -1 a) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* b c) d))) d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (/ (+ (* -1 a) (+ (* -1 (/ (* b (pow c 3)) (pow d 3))) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* b c) d)))) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (+ a (* -1 (/ (* a (pow c 2)) (pow d 2)))) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ a (/ (* a (pow c 4)) (pow d 4))) (/ (* a (pow c 2)) (pow d 2))) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ a (* -1 (/ (* a (pow c 6)) (pow d 6)))) (+ (* -1 (/ (* a (pow c 4)) (pow d 4))) (/ (* a (pow c 2)) (pow d 2)))) d)))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (+ 1 (* -1 (/ (pow c 2) (pow d 2)))) d)))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ 1 (/ (pow c 4) (pow d 4))) (/ (pow c 2) (pow d 2))) d)))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ 1 (* -1 (/ (pow c 6) (pow d 6)))) (+ (* -1 (/ (pow c 4) (pow d 4))) (/ (pow c 2) (pow d 2)))) d)))
#s(approx (+ (* d d) (* c c)) #s(hole binary64 (* (pow d 2) (+ 1 (/ (pow c 2) (pow d 2))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (+ (* -1 (/ (* b (pow c 3)) (pow d 2))) (* b c)) (pow d 2))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ (* b c) (/ (* b (pow c 5)) (pow d 4))) (/ (* b (pow c 3)) (pow d 2))) (pow d 2))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) #s(hole binary64 (/ (- (+ (* -1 (/ (* b (pow c 7)) (pow d 6))) (* b c)) (+ (* -1 (/ (* b (pow c 5)) (pow d 4))) (/ (* b (pow c 3)) (pow d 2)))) (pow d 2))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (+ c (* -1 (/ (pow c 3) (pow d 2)))) (pow d 2))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ c (/ (pow c 5) (pow d 4))) (/ (pow c 3) (pow d 2))) (pow d 2))))
#s(approx (/ c (+ (* d d) (* c c))) #s(hole binary64 (/ (- (+ c (* -1 (/ (pow c 7) (pow d 6)))) (+ (* -1 (/ (pow c 5) (pow d 4))) (/ (pow c 3) (pow d 2)))) (pow d 2))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (* b c) d))) d))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* b c) (/ (* a (pow c 2)) d)) d))) d))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* -1 (/ (- (/ (* b (pow c 3)) d) (* a (pow c 2))) d)) (* b c)) d))) d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 a) (/ (* a (pow c 2)) (pow d 2))) d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 a) (+ (* -1 (/ (* a (pow c 4)) (pow d 4))) (/ (* a (pow c 2)) (pow d 2)))) d))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) #s(hole binary64 (* -1 (/ (+ (* -1 a) (+ (* -1 (/ (* a (pow c 4)) (pow d 4))) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* a (pow c 6)) (pow d 6))))) d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (/ (pow c 2) (pow d 2)) 1) d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (* -1 (/ (pow c 4) (pow d 4))) (+ 1 (* -1 (/ (pow c 2) (pow d 2))))) d))))
#s(approx (/ d (+ (* d d) (* c c))) #s(hole binary64 (* -1 (/ (- (/ (pow c 6) (pow d 6)) (+ 1 (+ (* -1 (/ (pow c 2) (pow d 2))) (/ (pow c 4) (pow d 4))))) d))))

Outputs
(/.f64 (fma.f64 (neg.f64 (.f64 b c)) (fma.f64 c c (.f64 d d)) (.f64 (neg.f64 (fma.f64 c c (.f64 d d))) (.f64 (neg.f64 a) d))) (.f64 (neg.f64 (fma.f64 c c (.f64 d d))) (fma.f64 c c (.f64 d d))))
(/.f64 (fma.f64 (.f64 b c) (fma.f64 c c (.f64 d d)) (.f64 (fma.f64 c c (.f64 d d)) (.f64 (neg.f64 a) d))) (.f64 (fma.f64 c c (.f64 d d)) (fma.f64 c c (.f64 d d))))
(/.f64 (fma.f64 (.f64 (neg.f64 a) d) (neg.f64 (fma.f64 c c (.f64 d d))) (.f64 (fma.f64 c c (.f64 d d)) (neg.f64 (.f64 b c)))) (.f64 (fma.f64 c c (.f64 d d)) (neg.f64 (fma.f64 c c (.f64 d d)))))
(/.f64 (fma.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d)) (.f64 (fma.f64 c c (.f64 d d)) (.f64 b c))) (.f64 (fma.f64 c c (.f64 d d)) (fma.f64 c c (.f64 d d))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d))) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))) #s(literal 2 binary64))) (/.f64 (-.f64 (.f64 (neg.f64 a) d) (.f64 b c)) (fma.f64 c c (*.f64 d d))))
(/.f64 (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d))) (/.f64 (.f64 b c) (fma.f64 c c (*.f64 d d)))))))
(fma.f64 (/.f64 c (fma.f64 c c (.f64 d d))) b (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (*.f64 d d))))
(fma.f64 (/.f64 (.f64 d a) (fma.f64 c c (.f64 d d))) #s(literal -1 binary64) (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))))
(fma.f64 b (/.f64 c (fma.f64 c c (.f64 d d))) (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (*.f64 d d))))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 d a) (fma.f64 c c (.f64 d d))) (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))))
(fma.f64 a (neg.f64 (/.f64 d (fma.f64 c c (.f64 d d)))) (/.f64 (.f64 b c) (fma.f64 c c (*.f64 d d))))
(-.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d))) (.f64 (neg.f64 b) (/.f64 c (fma.f64 c c (.f64 d d)))))
(+.f64 (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))) (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d))))
(+.f64 (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d))) (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))))
(.f64 (/.f64 d (fma.f64 c c (.f64 d d))) a)
(.f64 a (/.f64 d (fma.f64 c c (.f64 d d))))
(/.f64 (.f64 (neg.f64 a) d) (neg.f64 (fma.f64 c c (.f64 d d))))
(/.f64 (.f64 d a) (fma.f64 c c (.f64 d d)))
a
(/.f64 (neg.f64 d) (neg.f64 (fma.f64 c c (*.f64 d d))))
(/.f64 d (fma.f64 c c (*.f64 d d)))
d
(/.f64 (-.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 d #s(literal 4 binary64))) (-.f64 (.f64 c c) (.f64 d d)))
(/.f64 (-.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 c #s(literal 4 binary64))) (-.f64 (.f64 d d) (.f64 c c)))
(/.f64 (+.f64 (pow.f64 c #s(literal 6 binary64)) (pow.f64 d #s(literal 6 binary64))) (+.f64 (pow.f64 c #s(literal 4 binary64)) (-.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 (*.f64 c d) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 d #s(literal 6 binary64)) (pow.f64 c #s(literal 6 binary64))) (+.f64 (pow.f64 d #s(literal 4 binary64)) (-.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 (*.f64 d c) #s(literal 2 binary64)))))
(fma.f64 (neg.f64 (neg.f64 c)) (neg.f64 (neg.f64 c)) (*.f64 d d))
(fma.f64 (neg.f64 (fabs.f64 c)) (neg.f64 (fabs.f64 c)) (*.f64 d d))
(fma.f64 (neg.f64 (neg.f64 d)) (neg.f64 (neg.f64 d)) (*.f64 c c))
(fma.f64 (neg.f64 (fabs.f64 d)) (neg.f64 (fabs.f64 d)) (*.f64 c c))
(fma.f64 (fabs.f64 (fabs.f64 c)) (fabs.f64 (fabs.f64 c)) (*.f64 d d))
(fma.f64 (fabs.f64 (fabs.f64 d)) (fabs.f64 (fabs.f64 d)) (*.f64 c c))
(fma.f64 (exp.f64 (log.f64 d)) (exp.f64 (log.f64 d)) (*.f64 c c))
(fma.f64 (exp.f64 (log.f64 c)) (exp.f64 (log.f64 c)) (*.f64 d d))
(fma.f64 (neg.f64 d) (neg.f64 d) (*.f64 c c))
(fma.f64 (neg.f64 c) (neg.f64 c) (*.f64 d d))
(fma.f64 (fabs.f64 d) (fabs.f64 d) (*.f64 c c))
(fma.f64 (fabs.f64 c) (fabs.f64 c) (*.f64 d d))
(fma.f64 c c (*.f64 d d))
(fma.f64 d d (*.f64 c c))
(-.f64 (.f64 d d) (.f64 (neg.f64 c) c))
(+.f64 (.f64 d d) (.f64 c c))
(+.f64 (.f64 c c) (.f64 d d))
(*.f64 (neg.f64 (neg.f64 c)) (neg.f64 (neg.f64 c)))
(*.f64 (neg.f64 (fabs.f64 c)) (neg.f64 (fabs.f64 c)))
(*.f64 (fabs.f64 (fabs.f64 c)) (fabs.f64 (fabs.f64 c)))
(*.f64 (exp.f64 (log.f64 c)) (exp.f64 (log.f64 c)))
(*.f64 (neg.f64 c) (neg.f64 c))
(*.f64 (fabs.f64 c) (fabs.f64 c))
(*.f64 c c)
(pow.f64 (exp.f64 (log.f64 c)) #s(literal 2 binary64))
(pow.f64 (neg.f64 c) #s(literal 2 binary64))
(pow.f64 (fabs.f64 c) #s(literal 2 binary64))
(pow.f64 (*.f64 c c) #s(literal 1 binary64))
(pow.f64 c #s(literal 2 binary64))
(fabs.f64 (*.f64 c c))
(exp.f64 (*.f64 (log.f64 c) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 c) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 c) #s(literal 2 binary64))))
c
#s(literal -1 binary64)
(.f64 (/.f64 c (fma.f64 c c (.f64 d d))) b)
(.f64 b (/.f64 c (fma.f64 c c (.f64 d d))))
(/.f64 (neg.f64 (.f64 b c)) (neg.f64 (fma.f64 c c (.f64 d d))))
(/.f64 (.f64 b c) (fma.f64 c c (.f64 d d)))
b
(/.f64 (neg.f64 c) (neg.f64 (fma.f64 c c (*.f64 d d))))
(/.f64 c (fma.f64 c c (*.f64 d d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (fma.f64 (/.f64 c (fma.f64 c c (.f64 d d))) b (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (*.f64 d d)))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (/.f64 (.f64 d a) (fma.f64 c c (.f64 d d))))
#s(approx a a)
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (.f64 (neg.f64 a) d) (fma.f64 c c (.f64 d d))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (.f64 (fma.f64 (/.f64 b a) (/.f64 c (fma.f64 c c (.f64 d d))) (neg.f64 (/.f64 d (fma.f64 c c (*.f64 d d))))) a))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (.f64 (neg.f64 a) (fma.f64 (.f64 (/.f64 b a) (/.f64 c (fma.f64 c c (.f64 d d)))) #s(literal -1 binary64) (/.f64 d (fma.f64 c c (.f64 d d))))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (/.f64 (.f64 b c) (fma.f64 c c (.f64 d d))))
#s(approx b b)
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (.f64 (fma.f64 (.f64 (/.f64 a b) (/.f64 d (fma.f64 c c (.f64 d d)))) #s(literal -1 binary64) (/.f64 c (fma.f64 c c (.f64 d d)))) b))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (.f64 (neg.f64 b) (fma.f64 (/.f64 a b) (/.f64 d (fma.f64 c c (.f64 d d))) (neg.f64 (/.f64 c (fma.f64 c c (*.f64 d d)))))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (neg.f64 a) d))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (fma.f64 b (/.f64 c (*.f64 d d)) (/.f64 (neg.f64 a) d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (fma.f64 (fma.f64 a (/.f64 c (pow.f64 d #s(literal 3 binary64))) (/.f64 b (*.f64 d d))) c (/.f64 (neg.f64 a) d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (fma.f64 (fma.f64 (fma.f64 (.f64 b (/.f64 c (pow.f64 d #s(literal 4 binary64)))) #s(literal -1 binary64) (/.f64 a (pow.f64 d #s(literal 3 binary64)))) c (/.f64 b (.f64 d d))) c (/.f64 (neg.f64 a) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (/.f64 a d))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (fma.f64 (/.f64 (.f64 (.f64 c c) a) (pow.f64 d #s(literal 3 binary64))) #s(literal -1 binary64) (/.f64 a d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (fma.f64 (-.f64 (/.f64 (.f64 (.f64 c c) a) (pow.f64 d #s(literal 5 binary64))) (/.f64 a (pow.f64 d #s(literal 3 binary64)))) (*.f64 c c) (/.f64 a d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (fma.f64 (-.f64 (.f64 (.f64 #s(literal -1 binary64) (-.f64 (/.f64 (.f64 (.f64 c c) a) (pow.f64 d #s(literal 7 binary64))) (/.f64 a (pow.f64 d #s(literal 5 binary64))))) (.f64 c c)) (/.f64 a (pow.f64 d #s(literal 3 binary64)))) (.f64 c c) (/.f64 a d)))
#s(approx (/ d (+ (* d d) (* c c))) (pow.f64 d #s(literal -1 binary64)))
#s(approx (/ d (+ (* d d) (* c c))) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 d #s(literal 3 binary64))) #s(literal -1 binary64) (pow.f64 d #s(literal -1 binary64))))
#s(approx (/ d (+ (* d d) (* c c))) (fma.f64 (-.f64 (/.f64 (.f64 c c) (pow.f64 d #s(literal 5 binary64))) (pow.f64 d #s(literal -3 binary64))) (.f64 c c) (pow.f64 d #s(literal -1 binary64))))
#s(approx (/ d (+ (* d d) (* c c))) (fma.f64 (-.f64 (.f64 (fma.f64 (/.f64 (.f64 c c) (pow.f64 d #s(literal 7 binary64))) #s(literal -1 binary64) (pow.f64 d #s(literal -5 binary64))) (.f64 c c)) (pow.f64 d #s(literal -3 binary64))) (.f64 c c) (pow.f64 d #s(literal -1 binary64))))
#s(approx (+ (* d d) (* c c)) (*.f64 d d))
#s(approx (+ (* d d) (* c c)) (fma.f64 c c (*.f64 d d)))
#s(approx (* c c) (*.f64 c c))
#s(approx c c)
#s(approx (* b (/ c (+ (* d d) (* c c)))) (.f64 b (/.f64 c (.f64 d d))))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 c c) b) (pow.f64 d #s(literal 4 binary64))) #s(literal -1 binary64) (/.f64 b (.f64 d d))) c))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (.f64 (fma.f64 (-.f64 (/.f64 (.f64 (.f64 c c) b) (pow.f64 d #s(literal 6 binary64))) (/.f64 b (pow.f64 d #s(literal 4 binary64)))) (.f64 c c) (/.f64 b (*.f64 d d))) c))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (.f64 (fma.f64 (-.f64 (.f64 (.f64 #s(literal -1 binary64) (-.f64 (/.f64 (.f64 (.f64 c c) b) (pow.f64 d #s(literal 8 binary64))) (/.f64 b (pow.f64 d #s(literal 6 binary64))))) (.f64 c c)) (/.f64 b (pow.f64 d #s(literal 4 binary64)))) (.f64 c c) (/.f64 b (.f64 d d))) c))
#s(approx (/ c (+ (* d d) (* c c))) (/.f64 c (*.f64 d d)))
#s(approx (/ c (+ (* d d) (* c c))) (.f64 (fma.f64 (/.f64 (.f64 c c) (pow.f64 d #s(literal 4 binary64))) #s(literal -1 binary64) (pow.f64 d #s(literal -2 binary64))) c))
#s(approx (/ c (+ (* d d) (* c c))) (.f64 (fma.f64 (-.f64 (/.f64 (.f64 c c) (pow.f64 d #s(literal 6 binary64))) (pow.f64 d #s(literal -4 binary64))) (*.f64 c c) (pow.f64 d #s(literal -2 binary64))) c))
#s(approx (/ c (+ (* d d) (* c c))) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 (/.f64 (.f64 c c) (pow.f64 d #s(literal 8 binary64))) #s(literal -1 binary64) (pow.f64 d #s(literal -6 binary64))) (.f64 c c)) (pow.f64 d #s(literal -4 binary64))) (*.f64 c c) (pow.f64 d #s(literal -2 binary64))) c))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 b c))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (fma.f64 (/.f64 (*.f64 d a) c) #s(literal -1 binary64) b) c))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (fma.f64 #s(literal -1 binary64) (fma.f64 a (/.f64 d c) (/.f64 (.f64 (.f64 d d) b) (*.f64 c c))) b) c))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (-.f64 (+.f64 (fma.f64 a (pow.f64 (/.f64 d c) #s(literal 3 binary64)) (neg.f64 (/.f64 (.f64 d a) c))) b) (/.f64 (.f64 (.f64 d d) b) (.f64 c c))) c))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (.f64 a (/.f64 d (.f64 c c))))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (/.f64 (fma.f64 d a (neg.f64 (/.f64 (.f64 (pow.f64 d #s(literal 3 binary64)) a) (.f64 c c)))) (*.f64 c c)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (/.f64 (-.f64 (fma.f64 d a (/.f64 (.f64 (pow.f64 d #s(literal 5 binary64)) a) (pow.f64 c #s(literal 4 binary64)))) (/.f64 (.f64 (pow.f64 d #s(literal 3 binary64)) a) (.f64 c c))) (.f64 c c)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (/.f64 (-.f64 (fma.f64 d a (neg.f64 (/.f64 (.f64 (pow.f64 d #s(literal 7 binary64)) a) (pow.f64 c #s(literal 6 binary64))))) (fma.f64 a (/.f64 (pow.f64 d #s(literal 3 binary64)) (.f64 c c)) (neg.f64 (/.f64 (.f64 (pow.f64 d #s(literal 5 binary64)) a) (pow.f64 c #s(literal 4 binary64)))))) (.f64 c c)))
#s(approx (/ d (+ (* d d) (* c c))) (/.f64 d (*.f64 c c)))
#s(approx (/ d (+ (* d d) (* c c))) (/.f64 (fma.f64 (/.f64 (pow.f64 d #s(literal 3 binary64)) (.f64 c c)) #s(literal -1 binary64) d) (.f64 c c)))
#s(approx (/ d (+ (* d d) (* c c))) (/.f64 (-.f64 (+.f64 (/.f64 (pow.f64 d #s(literal 5 binary64)) (pow.f64 c #s(literal 4 binary64))) d) (/.f64 (pow.f64 d #s(literal 3 binary64)) (.f64 c c))) (.f64 c c)))
#s(approx (/ d (+ (* d d) (* c c))) (/.f64 (-.f64 (-.f64 (fma.f64 (/.f64 (pow.f64 d #s(literal 7 binary64)) (pow.f64 c #s(literal 6 binary64))) #s(literal -1 binary64) d) (neg.f64 (/.f64 (pow.f64 d #s(literal 5 binary64)) (pow.f64 c #s(literal 4 binary64))))) (/.f64 (pow.f64 d #s(literal 3 binary64)) (.f64 c c))) (.f64 c c)))
#s(approx (+ (* d d) (* c c)) (*.f64 c c))
#s(approx (+ (* d d) (* c c)) (.f64 (+.f64 (/.f64 (.f64 d d) (.f64 c c)) #s(literal 1 binary64)) (.f64 c c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (/.f64 b c))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 d d) b) (*.f64 c c)) #s(literal -1 binary64) b) c))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (/.f64 (-.f64 (fma.f64 b (/.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 c #s(literal 4 binary64))) b) (/.f64 (.f64 (.f64 d d) b) (*.f64 c c))) c))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (/.f64 (-.f64 (fma.f64 (/.f64 (.f64 (pow.f64 d #s(literal 6 binary64)) b) (pow.f64 c #s(literal 6 binary64))) #s(literal -1 binary64) b) (fma.f64 b (/.f64 (.f64 d d) (.f64 c c)) (neg.f64 (/.f64 (.f64 (pow.f64 d #s(literal 4 binary64)) b) (pow.f64 c #s(literal 4 binary64)))))) c))
#s(approx (/ c (+ (* d d) (* c c))) (pow.f64 c #s(literal -1 binary64)))
#s(approx (/ c (+ (* d d) (* c c))) (/.f64 (fma.f64 (/.f64 (.f64 d d) (.f64 c c)) #s(literal -1 binary64) #s(literal 1 binary64)) c))
#s(approx (/ c (+ (* d d) (* c c))) (/.f64 (-.f64 (+.f64 (/.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 c #s(literal 4 binary64))) #s(literal 1 binary64)) (/.f64 (.f64 d d) (.f64 c c))) c))
#s(approx (/ c (+ (* d d) (* c c))) (/.f64 (-.f64 (fma.f64 (/.f64 (pow.f64 d #s(literal 6 binary64)) (pow.f64 c #s(literal 6 binary64))) #s(literal -1 binary64) #s(literal 1 binary64)) (fma.f64 (/.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 c #s(literal 4 binary64))) #s(literal -1 binary64) (/.f64 (.f64 d d) (.f64 c c)))) c))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (neg.f64 (/.f64 (fma.f64 a (/.f64 d c) (neg.f64 b)) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (neg.f64 (/.f64 (fma.f64 (/.f64 (.f64 #s(literal -1 binary64) (fma.f64 d a (/.f64 (.f64 (*.f64 d d) b) c))) c) #s(literal -1 binary64) (neg.f64 b)) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (neg.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 (neg.f64 a) d (neg.f64 (/.f64 (fma.f64 (.f64 d d) b (neg.f64 (/.f64 (.f64 (pow.f64 d #s(literal 3 binary64)) a) c))) c))) c) #s(literal -1 binary64) (neg.f64 b)) c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (neg.f64 (/.f64 (fma.f64 b (/.f64 (.f64 d d) (.f64 c c)) (neg.f64 b)) c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (neg.f64 (/.f64 (fma.f64 b #s(literal -1 binary64) (fma.f64 b (/.f64 (.f64 d d) (.f64 c c)) (neg.f64 (/.f64 (*.f64 (pow.f64 d #s(literal 4 binary64)) b) (pow.f64 c #s(literal 4 binary64)))))) c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (neg.f64 (/.f64 (fma.f64 b #s(literal -1 binary64) (fma.f64 (/.f64 (.f64 (pow.f64 d #s(literal 4 binary64)) b) (pow.f64 c #s(literal 4 binary64))) #s(literal -1 binary64) (fma.f64 b (/.f64 (pow.f64 d #s(literal 6 binary64)) (pow.f64 c #s(literal 6 binary64))) (/.f64 (.f64 (.f64 d d) b) (.f64 c c))))) c)))
#s(approx (/ c (+ (* d d) (* c c))) (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 d d) (.f64 c c)) #s(literal 1 binary64)) c)))
#s(approx (/ c (+ (* d d) (* c c))) (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 c #s(literal 4 binary64)))) (fma.f64 (/.f64 (.f64 d d) (.f64 c c)) #s(literal -1 binary64) #s(literal 1 binary64))) c)))
#s(approx (/ c (+ (* d d) (* c c))) (neg.f64 (/.f64 (-.f64 (/.f64 (pow.f64 d #s(literal 6 binary64)) (pow.f64 c #s(literal 6 binary64))) (+.f64 (fma.f64 (/.f64 (.f64 d d) (.f64 c c)) #s(literal -1 binary64) #s(literal 1 binary64)) (/.f64 (pow.f64 d #s(literal 4 binary64)) (pow.f64 c #s(literal 4 binary64))))) c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (fma.f64 (.f64 a (/.f64 d (.f64 c c))) #s(literal -1 binary64) (/.f64 b c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (fma.f64 (fma.f64 (.f64 b (/.f64 d (pow.f64 c #s(literal 3 binary64)))) #s(literal -1 binary64) (/.f64 (neg.f64 a) (.f64 c c))) d (/.f64 b c)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (fma.f64 (fma.f64 (-.f64 (.f64 a (/.f64 d (pow.f64 c #s(literal 4 binary64)))) (/.f64 b (pow.f64 c #s(literal 3 binary64)))) d (/.f64 (neg.f64 a) (.f64 c c))) d (/.f64 b c)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (.f64 (fma.f64 (/.f64 (.f64 (.f64 d d) a) (pow.f64 c #s(literal 4 binary64))) #s(literal -1 binary64) (/.f64 a (.f64 c c))) d))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (.f64 (fma.f64 (-.f64 (/.f64 (.f64 (.f64 d d) a) (pow.f64 c #s(literal 6 binary64))) (/.f64 a (pow.f64 c #s(literal 4 binary64)))) (.f64 d d) (/.f64 a (*.f64 c c))) d))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (.f64 (fma.f64 (-.f64 (.f64 (.f64 #s(literal -1 binary64) (-.f64 (/.f64 (.f64 (.f64 d d) a) (pow.f64 c #s(literal 8 binary64))) (/.f64 a (pow.f64 c #s(literal 6 binary64))))) (.f64 d d)) (/.f64 a (pow.f64 c #s(literal 4 binary64)))) (.f64 d d) (/.f64 a (.f64 c c))) d))
#s(approx (/ d (+ (* d d) (* c c))) (.f64 (fma.f64 (/.f64 (.f64 d d) (pow.f64 c #s(literal 4 binary64))) #s(literal -1 binary64) (pow.f64 c #s(literal -2 binary64))) d))
#s(approx (/ d (+ (* d d) (* c c))) (.f64 (fma.f64 (-.f64 (/.f64 (.f64 d d) (pow.f64 c #s(literal 6 binary64))) (pow.f64 c #s(literal -4 binary64))) (*.f64 d d) (pow.f64 c #s(literal -2 binary64))) d))
#s(approx (/ d (+ (* d d) (* c c))) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 (/.f64 (.f64 d d) (pow.f64 c #s(literal 8 binary64))) #s(literal -1 binary64) (pow.f64 c #s(literal -6 binary64))) (.f64 d d)) (pow.f64 c #s(literal -4 binary64))) (*.f64 d d) (pow.f64 c #s(literal -2 binary64))) d))
#s(approx d d)
#s(approx (* b (/ c (+ (* d d) (* c c)))) (fma.f64 (/.f64 (.f64 (.f64 d d) b) (pow.f64 c #s(literal 3 binary64))) #s(literal -1 binary64) (/.f64 b c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (fma.f64 (-.f64 (/.f64 (.f64 (.f64 d d) b) (pow.f64 c #s(literal 5 binary64))) (/.f64 b (pow.f64 c #s(literal 3 binary64)))) (*.f64 d d) (/.f64 b c)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (fma.f64 (-.f64 (.f64 (.f64 #s(literal -1 binary64) (-.f64 (/.f64 (.f64 (.f64 d d) b) (pow.f64 c #s(literal 7 binary64))) (/.f64 b (pow.f64 c #s(literal 5 binary64))))) (.f64 d d)) (/.f64 b (pow.f64 c #s(literal 3 binary64)))) (.f64 d d) (/.f64 b c)))
#s(approx (/ c (+ (* d d) (* c c))) (fma.f64 (/.f64 (*.f64 d d) (pow.f64 c #s(literal 3 binary64))) #s(literal -1 binary64) (pow.f64 c #s(literal -1 binary64))))
#s(approx (/ c (+ (* d d) (* c c))) (fma.f64 (-.f64 (/.f64 (.f64 d d) (pow.f64 c #s(literal 5 binary64))) (pow.f64 c #s(literal -3 binary64))) (.f64 d d) (pow.f64 c #s(literal -1 binary64))))
#s(approx (/ c (+ (* d d) (* c c))) (fma.f64 (-.f64 (.f64 (fma.f64 (/.f64 (.f64 d d) (pow.f64 c #s(literal 7 binary64))) #s(literal -1 binary64) (pow.f64 c #s(literal -5 binary64))) (.f64 d d)) (pow.f64 c #s(literal -3 binary64))) (.f64 d d) (pow.f64 c #s(literal -1 binary64))))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (+.f64 (fma.f64 b (/.f64 c d) (/.f64 (.f64 (.f64 c c) a) (*.f64 d d))) (neg.f64 a)) d))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (/.f64 (fma.f64 #s(literal -1 binary64) a (fma.f64 (.f64 b (pow.f64 (/.f64 c d) #s(literal 3 binary64))) #s(literal -1 binary64) (fma.f64 b (/.f64 c d) (/.f64 (.f64 (.f64 c c) a) (.f64 d d))))) d))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (/.f64 (fma.f64 (/.f64 (.f64 (.f64 c c) a) (*.f64 d d)) #s(literal -1 binary64) a) d))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (/.f64 (-.f64 (fma.f64 a (/.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 d #s(literal 4 binary64))) a) (/.f64 (.f64 (.f64 c c) a) (*.f64 d d))) d))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (/.f64 (-.f64 (fma.f64 (/.f64 (.f64 (pow.f64 c #s(literal 6 binary64)) a) (pow.f64 d #s(literal 6 binary64))) #s(literal -1 binary64) a) (fma.f64 a (/.f64 (.f64 c c) (.f64 d d)) (neg.f64 (/.f64 (.f64 (pow.f64 c #s(literal 4 binary64)) a) (pow.f64 d #s(literal 4 binary64)))))) d))
#s(approx (/ d (+ (* d d) (* c c))) (/.f64 (fma.f64 (/.f64 (.f64 c c) (.f64 d d)) #s(literal -1 binary64) #s(literal 1 binary64)) d))
#s(approx (/ d (+ (* d d) (* c c))) (/.f64 (-.f64 (+.f64 (/.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 d #s(literal 4 binary64))) #s(literal 1 binary64)) (/.f64 (.f64 c c) (.f64 d d))) d))
#s(approx (/ d (+ (* d d) (* c c))) (/.f64 (-.f64 (fma.f64 (/.f64 (pow.f64 c #s(literal 6 binary64)) (pow.f64 d #s(literal 6 binary64))) #s(literal -1 binary64) #s(literal 1 binary64)) (fma.f64 (/.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 d #s(literal 4 binary64))) #s(literal -1 binary64) (/.f64 (.f64 c c) (.f64 d d)))) d))
#s(approx (+ (* d d) (* c c)) (.f64 (+.f64 (/.f64 (.f64 c c) (.f64 d d)) #s(literal 1 binary64)) (.f64 d d)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (/.f64 (fma.f64 b c (neg.f64 (/.f64 (.f64 (pow.f64 c #s(literal 3 binary64)) b) (.f64 d d)))) (*.f64 d d)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (/.f64 (-.f64 (fma.f64 b (/.f64 (pow.f64 c #s(literal 5 binary64)) (pow.f64 d #s(literal 4 binary64))) (.f64 b c)) (/.f64 (.f64 (pow.f64 c #s(literal 3 binary64)) b) (.f64 d d))) (.f64 d d)))
#s(approx (* b (/ c (+ (* d d) (* c c)))) (/.f64 (-.f64 (fma.f64 b c (neg.f64 (/.f64 (.f64 (pow.f64 c #s(literal 7 binary64)) b) (pow.f64 d #s(literal 6 binary64))))) (fma.f64 b (/.f64 (pow.f64 c #s(literal 3 binary64)) (.f64 d d)) (neg.f64 (/.f64 (.f64 (pow.f64 c #s(literal 5 binary64)) b) (pow.f64 d #s(literal 4 binary64)))))) (.f64 d d)))
#s(approx (/ c (+ (* d d) (* c c))) (/.f64 (fma.f64 (/.f64 (pow.f64 c #s(literal 3 binary64)) (.f64 d d)) #s(literal -1 binary64) c) (.f64 d d)))
#s(approx (/ c (+ (* d d) (* c c))) (/.f64 (-.f64 (+.f64 (/.f64 (pow.f64 c #s(literal 5 binary64)) (pow.f64 d #s(literal 4 binary64))) c) (/.f64 (pow.f64 c #s(literal 3 binary64)) (.f64 d d))) (.f64 d d)))
#s(approx (/ c (+ (* d d) (* c c))) (/.f64 (-.f64 (-.f64 (fma.f64 (/.f64 (pow.f64 c #s(literal 7 binary64)) (pow.f64 d #s(literal 6 binary64))) #s(literal -1 binary64) c) (neg.f64 (/.f64 (pow.f64 c #s(literal 5 binary64)) (pow.f64 d #s(literal 4 binary64))))) (/.f64 (pow.f64 c #s(literal 3 binary64)) (.f64 d d))) (.f64 d d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (neg.f64 (/.f64 (fma.f64 (/.f64 (*.f64 b c) d) #s(literal -1 binary64) a) d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (neg.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 b c (/.f64 (.f64 (.f64 c c) a) d)) d) #s(literal -1 binary64) a) d)))
#s(approx (+ (* (* a (/ d (+ (* d d) (* c c)))) -1) (* b (/ c (+ (* d d) (* c c))))) (neg.f64 (/.f64 (fma.f64 (/.f64 (fma.f64 b c (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 (pow.f64 c #s(literal 3 binary64)) b) d) (.f64 (*.f64 c c) a)) d))) d) #s(literal -1 binary64) a) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (neg.f64 (/.f64 (fma.f64 a (/.f64 (.f64 c c) (.f64 d d)) (neg.f64 a)) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (neg.f64 (/.f64 (fma.f64 #s(literal -1 binary64) a (fma.f64 a (/.f64 (.f64 c c) (.f64 d d)) (neg.f64 (/.f64 (*.f64 (pow.f64 c #s(literal 4 binary64)) a) (pow.f64 d #s(literal 4 binary64)))))) d)))
#s(approx (* a (/ d (+ (* d d) (* c c)))) (neg.f64 (/.f64 (fma.f64 #s(literal -1 binary64) a (fma.f64 (/.f64 (.f64 (pow.f64 c #s(literal 4 binary64)) a) (pow.f64 d #s(literal 4 binary64))) #s(literal -1 binary64) (fma.f64 a (/.f64 (pow.f64 c #s(literal 6 binary64)) (pow.f64 d #s(literal 6 binary64))) (/.f64 (.f64 (.f64 c c) a) (.f64 d d))))) d)))
#s(approx (/ d (+ (* d d) (* c c))) (neg.f64 (/.f64 (-.f64 (/.f64 (.f64 c c) (.f64 d d)) #s(literal 1 binary64)) d)))
#s(approx (/ d (+ (* d d) (* c c))) (neg.f64 (/.f64 (-.f64 (neg.f64 (/.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 d #s(literal 4 binary64)))) (fma.f64 (/.f64 (.f64 c c) (.f64 d d)) #s(literal -1 binary64) #s(literal 1 binary64))) d)))
#s(approx (/ d (+ (* d d) (* c c))) (neg.f64 (/.f64 (-.f64 (/.f64 (pow.f64 c #s(literal 6 binary64)) (pow.f64 d #s(literal 6 binary64))) (+.f64 (fma.f64 (/.f64 (.f64 c c) (.f64 d d)) #s(literal -1 binary64) #s(literal 1 binary64)) (/.f64 (pow.f64 c #s(literal 4 binary64)) (pow.f64 d #s(literal 4 binary64))))) d)))

eval58.0ms (1.6%)

Memory: -15.6MiB live, 29.6MiB allocated; 4ms collecting garbage
Compiler: Compiled 7 789 to 1 073 computations (86.2% saved)

prune251.0ms (7.1%)

Memory

23.9MiB live, 304.5MiB allocated; 37ms collecting garbage

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	232	7	239

Accuracy

99.8%

Counts

239 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	64.2%	(fma.f64 (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) #s(literal -1 binary64) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
✓	59.6%	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
	52.1%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 (neg.f64 a) c) (/.f64 d c) (/.f64 b c)))
	57.0%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 b d) (/.f64 c d) (/.f64 (neg.f64 a) d)))
▶	57.0%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))
	51.9%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (-.f64 b (/.f64 (*.f64 d a) c)) c))
	52.5%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 a (/.f64 d c) (neg.f64 b)) c)))

Compiler

Compiled 297 to 189 computations (36.4% saved)

series15.0ms (0.4%)

Memory

24.8MiB live, 24.9MiB allocated; 0ms collecting garbage

Counts

9 → 56

Calls

Call 1

Inputs
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))
(/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d)
(fma.f64 b (/.f64 c d) (neg.f64 a))
b
(/.f64 c d)
c
d
(neg.f64 a)
a

Outputs
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (* b c) (+ (pow c 2) (pow d 2)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ (* a d) (+ (pow c 2) (pow d 2)))) (/ (* b c) (+ (pow c 2) (pow d 2))))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (/ (* b c) (pow d 2))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (+ (* -1 (/ a d)) (/ (* b c) (pow d 2)))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (/ (* b c) d)))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (+ (* -1 a) (/ (* b c) d))))
#s(approx (neg a) #s(hole binary64 (* -1 a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (* a d) (+ (pow c 2) (pow d 2))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* a (+ (* -1 (/ d (+ (pow c 2) (pow d 2)))) (/ (* b c) (* a (+ (pow c 2) (pow d 2))))))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (* -1 (/ a d))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (* a (- (/ (* b c) (* a (pow d 2))) (/ 1 d)))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (* -1 a)))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (* a (- (/ (* b c) (* a d)) 1))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (* a (+ (* -1 (/ (* b c) (* a (+ (pow c 2) (pow d 2))))) (/ d (+ (pow c 2) (pow d 2))))))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (* -1 (* a (+ (* -1 (/ (* b c) (* a (pow d 2)))) (/ 1 d))))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (* -1 (* a (+ 1 (* -1 (/ (* b c) (* a d))))))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (- (/ (* b c) d) a)))
#s(approx b #s(hole binary64 b))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* b (+ (* -1 (/ (* a d) (* b (+ (pow c 2) (pow d 2))))) (/ c (+ (pow c 2) (pow d 2)))))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (* b (+ (* -1 (/ a (* b d))) (/ c (pow d 2))))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (* b (+ (* -1 (/ a b)) (/ c d)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (* b (+ (* -1 (/ c (+ (pow c 2) (pow d 2)))) (/ (* a d) (* b (+ (pow c 2) (pow d 2)))))))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (* -1 (* b (+ (* -1 (/ c (pow d 2))) (/ a (* b d)))))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (* -1 (* b (+ (* -1 (/ c d)) (/ a b))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ a d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (/ (* b c) (pow d 2)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (/ b (pow d 2)) (/ (* a c) (pow d 3)))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (* c (- (* -1 (/ (* b c) (pow d 4))) (* -1 (/ a (pow d 3))))) (/ b (pow d 2)))))))
#s(approx (/ c d) #s(hole binary64 (/ c d)))
#s(approx c #s(hole binary64 c))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ b c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ b (* -1 (/ (* a d) c))) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ b (+ (* -1 (/ (* a d) c)) (* -1 (/ (* b (pow d 2)) (pow c 2))))) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (- (+ b (+ (* -1 (/ (* a d) c)) (/ (* a (pow d 3)) (pow c 3)))) (/ (* b (pow d 2)) (pow c 2))) c)))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (* c (+ (* -1 (/ a (* c d))) (/ b (pow d 2))))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (* c (+ (* -1 (/ a c)) (/ b d)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (/ (* a d) c)) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (* b (pow d 2)) c))) c))) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (- (* -1 (/ (* a (pow d 3)) c)) (* -1 (* b (pow d 2)))) c))) c))) c))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (* -1 (* c (+ (* -1 (/ b (pow d 2))) (/ a (* c d)))))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (* -1 (* c (+ (* -1 (/ b d)) (/ a c))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ (* a d) (pow c 2))) (/ b c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* -1 (/ (* b d) (pow c 3))))) (/ b c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* d (- (/ (* a d) (pow c 4)) (/ b (pow c 3)))))) (/ b c))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (/ (+ (* -1 (* a d)) (* b c)) (pow d 2))))
#s(approx (+ (* b (/ c d)) (neg a)) #s(hole binary64 (/ (+ (* -1 (* a d)) (* b c)) d)))
#s(approx d #s(hole binary64 d))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ (* -1 a) (/ (* b c) d)) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ (* -1 a) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* b c) d))) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (- (+ (* -1 a) (+ (* -1 (/ (* b (pow c 3)) (pow d 3))) (/ (* b c) d))) (* -1 (/ (* a (pow c 2)) (pow d 2)))) d)))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (/ (+ (* -1 a) (/ (* b c) d)) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (* b c) d))) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* b c) (/ (* a (pow c 2)) d)) d))) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* -1 (/ (- (/ (* b (pow c 3)) d) (* a (pow c 2))) d)) (* b c)) d))) d))))
#s(approx (/ (+ (* b (/ c d)) (neg a)) d) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (* b c) d))) d))))

Calls

12 calls:

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

rewrite280.0ms (7.9%)

Memory

-40.6MiB live, 144.6MiB allocated; 60ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	285	1561
0	289	1482
1	1676	1451
0	8836	1391

Stop Event

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

Counts

65 → 96

Calls

Call 1

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

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

eval36.0ms (1%)

Memory: -30.0MiB live, 16.6MiB allocated; 3ms collecting garbage
Compiler: Compiled 3 375 to 456 computations (86.5% saved)

prune89.0ms (2.5%)

Memory

-10.4MiB live, 87.8MiB allocated; 8ms collecting garbage

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	97	7	104

Accuracy

99.8%

Counts

104 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	64.2%	(fma.f64 (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) #s(literal -1 binary64) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
✓	59.6%	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
	52.1%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 (neg.f64 a) c) (/.f64 d c) (/.f64 b c)))
	57.0%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 b d) (/.f64 c d) (/.f64 (neg.f64 a) d)))
	51.9%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 (/.f64 (*.f64 d a) c) #s(literal -1 binary64) b) c))
✓	57.0%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))
▶	52.5%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 a (/.f64 d c) (neg.f64 b)) c)))

Compiler

Compiled 168 to 107 computations (36.3% saved)

series26.0ms (0.7%)

Memory

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

Counts

10 → 69

Calls

Call 1

Inputs
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg.f64 (/.f64 (fma.f64 a (/.f64 d c) (neg.f64 b)) c)))
(neg.f64 (/.f64 (fma.f64 a (/.f64 d c) (neg.f64 b)) c))
(/.f64 (fma.f64 a (/.f64 d c) (neg.f64 b)) c)
(fma.f64 a (/.f64 d c) (neg.f64 b))
a
(/.f64 d c)
d
c
(neg.f64 b)
b

Outputs
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (* b c) (+ (pow c 2) (pow d 2)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ (* a d) (+ (pow c 2) (pow d 2)))) (/ (* b c) (+ (pow c 2) (pow d 2))))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (/ b c)))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (+ (* -1 (/ (* a d) (pow c 2))) (/ b c))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (* -1 (/ b c))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (+ (* -1 (/ b c)) (/ (* a d) (pow c 2)))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (* -1 b)))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (- (/ (* a d) c) b)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (* a d) (+ (pow c 2) (pow d 2))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* a (+ (* -1 (/ d (+ (pow c 2) (pow d 2)))) (/ (* b c) (* a (+ (pow c 2) (pow d 2))))))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (* -1 (/ (* a d) (pow c 2)))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (* a (- (/ b (* a c)) (/ d (pow c 2))))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (/ (* a d) (pow c 2))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (* a (+ (* -1 (/ b (* a c))) (/ d (pow c 2))))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (/ (* a d) c)))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (* a (+ (* -1 (/ b a)) (/ d c)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (* a (+ (* -1 (/ (* b c) (* a (+ (pow c 2) (pow d 2))))) (/ d (+ (pow c 2) (pow d 2))))))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (* -1 (* a (- (* -1 (/ b (* a c))) (* -1 (/ d (pow c 2))))))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (* -1 (* a (+ (* -1 (/ d (pow c 2))) (/ b (* a c)))))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (* -1 (* a (+ (* -1 (/ d c)) (/ b a))))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (- (/ b c) (/ (* a d) (pow c 2)))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (+ (* -1 b) (/ (* a d) c))))
#s(approx (neg b) #s(hole binary64 (* -1 b)))
#s(approx b #s(hole binary64 b))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* b (+ (* -1 (/ (* a d) (* b (+ (pow c 2) (pow d 2))))) (/ c (+ (pow c 2) (pow d 2)))))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (* b (+ (* -1 (/ (* a d) (* b (pow c 2)))) (/ 1 c)))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (* b (- (/ (* a d) (* b (pow c 2))) (/ 1 c)))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (* b (- (/ (* a d) (* b c)) 1))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (* b (+ (* -1 (/ c (+ (pow c 2) (pow d 2)))) (/ (* a d) (* b (+ (pow c 2) (pow d 2)))))))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (* -1 (* b (- (/ (* a d) (* b (pow c 2))) (/ 1 c))))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (* -1 (* b (+ (* -1 (/ (* a d) (* b (pow c 2)))) (/ 1 c))))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (* -1 (* b (+ 1 (* -1 (/ (* a d) (* b c))))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ a d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (/ (* b c) (pow d 2)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (/ b (pow d 2)) (/ (* a c) (pow d 3)))))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ a d)) (* c (+ (* c (- (* -1 (/ (* b c) (pow d 4))) (* -1 (/ a (pow d 3))))) (/ b (pow d 2)))))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (/ (- (* b c) (* a d)) (pow c 2))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (/ (+ (* -1 (* b c)) (* a d)) (pow c 2))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (/ (+ (* -1 (* b c)) (* a d)) c)))
#s(approx (/ d c) #s(hole binary64 (/ d c)))
#s(approx c #s(hole binary64 c))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ b c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ b (* -1 (/ (* a d) c))) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ b (+ (* -1 (/ (* a d) c)) (* -1 (/ (* b (pow d 2)) (pow c 2))))) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (- (+ b (+ (* -1 (/ (* a d) c)) (/ (* a (pow d 3)) (pow c 3)))) (/ (* b (pow d 2)) (pow c 2))) c)))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (/ (- (* -1 (/ (* a d) c)) (* -1 b)) c)))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (/ (+ (* -1 b) (/ (* a d) c)) c)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (/ (* a d) c)) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (* b (pow d 2)) c))) c))) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ (* -1 b) (* -1 (/ (+ (* -1 (* a d)) (* -1 (/ (- (* -1 (/ (* a (pow d 3)) c)) (* -1 (* b (pow d 2)))) c))) c))) c))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (* -1 (/ (- (/ (* a d) c) b) c))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (* -1 (/ (+ b (* -1 (/ (* a d) c))) c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* -1 (/ (* a d) (pow c 2))) (/ b c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* -1 (/ (* b d) (pow c 3))))) (/ b c))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (+ (* d (+ (* -1 (/ a (pow c 2))) (* d (- (/ (* a d) (pow c 4)) (/ b (pow c 3)))))) (/ b c))))
#s(approx d #s(hole binary64 d))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ (* -1 a) (/ (* b c) d)) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (+ (* -1 a) (+ (/ (* a (pow c 2)) (pow d 2)) (/ (* b c) d))) d)))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (/ (- (+ (* -1 a) (+ (* -1 (/ (* b (pow c 3)) (pow d 3))) (/ (* b c) d))) (* -1 (/ (* a (pow c 2)) (pow d 2)))) d)))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (* d (- (/ b (* c d)) (/ a (pow c 2))))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (* d (+ (* -1 (/ b (* c d))) (/ a (pow c 2))))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (* d (+ (* -1 (/ b d)) (/ a c)))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (* b c) d))) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* b c) (/ (* a (pow c 2)) d)) d))) d))))
#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) #s(hole binary64 (* -1 (/ (+ a (* -1 (/ (+ (* -1 (/ (- (/ (* b (pow c 3)) d) (* a (pow c 2))) d)) (* b c)) d))) d))))
#s(approx (neg (/ (+ (* a (/ d c)) (neg b)) c)) #s(hole binary64 (* -1 (* d (- (* -1 (/ b (* c d))) (* -1 (/ a (pow c 2))))))))
#s(approx (/ (+ (* a (/ d c)) (neg b)) c) #s(hole binary64 (* -1 (* d (+ (* -1 (/ a (pow c 2))) (/ b (* c d)))))))
#s(approx (+ (* a (/ d c)) (neg b)) #s(hole binary64 (* -1 (* d (+ (* -1 (/ a c)) (/ b d))))))

Calls

12 calls:

Time	Variable		Point	Expression
7.0ms	c	@	-inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg (/ (+ (* a (/ d c)) (neg b)) c)) (/ (+ (* a (/ d c)) (neg b)) c) (+ (* a (/ d c)) (neg b)) a (/ d c) d c (neg b) b)
2.0ms	a	@	-inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg (/ (+ (* a (/ d c)) (neg b)) c)) (/ (+ (* a (/ d c)) (neg b)) c) (+ (* a (/ d c)) (neg b)) a (/ d c) d c (neg b) b)
2.0ms	d	@	-inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg (/ (+ (* a (/ d c)) (neg b)) c)) (/ (+ (* a (/ d c)) (neg b)) c) (+ (* a (/ d c)) (neg b)) a (/ d c) d c (neg b) b)
2.0ms	a	@	inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg (/ (+ (* a (/ d c)) (neg b)) c)) (/ (+ (* a (/ d c)) (neg b)) c) (+ (* a (/ d c)) (neg b)) a (/ d c) d c (neg b) b)
2.0ms	b	@	-inf	((/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (neg (/ (+ (* a (/ d c)) (neg b)) c)) (/ (+ (* a (/ d c)) (neg b)) c) (+ (* a (/ d c)) (neg b)) a (/ d c) d c (neg b) b)

rewrite181.0ms (5.1%)

Memory

7.1MiB live, 96.1MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	320	1884
0	326	1793
1	1836	1761
0	8384	1695

Stop Event

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

Counts

79 → 120

Calls

Call 1

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

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

eval21.0ms (0.6%)

Memory: -36.0MiB live, 19.1MiB allocated; 6ms collecting garbage
Compiler: Compiled 4 219 to 588 computations (86.1% saved)

prune131.0ms (3.7%)

Memory

42.8MiB live, 229.1MiB allocated; 17ms collecting garbage

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	1	2	3
Picked	1	0	1
Done	0	3	3
Total	120	7	127

Accuracy

99.9%

Counts

127 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	64.2%	(fma.f64 (.f64 a (/.f64 d (fma.f64 d d (.f64 c c)))) #s(literal -1 binary64) (.f64 b (/.f64 c (fma.f64 d d (.f64 c c)))))
✓	59.6%	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))
	52.1%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 (neg.f64 a) c) (/.f64 d c) (/.f64 b c)))
	57.0%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 c d) (/.f64 b d) (/.f64 (neg.f64 a) d)))
	51.9%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 (/.f64 (*.f64 d a) c) #s(literal -1 binary64) b) c))
✓	57.0%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))
	48.4%	#s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (-.f64 (+.f64 (fma.f64 a (pow.f64 (/.f64 d c) #s(literal 3 binary64)) (neg.f64 (.f64 (/.f64 d c) a))) b) (.f64 b (pow.f64 (/.f64 d c) #s(literal 2 binary64)))) c))

Compiler

Compiled 444 to 180 computations (59.5% saved)

regimes21.0ms (0.6%)

Memory

-8.8MiB live, 36.5MiB allocated; 5ms collecting garbage

Accuracy

Total -55.2b remaining (-1021.3%)

Threshold costs -55.2b (-1021.3%)

Counts

10 → 5

Calls

Call 1

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

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

Calls

5 calls:

7.0ms	d
3.0ms	a
3.0ms	b
3.0ms	c
3.0ms	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))

Results

Accuracy	Segments	Branch
75.5%	2	`(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))`
70.3%	3	`a`
68.4%	2	`b`
81.3%	5	`c`
91.5%	5	`d`

Compiler

Compiled 19 to 27 computations (-42.1% saved)

bsearch40.0ms (1.1%)

Memory

5.5MiB live, 52.0MiB allocated; 2ms collecting garbage

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	1.0711938608899514e+113	6.0471001185596366e+113
7.0ms	4.60133048754298e-136	8.560657801724897e-136
5.0ms	-2.2143172815357424e-72	-1.697716823710057e-72
13.0ms	-9.190505757842158e+139	-3.121448067398745e+138

Samples

21.0ms

320×

valid

Compiler

Compiled 972 to 625 computations (35.7% saved)

Precisions

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

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

ival-div: 2.0ms (15.7% of total)

ival-sub: 1.0ms (7.9% of total)

ival-add: 1.0ms (7.9% of total)

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

adjust: 0.0ms (0% of total)

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

simplify56.0ms (1.6%)

Memory

-21.4MiB live, 25.8MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	137
1	71	137
2	141	137
3	241	137
4	352	137
5	479	137
6	490	137

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 d #s(literal -57999999999999997938474811632394118869754880652231239369286080937320010692236932095117328888540114984533808639198992178014340306644116701184 binary64)) #s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 b d) (/.f64 c d) (/.f64 (neg.f64 a) d))) (if (<=.f64 d #s(literal -3381798007586549/1989292945639146568621528992587283360401824603189390869761855907572637988050133502132224 binary64)) (fma.f64 (*.f64 a (/.f64 d (fma.f64 d d (*.f64 c c)))) #s(literal -1 binary64) (*.f64 b (/.f64 c (fma.f64 d d (*.f64 c c))))) (if (<=.f64 d #s(literal 3666197480843679/6546781215792283740026379393655198304433284092086129578966582736192267592809349109766540184651808314301773368255120142018434513091770786106657055178752 binary64)) #s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (-.f64 b (/.f64 (*.f64 d a) c)) c)) (if (<=.f64 d #s(literal 600000000000000009335649677680105814560920838152636860021862348258500268698853421958991233949028468605723768520704 binary64)) (fma.f64 (*.f64 a (/.f64 d (fma.f64 d d (*.f64 c c)))) #s(literal -1 binary64) (*.f64 b (/.f64 c (fma.f64 d d (*.f64 c c))))) #s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))))))

Outputs

(if (<=.f64 d #s(literal -57999999999999997938474811632394118869754880652231239369286080937320010692236932095117328888540114984533808639198992178014340306644116701184 binary64)) #s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (fma.f64 (/.f64 b d) (/.f64 c d) (/.f64 (neg.f64 a) d))) (if (<=.f64 d #s(literal -3381798007586549/1989292945639146568621528992587283360401824603189390869761855907572637988050133502132224 binary64)) (fma.f64 (*.f64 a (/.f64 d (fma.f64 d d (*.f64 c c)))) #s(literal -1 binary64) (*.f64 b (/.f64 c (fma.f64 d d (*.f64 c c))))) (if (<=.f64 d #s(literal 3666197480843679/6546781215792283740026379393655198304433284092086129578966582736192267592809349109766540184651808314301773368255120142018434513091770786106657055178752 binary64)) #s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (-.f64 b (/.f64 (*.f64 d a) c)) c)) (if (<=.f64 d #s(literal 600000000000000009335649677680105814560920838152636860021862348258500268698853421958991233949028468605723768520704 binary64)) (fma.f64 (*.f64 a (/.f64 d (fma.f64 d d (*.f64 c c)))) #s(literal -1 binary64) (*.f64 b (/.f64 c (fma.f64 d d (*.f64 c c))))) #s(approx (/ (- (* b c) (* a d)) (+ (* c c) (* d d))) (/.f64 (fma.f64 b (/.f64 c d) (neg.f64 a)) d))))))

derivations109.0ms (3.1%)

Memory

-12.3MiB live, 81.3MiB allocated; 21ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 137 to 45 computations (67.2% saved)

preprocess25.0ms (0.7%)

Memory: 10.0MiB live, 56.7MiB allocated; 2ms collecting garbage
Compiler: Compiled 378 to 154 computations (59.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze51.0ms (1.4%)

sample1.0s (28.7%)

explain126.0ms (3.6%)

preprocess36.0ms (1%)

eval0.0ms (0%)

prune0.0ms (0%)

series20.0ms (0.6%)

rewrite196.0ms (5.5%)

eval19.0ms (0.5%)

prune212.0ms (6%)

series27.0ms (0.8%)

rewrite500.0ms (14.1%)

eval58.0ms (1.6%)

prune251.0ms (7.1%)

series15.0ms (0.4%)

rewrite280.0ms (7.9%)

eval36.0ms (1%)

prune89.0ms (2.5%)

series26.0ms (0.7%)

rewrite181.0ms (5.1%)

eval21.0ms (0.6%)

prune131.0ms (3.7%)

regimes21.0ms (0.6%)

bsearch40.0ms (1.1%)

simplify56.0ms (1.6%)

derivations109.0ms (3.1%)

preprocess25.0ms (0.7%)

end0.0ms (0%)

Profiling