Metrics for Data.Colour.Matrix:inverse from colour-2.3.3, B

start0.0ms (0%)

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

analyze129.0ms (5.3%)

Memory

9.8MiB live, 216.3MiB allocated; 37ms 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
0%	0%	99.8%	0.2%	0%	0%	0%	5
50%	49.9%	49.9%	0.2%	0%	0%	0%	6
50%	49.9%	49.9%	0.2%	0%	0%	0%	7
50%	49.9%	49.9%	0.2%	0%	0%	0%	8
50%	49.9%	49.9%	0.2%	0%	0%	0%	9
50%	49.9%	49.9%	0.2%	0%	0%	0%	10
75%	74.8%	24.9%	0.2%	0%	0%	0%	11
75%	74.8%	24.9%	0.2%	0%	0%	0%	12

Compiler

Compiled 11 to 11 computations (0% saved)

sample772.0ms (32%)

Memory

-8.3MiB live, 1 257.6MiB allocated; 226ms collecting garbage

Samples

473.0ms

8 256×

valid

Precisions

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

ival-mult!: 94.0ms (46.7% of total)

ival-div!: 64.0ms (31.8% of total)

ival-sub!: 41.0ms (20.4% of total)

adjust: 1.0ms (0.5% of total)

Bogosity

explain72.0ms (3%)

Memory

36.3MiB live, 135.3MiB allocated; 7ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
28	-	-	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
6	-	-	`(-.f64 (.f64 x y) (.f64 z t))`
0	-	-	`a`
0	-	-	`t`
0	-	-	`(*.f64 z t)`
0	-	-	`z`
0	-	-	`(*.f64 x y)`
0	-	-	`y`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`	o/n	27	0
↳	`(*.f64 x y)`	overflow	39
↳	`(*.f64 z t)`	overflow	26
↳	`(-.f64 (.f64 x y) (.f64 z t))`	overflow	58
`-.f64`	`(-.f64 (.f64 x y) (.f64 z t))`	nan-rescue	6	0
↳	`(*.f64 x y)`	overflow	39
↳	`(*.f64 z t)`	overflow	26
`/.f64`	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`	u/n	1	0
↳	`(*.f64 x y)`	underflow	25
↳	`(*.f64 z t)`	underflow	26
↳	`(-.f64 (.f64 x y) (.f64 z t))`	underflow	4

Confusion

	Predicted +	Predicted -
+	30	0
-	0	226

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	30	0	0
-	0	0	226

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	226
1	26
2	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

27.0ms

512×

valid

Compiler

Compiled 67 to 31 computations (53.7% saved)

Precisions

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

ival-mult!: 5.0ms (49% of total)

ival-div!: 4.0ms (39.2% of total)

ival-sub!: 1.0ms (9.8% of total)

adjust: 0.0ms (0% of total)

preprocess34.0ms (1.4%)

Memory

-7.6MiB live, 39.0MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	64	194
1	162	194
2	363	194
3	749	193
4	1300	193
5	1662	193
6	1662	193

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	88.6%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)

Symmetry

(negabs a)

(sort x y)

(sort z t)

Compiler

Compiled 18 to 18 computations (0% saved)

series18.0ms (0.7%)

Memory

-8.4MiB live, 38.1MiB allocated; 2ms collecting garbage

Counts

9 → 31

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(-.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
a

Outputs
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* t z))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (- (* x y) (* t z))))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x y)))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x (+ y (* -1 (/ (* t z) x))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (/ (* t z) x))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* y (+ x (* -1 (/ (* t z) y))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (/ (* t z) y))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (+ (* -1 (* t z)) (* x y))))
#s(approx (* z t) #s(hole binary64 (* t z)))
#s(approx z #s(hole binary64 z))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* z (- (/ (* x y) z) t))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 t))))))
#s(approx t #s(hole binary64 t))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* t (- (/ (* x y) t) z))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x y) t)) (* -1 z))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx a #s(hole binary64 a))

Calls

15 calls:

Time	Variable		Point	Expression
3.0ms	z	@	inf	((/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* x y) x y (* z t) z t a)
2.0ms	t	@	-inf	((/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* x y) x y (* z t) z t a)
1.0ms	y	@	inf	((/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* x y) x y (* z t) z t a)
1.0ms	x	@	inf	((/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* x y) x y (* z t) z t a)
1.0ms	x	@	-inf	((/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* x y) x y (* z t) z t a)

rewrite166.0ms (6.9%)

Memory

29.6MiB live, 258.4MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	126	554
0	132	526
1	640	516
2	5462	514
0	8460	504

Stop Event

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

Counts

40 → 124

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(-.f64 (.f64 x y) (.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
a
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* t z))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (- (* x y) (* t z))))
#s(approx (* x y) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x y)))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x (+ y (* -1 (/ (* t z) x))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (/ (* t z) x))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* y (+ x (* -1 (/ (* t z) y))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (/ (* t z) y))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (+ (* -1 (* t z)) (* x y))))
#s(approx (* z t) #s(hole binary64 (* t z)))
#s(approx z #s(hole binary64 z))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* z (- (/ (* x y) z) t))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 t))))))
#s(approx t #s(hole binary64 t))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* t (- (/ (* x y) t) z))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x y) t)) (* -1 z))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx a #s(hole binary64 a))

Outputs
(/.f64 (-.f64 (.f64 (.f64 x x) (/.f64 (.f64 y y) (.f64 a a))) (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a))) (fma.f64 (/.f64 x a) y (/.f64 (*.f64 t z) a)))
(/.f64 (-.f64 (.f64 (.f64 x x) (/.f64 (.f64 y y) (.f64 a a))) (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a))) (-.f64 (/.f64 (.f64 y x) a) (.f64 (neg.f64 z) (/.f64 t a))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a))) (.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 a a) a)))) (fma.f64 (.f64 x x) (/.f64 (.f64 y y) (.f64 a a)) (+.f64 (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a)) (.f64 (/.f64 (.f64 y x) a) (/.f64 (.f64 t z) a)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (neg.f64 z) t (*.f64 y x)))) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 (.f64 (/.f64 (fma.f64 (neg.f64 z) t (.f64 y x)) a) (/.f64 (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y)) a))) (neg.f64 (/.f64 (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y)) a)))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 a a) a)) (.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a))))) (neg.f64 (fma.f64 (/.f64 (.f64 y x) a) (-.f64 (/.f64 (.f64 y x) a) (.f64 (neg.f64 z) (/.f64 t a))) (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a)))))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) (neg.f64 a)) (.f64 (neg.f64 a) (.f64 (neg.f64 z) t))) (*.f64 (neg.f64 a) (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) a) (.f64 (neg.f64 a) (.f64 t z))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 y x) (neg.f64 a)) (.f64 a (.f64 (neg.f64 z) t))) (*.f64 a (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 y x) a) (.f64 a (.f64 t z))) (*.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) a (.f64 (neg.f64 a) (.f64 (neg.f64 z) t))) (.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 y x) a (.f64 a (.f64 (neg.f64 z) t))) (.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 z) t) (neg.f64 a) (.f64 a (.f64 (neg.f64 x) y))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 z) t) a (.f64 a (.f64 y x))) (.f64 a a))
(/.f64 (-.f64 (.f64 (neg.f64 x) y) (.f64 (neg.f64 z) t)) (neg.f64 a))
(/.f64 (.f64 (fma.f64 t z (.f64 y x)) (fma.f64 (neg.f64 z) t (.f64 y x))) (.f64 (fma.f64 t z (*.f64 y x)) a))
(/.f64 (.f64 (/.f64 (fma.f64 (neg.f64 z) t (.f64 y x)) a) (/.f64 (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y)) a)) (/.f64 (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y)) a))
(/.f64 (.f64 (fma.f64 (neg.f64 z) t (.f64 y x)) (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y))) (.f64 (fma.f64 (neg.f64 z) t (*.f64 (neg.f64 x) y)) a))
(/.f64 (-.f64 (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z))) (.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 (.f64 t z) (fma.f64 t z (.f64 y x)))) a))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 a a) a)) (.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a)))) (fma.f64 (.f64 x x) (/.f64 (.f64 y y) (.f64 a a)) (-.f64 (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a)) (/.f64 (.f64 (neg.f64 t) (.f64 z (.f64 y x))) (.f64 a a)))))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 a a) a)) (.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a)))) (fma.f64 (/.f64 (.f64 y x) a) (-.f64 (/.f64 (.f64 y x) a) (.f64 (neg.f64 z) (/.f64 t a))) (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a))))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (.f64 (fma.f64 (.f64 (.f64 t z) t) z (.f64 (.f64 y x) (fma.f64 t z (*.f64 y x)))) a))
(/.f64 (neg.f64 (fma.f64 (neg.f64 z) t (*.f64 y x))) (neg.f64 a))
(/.f64 (fma.f64 (neg.f64 z) t (*.f64 y x)) a)
(neg.f64 (/.f64 (neg.f64 (fma.f64 (neg.f64 z) t (*.f64 y x))) a))
(neg.f64 (/.f64 (fma.f64 (neg.f64 z) t (*.f64 y x)) (neg.f64 a)))
(fma.f64 (neg.f64 z) (/.f64 t a) (/.f64 (*.f64 y x) a))
(fma.f64 (/.f64 (neg.f64 z) a) t (/.f64 (*.f64 y x) a))
(fma.f64 (/.f64 z a) (neg.f64 t) (/.f64 (*.f64 y x) a))
(fma.f64 (neg.f64 t) (/.f64 z a) (/.f64 (*.f64 y x) a))
(fma.f64 (/.f64 (neg.f64 t) a) z (/.f64 (*.f64 y x) a))
(fma.f64 (/.f64 t a) (neg.f64 z) (/.f64 (*.f64 y x) a))
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 (.f64 t z) a) #s(literal -1 binary64) (/.f64 (.f64 y x) a))
(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 y x) a))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) a) (/.f64 (.f64 y x) a))
(fma.f64 t (/.f64 (neg.f64 z) a) (/.f64 (*.f64 y x) a))
(fma.f64 z (/.f64 (neg.f64 t) a) (/.f64 (*.f64 y x) a))
(fma.f64 y (/.f64 x a) (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 x (/.f64 y a) (*.f64 (neg.f64 z) (/.f64 t a)))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a)) (/.f64 (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y)) a)) (/.f64 (.f64 (.f64 x x) (/.f64 (.f64 y y) (.f64 a a))) (/.f64 (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y)) a)))
(-.f64 (/.f64 (.f64 y x) a) (.f64 (*.f64 (neg.f64 z) (/.f64 t a)) #s(literal -1 binary64)))
(-.f64 (/.f64 (.f64 y x) a) (.f64 #s(literal 1 binary64) (/.f64 (*.f64 t z) a)))
(-.f64 (/.f64 (.f64 y x) a) (/.f64 (.f64 t z) a))
(-.f64 (.f64 (neg.f64 z) (/.f64 t a)) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (/.f64 (.f64 (.f64 (.f64 t t) t) (/.f64 (.f64 (.f64 z z) z) (.f64 (.f64 a a) a))) (fma.f64 (/.f64 (.f64 y x) a) (-.f64 (/.f64 (.f64 y x) a) (.f64 (neg.f64 z) (/.f64 t a))) (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a)))) (/.f64 (.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a))) (fma.f64 (/.f64 (.f64 y x) a) (-.f64 (/.f64 (.f64 y x) a) (.f64 (neg.f64 z) (/.f64 t a))) (/.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 a a)))))
(+.f64 (/.f64 (.f64 y x) a) (.f64 (neg.f64 z) (/.f64 t a)))
(+.f64 (.f64 (neg.f64 z) (/.f64 t a)) (/.f64 (.f64 y x) a))
(/.f64 (-.f64 (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z)) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (fma.f64 (.f64 (.f64 t z) t) z (fma.f64 (.f64 (.f64 y x) y) x (.f64 (.f64 (neg.f64 z) t) (*.f64 (neg.f64 x) y)))))
(/.f64 (neg.f64 (.f64 (fma.f64 t z (.f64 y x)) (fma.f64 (neg.f64 z) t (.f64 y x)))) (neg.f64 (fma.f64 t z (.f64 y x))))
(/.f64 (neg.f64 (.f64 (fma.f64 (neg.f64 z) t (.f64 y x)) (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y)))) (neg.f64 (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z)))) (neg.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 (.f64 t z) (fma.f64 t z (*.f64 y x))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)))) (neg.f64 (fma.f64 (.f64 (.f64 t z) t) z (.f64 (.f64 y x) (fma.f64 t z (.f64 y x))))))
(/.f64 (.f64 (fma.f64 t z (.f64 y x)) (fma.f64 (neg.f64 z) t (.f64 y x))) (fma.f64 t z (.f64 y x)))
(/.f64 (.f64 (fma.f64 (neg.f64 z) t (.f64 y x)) (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y))) (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z))) (fma.f64 (.f64 (.f64 y x) y) x (.f64 (.f64 t z) (fma.f64 t z (*.f64 y x)))))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (fma.f64 (.f64 (.f64 y x) y) x (-.f64 (.f64 (.f64 (.f64 t z) t) z) (.f64 (neg.f64 t) (.f64 z (*.f64 y x))))))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x))) (fma.f64 (.f64 (.f64 t z) t) z (.f64 (.f64 y x) (fma.f64 t z (.f64 y x)))))
(fma.f64 (neg.f64 z) t (*.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (neg.f64 z) t (*.f64 y x))
(fma.f64 (neg.f64 t) z (*.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (neg.f64 t) z (*.f64 y x))
(fma.f64 (.f64 t z) #s(literal -1 binary64) (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (.f64 t z) #s(literal -1 binary64) (.f64 y x))
(fma.f64 #s(literal -1 binary64) (.f64 t z) (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 #s(literal -1 binary64) (.f64 t z) (.f64 y x))
(fma.f64 t (neg.f64 z) (*.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 t (neg.f64 z) (*.f64 y x))
(fma.f64 z (neg.f64 t) (*.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 z (neg.f64 t) (*.f64 y x))
(fma.f64 y x (*.f64 (neg.f64 z) t))
(fma.f64 x y (*.f64 (neg.f64 z) t))
(-.f64 (/.f64 (.f64 (.f64 (.f64 y x) y) x) (fma.f64 t z (.f64 y x))) (/.f64 (.f64 (.f64 (.f64 t z) t) z) (fma.f64 t z (.f64 y x))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 t z) t) z) (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y))) (/.f64 (.f64 (.f64 (.f64 y x) y) x) (fma.f64 (neg.f64 z) t (.f64 (neg.f64 x) y))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (fma.f64 (.f64 (.f64 y x) y) x (.f64 (.f64 t z) (fma.f64 t z (.f64 y x))))) (/.f64 (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z)) (fma.f64 (.f64 (.f64 y x) y) x (.f64 (.f64 t z) (fma.f64 t z (.f64 y x))))))
(-.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 x) y))
(-.f64 (.f64 y x) (.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)))
(-.f64 (.f64 y x) (.f64 #s(literal 1 binary64) (*.f64 t z)))
(-.f64 (.f64 y x) (.f64 t z))
(+.f64 (/.f64 (.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z)) (fma.f64 (.f64 (.f64 t z) t) z (.f64 (.f64 y x) (fma.f64 t z (.f64 y x))))) (/.f64 (.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x)) (fma.f64 (.f64 (.f64 t z) t) z (.f64 (.f64 y x) (fma.f64 t z (.f64 y x))))))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 (neg.f64 x)) y))
(+.f64 (.f64 (neg.f64 z) t) (.f64 y x))
(+.f64 (.f64 y x) (.f64 (neg.f64 z) t))
(*.f64 y x)
(*.f64 x y)
x
y
(*.f64 t z)
(*.f64 z t)
z
t
a
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 (neg.f64 z) t (*.f64 y x)) a))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))
#s(approx (- (* x y) (* z t)) (fma.f64 (neg.f64 z) t (*.f64 y x)))
#s(approx (* x y) (*.f64 y x))
#s(approx x x)
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 y x) a))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (- (* x y) (* z t)) (*.f64 y x))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 y (/.f64 (.f64 t z) x)) x))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (- (* x y) (* z t)) (.f64 (neg.f64 x) (-.f64 y (/.f64 (.f64 t z) x))))
#s(approx y y)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a y)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 x (/.f64 (.f64 t z) y)) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a y)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 x (/.f64 (.f64 t z) y)) (neg.f64 y)))
#s(approx (- (* x y) (* z t)) (fma.f64 (neg.f64 z) t (*.f64 y x)))
#s(approx (* z t) (*.f64 t z))
#s(approx z z)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 a z)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 z) (fma.f64 (/.f64 y (.f64 a z)) x (/.f64 (neg.f64 t) a))))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) (fma.f64 (neg.f64 x) (/.f64 y z) t)))
#s(approx t t)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 a t)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) t) z) t))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 a t)) x (/.f64 (neg.f64 z) a)) (neg.f64 t)))
#s(approx (- (* x y) (* z t)) (*.f64 (fma.f64 (neg.f64 x) (/.f64 y t) z) (neg.f64 t)))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 (neg.f64 z) t (*.f64 y x)) a))
#s(approx a a)

eval83.0ms (3.4%)

Memory: -37.8MiB live, 28.5MiB allocated; 88ms collecting garbage
Compiler: Compiled 2 396 to 367 computations (84.7% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	106	7	113
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	106	8	114

Accuracy

100.0%

Counts

114 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
	87.4%	(fma.f64 (/.f64 (neg.f64 z) a) t (/.f64 (*.f64 y x) a))
▶	91.9%	(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
▶	92.8%	(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
	87.8%	(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 y x) a))
✓	88.6%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
▶	49.2%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
▶	48.9%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
▶	51.9%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))

Compiler

Compiled 185 to 163 computations (11.9% saved)

series38.0ms (1.6%)

Memory

-26.3MiB live, 71.7MiB allocated; 16ms collecting garbage

Counts

19 → 62

Calls

Call 1

Inputs
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 x a)
x
a
y
(*.f64 (neg.f64 z) (/.f64 t a))
(neg.f64 z)
z
(/.f64 t a)
t
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
#s(approx (- (* x y) (* z t)) (*.f64 y x))
(*.f64 y x)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))
(*.f64 (neg.f64 z) t)
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 y a)

Outputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (/ x a) #s(hole binary64 (/ x a)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* t z))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (- (* x y) (* t z))))
#s(approx (* y x) #s(hole binary64 (* x y)))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x y)))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x (+ y (* -1 (/ (* t z) x))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (/ (* t z) x))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* y (+ x (* -1 (/ (* t z) y))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (/ (* t z) y))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (* (neg z) (/ t a)) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx z #s(hole binary64 z))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (+ (* -1 (* t z)) (* x y))))
#s(approx (* (neg z) t) #s(hole binary64 (* -1 (* t z))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* z (- (/ (* x y) z) t))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 t))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (/ t a) #s(hole binary64 (/ t a)))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* t (- (/ (* x y) t) z))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x y) t)) (* -1 z))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))

Calls

15 calls:

Time	Variable		Point	Expression
9.0ms	a	@	inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (/ x a) x a y (* (neg z) (/ t a)) (neg z) z (/ t a) t (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* y x) (/ (- (* x y) (* z t)) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a))
7.0ms	y	@	0	((+ (* (/ x a) y) (* (neg z) (/ t a))) (/ x a) x a y (* (neg z) (/ t a)) (neg z) z (/ t a) t (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* y x) (/ (- (* x y) (* z t)) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a))
2.0ms	a	@	-inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (/ x a) x a y (* (neg z) (/ t a)) (neg z) z (/ t a) t (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* y x) (/ (- (* x y) (* z t)) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a))
2.0ms	a	@	0	((+ (* (/ x a) y) (* (neg z) (/ t a))) (/ x a) x a y (* (neg z) (/ t a)) (neg z) z (/ t a) t (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* y x) (/ (- (* x y) (* z t)) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a))
2.0ms	y	@	-inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (/ x a) x a y (* (neg z) (/ t a)) (neg z) z (/ t a) t (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* y x) (/ (- (* x y) (* z t)) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a))

rewrite203.0ms (8.4%)

Memory

16.7MiB live, 252.2MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	180	1354
0	193	1205
1	793	1203
2	5977	1201
0	8287	1177

Stop Event

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

Counts

81 → 302

Calls

Call 1

Inputs
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 x a)
x
a
y
(*.f64 (neg.f64 z) (/.f64 t a))
(neg.f64 z)
z
(/.f64 t a)
t
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
#s(approx (- (* x y) (* z t)) (*.f64 y x))
(*.f64 y x)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))
(*.f64 (neg.f64 z) t)
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 y a)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (/ x a) #s(hole binary64 (/ x a)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* t z))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (- (* x y) (* t z))))
#s(approx (* y x) #s(hole binary64 (* x y)))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x y)))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x (+ y (* -1 (/ (* t z) x))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (/ (* t z) x))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* y (+ x (* -1 (/ (* t z) y))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (/ (* t z) y))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (* (neg z) (/ t a)) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx z #s(hole binary64 z))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (+ (* -1 (* t z)) (* x y))))
#s(approx (* (neg z) t) #s(hole binary64 (* -1 (* t z))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* z (- (/ (* x y) z) t))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 t))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (/ t a) #s(hole binary64 (/ t a)))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* t (- (/ (* x y) t) z))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x y) t)) (* -1 z))))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))

Outputs
(.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)) (.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (.f64 (/.f64 t a) z))) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (.f64 (/.f64 t a) z)))))
(/.f64 (fma.f64 (.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x)) (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (.f64 (/.f64 t a) z))) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 x) y)) a))))
(/.f64 (neg.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a))) (neg.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)))
(/.f64 (neg.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a))) (neg.f64 (/.f64 (fma.f64 t z (.f64 y x)) a)))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)) (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)))) (neg.f64 (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (/.f64 (fma.f64 t z (*.f64 y x)) a)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)) (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)))) (neg.f64 (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 x) y)) a)))))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) (neg.f64 a)) (.f64 (neg.f64 a) (.f64 (neg.f64 z) t))) (*.f64 (neg.f64 a) (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) a) (.f64 (neg.f64 a) (.f64 t z))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 y x) (neg.f64 a)) (.f64 a (.f64 (neg.f64 z) t))) (*.f64 a (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 y x) a) (.f64 a (.f64 t z))) (*.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) (neg.f64 a) (.f64 a (.f64 (neg.f64 z) t))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) a (.f64 a (.f64 t z))) (.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) a (.f64 (neg.f64 a) (.f64 (neg.f64 z) t))) (.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 y x) a (.f64 a (.f64 (neg.f64 z) t))) (.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 z) t) (neg.f64 a) (.f64 a (.f64 (neg.f64 x) y))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 z) t) a (.f64 a (.f64 y x))) (.f64 a a))
(/.f64 (.f64 (fma.f64 t z (.f64 y x)) (fma.f64 (neg.f64 t) z (.f64 y x))) (.f64 (fma.f64 t z (*.f64 y x)) a))
(/.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a))
(/.f64 (.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y))) (.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 x) y)) a))
(/.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a)) (-.f64 (/.f64 (.f64 (neg.f64 x) y) a) (*.f64 (/.f64 t a) z)))
(/.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a)) (/.f64 (fma.f64 t z (.f64 y x)) a))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 y y) y))) (.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 (.f64 t z) (fma.f64 t z (*.f64 y x)))) a))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 y y) y))) (.f64 (fma.f64 (.f64 (.f64 t z) t) z (.f64 (.f64 y x) (fma.f64 t z (*.f64 y x)))) a))
(/.f64 (fma.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)) (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x))) (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (/.f64 (fma.f64 t z (*.f64 y x)) a))))
(/.f64 (fma.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)) (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x))) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 x) y)) a))))
(/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) (neg.f64 (neg.f64 a)))
(/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) (neg.f64 a))
(/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a)
(neg.f64 (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
(fma.f64 (/.f64 (.f64 (neg.f64 x) y) a) #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (/.f64 (neg.f64 z) a) t (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 z a) (neg.f64 t) (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 z a) t (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 (neg.f64 t) (/.f64 (neg.f64 z) a) (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 (neg.f64 t) (/.f64 z a) (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 (neg.f64 t) a) z (*.f64 (/.f64 x a) y))
(fma.f64 (neg.f64 x) (/.f64 (neg.f64 y) a) (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (neg.f64 x) (/.f64 y a) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 (neg.f64 x) a) y (*.f64 (/.f64 t a) z))
(fma.f64 (neg.f64 y) (/.f64 x a) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 (neg.f64 y) a) x (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 y a) (neg.f64 x) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (.f64 (/.f64 x a) y) #s(literal -1 binary64) (.f64 (/.f64 t a) z))
(fma.f64 (.f64 (/.f64 t a) z) #s(literal -1 binary64) (.f64 (/.f64 x a) y))
(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) (neg.f64 a)) (/.f64 (.f64 (neg.f64 x) y) a))
(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 x a) y))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 y x) (neg.f64 a)) (.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 x a) y) (.f64 (/.f64 t a) z))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 t a) z) (.f64 (/.f64 x a) y))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (.f64 (neg.f64 x) y) a))
(fma.f64 (/.f64 t a) (neg.f64 z) (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 t a) z (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 (neg.f64 z) (/.f64 (neg.f64 t) a) (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 (neg.f64 z) (/.f64 t a) (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 x a) (neg.f64 y) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 x a) y (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) (neg.f64 a)) (.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 t a) z))
(fma.f64 t (/.f64 (neg.f64 z) a) (*.f64 (/.f64 x a) y))
(fma.f64 t (/.f64 z a) (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 z (/.f64 (neg.f64 t) a) (*.f64 (/.f64 x a) y))
(fma.f64 z (/.f64 t a) (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 y (/.f64 (neg.f64 x) a) (*.f64 (/.f64 t a) z))
(fma.f64 y (/.f64 x a) (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 x (/.f64 (neg.f64 y) a) (*.f64 (/.f64 t a) z))
(fma.f64 x (/.f64 y a) (*.f64 (/.f64 (neg.f64 z) a) t))
(-.f64 (/.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)) (/.f64 (.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x)) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)))
(-.f64 (/.f64 (.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x)) (/.f64 (fma.f64 t z (.f64 y x)) a)) (/.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (/.f64 (fma.f64 t z (.f64 y x)) a)))
(-.f64 (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (/.f64 (neg.f64 z) a) t))
(-.f64 (.f64 (/.f64 x a) y) (.f64 (*.f64 (/.f64 (neg.f64 z) a) t) #s(literal -1 binary64)))
(-.f64 (.f64 (/.f64 x a) y) (.f64 #s(literal 1 binary64) (*.f64 (/.f64 t a) z)))
(-.f64 (.f64 (/.f64 x a) y) (.f64 (/.f64 (neg.f64 t) a) (neg.f64 z)))
(-.f64 (.f64 (/.f64 x a) y) (.f64 (/.f64 t a) z))
(-.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (.f64 (/.f64 (.f64 (neg.f64 x) y) a) #s(literal -1 binary64)) (*.f64 (/.f64 (neg.f64 z) a) t))
(+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 x) y) a)) (*.f64 (/.f64 (neg.f64 z) a) t))
(+.f64 (/.f64 (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a))) (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (/.f64 (fma.f64 t z (.f64 y x)) a)))) (/.f64 (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)) (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (/.f64 (fma.f64 t z (.f64 y x)) a)))))
(+.f64 (/.f64 (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)))) (/.f64 (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a))) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)))))
(+.f64 (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (/.f64 t a) z))
(+.f64 (.f64 (/.f64 x a) y) (.f64 (/.f64 (neg.f64 z) a) t))
(+.f64 (.f64 (/.f64 t a) z) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (.f64 (/.f64 (neg.f64 z) a) t) (.f64 (/.f64 x a) y))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 x) a))
(*.f64 x (/.f64 #s(literal -1 binary64) (neg.f64 a)))
(/.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 x) (neg.f64 a))
(/.f64 x a)
(neg.f64 (/.f64 (neg.f64 x) a))
x
a
y
(*.f64 (/.f64 (neg.f64 z) a) t)
(*.f64 (/.f64 z a) (neg.f64 t))
(*.f64 (neg.f64 t) (/.f64 z a))
(*.f64 (/.f64 (neg.f64 t) a) z)
(.f64 (.f64 (/.f64 t a) z) #s(literal -1 binary64))
(.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 t a) z))
(*.f64 (/.f64 t a) (neg.f64 z))
(*.f64 (neg.f64 z) (/.f64 t a))
(*.f64 t (/.f64 (neg.f64 z) a))
(*.f64 z (/.f64 (neg.f64 t) a))
(/.f64 (*.f64 (neg.f64 z) (neg.f64 t)) (neg.f64 a))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 z) t)) (neg.f64 a))
(/.f64 (.f64 (.f64 (neg.f64 z) t) #s(literal -1 binary64)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 t) (neg.f64 z)) (neg.f64 a))
(/.f64 (neg.f64 (*.f64 (neg.f64 z) t)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 z) t) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 z) t) a)
(/.f64 (*.f64 t z) (neg.f64 a))
(neg.f64 (*.f64 (/.f64 t a) z))
(*.f64 #s(literal -1 binary64) z)
(*.f64 z #s(literal -1 binary64))
(neg.f64 z)
z
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 t) a))
(*.f64 t (/.f64 #s(literal -1 binary64) (neg.f64 a)))
(/.f64 (neg.f64 t) (neg.f64 a))
(/.f64 t (neg.f64 (neg.f64 a)))
(/.f64 t a)
(neg.f64 (/.f64 (neg.f64 t) a))
t
(/.f64 (neg.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)))) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x))) (neg.f64 a))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
(neg.f64 (/.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x))) a))
(neg.f64 (/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) (neg.f64 a)))
#s(approx (- (* x y) (* z t)) (*.f64 y x))
(*.f64 y x)
(*.f64 x y)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 (neg.f64 z) a) t))
(/.f64 (neg.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)))) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))) (neg.f64 a))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
(neg.f64 (/.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))) a))
(neg.f64 (/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) (neg.f64 a)))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))
(*.f64 (neg.f64 t) z)
(.f64 (.f64 t z) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 t z))
(*.f64 (neg.f64 z) t)
(*.f64 t (neg.f64 z))
(*.f64 z (neg.f64 t))
(neg.f64 (*.f64 t z))
(.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)) (.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (.f64 (/.f64 t a) z))) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (.f64 (/.f64 t a) z)))))
(/.f64 (fma.f64 (.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x)) (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (.f64 (/.f64 t a) z))) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 x) y)) a))))
(/.f64 (neg.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a))) (neg.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)))
(/.f64 (neg.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a))) (neg.f64 (/.f64 (fma.f64 t z (.f64 y x)) a)))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)) (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)))) (neg.f64 (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (/.f64 (fma.f64 t z (*.f64 y x)) a)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)) (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)))) (neg.f64 (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 x) y)) a)))))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) (neg.f64 a)) (.f64 (neg.f64 a) (.f64 (neg.f64 z) t))) (*.f64 (neg.f64 a) (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) a) (.f64 (neg.f64 a) (.f64 t z))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 y x) (neg.f64 a)) (.f64 a (.f64 (neg.f64 z) t))) (*.f64 a (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 y x) a) (.f64 a (.f64 t z))) (*.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) (neg.f64 a) (.f64 a (.f64 (neg.f64 z) t))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) a (.f64 a (.f64 t z))) (.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) a (.f64 (neg.f64 a) (.f64 (neg.f64 z) t))) (.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 y x) a (.f64 a (.f64 (neg.f64 z) t))) (.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 z) t) (neg.f64 a) (.f64 a (.f64 (neg.f64 x) y))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 z) t) a (.f64 a (.f64 y x))) (.f64 a a))
(/.f64 (.f64 (fma.f64 t z (.f64 y x)) (fma.f64 (neg.f64 t) z (.f64 y x))) (.f64 (fma.f64 t z (*.f64 y x)) a))
(/.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a))
(/.f64 (.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y))) (.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 x) y)) a))
(/.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a)) (-.f64 (/.f64 (.f64 (neg.f64 x) y) a) (*.f64 (/.f64 t a) z)))
(/.f64 (.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a)) (/.f64 (fma.f64 t z (.f64 y x)) a))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 y y) y))) (.f64 (fma.f64 (.f64 (.f64 y x) y) x (.f64 (.f64 t z) (fma.f64 t z (*.f64 y x)))) a))
(/.f64 (fma.f64 (.f64 (.f64 t t) t) (.f64 (.f64 z z) z) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 y y) y))) (.f64 (fma.f64 (.f64 (.f64 t z) t) z (.f64 (.f64 y x) (fma.f64 t z (*.f64 y x)))) a))
(/.f64 (fma.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)) (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x))) (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (/.f64 (fma.f64 t z (*.f64 y x)) a))))
(/.f64 (fma.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)) (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x))) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 x) y)) a))))
(/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) (neg.f64 (neg.f64 a)))
(/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) (neg.f64 a))
(/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a)
(neg.f64 (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
(fma.f64 (/.f64 (.f64 (neg.f64 x) y) a) #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (/.f64 (neg.f64 z) a) t (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 z a) (neg.f64 t) (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 z a) t (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 (neg.f64 t) (/.f64 (neg.f64 z) a) (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 (neg.f64 t) (/.f64 z a) (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 (neg.f64 t) a) z (*.f64 (/.f64 x a) y))
(fma.f64 (neg.f64 x) (/.f64 (neg.f64 y) a) (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (neg.f64 x) (/.f64 y a) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 (neg.f64 x) a) y (*.f64 (/.f64 t a) z))
(fma.f64 (neg.f64 y) (/.f64 x a) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 (neg.f64 y) a) x (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 y a) (neg.f64 x) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (.f64 (/.f64 x a) y) #s(literal -1 binary64) (.f64 (/.f64 t a) z))
(fma.f64 (.f64 (/.f64 t a) z) #s(literal -1 binary64) (.f64 (/.f64 x a) y))
(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) (neg.f64 a)) (/.f64 (.f64 (neg.f64 x) y) a))
(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 x a) y))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 y x) (neg.f64 a)) (.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 x a) y) (.f64 (/.f64 t a) z))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 t a) z) (.f64 (/.f64 x a) y))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (.f64 (neg.f64 x) y) a))
(fma.f64 (/.f64 t a) (neg.f64 z) (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 t a) z (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 (neg.f64 z) (/.f64 (neg.f64 t) a) (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 (neg.f64 z) (/.f64 t a) (*.f64 (/.f64 x a) y))
(fma.f64 (/.f64 x a) (neg.f64 y) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 x a) y (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) (neg.f64 a)) (.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 t a) z))
(fma.f64 t (/.f64 (neg.f64 z) a) (*.f64 (/.f64 x a) y))
(fma.f64 t (/.f64 z a) (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 z (/.f64 (neg.f64 t) a) (*.f64 (/.f64 x a) y))
(fma.f64 z (/.f64 t a) (/.f64 (*.f64 (neg.f64 x) y) a))
(fma.f64 y (/.f64 (neg.f64 x) a) (*.f64 (/.f64 t a) z))
(fma.f64 y (/.f64 x a) (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 x (/.f64 (neg.f64 y) a) (*.f64 (/.f64 t a) z))
(fma.f64 x (/.f64 y a) (*.f64 (/.f64 (neg.f64 z) a) t))
(-.f64 (/.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)) (/.f64 (.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x)) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)))
(-.f64 (/.f64 (.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x)) (/.f64 (fma.f64 t z (.f64 y x)) a)) (/.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (/.f64 (fma.f64 t z (.f64 y x)) a)))
(-.f64 (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (/.f64 (neg.f64 z) a) t))
(-.f64 (.f64 (/.f64 x a) y) (.f64 (*.f64 (/.f64 (neg.f64 z) a) t) #s(literal -1 binary64)))
(-.f64 (.f64 (/.f64 x a) y) (.f64 #s(literal 1 binary64) (*.f64 (/.f64 t a) z)))
(-.f64 (.f64 (/.f64 x a) y) (.f64 (/.f64 (neg.f64 t) a) (neg.f64 z)))
(-.f64 (.f64 (/.f64 x a) y) (.f64 (/.f64 t a) z))
(-.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (.f64 (/.f64 (.f64 (neg.f64 x) y) a) #s(literal -1 binary64)) (*.f64 (/.f64 (neg.f64 z) a) t))
(+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 x) y) a)) (*.f64 (/.f64 (neg.f64 z) a) t))
(+.f64 (/.f64 (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a))) (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (/.f64 (fma.f64 t z (.f64 y x)) a)))) (/.f64 (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)) (fma.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a)) (.f64 (.f64 (/.f64 x a) y) (/.f64 (fma.f64 t z (.f64 y x)) a)))))
(+.f64 (/.f64 (.f64 (/.f64 (.f64 (.f64 y y) y) (.f64 (.f64 a a) a)) (.f64 (.f64 x x) x)) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)))) (/.f64 (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a))) (fma.f64 (/.f64 (.f64 y y) (.f64 a a)) (.f64 x x) (.f64 (.f64 (/.f64 (neg.f64 z) a) t) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 x) y)) a)))))
(+.f64 (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (/.f64 t a) z))
(+.f64 (.f64 (/.f64 x a) y) (.f64 (/.f64 (neg.f64 z) a) t))
(+.f64 (.f64 (/.f64 t a) z) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (.f64 (/.f64 (neg.f64 z) a) t) (.f64 (/.f64 x a) y))
(*.f64 #s(literal -1 binary64) (/.f64 (neg.f64 y) a))
(*.f64 y (/.f64 #s(literal -1 binary64) (neg.f64 a)))
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 y) (neg.f64 a))
(/.f64 y a)
(neg.f64 (/.f64 (neg.f64 y) a))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 (neg.f64 z) a) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
#s(approx (/ x a) (/.f64 x a))
#s(approx x x)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 (neg.f64 z) a) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))
#s(approx (- (* x y) (* z t)) (fma.f64 (neg.f64 t) z (*.f64 y x)))
#s(approx (* y x) (*.f64 y x))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 (neg.f64 z) a) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (- (* x y) (* z t)) (*.f64 y x))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 y (/.f64 (.f64 t z) x)) x))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (- (* x y) (* z t)) (.f64 (neg.f64 x) (-.f64 y (/.f64 (.f64 t z) x))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx y y)
#s(approx (/ y a) (/.f64 y a))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 x (/.f64 (.f64 t z) y)) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 x (/.f64 (.f64 t z) y)) (neg.f64 y)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (* (neg z) (/ t a)) (*.f64 (/.f64 (neg.f64 z) a) t))
#s(approx (neg z) (neg.f64 z))
#s(approx z z)
#s(approx (- (* x y) (* z t)) (fma.f64 (neg.f64 t) z (*.f64 y x)))
#s(approx (* (neg z) t) (*.f64 (neg.f64 z) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) (neg.f64 z)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) (neg.f64 z)))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) (neg.f64 z)))
#s(approx (/ t a) (/.f64 t a))
#s(approx t t)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) t) z) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) (neg.f64 t)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) (neg.f64 t)))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) t) z) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) (neg.f64 t)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
#s(approx a a)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 y x)) a))

eval24.0ms (1%)

Memory: 14.9MiB live, 68.9MiB allocated; 5ms collecting garbage
Compiler: Compiled 4 149 to 532 computations (87.2% saved)

prune28.0ms (1.2%)

Memory

-26.7MiB live, 19.4MiB allocated; 4ms collecting garbage

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	238	4	242
Fresh	2	0	2
Picked	2	3	5
Done	0	1	1
Total	242	8	250

Accuracy

100.0%

Counts

250 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	91.4%	(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 z) a) t))
✓	88.6%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
✓	49.2%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
✓	48.9%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
▶	50.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
▶	49.2%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
✓	51.9%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
▶	53.0%	#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))

Compiler

Compiled 114 to 96 computations (15.8% saved)

series23.0ms (1%)

Memory

9.2MiB live, 56.3MiB allocated; 3ms collecting garbage

Counts

19 → 52

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
(*.f64 (/.f64 x a) y)
(/.f64 x a)
x
a
y
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a))
(*.f64 t z)
t
z
(/.f64 #s(literal -1 binary64) a)
#s(literal -1 binary64)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
(*.f64 (/.f64 (neg.f64 z) a) t)
(/.f64 (neg.f64 z) a)
(neg.f64 z)
(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 z) a) t))
(/.f64 y a)

Outputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (* (/ x a) y) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ x a) #s(hole binary64 (/ x a)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (* (* t z) (/ -1 a)) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (* t z) #s(hole binary64 (* t z)))
#s(approx z #s(hole binary64 z))
#s(approx (* (/ (neg z) a) t) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (neg z) a) #s(hole binary64 (* -1 (/ z a))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (/ -1 a) #s(hole binary64 (/ -1 a)))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))

Calls

15 calls:

Time	Variable		Point	Expression
3.0ms	t	@	inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ x a) y) (/ x a) x a y (/ (- (* x y) (* z t)) a) (* (* t z) (/ -1 a)) (* t z) t z (/ -1 a) -1 (/ (- (* x y) (* z t)) a) (* (/ (neg z) a) t) (/ (neg z) a) (neg z) (+ (* (/ y a) x) (* (/ (neg z) a) t)) (/ y a))
2.0ms	a	@	-inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ x a) y) (/ x a) x a y (/ (- (* x y) (* z t)) a) (* (* t z) (/ -1 a)) (* t z) t z (/ -1 a) -1 (/ (- (* x y) (* z t)) a) (* (/ (neg z) a) t) (/ (neg z) a) (neg z) (+ (* (/ y a) x) (* (/ (neg z) a) t)) (/ y a))
2.0ms	a	@	inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ x a) y) (/ x a) x a y (/ (- (* x y) (* z t)) a) (* (* t z) (/ -1 a)) (* t z) t z (/ -1 a) -1 (/ (- (* x y) (* z t)) a) (* (/ (neg z) a) t) (/ (neg z) a) (neg z) (+ (* (/ y a) x) (* (/ (neg z) a) t)) (/ y a))
2.0ms	a	@	0	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ x a) y) (/ x a) x a y (/ (- (* x y) (* z t)) a) (* (* t z) (/ -1 a)) (* t z) t z (/ -1 a) -1 (/ (- (* x y) (* z t)) a) (* (/ (neg z) a) t) (/ (neg z) a) (neg z) (+ (* (/ y a) x) (* (/ (neg z) a) t)) (/ y a))
2.0ms	z	@	-inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ x a) y) (/ x a) x a y (/ (- (* x y) (* z t)) a) (* (* t z) (/ -1 a)) (* t z) t z (/ -1 a) -1 (/ (- (* x y) (* z t)) a) (* (/ (neg z) a) t) (/ (neg z) a) (neg z) (+ (* (/ y a) x) (* (/ (neg z) a) t)) (/ y a))

rewrite156.0ms (6.5%)

Memory

-4.1MiB live, 229.0MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	140	1164
0	152	1100
1	568	1015
2	4460	1012
0	8319	994

Stop Event

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

Counts

71 → 248

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
(*.f64 (/.f64 x a) y)
(/.f64 x a)
x
a
y
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
(.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a))
(*.f64 t z)
t
z
(/.f64 #s(literal -1 binary64) a)
#s(literal -1 binary64)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
(*.f64 (/.f64 (neg.f64 z) a) t)
(/.f64 (neg.f64 z) a)
(neg.f64 z)
(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 z) a) t))
(/.f64 y a)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (* (/ x a) y) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ x a) #s(hole binary64 (/ x a)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (* (* t z) (/ -1 a)) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (* t z) #s(hole binary64 (* t z)))
#s(approx z #s(hole binary64 z))
#s(approx (* (/ (neg z) a) t) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (neg z) a) #s(hole binary64 (* -1 (/ z a))))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (/ -1 a) #s(hole binary64 (/ -1 a)))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))
#s(approx (+ (* (/ y a) x) (* (/ (neg z) a) t)) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))

Outputs
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
(*.f64 (neg.f64 x) (/.f64 (neg.f64 y) a))
(*.f64 (/.f64 y a) x)
(.f64 #s(literal -1 binary64) (/.f64 (.f64 y x) (neg.f64 a)))
(.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) (neg.f64 a)))
(*.f64 y (/.f64 x a))
(*.f64 (/.f64 x a) y)
(*.f64 x (/.f64 y a))
(/.f64 (neg.f64 (*.f64 (neg.f64 y) x)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 a))
(/.f64 (*.f64 y x) a)
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 a)))
(neg.f64 (*.f64 (neg.f64 y) (/.f64 x a)))
(/.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 x) (neg.f64 a))
(/.f64 x a)
(neg.f64 (/.f64 (neg.f64 x) a))
x
a
y
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 t) (/.f64 z a)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) a) t) z)
(*.f64 (neg.f64 t) (/.f64 z a))
(*.f64 (/.f64 (neg.f64 t) a) z)
(*.f64 (/.f64 (neg.f64 z) a) t)
(*.f64 (/.f64 z a) (neg.f64 t))
(.f64 (/.f64 #s(literal -1 binary64) a) (.f64 t z))
(.f64 (.f64 (/.f64 t a) z) #s(literal -1 binary64))
(.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 t a) z))
(*.f64 (/.f64 t a) (neg.f64 z))
(*.f64 t (/.f64 (neg.f64 z) a))
(*.f64 (neg.f64 z) (/.f64 t a))
(.f64 z (.f64 t (/.f64 #s(literal -1 binary64) a)))
(*.f64 z (/.f64 (neg.f64 t) a))
(/.f64 (*.f64 (neg.f64 t) (neg.f64 z)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 z) (neg.f64 t)) (neg.f64 a))
(/.f64 (.f64 (.f64 t z) #s(literal 1 binary64)) (neg.f64 a))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 t (neg.f64 z))) (neg.f64 a))
(/.f64 (.f64 (.f64 t (neg.f64 z)) #s(literal -1 binary64)) (neg.f64 a))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 t z)) (neg.f64 a))
(/.f64 (neg.f64 (*.f64 t (neg.f64 z))) (neg.f64 a))
(/.f64 (*.f64 t (neg.f64 z)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 t (neg.f64 z)) a)
(/.f64 (*.f64 t z) (neg.f64 a))
(neg.f64 (*.f64 (/.f64 t a) z))
(*.f64 t z)
(*.f64 z t)
t
z
(pow.f64 (neg.f64 a) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 a) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (neg.f64 a))
(/.f64 #s(literal -1 binary64) (neg.f64 (neg.f64 a)))
(/.f64 #s(literal -1 binary64) a)
(neg.f64 (/.f64 #s(literal 1 binary64) a))
(neg.f64 (/.f64 #s(literal -1 binary64) (neg.f64 a)))
(exp.f64 (*.f64 (log.f64 (neg.f64 a)) #s(literal -1 binary64)))
#s(literal -1 binary64)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 t) (/.f64 z a)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) a) t) z)
(*.f64 (neg.f64 t) (/.f64 z a))
(*.f64 (/.f64 (neg.f64 t) a) z)
(*.f64 (/.f64 (neg.f64 z) a) t)
(*.f64 (/.f64 z a) (neg.f64 t))
(.f64 (/.f64 #s(literal -1 binary64) a) (.f64 t z))
(.f64 (.f64 (/.f64 t a) z) #s(literal -1 binary64))
(.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 t a) z))
(*.f64 (/.f64 t a) (neg.f64 z))
(*.f64 t (/.f64 (neg.f64 z) a))
(*.f64 (neg.f64 z) (/.f64 t a))
(.f64 z (.f64 t (/.f64 #s(literal -1 binary64) a)))
(*.f64 z (/.f64 (neg.f64 t) a))
(/.f64 (*.f64 (neg.f64 t) (neg.f64 z)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 z) (neg.f64 t)) (neg.f64 a))
(/.f64 (.f64 (.f64 t z) #s(literal 1 binary64)) (neg.f64 a))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 t (neg.f64 z))) (neg.f64 a))
(/.f64 (.f64 (.f64 t (neg.f64 z)) #s(literal -1 binary64)) (neg.f64 a))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 t z)) (neg.f64 a))
(/.f64 (neg.f64 (*.f64 t (neg.f64 z))) (neg.f64 a))
(/.f64 (*.f64 t (neg.f64 z)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 t (neg.f64 z)) a)
(/.f64 (*.f64 t z) (neg.f64 a))
(neg.f64 (*.f64 (/.f64 t a) z))
(*.f64 (/.f64 z a) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) a) z)
(*.f64 #s(literal -1 binary64) (/.f64 z a))
(*.f64 z (/.f64 #s(literal -1 binary64) a))
(/.f64 (neg.f64 z) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 z) a)
(/.f64 z (neg.f64 a))
(neg.f64 (/.f64 z a))
(*.f64 #s(literal -1 binary64) z)
(*.f64 z #s(literal -1 binary64))
(neg.f64 z)
(.f64 #s(literal -1 binary64) (/.f64 (fma.f64 t (neg.f64 z) (.f64 y x)) a))
(.f64 (/.f64 (fma.f64 t (neg.f64 z) (.f64 y x)) a) #s(literal -1 binary64))
(/.f64 (.f64 (neg.f64 (fma.f64 t (neg.f64 z) (.f64 y x))) #s(literal -1 binary64)) (neg.f64 a))
(/.f64 (.f64 #s(literal -1 binary64) (neg.f64 (fma.f64 t (neg.f64 z) (.f64 y x)))) (neg.f64 a))
(/.f64 (-.f64 (.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a))) (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)))) (fma.f64 (.f64 y y) (/.f64 (.f64 x x) (.f64 a a)) (fma.f64 (.f64 t t) (/.f64 (.f64 z z) (.f64 a a)) (.f64 (.f64 y (/.f64 x a)) (*.f64 (/.f64 t a) z)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)))) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 (neg.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)))) (neg.f64 a))
(/.f64 (neg.f64 (.f64 (/.f64 (fma.f64 t (neg.f64 z) (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a))) (neg.f64 (/.f64 (fma.f64 t z (.f64 y x)) a)))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a)) (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a))))) (neg.f64 (fma.f64 (.f64 y y) (/.f64 (.f64 x x) (.f64 a a)) (.f64 (.f64 (neg.f64 t) (/.f64 z a)) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 y) x)) a)))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a)) (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a))))) (neg.f64 (fma.f64 (.f64 t t) (/.f64 (.f64 z z) (.f64 a a)) (.f64 (.f64 y (/.f64 x a)) (/.f64 (fma.f64 t z (*.f64 y x)) a)))))
(/.f64 (neg.f64 (.f64 (/.f64 (fma.f64 t (neg.f64 z) (.f64 y x)) a) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a))) (neg.f64 (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a)))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 y) x) (neg.f64 a)) (.f64 (neg.f64 a) (.f64 t (neg.f64 z)))) (*.f64 (neg.f64 a) (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 y) x) a) (.f64 (neg.f64 a) (.f64 t z))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 y x) (neg.f64 a)) (.f64 a (.f64 t (neg.f64 z)))) (*.f64 a (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 y x) a) (.f64 a (.f64 t z))) (*.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 y) x) (neg.f64 a) (.f64 a (.f64 t (neg.f64 z)))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 y) x) a (.f64 a (.f64 t z))) (.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 y) x) a (.f64 (neg.f64 a) (.f64 t (neg.f64 z)))) (.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 y x) a (.f64 a (.f64 t (neg.f64 z)))) (.f64 a a))
(/.f64 (fma.f64 (.f64 t (neg.f64 z)) (neg.f64 a) (.f64 a (.f64 (neg.f64 y) x))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 t (neg.f64 z)) a (.f64 a (.f64 y x))) (.f64 a a))
(/.f64 (.f64 (fma.f64 t z (.f64 y x)) (fma.f64 t (neg.f64 z) (.f64 y x))) (.f64 (fma.f64 t z (*.f64 y x)) a))
(/.f64 (.f64 (/.f64 (fma.f64 t (neg.f64 z) (.f64 y x)) a) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a)) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a))
(/.f64 (-.f64 (.f64 (.f64 t t) (.f64 z z)) (.f64 (.f64 y y) (.f64 x x))) (.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a))
(/.f64 (.f64 (/.f64 (fma.f64 t (neg.f64 z) (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a)) (-.f64 (.f64 (neg.f64 y) (/.f64 x a)) (*.f64 (/.f64 t a) z)))
(/.f64 (.f64 (/.f64 (fma.f64 t (neg.f64 z) (.f64 y x)) a) (/.f64 (fma.f64 t z (.f64 y x)) a)) (/.f64 (fma.f64 t z (.f64 y x)) a))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) t))) (.f64 (fma.f64 (.f64 y y) (.f64 x x) (.f64 (.f64 t z) (fma.f64 t z (*.f64 y x)))) a))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (.f64 (.f64 x x) x) (.f64 (.f64 (.f64 z z) z) (.f64 (.f64 t t) t))) (.f64 (fma.f64 (.f64 t t) (.f64 z z) (.f64 (.f64 y x) (fma.f64 t z (*.f64 y x)))) a))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a)) (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)))) (fma.f64 (.f64 y y) (/.f64 (.f64 x x) (.f64 a a)) (-.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (.f64 (.f64 (neg.f64 y) (/.f64 x a)) (*.f64 (/.f64 t a) z)))))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a)) (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)))) (fma.f64 (.f64 t t) (/.f64 (.f64 z z) (.f64 a a)) (.f64 (.f64 y (/.f64 x a)) (/.f64 (fma.f64 t z (*.f64 y x)) a))))
(/.f64 (fma.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a)) (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a)))) (fma.f64 (.f64 y y) (/.f64 (.f64 x x) (.f64 a a)) (.f64 (.f64 (neg.f64 t) (/.f64 z a)) (/.f64 (fma.f64 (neg.f64 t) z (*.f64 (neg.f64 y) x)) a))))
(/.f64 (neg.f64 (fma.f64 t (neg.f64 z) (*.f64 y x))) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 (fma.f64 t (neg.f64 z) (*.f64 y x))) (neg.f64 a))
(/.f64 (neg.f64 (fma.f64 t (neg.f64 z) (*.f64 y x))) a)
(/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) (neg.f64 a))
(/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a)
(neg.f64 (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
(fma.f64 (.f64 (/.f64 #s(literal -1 binary64) a) t) z (.f64 y (/.f64 x a)))
(fma.f64 (.f64 (neg.f64 y) (/.f64 x a)) #s(literal -1 binary64) (.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 (neg.f64 y) (/.f64 x a) (*.f64 (/.f64 t a) z))
(fma.f64 (neg.f64 t) (/.f64 (neg.f64 z) a) (*.f64 (neg.f64 y) (/.f64 x a)))
(fma.f64 (neg.f64 t) (/.f64 z a) (*.f64 y (/.f64 x a)))
(fma.f64 (neg.f64 x) (/.f64 (neg.f64 y) a) (*.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 (neg.f64 x) (/.f64 y a) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 (neg.f64 t) a) z (*.f64 y (/.f64 x a)))
(fma.f64 (/.f64 (neg.f64 z) a) t (*.f64 y (/.f64 x a)))
(fma.f64 (/.f64 z a) (neg.f64 t) (*.f64 y (/.f64 x a)))
(fma.f64 (/.f64 z a) t (*.f64 (neg.f64 y) (/.f64 x a)))
(fma.f64 (/.f64 #s(literal -1 binary64) a) (.f64 t z) (.f64 y (/.f64 x a)))
(fma.f64 (/.f64 (neg.f64 x) a) y (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 (neg.f64 y) a) x (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 y a) (neg.f64 x) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 (.f64 y (/.f64 x a)) #s(literal -1 binary64) (.f64 (/.f64 t a) z))
(fma.f64 (.f64 (/.f64 t a) z) #s(literal -1 binary64) (.f64 y (/.f64 x a)))
(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) (neg.f64 a)) (.f64 (neg.f64 y) (/.f64 x a)))
(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a) (.f64 y (/.f64 x a)))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 y x) (neg.f64 a)) (.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 y) (/.f64 x a)) (.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 #s(literal -1 binary64) (.f64 y (/.f64 x a)) (.f64 (/.f64 t a) z))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 t a) z) (.f64 y (/.f64 x a)))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 t) (/.f64 z a)) (.f64 (neg.f64 y) (/.f64 x a)))
(fma.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) (neg.f64 a)) (.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 t a) z))
(fma.f64 (/.f64 t a) (neg.f64 z) (*.f64 y (/.f64 x a)))
(fma.f64 (/.f64 t a) z (*.f64 (neg.f64 y) (/.f64 x a)))
(fma.f64 t (/.f64 (neg.f64 z) a) (*.f64 y (/.f64 x a)))
(fma.f64 t (/.f64 z a) (*.f64 (neg.f64 y) (/.f64 x a)))
(fma.f64 (neg.f64 z) (/.f64 t a) (*.f64 y (/.f64 x a)))
(fma.f64 z (.f64 t (/.f64 #s(literal -1 binary64) a)) (.f64 y (/.f64 x a)))
(fma.f64 z (/.f64 (neg.f64 t) a) (*.f64 y (/.f64 x a)))
(fma.f64 z (/.f64 t a) (*.f64 (neg.f64 y) (/.f64 x a)))
(fma.f64 y (/.f64 (neg.f64 x) a) (*.f64 (/.f64 t a) z))
(fma.f64 y (/.f64 x a) (*.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 (/.f64 x a) (neg.f64 y) (*.f64 (/.f64 t a) z))
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 x (/.f64 (neg.f64 y) a) (*.f64 (/.f64 t a) z))
(fma.f64 x (/.f64 y a) (*.f64 (neg.f64 t) (/.f64 z a)))
(-.f64 (/.f64 (.f64 (.f64 y y) (/.f64 (.f64 x x) (.f64 a a))) (/.f64 (fma.f64 t z (.f64 y x)) a)) (/.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (/.f64 (fma.f64 t z (.f64 y x)) a)))
(-.f64 (/.f64 (.f64 (.f64 z z) (/.f64 (.f64 t t) (.f64 a a))) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a)) (/.f64 (.f64 (.f64 y y) (/.f64 (.f64 x x) (.f64 a a))) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a)))
(-.f64 (.f64 (neg.f64 y) (/.f64 x a)) (.f64 (neg.f64 t) (/.f64 z a)))
(-.f64 (.f64 y (/.f64 x a)) (.f64 (*.f64 (neg.f64 t) (/.f64 z a)) #s(literal -1 binary64)))
(-.f64 (.f64 y (/.f64 x a)) (.f64 (/.f64 (neg.f64 t) a) (neg.f64 z)))
(-.f64 (.f64 y (/.f64 x a)) (.f64 (neg.f64 (/.f64 #s(literal -1 binary64) a)) (*.f64 t z)))
(-.f64 (.f64 y (/.f64 x a)) (.f64 (*.f64 t (neg.f64 z)) (/.f64 #s(literal -1 binary64) a)))
(-.f64 (.f64 y (/.f64 x a)) (.f64 #s(literal 1 binary64) (*.f64 (/.f64 t a) z)))
(-.f64 (.f64 y (/.f64 x a)) (.f64 (/.f64 t a) z))
(-.f64 (.f64 (neg.f64 t) (/.f64 z a)) (.f64 (neg.f64 y) (/.f64 x a)))
(+.f64 (.f64 (.f64 (neg.f64 y) (/.f64 x a)) #s(literal -1 binary64)) (*.f64 (neg.f64 t) (/.f64 z a)))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 y) (/.f64 x a))) (*.f64 (neg.f64 t) (/.f64 z a)))
(+.f64 (/.f64 (.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a))) (fma.f64 (.f64 y y) (/.f64 (.f64 x x) (.f64 a a)) (.f64 (.f64 (neg.f64 t) (/.f64 z a)) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a)))) (/.f64 (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a))) (fma.f64 (.f64 y y) (/.f64 (.f64 x x) (.f64 a a)) (.f64 (.f64 (neg.f64 t) (/.f64 z a)) (/.f64 (fma.f64 (neg.f64 t) z (.f64 (neg.f64 y) x)) a)))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 z z) z) (/.f64 (.f64 (.f64 t t) t) (.f64 (.f64 a a) a))) (fma.f64 (.f64 t t) (/.f64 (.f64 z z) (.f64 a a)) (.f64 (.f64 y (/.f64 x a)) (/.f64 (fma.f64 t z (.f64 y x)) a)))) (/.f64 (.f64 (.f64 (.f64 y y) y) (/.f64 (.f64 (.f64 x x) x) (.f64 (.f64 a a) a))) (fma.f64 (.f64 t t) (/.f64 (.f64 z z) (.f64 a a)) (.f64 (.f64 y (/.f64 x a)) (/.f64 (fma.f64 t z (.f64 y x)) a)))))
(+.f64 (.f64 (neg.f64 y) (/.f64 x a)) (.f64 (/.f64 t a) z))
(+.f64 (.f64 y (/.f64 x a)) (.f64 (neg.f64 t) (/.f64 z a)))
(+.f64 (.f64 (/.f64 t a) z) (.f64 (neg.f64 y) (/.f64 x a)))
(+.f64 (.f64 (neg.f64 t) (/.f64 z a)) (.f64 y (/.f64 x a)))
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 y) (neg.f64 a))
(/.f64 y a)
(neg.f64 (/.f64 (neg.f64 y) a))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 t) (/.f64 z a)))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (* (/ x a) y) (*.f64 y (/.f64 x a)))
#s(approx (/ x a) (/.f64 x a))
#s(approx x x)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 t) (/.f64 z a)))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 t) (/.f64 z a)))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx y y)
#s(approx (/ y a) (/.f64 y a))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (* (* t z) (/ -1 a)) (*.f64 (neg.f64 t) (/.f64 z a)))
#s(approx (* t z) (*.f64 t z))
#s(approx z z)
#s(approx (* (* t z) (/ -1 a)) (*.f64 (neg.f64 t) (/.f64 z a)))
#s(approx (/ (neg z) a) (/.f64 (neg.f64 z) a))
#s(approx (neg z) (neg.f64 z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) (neg.f64 z)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) (neg.f64 z)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) (neg.f64 z)))
#s(approx t t)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 t) (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a))))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 t) (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a))))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 t) (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a))))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx a a)
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (/ -1 a) (/.f64 #s(literal -1 binary64) a))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))

eval26.0ms (1.1%)

Memory: 0.3MiB live, 57.5MiB allocated; 10ms collecting garbage
Compiler: Compiled 3 648 to 494 computations (86.5% saved)

prune7.0ms (0.3%)

Memory

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

Pruning

10 alts after pruning (2 fresh and 8 done)

	Pruned	Kept	Total
New	193	2	195
Fresh	0	0	0
Picked	0	4	4
Done	0	4	4
Total	193	10	203

Accuracy

100.0%

Counts

203 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	91.4%	(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 z) a) t))
✓	88.6%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
✓	49.2%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
✓	48.9%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
✓	50.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
▶	50.7%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t))
✓	49.2%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
✓	51.9%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
▶	53.3%	#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
✓	53.0%	#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))

Compiler

Compiled 149 to 124 computations (16.8% saved)

series40.0ms (1.7%)

Memory

-10.2MiB live, 37.0MiB allocated; 2ms collecting garbage

Counts

13 → 35

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
(*.f64 (/.f64 y a) x)
(/.f64 y a)
y
a
x
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t)
(*.f64 (/.f64 #s(literal -1 binary64) a) z)
(/.f64 #s(literal -1 binary64) a)
#s(literal -1 binary64)
z
t

Outputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (* (/ y a) x) #s(hole binary64 (/ (* x y) a)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx y #s(hole binary64 y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (* (* (/ -1 a) z) t) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (* (/ -1 a) z) #s(hole binary64 (* -1 (/ z a))))
#s(approx z #s(hole binary64 z))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (/ -1 a) #s(hole binary64 (/ -1 a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))

Calls

15 calls:

Time	Variable		Point	Expression
23.0ms	y	@	inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ y a) x) (/ y a) y a x (/ (- (* x y) (* z t)) a) (* (* (/ -1 a) z) t) (* (/ -1 a) z) (/ -1 a) -1 z t)
2.0ms	a	@	inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ y a) x) (/ y a) y a x (/ (- (* x y) (* z t)) a) (* (* (/ -1 a) z) t) (* (/ -1 a) z) (/ -1 a) -1 z t)
2.0ms	a	@	-inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ y a) x) (/ y a) y a x (/ (- (* x y) (* z t)) a) (* (* (/ -1 a) z) t) (* (/ -1 a) z) (/ -1 a) -1 z t)
2.0ms	a	@	0	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ y a) x) (/ y a) y a x (/ (- (* x y) (* z t)) a) (* (* (/ -1 a) z) t) (* (/ -1 a) z) (/ -1 a) -1 z t)
1.0ms	y	@	-inf	((+ (* (/ x a) y) (* (neg z) (/ t a))) (* (/ y a) x) (/ y a) y a x (/ (- (* x y) (* z t)) a) (* (* (/ -1 a) z) t) (* (/ -1 a) z) (/ -1 a) -1 z t)

rewrite166.0ms (6.9%)

Memory

14.2MiB live, 202.9MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	114	758
0	122	718
1	511	665
2	4344	665
0	8300	649

Stop Event

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

Counts

48 → 104

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
(*.f64 (/.f64 y a) x)
(/.f64 y a)
y
a
x
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t)
(*.f64 (/.f64 #s(literal -1 binary64) a) z)
(/.f64 #s(literal -1 binary64) a)
#s(literal -1 binary64)
z
t
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (* (/ y a) x) #s(hole binary64 (/ (* x y) a)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (* x y) a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx y #s(hole binary64 y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (* (* (/ -1 a) z) t) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (* (/ -1 a) z) #s(hole binary64 (* -1 (/ z a))))
#s(approx z #s(hole binary64 z))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (/ -1 a) #s(hole binary64 (/ -1 a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))

Outputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 y (/.f64 x a)))
(*.f64 (neg.f64 x) (/.f64 (neg.f64 y) a))
(*.f64 (/.f64 y a) x)
(.f64 #s(literal -1 binary64) (/.f64 (.f64 y x) (neg.f64 a)))
(.f64 (.f64 y x) (/.f64 #s(literal -1 binary64) (neg.f64 a)))
(*.f64 y (/.f64 x a))
(*.f64 (/.f64 x a) y)
(*.f64 x (/.f64 y a))
(/.f64 (neg.f64 (*.f64 (neg.f64 y) x)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 y) x) (neg.f64 a))
(/.f64 (*.f64 y x) a)
(neg.f64 (/.f64 (*.f64 y x) (neg.f64 a)))
(neg.f64 (*.f64 (neg.f64 y) (/.f64 x a)))
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 y) (neg.f64 a))
(/.f64 y a)
(neg.f64 (/.f64 (neg.f64 y) a))
y
a
x
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (neg.f64 t) (/.f64 z a)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) a) t) z)
(.f64 (.f64 t (/.f64 #s(literal -1 binary64) a)) z)
(*.f64 (neg.f64 t) (/.f64 z a))
(*.f64 (/.f64 (neg.f64 t) a) z)
(*.f64 (/.f64 (neg.f64 z) a) t)
(*.f64 (/.f64 z a) (neg.f64 t))
(.f64 (/.f64 #s(literal -1 binary64) a) (.f64 t z))
(.f64 (.f64 (/.f64 t a) z) #s(literal -1 binary64))
(.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 t a) z))
(*.f64 (/.f64 t a) (neg.f64 z))
(*.f64 t (/.f64 (neg.f64 z) a))
(*.f64 (neg.f64 z) (/.f64 t a))
(.f64 z (.f64 (/.f64 #s(literal -1 binary64) a) t))
(*.f64 z (/.f64 (neg.f64 t) a))
(/.f64 (*.f64 (neg.f64 t) (neg.f64 z)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 z) (neg.f64 t)) (neg.f64 a))
(/.f64 (.f64 #s(literal -1 binary64) (.f64 t (neg.f64 z))) (neg.f64 a))
(/.f64 (.f64 (.f64 t (neg.f64 z)) #s(literal -1 binary64)) (neg.f64 a))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 t z)) (neg.f64 a))
(/.f64 (neg.f64 (*.f64 t (neg.f64 z))) (neg.f64 a))
(/.f64 (*.f64 t (neg.f64 z)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 t (neg.f64 z)) a)
(/.f64 (*.f64 t z) (neg.f64 a))
(neg.f64 (*.f64 (/.f64 t a) z))
(*.f64 (/.f64 z a) #s(literal -1 binary64))
(*.f64 (/.f64 #s(literal -1 binary64) a) z)
(*.f64 #s(literal -1 binary64) (/.f64 z a))
(*.f64 z (/.f64 #s(literal -1 binary64) a))
(/.f64 (*.f64 (neg.f64 z) #s(literal -1 binary64)) (neg.f64 a))
(/.f64 (*.f64 #s(literal 1 binary64) z) (neg.f64 a))
(/.f64 (*.f64 #s(literal -1 binary64) (neg.f64 z)) (neg.f64 a))
(/.f64 (*.f64 z #s(literal 1 binary64)) (neg.f64 a))
(/.f64 (neg.f64 z) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 z) a)
(/.f64 z (neg.f64 a))
(neg.f64 (/.f64 z a))
(pow.f64 (neg.f64 a) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 a) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (neg.f64 a))
(/.f64 #s(literal -1 binary64) (neg.f64 (neg.f64 a)))
(/.f64 #s(literal -1 binary64) a)
(neg.f64 (/.f64 #s(literal 1 binary64) a))
(neg.f64 (/.f64 #s(literal -1 binary64) (neg.f64 a)))
(exp.f64 (*.f64 (log.f64 (neg.f64 a)) #s(literal -1 binary64)))
#s(literal -1 binary64)
z
t
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (neg.f64 t) (/.f64 z a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (* (/ y a) x) (*.f64 y (/.f64 x a)))
#s(approx x x)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (neg.f64 t) (/.f64 z a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 y (/.f64 x a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 y (/.f64 x a)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 a x)) t (/.f64 (neg.f64 y) a)) x))
#s(approx (/ y a) (/.f64 y a))
#s(approx y y)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 z (.f64 y a)) t (/.f64 (neg.f64 x) a)) y))
#s(approx (* (* (/ -1 a) z) t) (*.f64 (neg.f64 t) (/.f64 z a)))
#s(approx (* (/ -1 a) z) (/.f64 (neg.f64 z) a))
#s(approx z z)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) z))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) (neg.f64 z)))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 z a)) x (/.f64 (neg.f64 t) a)) (neg.f64 z)))
#s(approx t t)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a)) t))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (neg.f64 t) (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (.f64 (neg.f64 t) (fma.f64 (/.f64 y (.f64 t a)) x (/.f64 (neg.f64 z) a))))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx a a)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))
#s(approx (/ -1 a) (/.f64 #s(literal -1 binary64) a))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (/.f64 (fma.f64 t (neg.f64 z) (*.f64 y x)) a))

eval8.0ms (0.3%)

Memory: -29.0MiB live, 17.5MiB allocated; 2ms collecting garbage
Compiler: Compiled 1 388 to 260 computations (81.3% saved)

prune7.0ms (0.3%)

Memory

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

Pruning

10 alts after pruning (0 fresh and 10 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	0	0
Picked	0	2	2
Done	0	8	8
Total	72	10	82

Accuracy

100.0%

Counts

82 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	91.4%	(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 z) a) t))
✓	88.6%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
✓	49.2%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
✓	48.9%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
✓	50.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
✓	50.7%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t))
✓	49.2%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
✓	51.9%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
✓	53.3%	#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
✓	53.0%	#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))

Compiler

Compiled 343 to 176 computations (48.7% saved)

regimes42.0ms (1.8%)

Memory

5.9MiB live, 105.8MiB allocated; 6ms collecting garbage

Counts

14 → 3

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 z) a) t))
(fma.f64 (/.f64 (neg.f64 z) a) t (/.f64 (*.f64 y x) a))
(fma.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 y x) a))

Outputs
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))

Calls

9 calls:

7.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
5.0ms	t
4.0ms	x
4.0ms	y
4.0ms	z

Results

Accuracy	Segments	Branch
92.8%	1	`(*.f64 z t)`
96.4%	3	`(*.f64 x y)`
98.5%	3	`(-.f64 (.f64 x y) (.f64 z t))`
97.4%	3	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
96.0%	3	`x`
94.6%	2	`y`
92.8%	1	`z`
92.8%	1	`t`
96.7%	2	`a`

Compiler

Compiled 27 to 54 computations (-100% saved)

regimes9.0ms (0.4%)

Memory

-26.8MiB live, 20.3MiB allocated; 2ms collecting garbage

Counts

10 → 3

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))

Outputs
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))

Calls

2 calls:

5.0ms	a
3.0ms	(-.f64 (.f64 x y) (.f64 z t))

Results

Accuracy	Segments	Branch
96.5%	2	`a`
98.1%	3	`(-.f64 (.f64 x y) (.f64 z t))`

Compiler

Compiled 8 to 13 computations (-62.5% saved)

regimes29.0ms (1.2%)

Memory

22.8MiB live, 70.1MiB allocated; 1ms collecting garbage

Counts

9 → 3

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)

Outputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))

Calls

9 calls:

4.0ms	x
3.0ms	y
3.0ms	(-.f64 (.f64 x y) (.f64 z t))
3.0ms	t
3.0ms	a

Results

Accuracy	Segments	Branch
88.6%	1	`z`
93.1%	3	`(*.f64 z t)`
88.6%	1	`t`
90.3%	2	`x`
92.5%	3	`y`
94.4%	3	`(*.f64 x y)`
88.6%	1	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
88.6%	1	`a`
91.8%	2	`(-.f64 (.f64 x y) (.f64 z t))`

Compiler

Compiled 27 to 54 computations (-100% saved)

regimes28.0ms (1.1%)

Memory

-24.7MiB live, 72.9MiB allocated; 3ms collecting garbage

Counts

8 → 3

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 z) a) t))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 t z) (/.f64 #s(literal -1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 (/.f64 #s(literal -1 binary64) a) z) t))

Outputs

#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))

#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))

#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))

Calls

9 calls:

4.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
4.0ms	(*.f64 z t)
3.0ms	x
3.0ms	y
3.0ms	(-.f64 (.f64 x y) (.f64 z t))

Results

Accuracy	Segments	Branch
62.4%	3	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
69.2%	3	`z`
71.6%	3	`t`
67.2%	8	`a`
71.9%	3	`x`
77.8%	3	`y`
75.3%	3	`(*.f64 z t)`
64.4%	3	`(-.f64 (.f64 x y) (.f64 z t))`
83.9%	3	`(*.f64 x y)`

Compiler

Compiled 27 to 54 computations (-100% saved)

regimes15.0ms (0.6%)

Memory

-2.9MiB live, 44.6MiB allocated; 1ms collecting garbage

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 y x)) a)

Outputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 y a) x))

Calls

9 calls:

2.0ms	a
2.0ms	(-.f64 (.f64 x y) (.f64 z t))
1.0ms	t
1.0ms	x
1.0ms	z

Results

Accuracy	Segments	Branch
53.3%	1	`a`
53.3%	1	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
53.3%	1	`(-.f64 (.f64 x y) (.f64 z t))`
53.3%	1	`z`
53.3%	1	`t`
53.3%	1	`x`
53.3%	1	`(*.f64 z t)`
53.3%	1	`y`
53.3%	1	`(*.f64 x y)`

Compiler

Compiled 27 to 54 computations (-100% saved)

regimes9.0ms (0.4%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))

Outputs
#s(approx (+ (* (/ x a) y) (* (neg z) (/ t a))) (*.f64 (/.f64 x a) y))

Calls

9 calls:

1.0ms	y
1.0ms	a
1.0ms	t
1.0ms	z
1.0ms	x

Results

Accuracy	Segments	Branch
53.0%	1	`(*.f64 x y)`
53.0%	1	`(*.f64 z t)`
53.0%	1	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
53.0%	1	`x`
53.0%	1	`z`
53.0%	1	`a`
53.0%	1	`t`
53.0%	1	`(-.f64 (.f64 x y) (.f64 z t))`
53.0%	1	`y`

Compiler

Compiled 27 to 54 computations (-100% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	8.1382221233829e+184	2.4201111993991807e+185
0.0ms	-inf	-1.0905989198977578e+307

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	8.1382221233829e+184	2.4201111993991807e+185
0.0ms	-3.9953746979194404e+226	-2.5303028765801175e+222

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	3.9605296365630697e+222	1.067646592282424e+229
0.0ms	-2.3510294515056537e+287	-2.7473267322433537e+283

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	2.4066465112469866e-17	3.0790462856240403e-16
0.0ms	-1.0282484776927825e+103	-8.237927645513822e+101

Compiler

Compiled 12 to 17 computations (-41.7% saved)

derivations165.0ms (6.9%)

Memory

-27.8MiB live, 210.7MiB allocated; 15ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 259 to 52 computations (79.9% saved)

preprocess107.0ms (4.5%)

Memory

17.8MiB live, 304.2MiB allocated; 16ms collecting garbage

Remove

(sort z t)

(sort x y)

(negabs a)

Compiler

Compiled 2 586 to 1 118 computations (56.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze129.0ms (5.3%)

sample772.0ms (32%)

explain72.0ms (3%)

preprocess34.0ms (1.4%)

series18.0ms (0.7%)

rewrite166.0ms (6.9%)

eval83.0ms (3.4%)

prune5.0ms (0.2%)

series38.0ms (1.6%)

rewrite203.0ms (8.4%)

eval24.0ms (1%)

prune28.0ms (1.2%)

series23.0ms (1%)

rewrite156.0ms (6.5%)

eval26.0ms (1.1%)

prune7.0ms (0.3%)

series40.0ms (1.7%)

rewrite166.0ms (6.9%)

eval8.0ms (0.3%)

prune7.0ms (0.3%)

regimes42.0ms (1.8%)

regimes9.0ms (0.4%)

regimes29.0ms (1.2%)

regimes28.0ms (1.1%)

regimes15.0ms (0.6%)

regimes9.0ms (0.4%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

derivations165.0ms (6.9%)

preprocess107.0ms (4.5%)

end0.0ms (0%)

Profiling