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

analyze164.0ms (4.8%)

Memory

-50.1MiB live, 256.7MiB allocated; 113ms 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)

sample826.0ms (24%)

Memory

8.3MiB live, 1 093.1MiB allocated; 243ms collecting garbage

Samples

478.0ms

8 256×

valid

Precisions

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

ival-mult!: 140.0ms (68.3% of total)

ival-div!: 45.0ms (21.9% of total)

ival-sub!: 19.0ms (9.3% of total)

adjust: 2.0ms (1% of total)

Bogosity

preprocess47.0ms (1.4%)

Memory

11.1MiB live, 54.7MiB allocated; 13ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	64	197
1	366	197
2	2306	189

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs a)

(negabs a)

(sort x y)

(sort z t)

Compiler

Compiled 18 to 18 computations (0% saved)

series135.0ms (3.9%)

Memory

2.4MiB live, 86.7MiB allocated; 22ms 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) (.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) a)))
#s(approx (/ (- (* x y) (* z t)) a) (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) a) (/.f64 (.f64 x y) a)))
#s(approx (- (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 t z)))
#s(approx (- (* x y) (* z t)) (-.f64 (.f64 x y) (.f64 t z)))
#s(approx (* x y) (*.f64 x y))
#s(approx x x)
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 x y) a))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) (*.f64 a x)) (/.f64 y a))))
#s(approx (- (* x y) (* z t)) (.f64 x (+.f64 y (.f64 #s(literal -1 binary64) (/.f64 (*.f64 t z) x)))))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 y a) (/.f64 (.f64 t z) (.f64 a x))))))
#s(approx (- (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 x (fma.f64 #s(literal -1 binary64) y (/.f64 (*.f64 t z) x)))))
#s(approx y y)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) (*.f64 a y)) (/.f64 x a))))
#s(approx (- (* x y) (* z t)) (.f64 y (+.f64 x (.f64 #s(literal -1 binary64) (/.f64 (*.f64 t z) y)))))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 x a) (/.f64 (.f64 t z) (.f64 a y))))))
#s(approx (- (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) x (/.f64 (*.f64 t z) y)))))
#s(approx (- (* x y) (* z t)) (fma.f64 #s(literal -1 binary64) (.f64 t z) (.f64 x y)))
#s(approx (* z t) (*.f64 t z))
#s(approx z z)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 t a) (/.f64 (.f64 x y) (*.f64 a z)))))
#s(approx (- (* x y) (* z t)) (.f64 z (-.f64 (/.f64 (.f64 x y) z) t)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) (.f64 a z)) (/.f64 t a)))))
#s(approx (- (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) z)) (*.f64 #s(literal -1 binary64) t)))))
#s(approx t t)
#s(approx (/ (- (* x y) (* z t)) a) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 z a) (/.f64 (.f64 x y) (*.f64 a t)))))
#s(approx (- (* x y) (* z t)) (.f64 t (-.f64 (/.f64 (.f64 x y) t) z)))
#s(approx (/ (- (* x y) (* z t)) a) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) (.f64 a t)) (/.f64 z a)))))
#s(approx (- (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 t (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 x y) t)) (*.f64 #s(literal -1 binary64) z)))))
#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (-.f64 (.f64 x y) (.f64 t z)) a))
#s(approx a a)

Calls

15 calls:

Time	Variable	Point
2.0ms	t	-inf
2.0ms	x	0
1.0ms	y	inf
1.0ms	x	inf
1.0ms	x	-inf

rewrite247.0ms (7.2%)

Memory

9.3MiB live, 132.4MiB allocated; 209ms collecting garbage

Counts

9 → 24

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

eval11.0ms (0.3%)

Memory: -30.7MiB live, 14.1MiB allocated; 6ms collecting garbage
Compiler: Compiled 1 055 to 220 computations (79.1% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	37	10	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	11	48

Accuracy

99.6%

Counts

48 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	46.2%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
▶	43.2%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 z (-.f64 (/.f64 (.f64 x y) z) t))) a)
	41.7%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 x (+.f64 y (.f64 #s(literal -1 binary64) (/.f64 (*.f64 t z) x))))) a)
	28.5%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 #s(literal -1 binary64) (.f64 t z))) a)
▶	45.0%	(+.f64 (/.f64 (.f64 x y) a) (neg.f64 (/.f64 (.f64 z t) a)))
	28.1%	(.f64 (fma.f64 y x (.f64 z t)) (/.f64 (-.f64 (.f64 x y) (.f64 z t)) (.f64 (fma.f64 y x (.f64 z t)) a)))
▶	27.6%	#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 x y) a))
	39.8%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 t a) (/.f64 (.f64 x y) (*.f64 a z)))))
▶	41.1%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 y (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) (*.f64 a y)) (/.f64 x a))))
	37.5%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t z) (*.f64 a x)) (/.f64 y a))))
▶	39.2%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 z a) (/.f64 (.f64 x y) (*.f64 a t)))))

Compiler

Compiled 411 to 301 computations (26.8% saved)

series247.0ms (7.2%)

Memory

36.3MiB live, 216.6MiB allocated; 62ms collecting garbage

Counts

31 → 84

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
32.0ms	t	-inf
20.0ms	t	0
15.0ms	a	inf
11.0ms	x	-inf
7.0ms	a	0

rewrite334.0ms (9.7%)

Memory

-32.7MiB live, 256.6MiB allocated; 40ms collecting garbage

Counts

31 → 115

Calls

Call 1

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

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

eval28.0ms (0.8%)

Memory: 0.2MiB live, 45.8MiB allocated; 3ms collecting garbage
Compiler: Compiled 6 420 to 1 082 computations (83.1% saved)

prune12.0ms (0.3%)

Memory

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

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	221	11	232
Fresh	5	0	5
Picked	4	1	5
Done	0	1	1
Total	230	13	243

Accuracy

100.0%

Counts

243 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	46.2%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
▶	41.3%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 z (-.f64 (.f64 (/.f64 y z) x) t))) a)
	28.5%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 z #s(approx (- (/ ( x y) z) t) (*.f64 #s(literal -1 binary64) t)))) a)
▶	43.5%	(+.f64 (/.f64 (.f64 x y) a) (.f64 (/.f64 t a) (neg.f64 z)))
▶	45.0%	(+.f64 (/.f64 (.f64 x y) a) (.f64 (*.f64 z t) (/.f64 #s(literal -1 binary64) a)))
✓	27.6%	#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 x y) a))
	39.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (fma.f64 (/.f64 y t) x (neg.f64 z)) a) t))
	25.6%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
▶	27.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 x a) y))
	41.7%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 y (fma.f64 #s(literal -1 binary64) (.f64 (/.f64 z a) (/.f64 t y)) (/.f64 x a))))
	39.2%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 z a) (.f64 (/.f64 y t) (/.f64 x a)))))
	40.8%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (+ ( -1 (/ z a)) (/ (* x y) (* a t))) (/.f64 (fma.f64 #s(literal -1 binary64) z (/.f64 (*.f64 x y) t)) a))))
▶	29.6%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (+ ( -1 (/ z a)) (/ (* x y) (* a t))) (*.f64 #s(literal -1 binary64) (/.f64 z a)))))

Compiler

Compiled 490 to 361 computations (26.3% saved)

series168.0ms (4.9%)

Memory

-34.6MiB live, 168.1MiB allocated; 50ms collecting garbage

Counts

30 → 67

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
4.0ms	x	-inf
4.0ms	a	inf
3.0ms	z	-inf
3.0ms	a	-inf
3.0ms	y	-inf

rewrite309.0ms (9%)

Memory

17.8MiB live, 341.9MiB allocated; 87ms collecting garbage

Counts

30 → 105

Calls

Call 1

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

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

eval30.0ms (0.9%)

Memory: 33.7MiB live, 75.1MiB allocated; 14ms collecting garbage
Compiler: Compiled 4 708 to 842 computations (82.1% saved)

prune22.0ms (0.6%)

Memory

-2.3MiB live, 38.8MiB allocated; 16ms collecting garbage

Pruning

15 alts after pruning (9 fresh and 6 done)

	Pruned	Kept	Total
New	194	3	197
Fresh	0	6	6
Picked	1	4	5
Done	0	2	2
Total	195	15	210

Accuracy

100.0%

Counts

210 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	46.2%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
✓	41.3%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 z (-.f64 (.f64 (/.f64 y z) x) t))) a)
	28.5%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 z #s(approx (- (/ ( x y) z) t) (*.f64 #s(literal -1 binary64) t)))) a)
✓	43.5%	(+.f64 (/.f64 (.f64 x y) a) (.f64 (/.f64 t a) (neg.f64 z)))
✓	45.0%	(+.f64 (/.f64 (.f64 x y) a) (.f64 (*.f64 z t) (/.f64 #s(literal -1 binary64) a)))
✓	27.6%	#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 x y) a))
	39.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (fma.f64 (/.f64 y t) x (neg.f64 z)) a) t))
▶	25.6%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
✓	27.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 x a) y))
▶	41.7%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 y (fma.f64 #s(literal -1 binary64) (.f64 (/.f64 z a) (/.f64 t y)) (/.f64 x a))))
	39.2%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 z a) (.f64 (/.f64 y t) (/.f64 x a)))))
	29.6%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (/ (+ (/ ( x y) t) (neg z)) a) (neg.f64 (/.f64 z a)))))
▶	40.8%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (+ ( -1 (/ z a)) (/ (* x y) (* a t))) (/.f64 (fma.f64 #s(literal -1 binary64) z (/.f64 (*.f64 x y) t)) a))))
▶	21.4%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (+ ( -1 (/ z a)) (/ (* x y) (* a t))) (/.f64 (.f64 x y) (.f64 a t)))))
▶	29.6%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (+ ( -1 (/ z a)) (/ (* x y) (* a t))) (*.f64 (/.f64 #s(literal -1 binary64) a) z))))

Compiler

Compiled 551 to 390 computations (29.2% saved)

series239.0ms (7%)

Memory

-33.0MiB live, 166.0MiB allocated; 66ms collecting garbage

Counts

33 → 62

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
35.0ms	t	-inf
27.0ms	y	inf
9.0ms	x	-inf
8.0ms	y	-inf
6.0ms	a	-inf

rewrite305.0ms (8.9%)

Memory

34.5MiB live, 179.8MiB allocated; 94ms collecting garbage

Counts

33 → 98

Calls

Call 1

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

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

eval21.0ms (0.6%)

Memory: -4.0MiB live, 42.8MiB allocated; 2ms collecting garbage
Compiler: Compiled 6 622 to 990 computations (85% saved)

prune12.0ms (0.4%)

Memory

-24.6MiB live, 22.1MiB allocated; 3ms collecting garbage

Pruning

15 alts after pruning (5 fresh and 10 done)

	Pruned	Kept	Total
New	183	3	186
Fresh	2	2	4
Picked	1	4	5
Done	0	6	6
Total	186	15	201

Accuracy

100.0%

Counts

201 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	46.2%	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)
✓	41.3%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 z (-.f64 (.f64 (/.f64 y z) x) t))) a)
	28.5%	(/.f64 #s(approx (- (* x y) (* z t)) (.f64 z #s(approx (- (/ ( x y) z) t) (*.f64 #s(literal -1 binary64) t)))) a)
✓	43.5%	(+.f64 (/.f64 (.f64 x y) a) (.f64 (/.f64 t a) (neg.f64 z)))
✓	45.0%	(+.f64 (/.f64 (.f64 x y) a) (.f64 (*.f64 z t) (/.f64 #s(literal -1 binary64) a)))
✓	27.6%	#s(approx (/ (- (* x y) (* z t)) a) (/.f64 (*.f64 x y) a))
	39.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 (fma.f64 (/.f64 y t) x (neg.f64 z)) a) t))
✓	25.6%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 y a) x))
✓	27.7%	#s(approx (/ (- (* x y) (* z t)) a) (*.f64 (/.f64 x a) y))
✓	41.7%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 y (fma.f64 #s(literal -1 binary64) (.f64 (/.f64 z a) (/.f64 t y)) (/.f64 x a))))
	40.8%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (/ (- (/ ( x y) t) z) a) (/.f64 (-.f64 (/.f64 (*.f64 x y) t) z) a))))
	29.6%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (/ (- (/ ( x y) t) z) a) (neg.f64 (/.f64 z a)))))
✓	21.4%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (+ ( -1 (/ z a)) (/ (* x y) (* a t))) (/.f64 (.f64 x y) (.f64 a t)))))
	21.4%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (+ ( -1 (/ z a)) (/ (* x y) (* a t))) (*.f64 (/.f64 y t) (/.f64 x a)))))
✓	29.6%	#s(approx (/ (- (* x y) (* z t)) a) (.f64 t #s(approx (+ ( -1 (/ z a)) (/ (* x y) (* a t))) (*.f64 (/.f64 #s(literal -1 binary64) a) z))))

Compiler

Compiled 320 to 229 computations (28.4% saved)

regimes179.0ms (5.2%)

Memory

29.2MiB live, 261.2MiB allocated; 54ms collecting garbage

Accuracy

Total -2.5b remaining (-1.7%)

Threshold costs -2.5b (-1.7%)

Counts

3 → 1

9 → 3

25 → 1

28 → 2

Calls

Call 1

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

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

Call 2

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

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

Outputs

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

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

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

Call 3

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

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

Call 4

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

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

Calls

30 calls:

22.0ms	y
20.0ms	(*.f64 x y)
14.0ms	z
9.0ms	(*.f64 z t)
9.0ms	(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)

Results

Accuracy	Segments	Branch
27.7%	1	`a`
27.7%	1	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
27.7%	1	`(-.f64 (.f64 x y) (.f64 z t))`
27.7%	1	`y`
27.7%	1	`z`
27.7%	1	`(*.f64 x y)`
27.7%	1	`x`
27.7%	1	`t`
27.7%	1	`(*.f64 z t)`
35.3%	4	`(-.f64 (.f64 x y) (.f64 z t))`
35.0%	4	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
39.9%	3	`(*.f64 x y)`
41.8%	3	`(*.f64 z t)`
38.8%	2	`x`
38.0%	3	`z`
40.9%	3	`t`
37.5%	3	`y`
29.6%	1	`a`
46.2%	1	`y`
46.2%	1	`a`
46.2%	1	`(*.f64 z t)`
48.0%	2	`(*.f64 z t)`
46.2%	1	`(*.f64 x y)`
46.2%	1	`(-.f64 (.f64 x y) (.f64 z t))`
46.2%	1	`(/.f64 (-.f64 (.f64 x y) (.f64 z t)) a)`
46.2%	1	`x`
46.2%	1	`y`
46.2%	1	`z`
46.2%	1	`t`
46.2%	1	`a`

Compiler

Compiled 710 to 321 computations (54.8% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	3.614291035932738e+158	2.4853180390122488e+178

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	6.6456261516396e-22	2.5891852713914443e-13
0.0ms	-2.3368885970495272e-48	-6.531176087617655e-57

Compiler

Compiled 12 to 17 computations (-41.7% saved)

derivations1.0ms (0%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 144 to 42 computations (70.8% saved)

preprocess97.0ms (2.8%)

Memory

-8.9MiB live, 129.6MiB allocated; 18ms collecting garbage

Remove

(sort z t)

(negabs a)

(abs a)

Compiler

Compiled 1 653 to 811 computations (50.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze164.0ms (4.8%)

sample826.0ms (24%)

preprocess47.0ms (1.4%)

series135.0ms (3.9%)

rewrite247.0ms (7.2%)

eval11.0ms (0.3%)

prune6.0ms (0.2%)

series247.0ms (7.2%)

rewrite334.0ms (9.7%)

eval28.0ms (0.8%)

prune12.0ms (0.3%)

series168.0ms (4.9%)

rewrite309.0ms (9%)

eval30.0ms (0.9%)

prune22.0ms (0.6%)

series239.0ms (7%)

rewrite305.0ms (8.9%)

eval21.0ms (0.6%)

prune12.0ms (0.4%)

regimes179.0ms (5.2%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

derivations1.0ms (0%)

preprocess97.0ms (2.8%)

end0.0ms (0%)

Profiling