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

analyze245.0ms (6.7%)

Memory

-14.0MiB live, 136.6MiB allocated; 46ms 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)

sample731.0ms (19.9%)

Memory

31.4MiB live, 908.1MiB allocated; 214ms collecting garbage

Samples

407.0ms

8 256×

valid

Precisions

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

ival-mult!: 99.0ms (57.3% of total)

ival-div!: 40.0ms (23.1% of total)

ival-sub!: 33.0ms (19.1% of total)

adjust: 1.0ms (0.6% of total)

Bogosity

preprocess50.0ms (1.4%)

Memory

3.4MiB live, 48.6MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	194
1	266	193
2	884	193
3	2801	193

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	90.1%	(/.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)

series15.0ms (0.4%)

Memory

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

Counts

9 → 30

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 (* -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
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)
1.0ms	z	@	-inf	((/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* x y) x y (* z t) z t a)

rewrite233.0ms (6.4%)

Memory

-4.7MiB live, 136.9MiB allocated; 51ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	125	543
0	128	505
1	743	487
2	6669	487
0	8131	487
1	26319	487

Stop Event

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

Counts

39 → 118

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 (* -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 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
(.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y x) (*.f64 t z)) a))
(.f64 (-.f64 (.f64 t z) (*.f64 y x)) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 (-.f64 (.f64 y x) (*.f64 t z)) (/.f64 #s(literal 1 binary64) a))
(/.f64 (.f64 (-.f64 (.f64 y x) (*.f64 t z)) #s(literal 1 binary64)) 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 (.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 (-.f64 (.f64 t z) (.f64 y x)) (neg.f64 a))
(/.f64 (-.f64 (.f64 y x) (.f64 t z)) (neg.f64 (neg.f64 a)))
(/.f64 (-.f64 (.f64 y x) (.f64 t z)) a)
(neg.f64 (.f64 (-.f64 (.f64 t z) (*.f64 y x)) (/.f64 #s(literal 1 binary64) a)))
(neg.f64 (/.f64 (-.f64 (.f64 y x) (.f64 t z)) (neg.f64 a)))
(neg.f64 (/.f64 (-.f64 (.f64 t z) (.f64 y x)) a))
(neg.f64 (-.f64 (/.f64 (.f64 t z) a) (/.f64 (.f64 y x) a)))
(neg.f64 (-.f64 (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (neg.f64 z) (/.f64 t a))))
(neg.f64 (fma.f64 (/.f64 z a) t (/.f64 (*.f64 (neg.f64 x) y) a)))
(fma.f64 (/.f64 #s(literal 1 binary64) a) (.f64 y x) (.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 #s(literal 1 binary64) (/.f64 (.f64 y x) a) (.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 (neg.f64 z) (/.f64 t 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 (neg.f64 z) t) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 y x) a))
(fma.f64 (/.f64 (.f64 t z) a) #s(literal -1 binary64) (/.f64 (.f64 y x) a))
(fma.f64 (.f64 t z) (.f64 (/.f64 #s(literal 1 binary64) a) #s(literal -1 binary64)) (/.f64 (*.f64 y x) a))
(fma.f64 (.f64 t z) (neg.f64 (/.f64 #s(literal 1 binary64) a)) (/.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 (.f64 y x) (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 z) (/.f64 t 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 y x) a) (.f64 (*.f64 (neg.f64 z) (/.f64 t a)) #s(literal -1 binary64)))
(-.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 y x) a) (.f64 (neg.f64 z) (/.f64 t a)))
(+.f64 (.f64 (neg.f64 z) (/.f64 t a)) (/.f64 (.f64 y x) a))
(neg.f64 (-.f64 (.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 (neg.f64 (*.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 (neg.f64 (*.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) (neg.f64 (.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) (neg.f64 (.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) (neg.f64 (*.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) (neg.f64 (*.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 (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) (neg.f64 (.f64 (neg.f64 z) t)))
(-.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 (neg.f64 x)) y))
(+.f64 (.f64 (neg.f64 z) t) (neg.f64 (.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 (-.f64 (.f64 y x) (.f64 t z)) a))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 y x) (.f64 t z)))
#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 (-.f64 (/.f64 y a) (.f64 (/.f64 z (*.f64 a x)) t)) x))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 y x) (.f64 (*.f64 t z) #s(literal 1 binary64))))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 y a) (.f64 (/.f64 z (*.f64 a x)) t)) x))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 y x) (.f64 (*.f64 t z) #s(literal 1 binary64))))
#s(approx y y)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 y x) (.f64 (*.f64 t z) #s(literal 1 binary64))))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 y x) (.f64 (*.f64 t z) #s(literal 1 binary64))))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 y x) (.f64 t z)))
#s(approx (* z t) (*.f64 t z))
#s(approx z z)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 (/.f64 y (*.f64 a z)) x) (/.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 (-.f64 (.f64 (/.f64 y (*.f64 a z)) x) (/.f64 t a)) z))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z))
#s(approx t t)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 (/.f64 y (*.f64 a t)) x) (/.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 (-.f64 (.f64 (/.f64 y (*.f64 a t)) x) (/.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 (-.f64 (.f64 y x) (.f64 t z)) a))
#s(approx a a)

eval8.0ms (0.2%)

Memory: 9.1MiB live, 9.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 616 to 256 computations (58.4% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	88	12	100
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	13	101

Accuracy

100.0%

Counts

101 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
	87.9%	(fma.f64 (/.f64 (neg.f64 z) a) t (/.f64 (*.f64 y x) a))
▶	85.9%	(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
	86.1%	(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
	60.8%	(/.f64 (-.f64 (.f64 (.f64 y x) a) (.f64 a (.f64 t z))) (*.f64 a a))
✓	90.1%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
▶	84.6%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z)) a)
	84.6%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) t) z) t)) a)
▶	51.4%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
▶	90.1%	(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
▶	48.0%	#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 y x) a))
	76.0%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
	78.9%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 (/.f64 y (*.f64 a t)) x) (/.f64 z a)) t))
	50.2%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))

Compiler

Compiled 309 to 309 computations (0% saved)

series72.0ms (2%)

Memory

-2.5MiB live, 43.5MiB allocated; 3ms collecting garbage

Counts

26 → 51

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
(/.f64 #s(literal 1 binary64) a)
#s(literal 1 binary64)
a
(-.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
y
x
(*.f64 t z)
t
z
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 y x) a))
(/.f64 (*.f64 y x) 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)
(neg.f64 z)
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z)) a)
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z))
(.f64 (-.f64 (/.f64 (.f64 y x) z) t) z)
(-.f64 (/.f64 (*.f64 y x) z) t)
(/.f64 (*.f64 y x) z)
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 y a)
(*.f64 (neg.f64 z) (/.f64 t a))
(/.f64 t a)

Outputs
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* t z))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (- (* x y) (* t z))))
#s(approx (* y x) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (* y x) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (+ (* -1 (* t z)) (* x y))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* -1 t)))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (- (/ (* x y) z) t)))
#s(approx (/ (* y x) z) #s(hole binary64 (/ (* x y) z)))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* x (+ y (* -1 (/ (* t z) x))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* x (+ (* -1 (/ t x)) (/ y z)))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (/ (* t z) x))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y z)) (/ t x))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* y (+ x (* -1 (/ (* t z) y))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* y (+ (* -1 (/ t y)) (/ x z)))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (/ (* t z) y))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x z)) (/ t y))))))
#s(approx (* t z) #s(hole binary64 (* t z)))
#s(approx z #s(hole binary64 z))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) z)))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* z (- (/ (* x y) z) t))))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (* z (+ (* -1 t) (/ (* x y) z)))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 t))))))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (* -1 (* z (+ t (* -1 (/ (* x y) z)))))))
#s(approx t #s(hole binary64 t))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (+ (* -1 t) (/ (* x y) z))))
#s(approx (/ t a) #s(hole binary64 (/ t a)))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* t (- (/ (* x y) t) z))))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (* t (+ (* -1 z) (/ (* x y) t)))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* t (- (/ (* x y) (* t z)) 1))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x y) t)) (* -1 z))))))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (* -1 (* t (+ z (* -1 (/ (* x y) t)))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* -1 (* t (+ 1 (* -1 (/ (* x y) (* t z))))))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (/ 1 a) #s(hole binary64 (/ 1 a)))
#s(approx a #s(hole binary64 a))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) 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
38.0ms	y	@	inf	((* (/ 1 a) (- (* y x) (* t z))) (/ 1 a) 1 a (- (* y x) (* t z)) (* y x) y x (* t z) t z (/ (- (* x y) (* z t)) a) (/ (* y x) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (neg z) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (- (/ (* y x) z) t) z) (- (/ (* y x) z) t) (/ (* y x) z) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a) (* (neg z) (/ t a)) (/ t a))
5.0ms	z	@	0	((* (/ 1 a) (- (* y x) (* t z))) (/ 1 a) 1 a (- (* y x) (* t z)) (* y x) y x (* t z) t z (/ (- (* x y) (* z t)) a) (/ (* y x) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (neg z) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (- (/ (* y x) z) t) z) (- (/ (* y x) z) t) (/ (* y x) z) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a) (* (neg z) (/ t a)) (/ t a))
3.0ms	y	@	-inf	((* (/ 1 a) (- (* y x) (* t z))) (/ 1 a) 1 a (- (* y x) (* t z)) (* y x) y x (* t z) t z (/ (- (* x y) (* z t)) a) (/ (* y x) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (neg z) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (- (/ (* y x) z) t) z) (- (/ (* y x) z) t) (/ (* y x) z) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a) (* (neg z) (/ t a)) (/ t a))
2.0ms	x	@	-inf	((* (/ 1 a) (- (* y x) (* t z))) (/ 1 a) 1 a (- (* y x) (* t z)) (* y x) y x (* t z) t z (/ (- (* x y) (* z t)) a) (/ (* y x) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (neg z) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (- (/ (* y x) z) t) z) (- (/ (* y x) z) t) (/ (* y x) z) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a) (* (neg z) (/ t a)) (/ t a))
2.0ms	z	@	-inf	((* (/ 1 a) (- (* y x) (* t z))) (/ 1 a) 1 a (- (* y x) (* t z)) (* y x) y x (* t z) t z (/ (- (* x y) (* z t)) a) (/ (* y x) a) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (neg z) t) (neg z) (/ (- (* x y) (* z t)) a) (- (* x y) (* z t)) (* (- (/ (* y x) z) t) z) (- (/ (* y x) z) t) (/ (* y x) z) (+ (* (/ y a) x) (* (neg z) (/ t a))) (/ y a) (* (neg z) (/ t a)) (/ t a))

rewrite274.0ms (7.5%)

Memory

-25.9MiB live, 174.2MiB allocated; 55ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	216	1059
0	238	949
1	1288	933
0	8414	931
1	29575	931

Stop Event

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

Counts

77 → 453

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
(/.f64 #s(literal 1 binary64) a)
#s(literal 1 binary64)
a
(-.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
y
x
(*.f64 t z)
t
z
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 y x) a))
(/.f64 (*.f64 y x) 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)
(neg.f64 z)
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z)) a)
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z))
(.f64 (-.f64 (/.f64 (.f64 y x) z) t) z)
(-.f64 (/.f64 (*.f64 y x) z) t)
(/.f64 (*.f64 y x) z)
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(/.f64 y a)
(*.f64 (neg.f64 z) (/.f64 t a))
(/.f64 t a)
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* t z))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (- (* x y) (* t z))))
#s(approx (* y x) #s(hole binary64 (* x y)))
#s(approx x #s(hole binary64 x))
#s(approx (/ (* y x) a) #s(hole binary64 (/ (* x y) a)))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (+ (* -1 (* t z)) (* x y))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* -1 t)))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (- (/ (* x y) z) t)))
#s(approx (/ (* y x) z) #s(hole binary64 (/ (* x y) z)))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* x (+ y (* -1 (/ (* t z) x))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* x (+ (* -1 (/ t x)) (/ y z)))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y a)) (/ (* t z) (* a x)))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* x (+ (* -1 y) (/ (* t z) x))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* -1 (* x (+ (* -1 (/ y z)) (/ t x))))))
#s(approx y #s(hole binary64 y))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* y (+ (* -1 (/ (* t z) (* a y))) (/ x a)))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* y (+ x (* -1 (/ (* t z) y))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* y (+ (* -1 (/ t y)) (/ x z)))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x a)) (/ (* t z) (* a y)))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* y (+ (* -1 x) (/ (* t z) y))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* -1 (* y (+ (* -1 (/ x z)) (/ t y))))))
#s(approx (* t z) #s(hole binary64 (* t z)))
#s(approx z #s(hole binary64 z))
#s(approx (neg z) #s(hole binary64 (* -1 z)))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) z)))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* z (+ (* -1 (/ t a)) (/ (* x y) (* a z))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* z (- (/ (* x y) z) t))))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (* z (+ (* -1 t) (/ (* x y) z)))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (* z (+ (* -1 (/ (* x y) (* a z))) (/ t a))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 t))))))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (* -1 (* z (+ t (* -1 (/ (* x y) z)))))))
#s(approx t #s(hole binary64 t))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (+ (* -1 t) (/ (* x y) z))))
#s(approx (/ t a) #s(hole binary64 (/ t a)))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* t (+ (* -1 (/ z a)) (/ (* x y) (* a t))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* t (- (/ (* x y) t) z))))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (* t (+ (* -1 z) (/ (* x y) t)))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* t (- (/ (* x y) (* t z)) 1))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* x y) (* a t))) (/ z a))))))
#s(approx (- (* y x) (* t z)) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x y) t)) (* -1 z))))))
#s(approx (* (- (/ (* y x) z) t) z) #s(hole binary64 (* -1 (* t (+ z (* -1 (/ (* x y) t)))))))
#s(approx (- (/ (* y x) z) t) #s(hole binary64 (* -1 (* t (+ 1 (* -1 (/ (* x y) (* t z))))))))
#s(approx (* (/ 1 a) (- (* y x) (* t z))) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (/ 1 a) #s(hole binary64 (/ 1 a)))
#s(approx a #s(hole binary64 a))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx (+ (* (/ y a) x) (* (neg z) (/ t a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))

Outputs
(.f64 (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a) #s(literal -1 binary64))
(.f64 (-.f64 (.f64 z t) (*.f64 x y)) (neg.f64 (/.f64 #s(literal 1 binary64) a)))
(.f64 (-.f64 (.f64 z t) (*.f64 x y)) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 (-.f64 (.f64 x y) (*.f64 z t)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a))
(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 x y) (*.f64 z t)))
(.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 x y) (*.f64 z t)) 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 x y) 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 x y))) (.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 z t))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 x y) (neg.f64 a)) (.f64 a (.f64 (neg.f64 z) t))) (*.f64 a (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 x y) a) (.f64 a (.f64 z t))) (*.f64 a a))
(/.f64 (-.f64 (.f64 z t) (.f64 x y)) (neg.f64 a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) (neg.f64 (neg.f64 a)))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 z t) (*.f64 x y))))
(neg.f64 (.f64 (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a) #s(literal 1 binary64)))
(neg.f64 (-.f64 (.f64 z (/.f64 t a)) (.f64 (/.f64 y a) x)))
(neg.f64 (-.f64 (/.f64 (.f64 z t) a) (.f64 (/.f64 y a) x)))
(neg.f64 (fma.f64 z (/.f64 t a) (/.f64 (*.f64 (neg.f64 x) y) a)))
(neg.f64 (/.f64 (-.f64 (.f64 z t) (.f64 x y)) a))
(fma.f64 (/.f64 (.f64 (neg.f64 x) y) a) #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (/.f64 (neg.f64 t) a) z (*.f64 (/.f64 y a) x))
(fma.f64 (neg.f64 z) (/.f64 t a) (*.f64 (/.f64 y a) x))
(fma.f64 (/.f64 t a) (neg.f64 z) (*.f64 (/.f64 y a) x))
(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (neg.f64 t) (/.f64 z a) (*.f64 (/.f64 y a) x))
(fma.f64 (.f64 (neg.f64 z) t) (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 y a) x))
(fma.f64 (/.f64 (.f64 z t) a) #s(literal -1 binary64) (.f64 (/.f64 y a) x))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 z t) a) (.f64 (/.f64 y a) x))
(fma.f64 (.f64 z t) (neg.f64 (/.f64 #s(literal 1 binary64) a)) (.f64 (/.f64 y a) x))
(fma.f64 (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 z) t) (.f64 (/.f64 #s(literal 1 binary64) a) (*.f64 x y)))
(fma.f64 (/.f64 #s(literal 1 binary64) a) (.f64 x y) (.f64 (/.f64 #s(literal 1 binary64) a) (*.f64 (neg.f64 z) t)))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 z (/.f64 (neg.f64 t) a) (*.f64 (/.f64 y a) x))
(fma.f64 t (/.f64 (neg.f64 z) a) (*.f64 (/.f64 y a) x))
(fma.f64 x (/.f64 y a) (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 y (/.f64 x a) (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (.f64 (/.f64 (neg.f64 t) a) z))
(-.f64 (.f64 (/.f64 y a) x) (.f64 z (/.f64 t a)))
(-.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 z t) a))
(-.f64 (.f64 (/.f64 (neg.f64 t) a) z) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 z) t)) (.f64 (/.f64 #s(literal 1 binary64) a) (.f64 x y)))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) a) (.f64 x y)) (.f64 (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 z) t)))
(+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 x) y) a)) (*.f64 (/.f64 (neg.f64 t) a) z))
(+.f64 (.f64 (/.f64 (.f64 (neg.f64 x) y) a) #s(literal -1 binary64)) (*.f64 (/.f64 (neg.f64 t) a) z))
(+.f64 (.f64 (/.f64 y a) x) (.f64 (/.f64 (neg.f64 t) a) z))
(+.f64 (.f64 (/.f64 (neg.f64 t) a) z) (.f64 (/.f64 y a) x))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) a))
(pow.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) (/.f64 #s(literal 1 binary64) a)))
(neg.f64 (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(neg.f64 (/.f64 #s(literal -1 binary64) a))
#s(literal 1 binary64)
a
(.f64 #s(literal -1 binary64) (-.f64 (.f64 z t) (*.f64 x y)))
(.f64 #s(literal 1 binary64) (-.f64 (.f64 x y) (*.f64 z t)))
(neg.f64 (.f64 #s(literal 1 binary64) (-.f64 (.f64 z t) (*.f64 x y))))
(neg.f64 (-.f64 (.f64 z t) (.f64 x y)))
(fma.f64 (.f64 (neg.f64 x) y) #s(literal -1 binary64) (.f64 (neg.f64 z) t))
(fma.f64 (neg.f64 z) t (.f64 #s(literal -1 binary64) (.f64 (neg.f64 x) y)))
(fma.f64 (neg.f64 z) t (*.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (neg.f64 z) t (.f64 (.f64 (neg.f64 x) y) #s(literal -1 binary64)))
(fma.f64 (neg.f64 z) t (.f64 #s(literal 1 binary64) (.f64 x y)))
(fma.f64 (neg.f64 z) t (neg.f64 (*.f64 (neg.f64 x) y)))
(fma.f64 (neg.f64 z) t (*.f64 x y))
(fma.f64 (neg.f64 t) z (.f64 #s(literal -1 binary64) (.f64 (neg.f64 x) y)))
(fma.f64 (neg.f64 t) z (*.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (neg.f64 t) z (.f64 (.f64 (neg.f64 x) y) #s(literal -1 binary64)))
(fma.f64 (neg.f64 t) z (.f64 #s(literal 1 binary64) (.f64 x y)))
(fma.f64 (neg.f64 t) z (neg.f64 (*.f64 (neg.f64 x) y)))
(fma.f64 (neg.f64 t) z (*.f64 x y))
(fma.f64 (.f64 (neg.f64 z) t) #s(literal 1 binary64) (.f64 (*.f64 x y) #s(literal 1 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 (neg.f64 x) y) (.f64 (neg.f64 z) t))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 #s(literal -1 binary64) (*.f64 (neg.f64 x) y)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 (*.f64 (neg.f64 x) y) #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 #s(literal 1 binary64) (*.f64 x y)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (neg.f64 (.f64 (neg.f64 x) y)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 x y))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 (neg.f64 x) y)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 (*.f64 (neg.f64 x) y) #s(literal -1 binary64)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 #s(literal 1 binary64) (*.f64 x y)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (neg.f64 (.f64 (neg.f64 x) y)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 x y))
(fma.f64 (.f64 x y) #s(literal 1 binary64) (.f64 (*.f64 (neg.f64 z) t) #s(literal 1 binary64)))
(fma.f64 z (neg.f64 t) (.f64 #s(literal -1 binary64) (.f64 (neg.f64 x) y)))
(fma.f64 z (neg.f64 t) (*.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 z (neg.f64 t) (.f64 (.f64 (neg.f64 x) y) #s(literal -1 binary64)))
(fma.f64 z (neg.f64 t) (.f64 #s(literal 1 binary64) (.f64 x y)))
(fma.f64 z (neg.f64 t) (neg.f64 (*.f64 (neg.f64 x) y)))
(fma.f64 z (neg.f64 t) (*.f64 x y))
(fma.f64 t (neg.f64 z) (.f64 #s(literal -1 binary64) (.f64 (neg.f64 x) y)))
(fma.f64 t (neg.f64 z) (*.f64 (neg.f64 (neg.f64 x)) y))
(fma.f64 t (neg.f64 z) (.f64 (.f64 (neg.f64 x) y) #s(literal -1 binary64)))
(fma.f64 t (neg.f64 z) (.f64 #s(literal 1 binary64) (.f64 x y)))
(fma.f64 t (neg.f64 z) (neg.f64 (*.f64 (neg.f64 x) y)))
(fma.f64 t (neg.f64 z) (*.f64 x y))
(fma.f64 x y (*.f64 (neg.f64 z) t))
(fma.f64 y x (*.f64 (neg.f64 z) t))
(fma.f64 #s(literal 1 binary64) (.f64 (neg.f64 z) t) (.f64 #s(literal 1 binary64) (*.f64 x y)))
(fma.f64 #s(literal 1 binary64) (.f64 x y) (.f64 #s(literal 1 binary64) (*.f64 (neg.f64 z) t)))
(-.f64 (neg.f64 (.f64 (neg.f64 x) y)) (.f64 z t))
(-.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 x) y))
(-.f64 (.f64 x y) (.f64 (neg.f64 (neg.f64 z)) t))
(-.f64 (.f64 x y) (.f64 (neg.f64 (neg.f64 t)) z))
(-.f64 (.f64 x y) (.f64 (*.f64 (neg.f64 z) t) #s(literal -1 binary64)))
(-.f64 (.f64 x y) (.f64 (neg.f64 t) (neg.f64 z)))
(-.f64 (.f64 x y) (.f64 #s(literal 1 binary64) (*.f64 z t)))
(-.f64 (.f64 x y) (neg.f64 (.f64 (neg.f64 z) t)))
(-.f64 (.f64 x y) (.f64 z t))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (neg.f64 x) y)) (*.f64 (neg.f64 z) t))
(+.f64 (.f64 (.f64 (neg.f64 x) y) #s(literal -1 binary64)) (*.f64 (neg.f64 z) t))
(+.f64 (.f64 (.f64 x y) #s(literal 1 binary64)) (.f64 (.f64 (neg.f64 z) t) #s(literal 1 binary64)))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 x y)) (.f64 #s(literal 1 binary64) (.f64 (neg.f64 z) t)))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 (neg.f64 z) t)) (.f64 #s(literal 1 binary64) (.f64 x y)))
(+.f64 (.f64 (.f64 (neg.f64 z) t) #s(literal 1 binary64)) (.f64 (.f64 x y) #s(literal 1 binary64)))
(+.f64 (neg.f64 (.f64 (neg.f64 x) y)) (.f64 (neg.f64 z) t))
(+.f64 (.f64 (neg.f64 z) t) (.f64 #s(literal -1 binary64) (*.f64 (neg.f64 x) y)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 (neg.f64 x)) y))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (*.f64 (neg.f64 x) y) #s(literal -1 binary64)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 #s(literal 1 binary64) (*.f64 x y)))
(+.f64 (.f64 (neg.f64 z) t) (neg.f64 (.f64 (neg.f64 x) y)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 x y))
(+.f64 (.f64 x y) (.f64 (neg.f64 z) t))
(*.f64 x y)
(*.f64 y x)
y
x
(*.f64 z t)
(*.f64 t z)
t
z
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
(.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 (/.f64 y a) x)
(.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a))
(*.f64 x (/.f64 y a))
(*.f64 y (/.f64 x a))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x))
(/.f64 (neg.f64 (*.f64 (neg.f64 x) y)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 a))
(/.f64 (*.f64 x y) a)
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) a))
(.f64 (neg.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t))) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(literal 1 binary64) (/.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) a))
(/.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 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) (neg.f64 a)))
(neg.f64 (/.f64 (neg.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)
(*.f64 (neg.f64 t) z)
(.f64 #s(literal -1 binary64) (.f64 z t))
(.f64 (.f64 z t) #s(literal -1 binary64))
(*.f64 z (neg.f64 t))
(*.f64 t (neg.f64 z))
(neg.f64 (.f64 (.f64 z t) #s(literal 1 binary64)))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 z t)))
(neg.f64 (*.f64 z t))
(*.f64 #s(literal -1 binary64) z)
(*.f64 z #s(literal -1 binary64))
(neg.f64 (neg.f64 (neg.f64 z)))
(neg.f64 z)
(.f64 (neg.f64 #s(approx (- ( x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 #s(approx (- ( x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(literal 1 binary64) (/.f64 #s(approx (- ( x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z)) a))
(/.f64 (neg.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z)))) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))) (neg.f64 a))
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z)) a)
(neg.f64 (/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z)) (neg.f64 a)))
(neg.f64 (/.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))) a))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))
(.f64 (.f64 (-.f64 t (/.f64 (*.f64 x y) z)) z) #s(literal -1 binary64))
(.f64 (-.f64 t (/.f64 (.f64 x y) z)) (neg.f64 z))
(.f64 (neg.f64 z) (-.f64 t (/.f64 (.f64 x y) z)))
(.f64 (-.f64 (/.f64 (.f64 x y) z) t) z)
(.f64 #s(literal -1 binary64) (.f64 (-.f64 t (/.f64 (*.f64 x y) z)) z))
(.f64 z (-.f64 (/.f64 (.f64 x y) z) t))
(neg.f64 (.f64 #s(literal 1 binary64) (.f64 (-.f64 t (/.f64 (*.f64 x y) z)) z)))
(neg.f64 (.f64 (.f64 (-.f64 t (/.f64 (*.f64 x y) z)) z) #s(literal 1 binary64)))
(neg.f64 (.f64 (neg.f64 z) (-.f64 (/.f64 (.f64 x y) z) t)))
(neg.f64 (.f64 (-.f64 t (/.f64 (.f64 x y) z)) z))
(fma.f64 (.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z) (.f64 (neg.f64 (neg.f64 t)) (neg.f64 z)))
(fma.f64 (.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z) (.f64 (neg.f64 z) t))
(fma.f64 (neg.f64 z) (.f64 x (/.f64 (neg.f64 y) z)) (.f64 (neg.f64 z) (neg.f64 (neg.f64 t))))
(fma.f64 (neg.f64 z) (.f64 x (/.f64 (neg.f64 y) z)) (.f64 (neg.f64 z) t))
(fma.f64 (neg.f64 z) t (.f64 #s(literal -1 binary64) (.f64 z (*.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 (neg.f64 z) t (.f64 #s(literal -1 binary64) (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 (neg.f64 z) t (.f64 (.f64 z (*.f64 x (/.f64 (neg.f64 y) z))) #s(literal -1 binary64)))
(fma.f64 (neg.f64 z) t (.f64 (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z) #s(literal -1 binary64)))
(fma.f64 (neg.f64 z) t (.f64 (.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)))
(fma.f64 (neg.f64 z) t (.f64 (neg.f64 z) (.f64 x (/.f64 (neg.f64 y) z))))
(fma.f64 (neg.f64 z) t (neg.f64 (.f64 z (.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 (neg.f64 z) t (neg.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 (neg.f64 z) t (.f64 z (/.f64 (.f64 x y) z)))
(fma.f64 (neg.f64 z) t (.f64 (/.f64 (.f64 x y) z) z))
(fma.f64 (/.f64 (.f64 x y) z) z (.f64 (neg.f64 z) t))
(fma.f64 (neg.f64 t) z (.f64 #s(literal -1 binary64) (.f64 z (*.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 (neg.f64 t) z (.f64 #s(literal -1 binary64) (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 (neg.f64 t) z (.f64 (.f64 z (*.f64 x (/.f64 (neg.f64 y) z))) #s(literal -1 binary64)))
(fma.f64 (neg.f64 t) z (.f64 (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z) #s(literal -1 binary64)))
(fma.f64 (neg.f64 t) z (.f64 (.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)))
(fma.f64 (neg.f64 t) z (.f64 (neg.f64 z) (.f64 x (/.f64 (neg.f64 y) z))))
(fma.f64 (neg.f64 t) z (neg.f64 (.f64 z (.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 (neg.f64 t) z (neg.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 (neg.f64 t) z (.f64 z (/.f64 (.f64 x y) z)))
(fma.f64 (neg.f64 t) z (.f64 (/.f64 (.f64 x y) z) z))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 #s(literal -1 binary64) (.f64 z (.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 #s(literal -1 binary64) (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 (.f64 z (.f64 x (/.f64 (neg.f64 y) z))) #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z) #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 (neg.f64 z) (*.f64 x (/.f64 (neg.f64 y) z))))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (neg.f64 (.f64 z (*.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (neg.f64 (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 z (/.f64 (*.f64 x y) z)))
(fma.f64 #s(literal -1 binary64) (.f64 z t) (.f64 (/.f64 (*.f64 x y) z) z))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 z (.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 (.f64 z (.f64 x (/.f64 (neg.f64 y) z))) #s(literal -1 binary64)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z) #s(literal -1 binary64)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 (neg.f64 z) (*.f64 x (/.f64 (neg.f64 y) z))))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (neg.f64 (.f64 z (*.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (neg.f64 (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 z (/.f64 (*.f64 x y) z)))
(fma.f64 (.f64 z t) #s(literal -1 binary64) (.f64 (/.f64 (*.f64 x y) z) z))
(fma.f64 z (/.f64 (.f64 x y) z) (.f64 (neg.f64 z) t))
(fma.f64 z (neg.f64 t) (.f64 #s(literal -1 binary64) (.f64 z (*.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 z (neg.f64 t) (.f64 #s(literal -1 binary64) (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 z (neg.f64 t) (.f64 (.f64 z (*.f64 x (/.f64 (neg.f64 y) z))) #s(literal -1 binary64)))
(fma.f64 z (neg.f64 t) (.f64 (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z) #s(literal -1 binary64)))
(fma.f64 z (neg.f64 t) (.f64 (.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)))
(fma.f64 z (neg.f64 t) (.f64 (neg.f64 z) (.f64 x (/.f64 (neg.f64 y) z))))
(fma.f64 z (neg.f64 t) (neg.f64 (.f64 z (.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 z (neg.f64 t) (neg.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 z (neg.f64 t) (.f64 z (/.f64 (.f64 x y) z)))
(fma.f64 z (neg.f64 t) (.f64 (/.f64 (.f64 x y) z) z))
(fma.f64 t (neg.f64 z) (.f64 #s(literal -1 binary64) (.f64 z (*.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 t (neg.f64 z) (.f64 #s(literal -1 binary64) (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 t (neg.f64 z) (.f64 (.f64 z (*.f64 x (/.f64 (neg.f64 y) z))) #s(literal -1 binary64)))
(fma.f64 t (neg.f64 z) (.f64 (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z) #s(literal -1 binary64)))
(fma.f64 t (neg.f64 z) (.f64 (.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)))
(fma.f64 t (neg.f64 z) (.f64 (neg.f64 z) (.f64 x (/.f64 (neg.f64 y) z))))
(fma.f64 t (neg.f64 z) (neg.f64 (.f64 z (.f64 x (/.f64 (neg.f64 y) z)))))
(fma.f64 t (neg.f64 z) (neg.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z)))
(fma.f64 t (neg.f64 z) (.f64 z (/.f64 (.f64 x y) z)))
(fma.f64 t (neg.f64 z) (.f64 (/.f64 (.f64 x y) z) z))
(-.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) (/.f64 (*.f64 x y) z)))
(-.f64 (.f64 (neg.f64 z) t) (.f64 z (*.f64 x (/.f64 (neg.f64 y) z))))
(-.f64 (.f64 (neg.f64 z) t) (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z))
(+.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)) (*.f64 (neg.f64 (neg.f64 t)) (neg.f64 z)))
(+.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)) (*.f64 (neg.f64 z) t))
(+.f64 (.f64 (neg.f64 z) (.f64 x (/.f64 (neg.f64 y) z))) (*.f64 (neg.f64 z) (neg.f64 (neg.f64 t))))
(+.f64 (.f64 (neg.f64 z) (.f64 x (/.f64 (neg.f64 y) z))) (*.f64 (neg.f64 z) t))
(+.f64 (.f64 z (/.f64 (.f64 x y) z)) (*.f64 (neg.f64 z) t))
(+.f64 (.f64 (/.f64 (.f64 x y) z) z) (*.f64 (neg.f64 z) t))
(+.f64 (.f64 (neg.f64 z) t) (.f64 #s(literal -1 binary64) (.f64 z (.f64 x (/.f64 (neg.f64 y) z)))))
(+.f64 (.f64 (neg.f64 z) t) (.f64 #s(literal -1 binary64) (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (.f64 z (.f64 x (/.f64 (neg.f64 y) z))) #s(literal -1 binary64)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (.f64 (.f64 x (/.f64 (neg.f64 y) z)) z) #s(literal -1 binary64)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 z)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (neg.f64 z) (*.f64 x (/.f64 (neg.f64 y) z))))
(+.f64 (.f64 (neg.f64 z) t) (neg.f64 (.f64 z (*.f64 x (/.f64 (neg.f64 y) z)))))
(+.f64 (.f64 (neg.f64 z) t) (neg.f64 (.f64 (*.f64 x (/.f64 (neg.f64 y) z)) z)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 z (/.f64 (*.f64 x y) z)))
(+.f64 (.f64 (neg.f64 z) t) (.f64 (/.f64 (*.f64 x y) z) z))
(.f64 #s(literal -1 binary64) (-.f64 t (/.f64 (.f64 x y) z)))
(neg.f64 (-.f64 t (/.f64 (*.f64 x y) z)))
(fma.f64 (/.f64 (neg.f64 x) #s(literal -1 binary64)) (/.f64 y z) (neg.f64 t))
(fma.f64 (/.f64 (*.f64 x y) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) z) (neg.f64 t))
(fma.f64 (/.f64 #s(literal -1 binary64) z) (/.f64 (*.f64 x y) #s(literal -1 binary64)) (neg.f64 t))
(fma.f64 (*.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 z)) (neg.f64 t))
(fma.f64 (*.f64 x (/.f64 (neg.f64 y) z)) #s(literal -1 binary64) (neg.f64 t))
(fma.f64 (/.f64 (neg.f64 x) z) (/.f64 y #s(literal -1 binary64)) (neg.f64 t))
(fma.f64 (/.f64 (*.f64 x y) z) #s(literal 1 binary64) (neg.f64 t))
(fma.f64 #s(literal -1 binary64) (*.f64 x (/.f64 (neg.f64 y) z)) (neg.f64 t))
(fma.f64 #s(literal -1 binary64) t (/.f64 (*.f64 x y) z))
(fma.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z) (neg.f64 t))
(fma.f64 t #s(literal -1 binary64) (/.f64 (*.f64 x y) z))
(fma.f64 x (/.f64 y z) (neg.f64 t))
(fma.f64 y (/.f64 x z) (neg.f64 t))
(fma.f64 #s(literal 1 binary64) (/.f64 (*.f64 x y) z) (neg.f64 t))
(-.f64 (/.f64 (*.f64 x y) z) (neg.f64 (neg.f64 t)))
(-.f64 (/.f64 (*.f64 x y) z) t)
(-.f64 (neg.f64 t) (*.f64 x (/.f64 (neg.f64 y) z)))
(+.f64 (/.f64 (*.f64 x y) z) (neg.f64 t))
(+.f64 (neg.f64 t) (/.f64 (*.f64 x y) z))
(*.f64 (/.f64 (neg.f64 x) #s(literal -1 binary64)) (/.f64 y z))
(.f64 (/.f64 (.f64 x y) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) z))
(.f64 (/.f64 #s(literal -1 binary64) z) (/.f64 (.f64 x y) #s(literal -1 binary64)))
(.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 z)))
(.f64 (.f64 x (/.f64 (neg.f64 y) z)) #s(literal -1 binary64))
(*.f64 (/.f64 (neg.f64 x) z) (/.f64 y #s(literal -1 binary64)))
(.f64 (/.f64 (.f64 x y) z) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 x (/.f64 (neg.f64 y) z)))
(.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) z))
(*.f64 x (/.f64 y z))
(*.f64 y (/.f64 x z))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 x y) z))
(/.f64 (neg.f64 (*.f64 (neg.f64 x) y)) (neg.f64 (neg.f64 z)))
(/.f64 (neg.f64 (*.f64 (neg.f64 x) y)) z)
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 z))
(/.f64 (*.f64 x y) z)
(neg.f64 (*.f64 x (/.f64 (neg.f64 y) z)))
(.f64 (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a) #s(literal -1 binary64))
(.f64 (-.f64 (.f64 z t) (*.f64 x y)) (neg.f64 (/.f64 #s(literal 1 binary64) a)))
(.f64 (-.f64 (.f64 z t) (*.f64 x y)) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 (-.f64 (.f64 x y) (*.f64 z t)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a))
(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 x y) (*.f64 z t)))
(.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 x y) (*.f64 z t)) 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 x y) 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 x y))) (.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 z t))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 x y) (neg.f64 a)) (.f64 a (.f64 (neg.f64 z) t))) (*.f64 a (neg.f64 a)))
(/.f64 (-.f64 (.f64 (.f64 x y) a) (.f64 a (.f64 z t))) (*.f64 a a))
(/.f64 (-.f64 (.f64 z t) (.f64 x y)) (neg.f64 a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) (neg.f64 (neg.f64 a)))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 z t) (*.f64 x y))))
(neg.f64 (.f64 (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a) #s(literal 1 binary64)))
(neg.f64 (-.f64 (.f64 z (/.f64 t a)) (.f64 (/.f64 y a) x)))
(neg.f64 (-.f64 (/.f64 (.f64 z t) a) (.f64 (/.f64 y a) x)))
(neg.f64 (fma.f64 z (/.f64 t a) (/.f64 (*.f64 (neg.f64 x) y) a)))
(neg.f64 (/.f64 (-.f64 (.f64 z t) (.f64 x y)) a))
(fma.f64 (/.f64 (.f64 (neg.f64 x) y) a) #s(literal -1 binary64) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (/.f64 (neg.f64 t) a) z (*.f64 (/.f64 y a) x))
(fma.f64 (neg.f64 z) (/.f64 t a) (*.f64 (/.f64 y a) x))
(fma.f64 (/.f64 t a) (neg.f64 z) (*.f64 (/.f64 y a) x))
(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (neg.f64 t) (/.f64 z a) (*.f64 (/.f64 y a) x))
(fma.f64 (.f64 (neg.f64 z) t) (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 y a) x))
(fma.f64 (/.f64 (.f64 z t) a) #s(literal -1 binary64) (.f64 (/.f64 y a) x))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 x) y) a) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 z t) a) (.f64 (/.f64 y a) x))
(fma.f64 (.f64 z t) (neg.f64 (/.f64 #s(literal 1 binary64) a)) (.f64 (/.f64 y a) x))
(fma.f64 (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 z) t) (.f64 (/.f64 #s(literal 1 binary64) a) (*.f64 x y)))
(fma.f64 (/.f64 #s(literal 1 binary64) a) (.f64 x y) (.f64 (/.f64 #s(literal 1 binary64) a) (*.f64 (neg.f64 z) t)))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 z (/.f64 (neg.f64 t) a) (*.f64 (/.f64 y a) x))
(fma.f64 t (/.f64 (neg.f64 z) a) (*.f64 (/.f64 y a) x))
(fma.f64 x (/.f64 y a) (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 y (/.f64 x a) (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (.f64 (/.f64 (neg.f64 t) a) z))
(-.f64 (.f64 (/.f64 y a) x) (.f64 z (/.f64 t a)))
(-.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 z t) a))
(-.f64 (.f64 (/.f64 (neg.f64 t) a) z) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 z) t)) (.f64 (/.f64 #s(literal 1 binary64) a) (.f64 x y)))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) a) (.f64 x y)) (.f64 (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 z) t)))
(+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (neg.f64 x) y) a)) (*.f64 (/.f64 (neg.f64 t) a) z))
(+.f64 (.f64 (/.f64 (.f64 (neg.f64 x) y) a) #s(literal -1 binary64)) (*.f64 (/.f64 (neg.f64 t) a) z))
(+.f64 (.f64 (/.f64 y a) x) (.f64 (/.f64 (neg.f64 t) a) z))
(+.f64 (.f64 (/.f64 (neg.f64 t) a) z) (.f64 (/.f64 y a) x))
(*.f64 (neg.f64 y) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 y (/.f64 #s(literal 1 binary64) a))
(*.f64 #s(literal 1 binary64) (/.f64 y 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))
(*.f64 (/.f64 (neg.f64 t) a) z)
(*.f64 (neg.f64 z) (/.f64 t a))
(*.f64 (/.f64 t a) (neg.f64 z))
(*.f64 (neg.f64 t) (/.f64 z a))
(.f64 (.f64 (neg.f64 z) t) (/.f64 #s(literal 1 binary64) a))
(.f64 (/.f64 (.f64 z t) a) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 z t) a))
(.f64 (.f64 z t) (neg.f64 (/.f64 #s(literal 1 binary64) a)))
(*.f64 z (/.f64 (neg.f64 t) a))
(*.f64 t (/.f64 (neg.f64 z) 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 z t) (neg.f64 a))
(neg.f64 (*.f64 (/.f64 t a) z))
(neg.f64 (*.f64 z (/.f64 t a)))
(neg.f64 (/.f64 (*.f64 z t) a))
(*.f64 (neg.f64 t) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 t (/.f64 #s(literal 1 binary64) a))
(*.f64 #s(literal 1 binary64) (/.f64 t a))
(/.f64 (neg.f64 (neg.f64 t)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 t) (neg.f64 a))
(/.f64 t a)
(neg.f64 (/.f64 (neg.f64 t) a))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 t) a) z))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 x y) (.f64 z t)))
#s(approx (* y x) (*.f64 x y))
#s(approx x x)
#s(approx (/ (* y x) a) (*.f64 (/.f64 y a) x))
#s(approx (* (- (/ (* y x) z) t) z) (-.f64 (.f64 x y) (.f64 z t)))
#s(approx (- (/ (* y x) z) t) (neg.f64 t))
#s(approx (- (/ (* y x) z) t) (-.f64 (/.f64 (*.f64 x y) z) t))
#s(approx (/ (* y x) z) (/.f64 (*.f64 x y) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 y a) (.f64 t (/.f64 z (*.f64 x a)))) x))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 y (/.f64 (.f64 z t) x)) x))
#s(approx (- (/ (* y x) z) t) (*.f64 (-.f64 (/.f64 y z) (/.f64 t x)) x))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 y a) (.f64 t (/.f64 z (*.f64 x a)))) x))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 y (/.f64 (.f64 z t) x)) x))
#s(approx (- (/ (* y x) z) t) (*.f64 (-.f64 (/.f64 y z) (/.f64 t x)) x))
#s(approx y y)
#s(approx (/ y a) (/.f64 y a))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 t (/.f64 z (*.f64 y a)))) y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 x (/.f64 (.f64 z t) y)) y))
#s(approx (- (/ (* y x) z) t) (*.f64 (-.f64 (/.f64 x z) (/.f64 t y)) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 t (/.f64 z (*.f64 y a)))) y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 x (/.f64 (.f64 z t) y)) y))
#s(approx (- (/ (* y x) z) t) (*.f64 (-.f64 (/.f64 x z) (/.f64 t y)) y))
#s(approx (* t z) (*.f64 z t))
#s(approx z z)
#s(approx (neg z) (neg.f64 z))
#s(approx (- (/ (* y x) z) t) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 z a))) (/.f64 t a)) z))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))
#s(approx (* (- (/ (* y x) z) t) z) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 z a))) (/.f64 t a)) z))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))
#s(approx (* (- (/ (* y x) z) t) z) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))
#s(approx t t)
#s(approx (- (/ (* y x) z) t) (-.f64 (/.f64 (*.f64 x y) z) t))
#s(approx (/ t a) (/.f64 t a))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 t a))) (/.f64 z a)) t))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) t) z) t))
#s(approx (* (- (/ (* y x) z) t) z) (.f64 (-.f64 (/.f64 (.f64 x y) t) z) t))
#s(approx (- (/ (* y x) z) t) (.f64 (fma.f64 x (/.f64 y (.f64 z t)) #s(literal -1 binary64)) t))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 t a))) (/.f64 z a)) t))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) t) z) t))
#s(approx (* (- (/ (* y x) z) t) z) (.f64 (-.f64 (/.f64 (.f64 x y) t) z) t))
#s(approx (- (/ (* y x) z) t) (.f64 (fma.f64 x (/.f64 y (.f64 z t)) #s(literal -1 binary64)) t))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx (/ 1 a) (/.f64 #s(literal 1 binary64) a))
#s(approx a a)
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))

eval59.0ms (1.6%)

Memory: 31.1MiB live, 74.9MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 658 to 1 132 computations (57.4% saved)

prune69.0ms (1.9%)

Memory

-31.5MiB live, 27.8MiB allocated; 11ms collecting garbage

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	380	8	388
Fresh	6	1	7
Picked	2	3	5
Done	0	1	1
Total	388	13	401

Accuracy

100.0%

Counts

401 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	87.8%	(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 t) (/.f64 z a)))
	85.9%	(fma.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x (.f64 (neg.f64 z) (/.f64 t a)))
✓	90.1%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
	82.0%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (.f64 y (/.f64 x z)) t) z)) a)
✓	51.4%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
✓	90.1%	(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
▶	51.3%	(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
✓	48.0%	#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 y x) a))
▶	50.2%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 t) a) z))
	49.1%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
▶	76.0%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
	47.9%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a)))
▶	51.0%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))

Compiler

Compiled 278 to 278 computations (0% saved)

series152.0ms (4.1%)

Memory

12.8MiB live, 101.9MiB allocated; 14ms collecting garbage

Counts

28 → 55

Calls

Call 1

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

Outputs
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx x #s(hole binary64 x))
#s(approx (* y (/ x a)) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ x a) #s(hole binary64 (/ x 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (/ (* t z) (* a y)))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (- (/ x a) (/ (* t z) (* a y)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a (* x y)))) (/ 1 a)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* x (- (/ (* t z) (* a (* x y))) (/ 1 a))))))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx y #s(hole binary64 y))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ (- (/ (* x y) a) (/ (* t z) a)) y)))
#s(approx (* (/ z (* a y)) t) #s(hole binary64 (/ (* t z) (* a y))))
#s(approx (/ z (* a y)) #s(hole binary64 (/ z (* a y))))
#s(approx (* a y) #s(hole binary64 (* a y)))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (+ (* -1 (/ (* t z) (* a y))) (/ x a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 (/ z a) #s(hole binary64 (/ z a)))
#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) #s(hole binary64 (* -1 z)))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* z (- (/ x (* a z)) (/ t (* a y))))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* z (- (* -1 (/ x (* a z))) (* -1 (/ t (* a y))))))))
#s(approx (neg t) #s(hole binary64 (* -1 t)))
#s(approx t #s(hole binary64 t))
#s(approx (/ (neg t) a) #s(hole binary64 (* -1 (/ t a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* t (- (/ x (* a t)) (/ z (* a y))))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* t (- (* -1 (/ x (* a t))) (* -1 (/ z (* a y))))))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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) (* (/ z (* a y)) t)) y) #s(hole binary64 (/ (* y (- x (/ (* t z) y))) a)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ (- x (/ (* t z) y)) a)))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) #s(hole binary64 (* -1 (/ (* y (- (* -1 x) (* -1 (/ (* t z) y)))) a))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (/ (- (* -1 x) (* -1 (/ (* t z) y))) a))))

Calls

15 calls:

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

rewrite281.0ms (7.7%)

Memory

16.0MiB live, 203.0MiB allocated; 40ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	224	1207
0	251	1115
1	1285	1094
0	8212	1094
1	30590	1094

Stop Event

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

Counts

83 → 353

Calls

Call 1

Inputs
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 t) (/.f64 z a)))
(/.f64 y a)
y
a
x
(*.f64 (neg.f64 t) (/.f64 z a))
(neg.f64 t)
t
(/.f64 z a)
z
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
(*.f64 y (/.f64 x a))
(/.f64 x a)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 t) a) z))
(*.f64 (/.f64 (neg.f64 t) a) z)
(/.f64 (neg.f64 t) a)
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t))
(*.f64 (neg.f64 z) t)
(neg.f64 z)
(/.f64 #s(literal 1 binary64) a)
#s(literal 1 binary64)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
(.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y)
(-.f64 (/.f64 x a) (.f64 (/.f64 z (.f64 a y)) t))
(.f64 (/.f64 z (.f64 a y)) t)
(/.f64 z (*.f64 a y))
(*.f64 a y)
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z a))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z a))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx x #s(hole binary64 x))
#s(approx (* y (/ x a)) #s(hole binary64 (/ (* x y) a)))
#s(approx (/ x a) #s(hole binary64 (/ x 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (/ (* t z) (* a y)))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (- (/ x a) (/ (* t z) (* a y)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a (* x y)))) (/ 1 a)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* x (- (/ (* t z) (* a (* x y))) (/ 1 a))))))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx y #s(hole binary64 y))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ (- (/ (* x y) a) (/ (* t z) a)) y)))
#s(approx (* (/ z (* a y)) t) #s(hole binary64 (/ (* t z) (* a y))))
#s(approx (/ z (* a y)) #s(hole binary64 (/ z (* a y))))
#s(approx (* a y) #s(hole binary64 (* a y)))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (+ (* -1 (/ (* t z) (* a y))) (/ x a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 (/ z a) #s(hole binary64 (/ z a)))
#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) #s(hole binary64 (* -1 z)))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* z (- (/ x (* a z)) (/ t (* a y))))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* z (- (* -1 (/ x (* a z))) (* -1 (/ t (* a y))))))))
#s(approx (neg t) #s(hole binary64 (* -1 t)))
#s(approx t #s(hole binary64 t))
#s(approx (/ (neg t) a) #s(hole binary64 (* -1 (/ t a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* t (- (/ x (* a t)) (/ z (* a y))))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* t (- (* -1 (/ x (* a t))) (* -1 (/ z (* a y))))))))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z 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) (* (/ z (* a y)) t)) y) #s(hole binary64 (/ (* y (- x (/ (* t z) y))) a)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ (- x (/ (* t z) y)) a)))
#s(approx (+ (* (/ y a) x) (* (neg t) (/ z a))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) #s(hole binary64 (* -1 (/ (* y (- (* -1 x) (* -1 (/ (* t z) y)))) a))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (/ (- (* -1 x) (* -1 (/ (* t z) y))) a))))

Outputs
(.f64 (.f64 #s(literal -1 binary64) (-.f64 (.f64 z t) (.f64 x y))) (/.f64 #s(literal 1 binary64) a))
(.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t))) (/.f64 #s(literal 1 binary64) (.f64 a a)))
(.f64 (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a) #s(literal -1 binary64))
(.f64 (-.f64 (.f64 z t) (*.f64 x y)) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a))
(.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 x y) (*.f64 z t)) a))
(.f64 (-.f64 (.f64 x y) (*.f64 z t)) (/.f64 #s(literal 1 binary64) a))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) a (.f64 (neg.f64 a) (.f64 (neg.f64 t) z))) (.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 x a) y (.f64 a (.f64 (neg.f64 t) z))) (.f64 a a))
(/.f64 (fma.f64 (.f64 (neg.f64 t) z) (neg.f64 a) (.f64 a (.f64 (neg.f64 x) y))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 t) z) a (.f64 (.f64 x a) y)) (.f64 a a))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) (neg.f64 a)) (.f64 (neg.f64 a) (.f64 (neg.f64 t) z))) (*.f64 a a))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) a) (.f64 (neg.f64 a) (.f64 z t))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 x y) (neg.f64 a)) (.f64 a (.f64 (neg.f64 t) z))) (*.f64 a (neg.f64 a)))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t)))) (neg.f64 (*.f64 a a)))
(/.f64 (neg.f64 (.f64 #s(literal -1 binary64) (-.f64 (.f64 z t) (*.f64 x y)))) (neg.f64 a))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 (.f64 z t) (*.f64 x y))) a)
(/.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t))) (*.f64 a a))
(/.f64 (-.f64 (.f64 z t) (.f64 x y)) (neg.f64 a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) (neg.f64 (neg.f64 a)))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(neg.f64 (/.f64 (-.f64 (.f64 z t) (.f64 x y)) a))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 (neg.f64 (neg.f64 (neg.f64 t))) (/.f64 z a)))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (neg.f64 (.f64 (neg.f64 (neg.f64 t)) (/.f64 z a))))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (neg.f64 (neg.f64 (.f64 (/.f64 (neg.f64 t) a) z))))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (/.f64 (neg.f64 t) a) z (neg.f64 (neg.f64 (*.f64 (/.f64 y a) x))))
(fma.f64 (/.f64 (neg.f64 t) a) z (*.f64 (/.f64 y a) x))
(fma.f64 (.f64 (neg.f64 t) z) (/.f64 #s(literal 1 binary64) a) (neg.f64 (neg.f64 (.f64 (/.f64 y a) x))))
(fma.f64 (.f64 (neg.f64 t) z) (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 y a) x))
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 (neg.f64 (neg.f64 t))) (/.f64 z a)))
(fma.f64 (/.f64 x a) y (neg.f64 (*.f64 (neg.f64 (neg.f64 t)) (/.f64 z a))))
(fma.f64 (/.f64 x a) y (neg.f64 (neg.f64 (*.f64 (/.f64 (neg.f64 t) a) z))))
(fma.f64 (/.f64 x a) y (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (.f64 t (/.f64 z a)) #s(literal -1 binary64) (neg.f64 (neg.f64 (.f64 (/.f64 y a) x))))
(fma.f64 (.f64 t (/.f64 z a)) #s(literal -1 binary64) (.f64 (/.f64 y a) x))
(fma.f64 #s(literal -1 binary64) (.f64 t (/.f64 z a)) (neg.f64 (neg.f64 (.f64 (/.f64 y a) x))))
(fma.f64 #s(literal -1 binary64) (.f64 t (/.f64 z a)) (.f64 (/.f64 y a) x))
(fma.f64 (/.f64 z a) (neg.f64 t) (neg.f64 (neg.f64 (*.f64 (/.f64 y a) x))))
(fma.f64 (/.f64 z a) (neg.f64 t) (*.f64 (/.f64 y a) x))
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 (neg.f64 (neg.f64 t))) (/.f64 z a)))
(fma.f64 (/.f64 y a) x (neg.f64 (*.f64 (neg.f64 (neg.f64 t)) (/.f64 z a))))
(fma.f64 (/.f64 y a) x (neg.f64 (neg.f64 (*.f64 (/.f64 (neg.f64 t) a) z))))
(fma.f64 (/.f64 y a) x (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (.f64 (neg.f64 (neg.f64 (neg.f64 t))) (/.f64 z a)))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (neg.f64 (.f64 (neg.f64 (neg.f64 t)) (/.f64 z a))))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (neg.f64 (neg.f64 (.f64 (/.f64 (neg.f64 t) a) z))))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 (neg.f64 (neg.f64 t))) (/.f64 z a)))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (neg.f64 (.f64 (neg.f64 (neg.f64 t)) (/.f64 z a))))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (neg.f64 (neg.f64 (.f64 (/.f64 (neg.f64 t) a) z))))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 z (/.f64 (neg.f64 t) a) (neg.f64 (neg.f64 (*.f64 (/.f64 y a) x))))
(fma.f64 z (/.f64 (neg.f64 t) a) (*.f64 (/.f64 y a) x))
(fma.f64 (neg.f64 t) (/.f64 z a) (neg.f64 (neg.f64 (*.f64 (/.f64 y a) x))))
(fma.f64 (neg.f64 t) (/.f64 z a) (*.f64 (/.f64 y a) x))
(fma.f64 x (/.f64 y a) (*.f64 (neg.f64 (neg.f64 (neg.f64 t))) (/.f64 z a)))
(fma.f64 x (/.f64 y a) (neg.f64 (*.f64 (neg.f64 (neg.f64 t)) (/.f64 z a))))
(fma.f64 x (/.f64 y a) (neg.f64 (neg.f64 (*.f64 (/.f64 (neg.f64 t) a) z))))
(fma.f64 x (/.f64 y a) (*.f64 (/.f64 (neg.f64 t) a) z))
(fma.f64 y (/.f64 x a) (*.f64 (neg.f64 (neg.f64 (neg.f64 t))) (/.f64 z a)))
(fma.f64 y (/.f64 x a) (neg.f64 (*.f64 (neg.f64 (neg.f64 t)) (/.f64 z a))))
(fma.f64 y (/.f64 x a) (neg.f64 (neg.f64 (*.f64 (/.f64 (neg.f64 t) a) z))))
(fma.f64 y (/.f64 x a) (*.f64 (/.f64 (neg.f64 t) a) z))
(-.f64 (neg.f64 (/.f64 (.f64 (neg.f64 x) y) a)) (.f64 t (/.f64 z a)))
(-.f64 (/.f64 (.f64 (.f64 x a) y) (.f64 a a)) (/.f64 (.f64 a (.f64 z t)) (.f64 a a)))
(-.f64 (.f64 (/.f64 y a) x) (.f64 (neg.f64 (/.f64 (neg.f64 t) a)) z))
(-.f64 (.f64 (/.f64 y a) x) (.f64 (*.f64 (/.f64 (neg.f64 t) a) z) #s(literal -1 binary64)))
(-.f64 (.f64 (/.f64 y a) x) (.f64 (/.f64 (neg.f64 z) a) (neg.f64 t)))
(-.f64 (.f64 (/.f64 y a) x) (.f64 (neg.f64 z) (/.f64 (neg.f64 t) a)))
(-.f64 (.f64 (/.f64 y a) x) (.f64 (/.f64 t a) z))
(-.f64 (.f64 (/.f64 y a) x) (.f64 (neg.f64 (neg.f64 t)) (/.f64 z a)))
(-.f64 (.f64 (/.f64 y a) x) (neg.f64 (.f64 (/.f64 (neg.f64 t) a) z)))
(-.f64 (.f64 (/.f64 y a) x) (.f64 t (/.f64 z a)))
(-.f64 (.f64 (/.f64 (neg.f64 t) a) z) (.f64 (neg.f64 x) (/.f64 y a)))
(-.f64 (.f64 (/.f64 (neg.f64 t) a) z) (.f64 (neg.f64 y) (/.f64 x a)))
(-.f64 (.f64 (/.f64 (neg.f64 t) a) z) (.f64 (/.f64 (neg.f64 x) a) y))
(-.f64 (.f64 (/.f64 (neg.f64 t) a) z) (.f64 (/.f64 (neg.f64 y) a) x))
(-.f64 (.f64 (/.f64 (neg.f64 t) a) z) (neg.f64 (.f64 (/.f64 y a) x)))
(-.f64 (.f64 (/.f64 (neg.f64 t) a) z) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (.f64 (/.f64 y a) x) (.f64 (neg.f64 (neg.f64 (neg.f64 t))) (/.f64 z a)))
(+.f64 (.f64 (/.f64 y a) x) (neg.f64 (.f64 (neg.f64 (neg.f64 t)) (/.f64 z a))))
(+.f64 (.f64 (/.f64 y a) x) (neg.f64 (neg.f64 (.f64 (/.f64 (neg.f64 t) a) z))))
(+.f64 (.f64 (/.f64 y a) x) (.f64 (/.f64 (neg.f64 t) a) z))
(+.f64 (.f64 (/.f64 (neg.f64 t) a) z) (neg.f64 (neg.f64 (.f64 (/.f64 y a) x))))
(+.f64 (.f64 (/.f64 (neg.f64 t) a) z) (.f64 (/.f64 y a) x))
(*.f64 (neg.f64 y) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 y a))
(*.f64 y (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 y) (neg.f64 a))
(/.f64 y a)
y
a
x
(*.f64 (/.f64 (neg.f64 t) a) z)
(.f64 (.f64 (neg.f64 t) z) (/.f64 #s(literal 1 binary64) a))
(.f64 (.f64 t (/.f64 z a)) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 t (/.f64 z a)))
(*.f64 (/.f64 z a) (neg.f64 t))
(*.f64 z (/.f64 (neg.f64 t) a))
(*.f64 (neg.f64 t) (/.f64 z a))
(/.f64 (neg.f64 (*.f64 (neg.f64 t) z)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 t) z) a)
(neg.f64 (*.f64 t (/.f64 z a)))
(*.f64 #s(literal -1 binary64) t)
(*.f64 t #s(literal -1 binary64))
(neg.f64 t)
t
(*.f64 (neg.f64 z) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 z a))
(*.f64 z (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 z) (neg.f64 a))
(/.f64 z a)
z
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
(.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 (/.f64 x a) y)
(*.f64 (/.f64 y a) x)
(.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x))
(.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a))
(*.f64 x (/.f64 y a))
(*.f64 y (/.f64 x a))
(/.f64 (neg.f64 (*.f64 (neg.f64 x) y)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 a))
(/.f64 (*.f64 x y) a)
(*.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 x a))
(*.f64 x (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 x) (neg.f64 a))
(/.f64 x a)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 t) a) z))
(*.f64 (/.f64 (neg.f64 t) a) z)
(.f64 (.f64 (neg.f64 t) z) (/.f64 #s(literal 1 binary64) a))
(.f64 (.f64 t (/.f64 z a)) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 t (/.f64 z a)))
(*.f64 (/.f64 z a) (neg.f64 t))
(*.f64 z (/.f64 (neg.f64 t) a))
(*.f64 (neg.f64 t) (/.f64 z a))
(/.f64 (neg.f64 (*.f64 (neg.f64 t) z)) (neg.f64 a))
(/.f64 (*.f64 (neg.f64 t) z) a)
(neg.f64 (*.f64 t (/.f64 z a)))
(*.f64 (neg.f64 (neg.f64 t)) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 (/.f64 t a) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 t a))
(*.f64 #s(literal 1 binary64) (/.f64 (neg.f64 t) a))
(*.f64 (neg.f64 t) (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 (neg.f64 (neg.f64 t))) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 (neg.f64 t)) (neg.f64 a))
(/.f64 (neg.f64 t) a)
(neg.f64 (/.f64 t a))
(.f64 (.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 t) z)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) a))
(.f64 (/.f64 #s(literal 1 binary64) a) #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 t) z)))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 t) z)) (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 (.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 t) z)) #s(literal 1 binary64))) (neg.f64 a))
(/.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 t) z))) (neg.f64 a))
(/.f64 (.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 t) z)) #s(literal 1 binary64)) a)
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 t) z)) a)
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 t) z))
(*.f64 (neg.f64 z) t)
(.f64 (.f64 z t) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 z t))
(*.f64 (neg.f64 t) z)
(*.f64 t (neg.f64 z))
(neg.f64 (*.f64 z t))
(*.f64 #s(literal -1 binary64) z)
(*.f64 z #s(literal -1 binary64))
(neg.f64 z)
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) a))
(pow.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)
#s(literal 1 binary64)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
(.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y)
(.f64 y (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)))
(fma.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) y (*.f64 (/.f64 y a) x))
(fma.f64 y (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) (*.f64 (/.f64 y a) x))
(-.f64 (.f64 y (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) (.f64 (neg.f64 x) (/.f64 y a)))
(-.f64 (.f64 y (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) (.f64 (neg.f64 y) (/.f64 x a)))
(-.f64 (.f64 y (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) (.f64 (/.f64 (neg.f64 x) a) y))
(-.f64 (.f64 y (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) (.f64 (/.f64 (neg.f64 y) a) x))
(-.f64 (.f64 y (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) (neg.f64 (.f64 (/.f64 y a) x)))
(-.f64 (.f64 y (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) (/.f64 (.f64 (neg.f64 x) y) a))
(-.f64 (.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) y) (.f64 (neg.f64 x) (/.f64 y a)))
(-.f64 (.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) y) (.f64 (neg.f64 y) (/.f64 x a)))
(-.f64 (.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) y) (.f64 (/.f64 (neg.f64 x) a) y))
(-.f64 (.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) y) (.f64 (/.f64 (neg.f64 y) a) x))
(-.f64 (.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) y) (neg.f64 (.f64 (/.f64 y a) x)))
(-.f64 (.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) y) (/.f64 (.f64 (neg.f64 x) y) a))
(+.f64 (.f64 y (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) (.f64 (/.f64 y a) x))
(+.f64 (.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) y) (.f64 (/.f64 y a) x))
(.f64 (-.f64 (.f64 x (.f64 a y)) (.f64 a (.f64 z t))) (/.f64 #s(literal 1 binary64) (.f64 a (*.f64 a y))))
(/.f64 (fma.f64 (.f64 (neg.f64 t) z) (neg.f64 a) (.f64 (.f64 a y) (neg.f64 x))) (.f64 (*.f64 a y) (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 t) z) a (.f64 (.f64 a y) x)) (.f64 (*.f64 a y) a))
(/.f64 (fma.f64 (neg.f64 x) (.f64 a y) (.f64 (neg.f64 a) (.f64 (neg.f64 t) z))) (.f64 (neg.f64 a) (*.f64 a y)))
(/.f64 (fma.f64 x (.f64 a y) (.f64 a (.f64 (neg.f64 t) z))) (.f64 a (*.f64 a y)))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 t) z) a) (.f64 (.f64 a y) (neg.f64 x))) (.f64 (.f64 a y) a))
(/.f64 (-.f64 (.f64 (neg.f64 x) (neg.f64 (.f64 a y))) (.f64 (neg.f64 a) (.f64 (neg.f64 t) z))) (.f64 (neg.f64 a) (neg.f64 (.f64 a y))))
(/.f64 (-.f64 (.f64 (neg.f64 x) (.f64 a y)) (.f64 (neg.f64 a) (.f64 z t))) (.f64 (neg.f64 a) (.f64 a y)))
(/.f64 (-.f64 (.f64 x (neg.f64 (.f64 a y))) (.f64 a (.f64 (neg.f64 t) z))) (.f64 a (neg.f64 (.f64 a y))))
(/.f64 (-.f64 (.f64 x y) (.f64 a (.f64 t (/.f64 z a)))) (.f64 a y))
(/.f64 (-.f64 (.f64 (neg.f64 x) y) (.f64 (neg.f64 a) (.f64 t (/.f64 z a)))) (.f64 (neg.f64 a) y))
(/.f64 (neg.f64 (-.f64 (.f64 x (.f64 a y)) (.f64 a (.f64 z t)))) (neg.f64 (.f64 a (.f64 a y))))
(/.f64 (-.f64 (.f64 x (.f64 a y)) (.f64 a (.f64 z t))) (.f64 a (.f64 a y)))
(neg.f64 (-.f64 (.f64 (/.f64 z (.f64 a y)) t) (/.f64 x a)))
(fma.f64 (/.f64 (neg.f64 t) y) (/.f64 z a) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 (neg.f64 t) y) (/.f64 z a) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 (neg.f64 t) y) (/.f64 z a) (/.f64 x a))
(fma.f64 (/.f64 #s(literal -1 binary64) y) (.f64 t (/.f64 z a)) (.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 t (/.f64 z a)) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 #s(literal -1 binary64) y) (*.f64 t (/.f64 z a)) (/.f64 x a))
(fma.f64 (/.f64 (neg.f64 z) y) (/.f64 t a) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 (neg.f64 z) y) (/.f64 t a) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 (neg.f64 z) y) (/.f64 t a) (/.f64 x a))
(fma.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 z t) y) (.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 z t) y) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (*.f64 z t) y) (/.f64 x a))
(fma.f64 (/.f64 t y) (/.f64 (neg.f64 z) a) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 t y) (/.f64 (neg.f64 z) a) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 t y) (/.f64 (neg.f64 z) a) (/.f64 x a))
(fma.f64 (/.f64 (neg.f64 z) a) (/.f64 t y) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 (neg.f64 z) a) (/.f64 t y) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 (neg.f64 z) a) (/.f64 t y) (/.f64 x a))
(fma.f64 (/.f64 (neg.f64 t) a) (/.f64 z y) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 (neg.f64 t) a) (/.f64 z y) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 (neg.f64 t) a) (/.f64 z y) (/.f64 x a))
(fma.f64 (/.f64 t a) (/.f64 (neg.f64 z) y) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 t a) (/.f64 (neg.f64 z) y) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 t a) (/.f64 (neg.f64 z) y) (/.f64 x a))
(fma.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y))))
(fma.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (.f64 (/.f64 (neg.f64 z) (.f64 a y)) t))
(fma.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)))
(fma.f64 (/.f64 (.f64 z t) y) (/.f64 #s(literal -1 binary64) a) (.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (/.f64 (*.f64 z t) y) (/.f64 #s(literal -1 binary64) a) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (/.f64 (*.f64 z t) y) (/.f64 #s(literal -1 binary64) a) (/.f64 x a))
(fma.f64 (.f64 (/.f64 z (.f64 a y)) t) #s(literal -1 binary64) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (.f64 (/.f64 z (.f64 a y)) t) #s(literal -1 binary64) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (.f64 (/.f64 z (.f64 a y)) t) #s(literal -1 binary64) (/.f64 x a))
(fma.f64 (.f64 (neg.f64 t) z) (/.f64 #s(literal 1 binary64) (.f64 a y)) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (.f64 (neg.f64 t) z) (/.f64 #s(literal 1 binary64) (.f64 a y)) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (.f64 (neg.f64 t) z) (/.f64 #s(literal 1 binary64) (.f64 a y)) (/.f64 x a))
(fma.f64 (.f64 t (/.f64 z a)) (/.f64 #s(literal -1 binary64) y) (.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 (*.f64 t (/.f64 z a)) (/.f64 #s(literal -1 binary64) y) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 (*.f64 t (/.f64 z a)) (/.f64 #s(literal -1 binary64) y) (/.f64 x a))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 z (.f64 a y)) t) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 z (.f64 a y)) t) (neg.f64 (/.f64 (neg.f64 x) a)))
(fma.f64 #s(literal -1 binary64) (.f64 (/.f64 z (.f64 a y)) t) (/.f64 x a))
(fma.f64 #s(literal 1 binary64) (/.f64 x a) (.f64 (neg.f64 t) (/.f64 z (.f64 a y))))
(fma.f64 #s(literal 1 binary64) (/.f64 x a) (.f64 (/.f64 (neg.f64 z) (.f64 a y)) t))
(fma.f64 #s(literal 1 binary64) (/.f64 x a) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)))
(fma.f64 x (/.f64 #s(literal 1 binary64) a) (.f64 (neg.f64 t) (/.f64 z (.f64 a y))))
(fma.f64 x (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 (neg.f64 z) (.f64 a y)) t))
(fma.f64 x (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)))
(-.f64 (/.f64 (.f64 x (.f64 a y)) (.f64 a (.f64 a y))) (/.f64 (.f64 a (.f64 z t)) (.f64 a (.f64 a y))))
(-.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) (/.f64 (neg.f64 x) a))
(-.f64 (/.f64 x a) (.f64 (neg.f64 (/.f64 (neg.f64 z) (.f64 a y))) t))
(-.f64 (/.f64 x a) (.f64 (/.f64 (.f64 (neg.f64 t) z) (*.f64 a y)) #s(literal -1 binary64)))
(-.f64 (/.f64 x a) (neg.f64 (.f64 (/.f64 (neg.f64 z) (.f64 a y)) t)))
(-.f64 (/.f64 x a) (neg.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))))
(-.f64 (/.f64 x a) (.f64 (/.f64 z (.f64 a y)) t))
(+.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) (*.f64 (/.f64 (neg.f64 x) a) #s(literal -1 binary64)))
(+.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) (neg.f64 (/.f64 (neg.f64 x) a)))
(+.f64 (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)) (/.f64 x a))
(+.f64 (/.f64 x a) (.f64 (neg.f64 t) (/.f64 z (.f64 a y))))
(+.f64 (/.f64 x a) (.f64 (/.f64 (neg.f64 z) (.f64 a y)) t))
(+.f64 (/.f64 x a) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)))
(*.f64 (/.f64 t y) (/.f64 z a))
(*.f64 (/.f64 z y) (/.f64 t a))
(*.f64 (/.f64 t a) (/.f64 z y))
(.f64 (/.f64 z (.f64 a y)) t)
(.f64 (.f64 (neg.f64 t) z) (/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 a y))))
(.f64 (.f64 t (/.f64 z a)) (/.f64 #s(literal 1 binary64) y))
(.f64 (.f64 z t) (/.f64 #s(literal 1 binary64) (*.f64 a y)))
(*.f64 (/.f64 z a) (/.f64 t y))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 z (*.f64 a y)) t))
(.f64 t (/.f64 z (.f64 a y)))
(/.f64 (neg.f64 (.f64 (neg.f64 t) z)) (neg.f64 (neg.f64 (.f64 a y))))
(/.f64 (.f64 (neg.f64 t) z) (.f64 (neg.f64 a) y))
(/.f64 (.f64 (neg.f64 t) z) (neg.f64 (.f64 a y)))
(/.f64 (*.f64 t (/.f64 z a)) y)
(/.f64 (.f64 z t) (.f64 a y))
(/.f64 (*.f64 (/.f64 (neg.f64 t) a) z) (neg.f64 y))
(.f64 (neg.f64 z) (/.f64 #s(literal 1 binary64) (neg.f64 (.f64 a y))))
(*.f64 (/.f64 z a) (/.f64 #s(literal 1 binary64) y))
(.f64 #s(literal 1 binary64) (/.f64 z (.f64 a y)))
(.f64 z (/.f64 #s(literal 1 binary64) (.f64 a y)))
(/.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 (*.f64 a y))))
(/.f64 (/.f64 (neg.f64 z) a) (neg.f64 y))
(/.f64 (neg.f64 z) (neg.f64 (*.f64 a y)))
(/.f64 (/.f64 z a) y)
(/.f64 z (*.f64 a y))
(*.f64 a y)
(*.f64 y a)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 t) a) z))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx x x)
#s(approx (* y (/ x a)) (*.f64 (/.f64 y a) x))
#s(approx (/ x a) (/.f64 x a))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 t) z))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 x y) (.f64 z t)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (-.f64 (/.f64 x a) (.f64 (/.f64 z (.f64 a y)) t)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 y a) (.f64 t (/.f64 z (*.f64 x a)))) x))
#s(approx (- (* x y) (* z t)) (*.f64 x y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 y (/.f64 (.f64 z t) x)) x))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) a) (.f64 t (/.f64 z (.f64 (.f64 x a) y)))) x))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 x) (-.f64 (.f64 t (/.f64 z (*.f64 x a))) (/.f64 y a))))
#s(approx (- (* x y) (* z t)) (.f64 (neg.f64 x) (-.f64 (/.f64 (.f64 z t) x) y)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (neg.f64 x) (-.f64 (.f64 t (/.f64 z (.f64 (.f64 x a) y))) (/.f64 #s(literal 1 binary64) a))))
#s(approx (/ y a) (/.f64 y a))
#s(approx y y)
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (/.f64 (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a) y))
#s(approx (* (/ z (* a y)) t) (.f64 (/.f64 z (.f64 a y)) t))
#s(approx (/ z (* a y)) (/.f64 z (*.f64 a y)))
#s(approx (* a y) (*.f64 a y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 x (/.f64 (.f64 z t) y)) y))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (-.f64 (/.f64 x a) (.f64 (/.f64 z (.f64 a y)) t)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 y) (-.f64 (.f64 (/.f64 z (*.f64 a y)) t) (/.f64 x a))))
#s(approx (- (* x y) (* z t)) (.f64 (neg.f64 y) (-.f64 (/.f64 (.f64 z t) y) x)))
#s(approx (/ z a) (/.f64 z a))
#s(approx z z)
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 x y) (.f64 z t)))
#s(approx (neg z) (neg.f64 z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 z a))) (/.f64 t a)) z))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (-.f64 (/.f64 x (.f64 z a)) (/.f64 t (*.f64 a y))) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 z) (-.f64 (/.f64 t a) (.f64 x (/.f64 y (*.f64 z a))))))
#s(approx (- (* x y) (* z t)) (.f64 (neg.f64 z) (-.f64 t (/.f64 (.f64 x y) z))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (neg.f64 z) (-.f64 (/.f64 t (.f64 a y)) (/.f64 x (*.f64 z a)))))
#s(approx (neg t) (neg.f64 t))
#s(approx t t)
#s(approx (/ (neg t) a) (/.f64 (neg.f64 t) a))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 t a))) (/.f64 z a)) t))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) t) z) t))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (-.f64 (/.f64 x (.f64 t a)) (/.f64 z (*.f64 a y))) t))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 t) (-.f64 (/.f64 z a) (.f64 x (/.f64 y (*.f64 t a))))))
#s(approx (- (* x y) (* z t)) (.f64 (neg.f64 t) (-.f64 z (/.f64 (.f64 x y) t))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (neg.f64 t) (-.f64 (/.f64 z (.f64 a y)) (/.f64 x (*.f64 t a)))))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx a a)
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx (/ 1 a) (/.f64 #s(literal 1 binary64) a))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) (/.f64 (.f64 (-.f64 x (/.f64 (.f64 z t) y)) y) a))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (/.f64 (-.f64 x (/.f64 (*.f64 z t) y)) a))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) (neg.f64 (/.f64 (.f64 (-.f64 (/.f64 (.f64 z t) y) x) y) a)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (neg.f64 (/.f64 (-.f64 (/.f64 (*.f64 z t) y) x) a)))

eval80.0ms (2.2%)

Memory: -40.8MiB live, 60.2MiB allocated; 27ms collecting garbage
Compiler: Compiled 2 510 to 1 020 computations (59.4% saved)

prune11.0ms (0.3%)

Memory

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

Pruning

15 alts after pruning (7 fresh and 8 done)

	Pruned	Kept	Total
New	327	4	331
Fresh	1	3	4
Picked	1	4	5
Done	0	4	4
Total	329	15	344

Accuracy

100.0%

Counts

344 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	87.7%	(fma.f64 (/.f64 y a) x (.f64 (neg.f64 t) (.f64 z (/.f64 #s(literal 1 binary64) a))))
	85.9%	(fma.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x (.f64 (neg.f64 z) (/.f64 t a)))
✓	90.1%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
	82.0%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (.f64 y (/.f64 x z)) t) z)) a)
✓	51.4%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
▶	86.6%	(-.f64 (.f64 (/.f64 y a) x) (.f64 t (/.f64 z a)))
✓	90.1%	(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
✓	51.3%	(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
▶	47.9%	(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
✓	48.0%	#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 y x) a))
✓	50.2%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 t) a) z))
▶	49.1%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
✓	76.0%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
▶	41.3%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) y))
✓	51.0%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))

Compiler

Compiled 287 to 287 computations (0% saved)

series45.0ms (1.2%)

Memory

21.8MiB live, 64.9MiB allocated; 6ms collecting garbage

Counts

26 → 58

Calls

Call 1

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

Outputs
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx x #s(hole binary64 x))
#s(approx (* (/ y a) x) #s(hole binary64 (/ (* 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (/ (* t z) (* a y)))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (- (/ x a) (/ (* t z) (* a y)))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (- (/ (* x y) a) (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x (+ y (* -1 (/ (* t z) x))))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ x a)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a (* x y)))) (/ 1 a)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* x (- (/ (* t z) (* a (* x y))) (/ 1 a))))))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx y #s(hole binary64 y))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ (- (/ (* x y) a) (/ (* t z) a)) y)))
#s(approx (* a y) #s(hole binary64 (* a y)))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (+ (* -1 (/ (* t z) (* a y))) (/ x a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 (* z (/ 1 a)) #s(hole binary64 (/ z a)))
#s(approx z #s(hole binary64 z))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (+ (* -1 (* t z)) (* x y))))
#s(approx (* t (/ z a)) #s(hole binary64 (/ (* t z) a)))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* z (- (/ x (* a z)) (/ t (* a y))))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* z (- (/ (* x y) (* a z)) (/ t a)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* z (- (* -1 (/ x (* a z))) (* -1 (/ t (* a y))))))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) (* a z))) (* -1 (/ t a)))))))
#s(approx (neg t) #s(hole binary64 (* -1 t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* t (- (/ x (* a t)) (/ z (* a y))))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* t (- (/ (* x y) (* a t)) (/ z a)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* t (- (* -1 (/ x (* a t))) (* -1 (/ z (* a y))))))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x y) (* a t))) (* -1 (/ z a)))))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ 1 a) #s(hole binary64 (/ 1 a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) #s(hole binary64 (/ (* y (- x (/ (* t z) y))) a)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ (- x (/ (* t z) y)) a)))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) #s(hole binary64 (* -1 (/ (* y (- (* -1 x) (* -1 (/ (* t z) y)))) a))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (/ (- (* -1 x) (* -1 (/ (* t z) y))) a))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* -1 (/ (- (* -1 (* x y)) (* -1 (* t z))) a))))

Calls

15 calls:

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

rewrite327.0ms (8.9%)

Memory

-3.1MiB live, 230.0MiB allocated; 55ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	238	1386
0	263	1232
1	1443	1227
0	8339	1215
1	29119	1215

Stop Event

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

Counts

84 → 288

Calls

Call 1

Inputs
(fma.f64 (/.f64 y a) x (.f64 (neg.f64 t) (.f64 z (/.f64 #s(literal 1 binary64) a))))
(/.f64 y a)
y
a
x
(.f64 (neg.f64 t) (.f64 z (/.f64 #s(literal 1 binary64) a)))
(neg.f64 t)
t
(*.f64 z (/.f64 #s(literal 1 binary64) a))
z
(/.f64 #s(literal 1 binary64) a)
#s(literal 1 binary64)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
(*.f64 (/.f64 y a) x)
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
#s(approx (- (* x y) (* z t)) (*.f64 x y))
(*.f64 x y)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) y))
(.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) y)
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y)))
(/.f64 (.f64 (neg.f64 t) z) (.f64 a y))
(*.f64 (neg.f64 t) z)
(*.f64 a y)
(-.f64 (.f64 (/.f64 y a) x) (.f64 t (/.f64 z a)))
(*.f64 t (/.f64 z a))
(/.f64 z a)
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (* -1 (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (+ (* -1 (/ (* t z) a)) (/ (* x y) a))))
#s(approx x #s(hole binary64 x))
#s(approx (* (/ y a) x) #s(hole binary64 (/ (* 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (/ (* t z) (* a y)))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (- (/ x a) (/ (* t z) (* a y)))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (- (/ (* x y) a) (/ (* t z) a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a x))) (/ y a)))))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (* x (+ y (* -1 (/ (* t z) x))))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ x a)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* x (+ (* -1 (/ (* t z) (* a (* x y)))) (/ 1 a)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* x (- (/ (* t z) (* a (* x y))) (/ 1 a))))))
#s(approx (/ y a) #s(hole binary64 (/ y a)))
#s(approx y #s(hole binary64 y))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ (- (/ (* x y) a) (/ (* t z) a)) y)))
#s(approx (* a y) #s(hole binary64 (* a y)))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (+ (* -1 (/ (* t z) (* a y))) (/ x a))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 (* z (/ 1 a)) #s(hole binary64 (/ z a)))
#s(approx z #s(hole binary64 z))
#s(approx (- (* x y) (* z t)) #s(hole binary64 (+ (* -1 (* t z)) (* x y))))
#s(approx (* t (/ z a)) #s(hole binary64 (/ (* t z) a)))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* z (- (/ x (* a z)) (/ t (* a y))))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* z (- (/ (* x y) (* a z)) (/ t a)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* z (- (* -1 (/ x (* a z))) (* -1 (/ t (* a y))))))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* -1 (* z (- (* -1 (/ (* x y) (* a z))) (* -1 (/ t a)))))))
#s(approx (neg t) #s(hole binary64 (* -1 t)))
#s(approx t #s(hole binary64 t))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* t (- (/ x (* a t)) (/ z (* a y))))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* t (- (/ (* x y) (* a t)) (/ z a)))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 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 a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (* t (- (* -1 (/ x (* a t))) (* -1 (/ z (* a y))))))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* -1 (* t (- (* -1 (/ (* x y) (* a t))) (* -1 (/ z a)))))))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (/ (+ (* -1 (* t z)) (* x y)) a)))
#s(approx a #s(hole binary64 a))
#s(approx (/ 1 a) #s(hole binary64 (/ 1 a)))
#s(approx (/ (- (* x y) (* z t)) a) #s(hole binary64 (/ (- (* x y) (* t z)) a)))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) #s(hole binary64 (/ (* y (- x (/ (* t z) y))) a)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (/ (- x (/ (* t z) y)) a)))
#s(approx (+ (* (/ y a) x) (* (neg t) (* z (/ 1 a)))) #s(hole binary64 (* -1 (/ (+ (* -1 (* x y)) (* t z)) a))))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) #s(hole binary64 (* -1 (/ (* y (- (* -1 x) (* -1 (/ (* t z) y)))) a))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) #s(hole binary64 (* -1 (/ (- (* -1 x) (* -1 (/ (* t z) y))) a))))
#s(approx (- (* (/ y a) x) (* t (/ z a))) #s(hole binary64 (* -1 (/ (- (* -1 (* x y)) (* -1 (* t z))) a))))

Outputs
(.f64 (.f64 #s(literal -1 binary64) (fma.f64 (neg.f64 x) y (*.f64 z t))) (/.f64 #s(literal 1 binary64) a))
(.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t))) (/.f64 #s(literal 1 binary64) (.f64 a a)))
(.f64 (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a) #s(literal -1 binary64))
(.f64 (fma.f64 (neg.f64 x) y (.f64 z t)) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a))
(.f64 (-.f64 (.f64 x y) (*.f64 z t)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 x y) (*.f64 z t)) a))
(/.f64 (fma.f64 (.f64 z (neg.f64 t)) (neg.f64 a) (.f64 a (.f64 (neg.f64 x) y))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) a (.f64 (neg.f64 a) (.f64 z (neg.f64 t)))) (.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 x a) y (.f64 a (.f64 z (neg.f64 t)))) (.f64 a a))
(/.f64 (fma.f64 (.f64 z (neg.f64 t)) a (.f64 (.f64 x a) y)) (.f64 a a))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) a) (.f64 (neg.f64 a) (.f64 z t))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) (neg.f64 a)) (.f64 (neg.f64 a) (.f64 z (neg.f64 t)))) (*.f64 a a))
(/.f64 (-.f64 (.f64 (.f64 x y) (neg.f64 a)) (.f64 a (.f64 z (neg.f64 t)))) (*.f64 a (neg.f64 a)))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t)))) (neg.f64 (*.f64 a a)))
(/.f64 (neg.f64 (.f64 #s(literal -1 binary64) (fma.f64 (neg.f64 x) y (.f64 z t)))) (neg.f64 a))
(/.f64 (.f64 #s(literal -1 binary64) (fma.f64 (neg.f64 x) y (.f64 z t))) a)
(/.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t))) (*.f64 a a))
(/.f64 (fma.f64 (neg.f64 x) y (*.f64 z t)) (neg.f64 a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) (neg.f64 (neg.f64 a)))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(neg.f64 (fma.f64 (/.f64 z a) t (neg.f64 (*.f64 (/.f64 y a) x))))
(neg.f64 (/.f64 (-.f64 (.f64 z t) (.f64 x y)) a))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 #s(literal 1 binary64) (*.f64 z t)) (neg.f64 a)))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 z t) (neg.f64 a)))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 (neg.f64 z) t) a))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 z (neg.f64 t)) a))
(fma.f64 (/.f64 z a) (neg.f64 t) (*.f64 (/.f64 y a) x))
(fma.f64 (/.f64 (.f64 z t) a) #s(literal -1 binary64) (.f64 (/.f64 y a) x))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 z t) a) (.f64 (/.f64 y a) x))
(fma.f64 (/.f64 y a) x (/.f64 (.f64 #s(literal 1 binary64) (.f64 z t)) (neg.f64 a)))
(fma.f64 (/.f64 y a) x (/.f64 (*.f64 z t) (neg.f64 a)))
(fma.f64 (/.f64 y a) x (/.f64 (*.f64 (neg.f64 z) t) a))
(fma.f64 (/.f64 y a) x (/.f64 (*.f64 z (neg.f64 t)) a))
(fma.f64 (.f64 z (neg.f64 t)) (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 y a) x))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 #s(literal 1 binary64) (*.f64 z t)) (neg.f64 a)))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 z t) (neg.f64 a)))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 (neg.f64 z) t) a))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 z (neg.f64 t)) a))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (/.f64 (.f64 #s(literal 1 binary64) (*.f64 z t)) (neg.f64 a)))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (/.f64 (.f64 z t) (neg.f64 a)))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (/.f64 (.f64 (neg.f64 z) t) a))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (/.f64 (.f64 z (neg.f64 t)) a))
(fma.f64 (neg.f64 t) (/.f64 z a) (*.f64 (/.f64 y a) x))
(fma.f64 x (/.f64 y a) (/.f64 (.f64 #s(literal 1 binary64) (.f64 z t)) (neg.f64 a)))
(fma.f64 x (/.f64 y a) (/.f64 (*.f64 z t) (neg.f64 a)))
(fma.f64 x (/.f64 y a) (/.f64 (*.f64 (neg.f64 z) t) a))
(fma.f64 x (/.f64 y a) (/.f64 (*.f64 z (neg.f64 t)) a))
(-.f64 (neg.f64 (/.f64 (.f64 (neg.f64 x) y) a)) (/.f64 (.f64 z t) a))
(-.f64 (/.f64 (.f64 (.f64 x a) y) (.f64 a a)) (/.f64 (.f64 a (.f64 z t)) (.f64 a a)))
(-.f64 (/.f64 (.f64 z (neg.f64 t)) a) (neg.f64 (.f64 (/.f64 y a) x)))
(-.f64 (/.f64 (.f64 z (neg.f64 t)) a) (/.f64 (.f64 (neg.f64 x) y) a))
(-.f64 (.f64 (/.f64 y a) x) (.f64 (neg.f64 (neg.f64 t)) (/.f64 z a)))
(-.f64 (.f64 (/.f64 y a) x) (neg.f64 (/.f64 (.f64 z (neg.f64 t)) a)))
(-.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 z t) a))
(+.f64 (/.f64 (.f64 z t) (neg.f64 a)) (.f64 (/.f64 y a) x))
(+.f64 (/.f64 (.f64 z (neg.f64 t)) a) (.f64 (/.f64 y a) x))
(+.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 #s(literal 1 binary64) (*.f64 z t)) (neg.f64 a)))
(+.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 z t) (neg.f64 a)))
(+.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 (neg.f64 z) t) a))
(+.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 z (neg.f64 t)) a))
(*.f64 (neg.f64 y) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 y a))
(*.f64 y (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 (neg.f64 y)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 y) (neg.f64 a))
(/.f64 y a)
y
a
x
(*.f64 (/.f64 z a) (neg.f64 t))
(.f64 (/.f64 (.f64 z t) a) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 (.f64 z t) a))
(.f64 (.f64 z (neg.f64 t)) (/.f64 #s(literal 1 binary64) a))
(*.f64 (neg.f64 t) (/.f64 z a))
(/.f64 (neg.f64 (*.f64 z (neg.f64 t))) (neg.f64 a))
(/.f64 (*.f64 z (neg.f64 t)) a)
(neg.f64 (/.f64 (*.f64 z t) a))
(*.f64 #s(literal -1 binary64) t)
(*.f64 t #s(literal -1 binary64))
(neg.f64 t)
t
(.f64 (.f64 z #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) a))
(*.f64 (neg.f64 z) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.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 (*.f64 z #s(literal 1 binary64))) (neg.f64 a))
(/.f64 (*.f64 z #s(literal 1 binary64)) a)
(/.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 z) (neg.f64 a))
(/.f64 z a)
z
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) a))
(pow.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)
#s(literal 1 binary64)
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
(.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.f64 (/.f64 y a) x)
(.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x))
(*.f64 x (/.f64 y a))
(/.f64 (neg.f64 (*.f64 (neg.f64 x) y)) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 (neg.f64 x) y) (neg.f64 a))
(/.f64 (*.f64 x y) a)
(.f64 (.f64 #s(approx (- (* x y) (* z t)) (*.f64 x y)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) a))
(.f64 (/.f64 #s(literal 1 binary64) a) #s(approx (- ( x y) (* z t)) (*.f64 x y)))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
(/.f64 (neg.f64 (.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) #s(literal 1 binary64))) (neg.f64 a))
(/.f64 (neg.f64 #s(approx (- (* x y) (* z t)) (*.f64 x y))) (neg.f64 a))
(/.f64 (.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) #s(literal 1 binary64)) a)
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 x y)) a)
#s(approx (- (* x y) (* z t)) (*.f64 x y))
(*.f64 x y)
(*.f64 y x)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y)))) y))
(.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y)))) y)
(.f64 y #s(approx (- (/ x a) ( (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y)))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y))))
(*.f64 (/.f64 (neg.f64 t) y) (/.f64 z a))
(.f64 (/.f64 #s(literal -1 binary64) y) (/.f64 (.f64 z t) a))
(.f64 (/.f64 #s(literal -1 binary64) a) (/.f64 (.f64 z t) y))
(*.f64 (/.f64 z y) (/.f64 (neg.f64 t) a))
(.f64 (neg.f64 (.f64 z (neg.f64 t))) (/.f64 #s(literal 1 binary64) (neg.f64 (*.f64 a y))))
(*.f64 (/.f64 (neg.f64 t) a) (/.f64 z y))
(.f64 (/.f64 (.f64 z t) y) (/.f64 #s(literal -1 binary64) a))
(*.f64 (/.f64 z a) (/.f64 (neg.f64 t) y))
(.f64 (.f64 (/.f64 z (*.f64 a y)) t) #s(literal -1 binary64))
(.f64 (/.f64 (.f64 z (neg.f64 t)) a) (/.f64 #s(literal 1 binary64) y))
(.f64 (/.f64 (.f64 z t) a) (/.f64 #s(literal -1 binary64) y))
(.f64 #s(literal -1 binary64) (.f64 (/.f64 z (*.f64 a y)) t))
(.f64 (.f64 z (neg.f64 t)) (/.f64 #s(literal 1 binary64) (*.f64 a y)))
(.f64 #s(literal 1 binary64) (.f64 (neg.f64 t) (/.f64 z (*.f64 a y))))
(.f64 (neg.f64 t) (/.f64 z (.f64 a y)))
(/.f64 (neg.f64 (neg.f64 (.f64 z (neg.f64 t)))) (neg.f64 (neg.f64 (.f64 a y))))
(/.f64 (neg.f64 (/.f64 (*.f64 z (neg.f64 t)) a)) (neg.f64 y))
(/.f64 (neg.f64 (.f64 z (neg.f64 t))) (neg.f64 (.f64 a y)))
(/.f64 (/.f64 (*.f64 z (neg.f64 t)) a) y)
(/.f64 (.f64 z (neg.f64 t)) (.f64 a y))
(neg.f64 (.f64 (/.f64 z (.f64 a y)) t))
(.f64 (.f64 z t) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 z t))
(*.f64 z (neg.f64 t))
(*.f64 (neg.f64 t) z)
(neg.f64 (*.f64 z t))
(*.f64 a y)
(*.f64 y a)
(.f64 (.f64 #s(literal -1 binary64) (fma.f64 (neg.f64 x) y (*.f64 z t))) (/.f64 #s(literal 1 binary64) a))
(.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t))) (/.f64 #s(literal 1 binary64) (.f64 a a)))
(.f64 (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a) #s(literal -1 binary64))
(.f64 (fma.f64 (neg.f64 x) y (.f64 z t)) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 z t) (*.f64 x y)) a))
(.f64 (-.f64 (.f64 x y) (*.f64 z t)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 x y) (*.f64 z t)) a))
(/.f64 (fma.f64 (.f64 z (neg.f64 t)) (neg.f64 a) (.f64 a (.f64 (neg.f64 x) y))) (.f64 a (neg.f64 a)))
(/.f64 (fma.f64 (.f64 (neg.f64 x) y) a (.f64 (neg.f64 a) (.f64 z (neg.f64 t)))) (.f64 (neg.f64 a) a))
(/.f64 (fma.f64 (.f64 x a) y (.f64 a (.f64 z (neg.f64 t)))) (.f64 a a))
(/.f64 (fma.f64 (.f64 z (neg.f64 t)) a (.f64 (.f64 x a) y)) (.f64 a a))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) a) (.f64 (neg.f64 a) (.f64 z t))) (*.f64 (neg.f64 a) a))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 x) y) (neg.f64 a)) (.f64 (neg.f64 a) (.f64 z (neg.f64 t)))) (*.f64 a a))
(/.f64 (-.f64 (.f64 (.f64 x y) (neg.f64 a)) (.f64 a (.f64 z (neg.f64 t)))) (*.f64 a (neg.f64 a)))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t)))) (neg.f64 (*.f64 a a)))
(/.f64 (neg.f64 (.f64 #s(literal -1 binary64) (fma.f64 (neg.f64 x) y (.f64 z t)))) (neg.f64 a))
(/.f64 (.f64 #s(literal -1 binary64) (fma.f64 (neg.f64 x) y (.f64 z t))) a)
(/.f64 (-.f64 (.f64 (.f64 x a) y) (.f64 a (.f64 z t))) (*.f64 a a))
(/.f64 (fma.f64 (neg.f64 x) y (*.f64 z t)) (neg.f64 a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) (neg.f64 (neg.f64 a)))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
(neg.f64 (fma.f64 (/.f64 z a) t (neg.f64 (*.f64 (/.f64 y a) x))))
(neg.f64 (/.f64 (-.f64 (.f64 z t) (.f64 x y)) a))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 #s(literal 1 binary64) (*.f64 z t)) (neg.f64 a)))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 z t) (neg.f64 a)))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 (neg.f64 z) t) a))
(fma.f64 (.f64 (neg.f64 x) y) (/.f64 #s(literal 1 binary64) (neg.f64 a)) (/.f64 (.f64 z (neg.f64 t)) a))
(fma.f64 (/.f64 z a) (neg.f64 t) (*.f64 (/.f64 y a) x))
(fma.f64 (/.f64 (.f64 z t) a) #s(literal -1 binary64) (.f64 (/.f64 y a) x))
(fma.f64 #s(literal -1 binary64) (/.f64 (.f64 z t) a) (.f64 (/.f64 y a) x))
(fma.f64 (/.f64 y a) x (/.f64 (.f64 #s(literal 1 binary64) (.f64 z t)) (neg.f64 a)))
(fma.f64 (/.f64 y a) x (/.f64 (*.f64 z t) (neg.f64 a)))
(fma.f64 (/.f64 y a) x (/.f64 (*.f64 (neg.f64 z) t) a))
(fma.f64 (/.f64 y a) x (/.f64 (*.f64 z (neg.f64 t)) a))
(fma.f64 (.f64 z (neg.f64 t)) (/.f64 #s(literal 1 binary64) a) (.f64 (/.f64 y a) x))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 #s(literal 1 binary64) (*.f64 z t)) (neg.f64 a)))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 z t) (neg.f64 a)))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 (neg.f64 z) t) a))
(fma.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a) (/.f64 (.f64 z (neg.f64 t)) a))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (/.f64 (.f64 #s(literal 1 binary64) (*.f64 z t)) (neg.f64 a)))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (/.f64 (.f64 z t) (neg.f64 a)))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (/.f64 (.f64 (neg.f64 z) t) a))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 y a) x) (/.f64 (.f64 z (neg.f64 t)) a))
(fma.f64 (neg.f64 t) (/.f64 z a) (*.f64 (/.f64 y a) x))
(fma.f64 x (/.f64 y a) (/.f64 (.f64 #s(literal 1 binary64) (.f64 z t)) (neg.f64 a)))
(fma.f64 x (/.f64 y a) (/.f64 (*.f64 z t) (neg.f64 a)))
(fma.f64 x (/.f64 y a) (/.f64 (*.f64 (neg.f64 z) t) a))
(fma.f64 x (/.f64 y a) (/.f64 (*.f64 z (neg.f64 t)) a))
(-.f64 (neg.f64 (/.f64 (.f64 (neg.f64 x) y) a)) (/.f64 (.f64 z t) a))
(-.f64 (/.f64 (.f64 (.f64 x a) y) (.f64 a a)) (/.f64 (.f64 a (.f64 z t)) (.f64 a a)))
(-.f64 (/.f64 (.f64 z (neg.f64 t)) a) (neg.f64 (.f64 (/.f64 y a) x)))
(-.f64 (/.f64 (.f64 z (neg.f64 t)) a) (/.f64 (.f64 (neg.f64 x) y) a))
(-.f64 (.f64 (/.f64 y a) x) (.f64 (neg.f64 (neg.f64 t)) (/.f64 z a)))
(-.f64 (.f64 (/.f64 y a) x) (neg.f64 (/.f64 (.f64 z (neg.f64 t)) a)))
(-.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 z t) a))
(+.f64 (/.f64 (.f64 z t) (neg.f64 a)) (.f64 (/.f64 y a) x))
(+.f64 (/.f64 (.f64 z (neg.f64 t)) a) (.f64 (/.f64 y a) x))
(+.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 #s(literal 1 binary64) (*.f64 z t)) (neg.f64 a)))
(+.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 z t) (neg.f64 a)))
(+.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 (neg.f64 z) t) a))
(+.f64 (.f64 (/.f64 y a) x) (/.f64 (.f64 z (neg.f64 t)) a))
(*.f64 (/.f64 z a) t)
(.f64 (.f64 z t) (/.f64 #s(literal 1 binary64) a))
(.f64 (.f64 z (neg.f64 t)) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 z t) a))
(*.f64 t (/.f64 z a))
(/.f64 (neg.f64 (*.f64 z (neg.f64 t))) (neg.f64 (neg.f64 a)))
(/.f64 (*.f64 z t) a)
(/.f64 (*.f64 z (neg.f64 t)) (neg.f64 a))
(.f64 (.f64 z #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) a))
(*.f64 (neg.f64 z) (/.f64 #s(literal 1 binary64) (neg.f64 a)))
(*.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 (*.f64 z #s(literal 1 binary64))) (neg.f64 a))
(/.f64 (*.f64 z #s(literal 1 binary64)) a)
(/.f64 (neg.f64 (neg.f64 z)) (neg.f64 (neg.f64 a)))
(/.f64 (neg.f64 z) (neg.f64 a))
(/.f64 z a)
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 z (neg.f64 t)) a))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx x x)
#s(approx (* (/ y a) x) (*.f64 (/.f64 y a) x))
#s(approx (- (* x y) (* z t)) (*.f64 z (neg.f64 t)))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 x y) (.f64 z t)))
#s(approx (* x y) (*.f64 x y))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (-.f64 (/.f64 x a) (.f64 (/.f64 z (.f64 a y)) t)))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (fma.f64 (/.f64 (neg.f64 t) x) (/.f64 z a) (/.f64 y a)) x))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 y (/.f64 (.f64 z t) x)) x))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (/.f64 x a))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (fma.f64 x (/.f64 (.f64 z (neg.f64 t)) (.f64 (*.f64 x a) y)) (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 x) (fma.f64 t (/.f64 z (.f64 x a)) (/.f64 (neg.f64 y) a))))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 x) (fma.f64 t (/.f64 z x) (neg.f64 y))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (neg.f64 x) (-.f64 (.f64 t (/.f64 z (.f64 (.f64 x a) y))) (/.f64 #s(literal 1 binary64) a))))
#s(approx (/ y a) (/.f64 y a))
#s(approx y y)
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (/.f64 (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a) y))
#s(approx (* a y) (*.f64 a y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 x (/.f64 (.f64 z t) y)) y))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (-.f64 (/.f64 x a) (.f64 (/.f64 z (.f64 a y)) t)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (neg.f64 y) (fma.f64 (/.f64 z (.f64 a y)) t (/.f64 (neg.f64 x) a))))
#s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 y) (fma.f64 t (/.f64 z y) (neg.f64 x))))
#s(approx (* z (/ 1 a)) (/.f64 z a))
#s(approx z z)
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 x y) (.f64 z t)))
#s(approx (* t (/ z a)) (/.f64 (*.f64 z t) a))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 z a))) (/.f64 t a)) z))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) z) t) z))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (-.f64 (/.f64 x (.f64 z a)) (/.f64 t (*.f64 a y))) z))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 z a))) (/.f64 t a)) z))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (fma.f64 (/.f64 (neg.f64 x) z) (/.f64 y a) (/.f64 t a))))
#s(approx (- (* x y) (* z t)) (.f64 (neg.f64 z) (neg.f64 (-.f64 (/.f64 (.f64 x y) z) t))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (neg.f64 z) (neg.f64 (-.f64 (/.f64 x (.f64 z a)) (/.f64 t (*.f64 a y))))))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (fma.f64 (/.f64 (neg.f64 x) z) (/.f64 y a) (/.f64 t a))))
#s(approx (neg t) (neg.f64 t))
#s(approx t t)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 t a))) (/.f64 z a)) t))
#s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 x y) t) z) t))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (-.f64 (/.f64 x (.f64 t a)) (/.f64 z (*.f64 a y))) t))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 x (/.f64 y (*.f64 t a))) (/.f64 z a)) t))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 t) (fma.f64 (/.f64 (neg.f64 x) t) (/.f64 y a) (/.f64 z a))))
#s(approx (- (* x y) (* z t)) (.f64 (neg.f64 t) (neg.f64 (-.f64 (/.f64 (.f64 x y) t) z))))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (.f64 (neg.f64 t) (neg.f64 (-.f64 (/.f64 x (.f64 t a)) (/.f64 z (*.f64 a y))))))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 t) (fma.f64 (/.f64 (neg.f64 x) t) (/.f64 y a) (/.f64 z a))))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx a a)
#s(approx (/ 1 a) (/.f64 #s(literal 1 binary64) a))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) (/.f64 (.f64 (-.f64 x (/.f64 (.f64 z t) y)) y) a))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (/.f64 (-.f64 x (/.f64 (*.f64 z t) y)) a))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))
#s(approx (* (- (/ x a) (* (/ z (* a y)) t)) y) (neg.f64 (/.f64 (*.f64 (fma.f64 t (/.f64 z y) (neg.f64 x)) y) a)))
#s(approx (- (/ x a) (* (/ z (* a y)) t)) (neg.f64 (/.f64 (fma.f64 t (/.f64 z y) (neg.f64 x)) a)))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) a))

eval30.0ms (0.8%)

Memory: -41.7MiB live, 64.5MiB allocated; 18ms collecting garbage
Compiler: Compiled 1 561 to 664 computations (57.5% saved)

prune13.0ms (0.3%)

Memory

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

Pruning

16 alts after pruning (5 fresh and 11 done)

	Pruned	Kept	Total
New	225	4	229
Fresh	1	1	2
Picked	1	4	5
Done	1	7	8
Total	228	16	244

Accuracy

100.0%

Counts

244 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	87.7%	(fma.f64 (/.f64 y a) x (.f64 (neg.f64 t) (.f64 z (/.f64 #s(literal 1 binary64) a))))
✓	90.1%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
	82.0%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (.f64 y (/.f64 x z)) t) z)) a)
✓	51.4%	(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
✓	86.6%	(-.f64 (.f64 (/.f64 y a) x) (.f64 t (/.f64 z a)))
✓	90.1%	(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
✓	51.3%	(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
✓	47.9%	(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
✓	48.0%	#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 y x) a))
✓	50.2%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (neg.f64 t) a) z))
✓	49.1%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
	49.0%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x))
	45.2%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (*.f64 (/.f64 (neg.f64 t) y) (/.f64 z a))) y))
	39.5%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y)))) y))
	85.1%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (neg.f64 (/.f64 (fma.f64 t (/.f64 z y) (neg.f64 x)) a))) y))
✓	51.0%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))

Compiler

Compiled 431 to 341 computations (20.9% saved)

regimes76.0ms (2.1%)

Memory

-41.6MiB live, 197.6MiB allocated; 13ms collecting garbage

Counts

29 → 3

Calls

Call 1

Inputs
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.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 t) a) z))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y)))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (*.f64 (/.f64 (neg.f64 t) y) (/.f64 z a))) y))
(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
(-.f64 (.f64 (/.f64 y a) x) (.f64 t (/.f64 z a)))
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (.f64 y (/.f64 x z)) t) z)) a)
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) t) z) t)) a)
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z)) a)
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 (neg.f64 z) a) t (/.f64 (*.f64 y x) a))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (neg.f64 (/.f64 (fma.f64 t (/.f64 z y) (neg.f64 x)) a))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (.f64 (/.f64 y (*.f64 a t)) x) (/.f64 z a)) t))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (-.f64 (/.f64 x a) (.f64 (/.f64 z (*.f64 a y)) t)) y))
(fma.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x (.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 y a) x (.f64 (neg.f64 t) (.f64 z (/.f64 #s(literal 1 binary64) a))))
(/.f64 (-.f64 (.f64 (.f64 y x) a) (.f64 a (.f64 t z))) (*.f64 a a))

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

Outputs

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

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

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

Calls

9 calls:

9.0ms	a
9.0ms	z
9.0ms	(-.f64 (.f64 x y) (.f64 z t))
9.0ms	x
8.0ms	y

Results

Accuracy	Segments	Branch
95.7%	3	`(*.f64 z t)`
97.2%	3	`(*.f64 x y)`
98.4%	3	`(-.f64 (.f64 x y) (.f64 z t))`
98.3%	3	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
92.8%	2	`x`
97.6%	3	`y`
90.1%	1	`z`
91.9%	2	`t`
93.5%	2	`a`

Compiler

Compiled 27 to 54 computations (-100% saved)

regimes27.0ms (0.7%)

Memory

37.4MiB live, 83.6MiB allocated; 2ms collecting garbage

Counts

23 → 3

Calls

Call 1

Inputs
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.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 t) a) z))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y)))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (*.f64 (/.f64 (neg.f64 t) y) (/.f64 z a))) y))
(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
(-.f64 (.f64 (/.f64 y a) x) (.f64 t (/.f64 z a)))
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (.f64 y (/.f64 x z)) t) z)) a)
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) t) z) t)) a)
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z)) a)
(fma.f64 (/.f64 x a) y (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 t) (/.f64 z a)))
(fma.f64 (/.f64 y a) x (*.f64 (neg.f64 z) (/.f64 t a)))
(fma.f64 (/.f64 (neg.f64 z) a) t (/.f64 (*.f64 y x) 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

4 calls:

8.0ms	y
6.0ms	(-.f64 (.f64 x y) (.f64 z t))
6.0ms	(*.f64 x y)
6.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)

Results

Accuracy	Segments	Branch
95.2%	3	`(*.f64 x y)`
96.3%	3	`y`
95.1%	3	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
97.1%	3	`(-.f64 (.f64 x y) (.f64 z t))`

Compiler

Compiled 20 to 28 computations (-40% saved)

regimes25.0ms (0.7%)

Memory

14.5MiB live, 56.1MiB allocated; 11ms collecting garbage

Counts

19 → 3

Calls

Call 1

Inputs
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.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 t) a) z))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y)))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (*.f64 (/.f64 (neg.f64 t) y) (/.f64 z a))) y))
(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))
(-.f64 (.f64 (/.f64 y a) x) (.f64 t (/.f64 z a)))
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (.f64 y (/.f64 x z)) t) z)) a)
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) t) z) t)) a)
(/.f64 #s(approx (- (* x y) (* z t)) (.f64 (-.f64 (/.f64 (.f64 y x) z) t) z)) a)

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

Calls

3 calls:

13.0ms	(-.f64 (.f64 x y) (.f64 z t))
5.0ms	y
5.0ms	(*.f64 z t)

Results

Accuracy	Segments	Branch
94.9%	3	`(*.f64 z t)`
91.9%	2	`y`
95.5%	3	`(-.f64 (.f64 x y) (.f64 z t))`

Compiler

Compiled 11 to 19 computations (-72.7% saved)

regimes42.0ms (1.2%)

Memory

-32.8MiB live, 63.7MiB allocated; 22ms collecting garbage

Counts

15 → 3

Calls

Call 1

Inputs
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.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 t) a) z))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))
(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (.f64 (neg.f64 t) (/.f64 z (.f64 a y)))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (/.f64 (.f64 (neg.f64 t) z) (.f64 a y))) y))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(approx (- (/ x a) ( (/ z (* a y)) t)) (*.f64 (/.f64 (neg.f64 t) y) (/.f64 z a))) y))
(.f64 (/.f64 #s(literal 1 binary64) a) (-.f64 (.f64 y x) (*.f64 t z)))

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
94.9%	3	`(*.f64 z t)`
90.1%	1	`a`
90.1%	1	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
94.6%	3	`(*.f64 x y)`
90.1%	1	`(-.f64 (.f64 x y) (.f64 z t))`

Compiler

Compiled 23 to 34 computations (-47.8% saved)

regimes60.0ms (1.6%)

Memory

-7.8MiB live, 39.7MiB allocated; 3ms collecting garbage

Counts

10 → 4

Calls

Call 1

Inputs
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.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 t) a) z))
(/.f64 #s(approx (- (* x y) (* z t)) (*.f64 (neg.f64 z) t)) a)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 x y) (/.f64 #s(literal 1 binary64) a)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 (.f64 y (/.f64 #s(literal 1 binary64) a)) x))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 x y)) (/.f64 #s(literal 1 binary64) a))
(.f64 #s(approx (- ( x y) (* z t)) (*.f64 (neg.f64 z) t)) (/.f64 #s(literal 1 binary64) a))

Outputs
#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)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (neg.f64 z) (/.f64 t a)))

Calls

9 calls:

34.0ms	a
3.0ms	z
3.0ms	x
3.0ms	y
3.0ms	t

Results

Accuracy	Segments	Branch
70.4%	3	`z`
64.6%	7	`a`
69.1%	6	`(-.f64 (.f64 x y) (.f64 z t))`
63.0%	3	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
71.1%	3	`y`
70.3%	3	`t`
73.4%	3	`x`
77.4%	3	`(*.f64 x y)`
80.2%	4	`(*.f64 z t)`

Compiler

Compiled 27 to 54 computations (-100% saved)

regimes2.0ms (0.1%)

Memory

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

Counts

5 → 3

Calls

Call 1

Inputs
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 y (/.f64 x a)))
#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.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 t) a) z))

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

Calls

1 calls:

2.0ms

(*.f64 z t)

Results

Accuracy	Segments	Branch
78.1%	3	`(*.f64 z t)`

Compiler

Compiled 3 to 6 computations (-100% saved)

regimes14.0ms (0.4%)

Memory

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

Accuracy

Total -5.5b remaining (-17.7%)

Threshold costs -5.5b (-17.7%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

9 calls:

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

Results

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

Compiler

Compiled 27 to 54 computations (-100% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	7.544880918675817e+296	1.45303956969426e+303
0.0ms	-6.292980161650929e+208	-1.9576726080902663e+204

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.45303956969426e+303	8.061967380231043e+303
0.0ms	-6.292980161650929e+208	-1.9576726080902663e+204

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.7146203247876184e+286	1.5449157794473247e+290
0.0ms	-inf	-7.245499241091857e+301

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	7.245499241091857e+301	+inf
0.0ms	-inf	-7.544880918675817e+296

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	1.586296359785423e+90	2.210251835819524e+93
0.0ms	-1.761019494300535e-8	-2.8092829623925534e-12
0.0ms	-inf	-7.544880918675817e+296

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.586296359785423e+90	2.210251835819524e+93
0.0ms	-1.761019494300535e-8	-2.8092829623925534e-12

Compiler

Compiled 12 to 17 computations (-41.7% saved)

derivations537.0ms (14.7%)

Memory

-3.8MiB live, 254.1MiB allocated; 145ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 97 to 71 computations (26.8% saved)

preprocess177.0ms (4.8%)

Memory

-8.9MiB live, 270.0MiB allocated; 38ms collecting garbage

Remove

(sort z t)

(negabs a)

Compiler

Compiled 1 420 to 1 306 computations (8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze245.0ms (6.7%)

sample731.0ms (19.9%)

preprocess50.0ms (1.4%)

series15.0ms (0.4%)

rewrite233.0ms (6.4%)

eval8.0ms (0.2%)

prune7.0ms (0.2%)

series72.0ms (2%)

rewrite274.0ms (7.5%)

eval59.0ms (1.6%)

prune69.0ms (1.9%)

series152.0ms (4.1%)

rewrite281.0ms (7.7%)

eval80.0ms (2.2%)

prune11.0ms (0.3%)

series45.0ms (1.2%)

rewrite327.0ms (8.9%)

eval30.0ms (0.8%)

prune13.0ms (0.3%)

regimes76.0ms (2.1%)

regimes27.0ms (0.7%)

regimes25.0ms (0.7%)

regimes42.0ms (1.2%)

regimes60.0ms (1.6%)

regimes2.0ms (0.1%)

regimes14.0ms (0.4%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

derivations537.0ms (14.7%)

preprocess177.0ms (4.8%)

end0.0ms (0%)

Profiling