Metrics for Optimisation.CirclePacking:place from circle-packing-0.1.0.4, F

start0.0ms (0%)

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

analyze242.0ms (4.7%)

Memory

17.2MiB live, 248.2MiB allocated; 81ms 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)

sample1.0s (19.6%)

Memory

27.0MiB live, 1 399.0MiB allocated; 430ms collecting garbage

Samples

732.0ms	8 255×	0	valid
0.0ms	1×	1	valid

Precisions

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

ival-sub!: 125.0ms (41.8% of total)

ival-div!: 90.0ms (30.1% of total)

ival-mult!: 83.0ms (27.8% of total)

adjust: 2.0ms (0.7% of total)

Bogosity

preprocess60.0ms (1.2%)

Memory

-39.4MiB live, 55.8MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	69	204
1	397	200
2	3447	200

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 18 computations (0% saved)

series159.0ms (3.1%)

Memory

22.2MiB live, 160.8MiB allocated; 33ms collecting garbage

Counts

9 → 48

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
2.0ms	a	0
1.0ms	y	inf
1.0ms	y	-inf
1.0ms	z	0
1.0ms	z	-inf

rewrite251.0ms (4.9%)

Memory

10.1MiB live, 146.1MiB allocated; 62ms collecting garbage

Counts

9 → 26

Calls

Call 1

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

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

eval13.0ms (0.3%)

Memory: 11.2MiB live, 11.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 480 to 327 computations (77.9% saved)

prune8.0ms (0.2%)

Memory

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

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	58	10	68
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	11	69

Accuracy

100.0%

Counts

69 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	94.3%	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
	64.4%	(-.f64 x (/.f64 #s(approx (* y (- z t)) (*.f64 y z)) a))
▶	95.4%	(-.f64 x (*.f64 (/.f64 (-.f64 z t) a) y))
▶	95.4%	(-.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
	76.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t y) (*.f64 a z)) (/.f64 y a)))))
	82.4%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 y a) (/.f64 (.f64 y z) (*.f64 a t))))))
▶	34.6%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 t y) a))
▶	90.3%	#s(approx (- x (/ (* y (- z t)) a)) (-.f64 (+.f64 x (/.f64 (.f64 t y) a)) (/.f64 (.f64 y z) a)))
	58.2%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 y (-.f64 (/.f64 t a) (/.f64 z a))))
	86.6%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 y (-.f64 (+.f64 (/.f64 t a) (/.f64 x y)) (/.f64 z a))))
▶	85.7%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (/.f64 (.f64 y (-.f64 z t)) (.f64 a x)) #s(literal 1 binary64)))))

Compiler

Compiled 377 to 289 computations (23.3% saved)

series500.0ms (9.7%)

Memory

-60.1MiB live, 153.3MiB allocated; 292ms collecting garbage

Counts

29 → 132

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
150.0ms	x	inf
43.0ms	t	0
22.0ms	a	inf
10.0ms	a	-inf
6.0ms	y	inf

rewrite427.0ms (8.3%)

Memory

37.0MiB live, 174.2MiB allocated; 40ms collecting garbage

Counts

29 → 109

Calls

Call 1

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

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

eval96.0ms (1.9%)

Memory: 14.5MiB live, 59.0MiB allocated; 9ms collecting garbage
Compiler: Compiled 8 492 to 1 343 computations (84.2% saved)

prune73.0ms (1.4%)

Memory

-34.2MiB live, 21.5MiB allocated; 19ms collecting garbage

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	265	12	277
Fresh	2	3	5
Picked	4	1	5
Done	0	1	1
Total	271	17	288

Accuracy

100.0%

Counts

288 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	94.3%	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
	64.4%	(-.f64 x (/.f64 #s(approx (* y (- z t)) (*.f64 y z)) a))
▶	66.1%	(-.f64 x (*.f64 #s(approx (/ (- z t) a) (/.f64 z a)) y))
	85.6%	(-.f64 x (.f64 #s(approx (/ (- z t) a) (.f64 t (-.f64 (/.f64 z (*.f64 a t)) (/.f64 #s(literal 1 binary64) a)))) y))
	76.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t y) (*.f64 a z)) (/.f64 y a)))))
✓	34.6%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 t y) a))
▶	55.1%	#s(approx (- x (/ (* y (- z t)) a)) (-.f64 #s(approx (+ x (/ (* t y) a)) (/.f64 (.f64 t y) a)) (/.f64 (.f64 y z) a)))
	35.8%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 y a) t))
	34.1%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 t a) y))
▶	84.6%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (-.f64 (.f64 (/.f64 (-.f64 z t) (*.f64 a x)) y) #s(literal 1 binary64)) (neg.f64 x)))
	58.2%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 y (-.f64 (/.f64 t a) (/.f64 z a))))
	87.6%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 (.f64 (/.f64 y a) (-.f64 z t)) (/.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)))))
	69.0%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 #s(approx (/ (* y (- z t)) (* a x)) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 y (.f64 a x)) (/.f64 (.f64 y z) (.f64 a (*.f64 t x)))))) #s(literal 1 binary64)))))
	50.5%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 #s(literal -1 binary64) (.f64 x #s(approx (- (/ (* y (- z t)) (* a x)) 1) (/.f64 (.f64 y (-.f64 z t)) (.f64 a x))))))
	63.0%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 #s(literal -1 binary64) (.f64 x #s(approx (- (/ (* y (- z t)) (* a x)) 1) (-.f64 (/.f64 (.f64 y z) (.f64 a x)) #s(literal 1 binary64))))))
▶	37.8%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 #s(literal -1 binary64) (.f64 x #s(approx (- (/ (* y (- z t)) (* a x)) 1) #s(literal -1 binary64)))))
▶	95.4%	#s(approx (- x (* y (/ (- z t) a))) (fma.f64 (/.f64 y a) (-.f64 t z) x))

Compiler

Compiled 742 to 525 computations (29.2% saved)

series305.0ms (5.9%)

Memory

5.9MiB live, 143.7MiB allocated; 20ms collecting garbage

Counts

34 → 151

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
8.0ms	t	-inf
5.0ms	y	-inf
4.0ms	a	-inf
4.0ms	z	-inf
4.0ms	x	0

rewrite480.0ms (9.3%)

Memory

4.7MiB live, 188.9MiB allocated; 47ms collecting garbage

Counts

34 → 98

Calls

Call 1

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

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

eval73.0ms (1.4%)

Memory: -16.8MiB live, 46.2MiB allocated; 57ms collecting garbage
Compiler: Compiled 8 118 to 1 277 computations (84.3% saved)

prune13.0ms (0.2%)

Memory

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

Pruning

17 alts after pruning (11 fresh and 6 done)

	Pruned	Kept	Total
New	248	6	254
Fresh	5	5	10
Picked	1	4	5
Done	0	2	2
Total	254	17	271

Accuracy

100.0%

Counts

271 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	94.3%	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
✓	66.1%	(-.f64 x (*.f64 #s(approx (/ (- z t) a) (/.f64 z a)) y))
	85.6%	(-.f64 x (.f64 #s(approx (/ (- z t) a) (.f64 t (-.f64 (/.f64 z (*.f64 a t)) (/.f64 #s(literal 1 binary64) a)))) y))
	76.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 t y) (*.f64 a z)) (/.f64 y a)))))
✓	34.6%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 t y) a))
✓	55.1%	#s(approx (- x (/ (* y (- z t)) a)) (-.f64 #s(approx (+ x (/ (* t y) a)) (/.f64 (.f64 t y) a)) (/.f64 (.f64 y z) a)))
	35.8%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 y a) t))
▶	34.1%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 t a) y))
▶	87.6%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (-.f64 (.f64 (*.f64 (-.f64 z t) (/.f64 y a)) (/.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)) (neg.f64 x)))
	63.8%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (-.f64 (.f64 #s(approx (/ (- z t) (* a x)) (/.f64 z (*.f64 a x))) y) #s(literal 1 binary64)) (neg.f64 x)))
	69.0%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (-.f64 #s(approx ( (/ (- z t) (* a x)) y) (.f64 t (fma.f64 #s(literal -1 binary64) (/.f64 y (.f64 a x)) (/.f64 (.f64 y z) (.f64 a (*.f64 t x)))))) #s(literal 1 binary64)) (neg.f64 x)))
▶	58.2%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 y (-.f64 (/.f64 t a) (/.f64 z a))))
✓	37.8%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 #s(literal -1 binary64) (.f64 x #s(approx (- (/ (* y (- z t)) (* a x)) 1) #s(literal -1 binary64)))))
✓	95.4%	#s(approx (- x (* y (/ (- z t) a))) (fma.f64 (/.f64 y a) (-.f64 t z) x))
▶	71.0%	#s(approx (- x (* y (/ (- z t) a))) (fma.f64 (/.f64 y a) #s(approx (- t z) t) x))
	59.1%	#s(approx (- x (* y (/ (- z t) a))) #s(approx (+ (* (/ y a) (- t z)) x) (/.f64 (*.f64 y (-.f64 t z)) a)))
▶	85.7%	#s(approx (- x (* y (/ (- z t) a))) #s(approx (+ (* (/ y a) (- t z)) x) (.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (-.f64 t z)) (*.f64 a x))))))

Compiler

Compiled 657 to 464 computations (29.4% saved)

series333.0ms (6.5%)

Memory

10.3MiB live, 149.7MiB allocated; 25ms collecting garbage

Counts

33 → 159

Calls

Call 1

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

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

Calls

15 calls:

Time	Variable	Point
44.0ms	z	-inf
10.0ms	a	-inf
6.0ms	a	inf
5.0ms	x	inf
5.0ms	a	0

rewrite466.0ms (9.1%)

Memory

-33.2MiB live, 154.5MiB allocated; 54ms collecting garbage

Counts

33 → 120

Calls

Call 1

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

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

eval41.0ms (0.8%)

Memory: 15.7MiB live, 65.6MiB allocated; 12ms collecting garbage
Compiler: Compiled 10 467 to 1 594 computations (84.8% saved)

prune70.0ms (1.4%)

Memory

-19.9MiB live, 26.9MiB allocated; 20ms collecting garbage

Pruning

18 alts after pruning (11 fresh and 7 done)

	Pruned	Kept	Total
New	303	8	311
Fresh	3	3	6
Picked	2	3	5
Done	2	4	6
Total	310	18	328

Accuracy

100.0%

Counts

328 → 18

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	66.1%	(-.f64 x (*.f64 #s(approx (/ (- z t) a) (/.f64 z a)) y))
✓	34.6%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 t y) a))
✓	55.1%	#s(approx (- x (/ (* y (- z t)) a)) (-.f64 #s(approx (+ x (/ (* t y) a)) (/.f64 (.f64 t y) a)) (/.f64 (.f64 y z) a)))
	59.9%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 y a) (-.f64 t z)))
	35.8%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 y a) t))
✓	34.1%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 t a) y))
	87.2%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (-.f64 (.f64 (/.f64 y (*.f64 a x)) (-.f64 z t)) #s(literal 1 binary64)) (neg.f64 x)))
	63.8%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (-.f64 (.f64 #s(approx (/ (- z t) (* a x)) (/.f64 z (*.f64 a x))) y) #s(literal 1 binary64)) (neg.f64 x)))
✓	58.2%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 y (-.f64 (/.f64 t a) (/.f64 z a))))
	52.1%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 y #s(approx (- (/ t a) (/ z a)) (.f64 z (-.f64 (/.f64 t (*.f64 a z)) (/.f64 #s(literal 1 binary64) a))))))
	45.9%	#s(approx (- x (/ (* y (- z t)) a)) #s(approx (* y (- (/ t a) (/ z a))) (.f64 z (fma.f64 #s(literal -1 binary64) (/.f64 y a) (/.f64 (.f64 t y) (*.f64 a z))))))
✓	95.4%	#s(approx (- x (* y (/ (- z t) a))) (fma.f64 (/.f64 y a) (-.f64 t z) x))
✓	71.0%	#s(approx (- x (* y (/ (- z t) a))) (fma.f64 (/.f64 y a) #s(approx (- t z) t) x))
	59.1%	#s(approx (- x (* y (/ (- z t) a))) #s(approx (+ (* (/ y a) (- t z)) x) (/.f64 (*.f64 y (-.f64 t z)) a)))
	70.0%	#s(approx (- x (* y (/ (- z t) a))) #s(approx (+ (* (/ y a) (- t z)) x) (+.f64 x (/.f64 (*.f64 t y) a))))
	81.1%	#s(approx (- x (* y (/ (- z t) a))) #s(approx (+ (* (/ y a) (- t z)) x) (.f64 x (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (-.f64 z t) x) (neg.f64 (/.f64 y a)))))))
	50.5%	#s(approx (- x (* y (/ (- z t) a))) #s(approx (+ (* (/ y a) (- t z)) x) (.f64 x #s(approx (+ 1 (/ ( y (- t z)) (* a x))) (/.f64 (.f64 y (-.f64 t z)) (.f64 a x))))))
	37.8%	#s(approx (- x (* y (/ (- z t) a))) #s(approx (+ (* (/ y a) (- t z)) x) (.f64 x #s(approx (+ 1 (/ ( y (- t z)) (* a x))) #s(literal 1 binary64)))))

Compiler

Compiled 446 to 309 computations (30.7% saved)

regimes347.0ms (6.7%)

Memory

30.0MiB live, 371.8MiB allocated; 78ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

2 → 1

3 → 3

5 → 3

6 → 1

7 → 3

8 → 4

9 → 5

10 → 5

11 → 5

13 → 1

37 → 2

Calls

Call 1

Inputs

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

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

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

Call 2

Inputs

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

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

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

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

Outputs

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

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

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

Call 3

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

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

Outputs

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

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

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

Call 4

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

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

Call 5

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

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

Outputs

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

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

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

Call 6

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

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

Call 7

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

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

Call 8

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

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

Call 9

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

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

Call 10

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

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

Call 11

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

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

Calls

60 calls:

22.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
17.0ms	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
16.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
16.0ms	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
15.0ms	x

Results

Accuracy	Segments	Branch
37.8%	1	`z`
37.8%	1	`y`
37.8%	1	`(-.f64 z t)`
37.8%	1	`x`
37.8%	1	`a`
37.8%	1	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
37.8%	1	`t`
37.8%	1	`(*.f64 y (-.f64 z t))`
37.8%	1	`(/.f64 (*.f64 y (-.f64 z t)) a)`
59.7%	3	`(/.f64 (*.f64 y (-.f64 z t)) a)`
58.0%	3	`(*.f64 y (-.f64 z t))`
53.3%	3	`a`
51.4%	3	`(-.f64 z t)`
62.2%	3	`(/.f64 (*.f64 y (-.f64 z t)) a)`
51.9%	3	`x`
50.5%	3	`y`
55.7%	3	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
46.1%	4	`z`
56.5%	3	`t`
71.0%	1	`y`
71.0%	1	`x`
71.0%	1	`(*.f64 y (-.f64 z t))`
71.0%	1	`(-.f64 z t)`
71.0%	1	`a`
71.0%	1	`z`
71.0%	1	`t`
71.0%	1	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
71.0%	1	`(/.f64 (*.f64 y (-.f64 z t)) a)`
80.5%	3	`(*.f64 y (-.f64 z t))`
82.6%	3	`z`
84.7%	3	`(/.f64 (*.f64 y (-.f64 z t)) a)`
89.1%	4	`(/.f64 (*.f64 y (-.f64 z t)) a)`
91.7%	5	`(/.f64 (*.f64 y (-.f64 z t)) a)`
91.7%	5	`(/.f64 (*.f64 y (-.f64 z t)) a)`
92.4%	5	`(/.f64 (*.f64 y (-.f64 z t)) a)`
80.7%	3	`(-.f64 z t)`
79.9%	3	`x`
81.4%	5	`y`
86.4%	3	`z`
81.0%	3	`a`
89.1%	5	`(*.f64 y (-.f64 z t))`
86.1%	4	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
83.9%	3	`t`
95.4%	1	`t`
95.4%	1	`z`
95.4%	1	`a`
95.4%	1	`y`
95.4%	1	`(*.f64 y (-.f64 z t))`
95.4%	1	`(/.f64 (*.f64 y (-.f64 z t)) a)`
95.4%	1	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
95.4%	1	`(-.f64 z t)`
98.6%	2	`(-.f64 z t)`
99.8%	3	`(*.f64 y (-.f64 z t))`
99.8%	3	`(/.f64 (*.f64 y (-.f64 z t)) a)`
99.8%	3	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
95.4%	1	`x`
99.8%	3	`y`
98.2%	2	`z`
97.5%	2	`t`
99.8%	3	`a`

Compiler

Compiled 1 134 to 577 computations (49.1% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-7.678448748366643e+110	-4.7320200695406675e+104

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	1.4957342591756701e+302	+inf
0.0ms	5.9777277319076326e+147	3.7169846663816887e+161
0.0ms	3.3371268702851203e-108	1.597170785455729e-100
0.0ms	-3.8743609574831794e-15	-9.872314322343969e-17

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	1.4957342591756701e+302	+inf
0.0ms	5.9777277319076326e+147	3.7169846663816887e+161
0.0ms	3.3371268702851203e-108	1.597170785455729e-100
0.0ms	-3.8743609574831794e-15	-9.872314322343969e-17

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	1.4957342591756701e+302	+inf
0.0ms	5.9777277319076326e+147	3.7169846663816887e+161
0.0ms	3.3371268702851203e-108	1.597170785455729e-100
0.0ms	-3.8743609574831794e-15	-9.872314322343969e-17

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	1.4957342591756701e+302	+inf
0.0ms	5.9777277319076326e+147	3.7169846663816887e+161
0.0ms	-1.6619892766910465e+86	-1.49066458415816e+83

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch15.0ms (0.3%)

Memory

-46.7MiB live, 1.6MiB allocated; 3ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	5.9777277319076326e+147	3.7169846663816887e+161
0.0ms	-1.6619892766910465e+86	-1.49066458415816e+83

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	4.9201711565989665e+54	7.394269861560929e+54
0.0ms	-3.8743609574831794e-15	-9.872314322343969e-17

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	4.9201711565989665e+54	7.394269861560929e+54
0.0ms	-3.8743609574831794e-15	-9.872314322343969e-17

Compiler

Compiled 12 to 17 computations (-41.7% saved)

derivations6.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 890 to 94 computations (89.4% saved)

preprocess154.0ms (3%)

Memory: 13.6MiB live, 202.4MiB allocated; 33ms collecting garbage
Compiler: Compiled 899 to 103 computations (88.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze242.0ms (4.7%)

sample1.0s (19.6%)

preprocess60.0ms (1.2%)

series159.0ms (3.1%)

rewrite251.0ms (4.9%)

eval13.0ms (0.3%)

prune8.0ms (0.2%)

series500.0ms (9.7%)

rewrite427.0ms (8.3%)

eval96.0ms (1.9%)

prune73.0ms (1.4%)

series305.0ms (5.9%)

rewrite480.0ms (9.3%)

eval73.0ms (1.4%)

prune13.0ms (0.2%)

series333.0ms (6.5%)

rewrite466.0ms (9.1%)

eval41.0ms (0.8%)

prune70.0ms (1.4%)

regimes347.0ms (6.7%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch15.0ms (0.3%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

derivations6.0ms (0.1%)

preprocess154.0ms (3%)

end0.0ms (0%)

Profiling