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

start0.0ms (0%)

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

analyze268.0ms (7.4%)

Memory

5.5MiB live, 189.5MiB allocated; 45ms 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)

sample969.0ms (26.6%)

Memory

27.2MiB live, 1 010.1MiB allocated; 237ms collecting garbage

Samples

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

Precisions

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

ival-sub!: 192.0ms (54.3% of total)

ival-mult!: 120.0ms (34% of total)

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

adjust: 1.0ms (0.3% of total)

Bogosity

preprocess49.0ms (1.3%)

Memory

-6.6MiB live, 38.7MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	69	198
1	263	190
2	955	190
3	3217	190

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 18 computations (0% saved)

series15.0ms (0.4%)

Memory

33.0MiB live, 33.0MiB allocated; 0ms 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)) #s(hole binary64 (* -1 (/ (* y (- z t)) a))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (- x (/ (* y (- z t)) a))))
#s(approx x #s(hole binary64 x))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* x (+ 1 (* -1 (/ (* y (- z t)) (* a x)))))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* -1 (* x (- (/ (* y (- z t)) (* a x)) 1)))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (+ x (* y (- (/ t a) (/ z a))))))
#s(approx (/ (* y (- z t)) a) #s(hole binary64 (/ (* y (- z t)) a)))
#s(approx (* y (- z t)) #s(hole binary64 (* y (- z t))))
#s(approx y #s(hole binary64 y))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* y (- (/ t a) (/ z a)))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* y (- (+ (/ t a) (/ x y)) (/ z a)))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* -1 (* y (- (* -1 (/ x y)) (* -1 (/ (- z t) a)))))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (- x (* -1 (/ (* t y) a)))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (- (+ x (* -1 (/ (* y z) a))) (* -1 (/ (* t y) a)))))
#s(approx (/ (* y (- z t)) a) #s(hole binary64 (* -1 (/ (* t y) a))))
#s(approx (/ (* y (- z t)) a) #s(hole binary64 (+ (* -1 (/ (* t y) a)) (/ (* y z) a))))
#s(approx (* y (- z t)) #s(hole binary64 (* -1 (* t y))))
#s(approx (* y (- z t)) #s(hole binary64 (+ (* -1 (* t y)) (* y z))))
#s(approx (- z t) #s(hole binary64 (* -1 t)))
#s(approx (- z t) #s(hole binary64 (- z t)))
#s(approx z #s(hole binary64 z))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* -1 (/ (* y z) a))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* z (- (/ x z) (+ (* -1 (/ (* t y) (* a z))) (/ y a))))))
#s(approx (/ (* y (- z t)) a) #s(hole binary64 (/ (* y z) a)))
#s(approx (/ (* y (- z t)) a) #s(hole binary64 (* z (+ (* -1 (/ (* t y) (* a z))) (/ y a)))))
#s(approx (* y (- z t)) #s(hole binary64 (* y z)))
#s(approx (* y (- z t)) #s(hole binary64 (* z (+ y (* -1 (/ (* t y) z))))))
#s(approx (- z t) #s(hole binary64 (* z (+ 1 (* -1 (/ t z))))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* -1 (* z (- (* -1 (/ (- x (* -1 (/ (* t y) a))) z)) (* -1 (/ y a)))))))
#s(approx (/ (* y (- z t)) a) #s(hole binary64 (* -1 (* z (+ (* -1 (/ y a)) (/ (* t y) (* a z)))))))
#s(approx (* y (- z t)) #s(hole binary64 (* -1 (* z (+ (* -1 y) (/ (* t y) z))))))
#s(approx (- z t) #s(hole binary64 (* -1 (* z (- (/ t z) 1)))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (- x (/ (* y z) a))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (- (+ x (/ (* t y) a)) (/ (* y z) a))))
#s(approx (- z t) #s(hole binary64 (+ z (* -1 t))))
#s(approx t #s(hole binary64 t))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (/ (* t y) a)))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* t (- (/ x t) (+ (* -1 (/ y a)) (/ (* y z) (* a t)))))))
#s(approx (/ (* y (- z t)) a) #s(hole binary64 (* t (+ (* -1 (/ y a)) (/ (* y z) (* a t))))))
#s(approx (* y (- z t)) #s(hole binary64 (* t (+ (* -1 y) (/ (* y z) t)))))
#s(approx (- z t) #s(hole binary64 (* t (- (/ z t) 1))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (* -1 (* t (- (* -1 (/ (- x (/ (* y z) a)) t)) (/ y a))))))
#s(approx (/ (* y (- z t)) a) #s(hole binary64 (* -1 (* t (+ (* -1 (/ (* y z) (* a t))) (/ y a))))))
#s(approx (* y (- z t)) #s(hole binary64 (* -1 (* t (+ y (* -1 (/ (* y z) t)))))))
#s(approx (- z t) #s(hole binary64 (* -1 (* t (+ 1 (* -1 (/ z t)))))))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (/ (- (* a x) (* y (- z t))) a)))
#s(approx a #s(hole binary64 a))
#s(approx (- x (/ (* y (- z t)) a)) #s(hole binary64 (+ x (* -1 (/ (* y (- z t)) a)))))

Calls

15 calls:

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

rewrite178.0ms (4.9%)

Memory

-27.7MiB live, 159.9MiB allocated; 21ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	170	855
0	176	782
1	1060	751
0	8444	721
1	27198	721

Stop Event

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

Counts

57 → 158

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

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

eval12.0ms (0.3%)

Memory: 24.2MiB live, 24.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 885 to 423 computations (52.2% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	125	10	135
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	125	11	136

Accuracy

100.0%

Counts

136 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	93.7%	(fma.f64 (/.f64 (-.f64 t z) a) y x)
	91.7%	(fma.f64 (*.f64 (-.f64 t z) y) (/.f64 #s(literal 1 binary64) a) x)
✓	91.8%	(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
▶	71.1%	(-.f64 x (/.f64 (*.f64 y #s(approx (- z t) (neg.f64 t))) a))
	64.0%	(-.f64 x (/.f64 #s(approx (* y (- z t)) (*.f64 z y)) a))
	88.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 (.f64 (/.f64 y a) (-.f64 (/.f64 z t) #s(literal 1 binary64))) t)))
▶	65.5%	(-.f64 x #s(approx (/ (* y (- z t)) a) (*.f64 y (/.f64 z a))))
▶	73.0%	#s(approx (- x (/ (* y (- z t)) a)) (fma.f64 t (/.f64 y a) x))
▶	33.7%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 t y) a))
	56.4%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 (-.f64 t z) a) y))
	29.8%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (neg.f64 y) (/.f64 z a)))

Compiler

Compiled 245 to 245 computations (0% saved)

series95.0ms (2.6%)

Memory

-15.8MiB live, 83.1MiB allocated; 10ms collecting garbage

Counts

23 → 86

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite210.0ms (5.8%)

Memory

-16.4MiB live, 215.3MiB allocated; 25ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	303	1612
0	319	1500
1	1877	1492
0	8876	1472
1	30352	1472

Stop Event

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

Counts

109 → 196

Calls

Call 1

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

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

eval17.0ms (0.5%)

Memory: 31.5MiB live, 31.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 271 to 611 computations (51.9% saved)

prune15.0ms (0.4%)

Memory

-26.4MiB live, 19.6MiB allocated; 2ms collecting garbage

Pruning

15 alts after pruning (10 fresh and 5 done)

	Pruned	Kept	Total
New	177	6	183
Fresh	1	4	5
Picked	0	5	5
Done	1	0	1
Total	179	15	194

Accuracy

100.0%

Counts

194 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.7%	(fma.f64 (/.f64 (-.f64 t z) a) y x)
▶	71.5%	(fma.f64 (/.f64 #s(approx (- t z) t) a) y x)
✓	71.1%	(-.f64 x (/.f64 (*.f64 y #s(approx (- z t) (neg.f64 t))) a))
▶	64.0%	(-.f64 x (/.f64 #s(approx (* y (- z t)) (*.f64 z y)) a))
	83.4%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 (fma.f64 y (/.f64 z (.f64 a t)) (/.f64 (neg.f64 y) a)) t)))
▶	88.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 (.f64 (/.f64 y a) (-.f64 (/.f64 z t) #s(literal 1 binary64))) t)))
✓	65.5%	(-.f64 x #s(approx (/ (* y (- z t)) a) (*.f64 y (/.f64 z a))))
✓	73.0%	#s(approx (- x (/ (* y (- z t)) a)) (fma.f64 t (/.f64 y a) x))
✓	33.7%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 t y) a))
	56.4%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 (-.f64 t z) a) y))
▶	35.7%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 y a) t))
	33.7%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (.f64 y t) (/.f64 #s(literal 1 binary64) a)))
	29.8%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (neg.f64 y) (/.f64 z a)))
▶	54.5%	#s(approx (- x (/ (* y (- z t)) a)) (neg.f64 (/.f64 (*.f64 (-.f64 z t) y) a)))
	69.2%	#s(approx (- x (/ (* y (- z t)) a)) #s(approx (+ (* t (/ y a)) x) (.f64 (fma.f64 t (/.f64 y (.f64 x a)) #s(literal 1 binary64)) x)))

Compiler

Compiled 329 to 329 computations (0% saved)

series41.0ms (1.1%)

Memory

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

Counts

27 → 97

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite356.0ms (9.8%)

Memory

-26.4MiB live, 178.8MiB allocated; 145ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	335	1924
0	359	1793
1	2048	1785
0	8097	1750
1	26669	1750

Stop Event

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

Counts

124 → 194

Calls

Call 1

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

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

eval27.0ms (0.7%)

Memory: -20.8MiB live, 37.9MiB allocated; 10ms collecting garbage
Compiler: Compiled 1 444 to 718 computations (50.3% saved)

prune10.0ms (0.3%)

Memory

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

Pruning

16 alts after pruning (7 fresh and 9 done)

	Pruned	Kept	Total
New	174	3	177
Fresh	1	4	5
Picked	0	5	5
Done	1	4	5
Total	176	16	192

Accuracy

100.0%

Counts

192 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.7%	(fma.f64 (/.f64 (-.f64 t z) a) y x)
✓	71.5%	(fma.f64 (/.f64 #s(approx (- t z) t) a) y x)
✓	64.0%	(-.f64 x (/.f64 #s(approx (* y (- z t)) (*.f64 z y)) a))
✓	88.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 (.f64 (/.f64 y a) (-.f64 (/.f64 z t) #s(literal 1 binary64))) t)))
	57.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 #s(approx ( (/ y a) (- (/ z t) 1)) (.f64 y (/.f64 z (.f64 a t)))) t)))
✓	65.5%	(-.f64 x #s(approx (/ (* y (- z t)) a) (*.f64 y (/.f64 z a))))
▶	71.5%	(+.f64 (*.f64 (/.f64 #s(approx (- t z) t) a) y) x)
✓	73.0%	#s(approx (- x (/ (* y (- z t)) a)) (fma.f64 t (/.f64 y a) x))
✓	33.7%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 t y) a))
▶	56.4%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 (-.f64 t z) a) y))
✓	35.7%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 y a) t))
▶	33.7%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (.f64 y t) (/.f64 #s(literal 1 binary64) a)))
▶	29.8%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (neg.f64 y) (/.f64 z a)))
✓	54.5%	#s(approx (- x (/ (* y (- z t)) a)) (neg.f64 (/.f64 (*.f64 (-.f64 z t) y) a)))
▶	59.0%	#s(approx (- x (/ (* y (- z t)) a)) (neg.f64 (*.f64 (-.f64 z t) (/.f64 y a))))
	69.2%	#s(approx (- x (/ (* y (- z t)) a)) #s(approx (+ (* t (/ y a)) x) (.f64 (fma.f64 t (/.f64 y (.f64 x a)) #s(literal 1 binary64)) x)))

Compiler

Compiled 312 to 312 computations (0% saved)

series45.0ms (1.2%)

Memory

2.3MiB live, 47.8MiB allocated; 7ms collecting garbage

Counts

27 → 84

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite215.0ms (5.9%)

Memory

-24.8MiB live, 304.5MiB allocated; 43ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	285	1677
0	307	1537
1	1700	1532
0	8449	1478
1	28723	1478

Stop Event

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

Counts

111 → 215

Calls

Call 1

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

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

eval56.0ms (1.5%)

Memory: -1.9MiB live, 42.6MiB allocated; 6ms collecting garbage
Compiler: Compiled 1 383 to 697 computations (49.6% saved)

prune11.0ms (0.3%)

Memory

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

Pruning

17 alts after pruning (6 fresh and 11 done)

	Pruned	Kept	Total
New	187	4	191
Fresh	0	2	2
Picked	2	3	5
Done	1	8	9
Total	190	17	207

Accuracy

100.0%

Counts

207 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	93.7%	(fma.f64 (/.f64 (-.f64 t z) a) y x)
✓	71.5%	(fma.f64 (/.f64 #s(approx (- t z) t) a) y x)
✓	64.0%	(-.f64 x (/.f64 #s(approx (* y (- z t)) (*.f64 z y)) a))
✓	88.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 (.f64 (/.f64 y a) (-.f64 (/.f64 z t) #s(literal 1 binary64))) t)))
	57.7%	(-.f64 x #s(approx (/ (* y (- z t)) a) (.f64 #s(approx ( (/ y a) (- (/ z t) 1)) (.f64 y (/.f64 z (.f64 a t)))) t)))
✓	65.5%	(-.f64 x #s(approx (/ (* y (- z t)) a) (*.f64 y (/.f64 z a))))
✓	71.5%	(+.f64 (*.f64 (/.f64 #s(approx (- t z) t) a) y) x)
✓	73.0%	#s(approx (- x (/ (* y (- z t)) a)) (fma.f64 t (/.f64 y a) x))
	28.3%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 (neg.f64 y) z) a))
	54.5%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 y (-.f64 t z)) a))
✓	33.7%	#s(approx (- x (/ (* y (- z t)) a)) (/.f64 (*.f64 t y) a))
✓	35.7%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (/.f64 y a) t))
	59.0%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (-.f64 t z) (/.f64 y a)))
✓	33.7%	#s(approx (- x (/ (* y (- z t)) a)) (.f64 (.f64 y t) (/.f64 #s(literal 1 binary64) a)))
✓	29.8%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 (neg.f64 y) (/.f64 z a)))
	34.1%	#s(approx (- x (/ (* y (- z t)) a)) (*.f64 y (/.f64 t a)))
	69.2%	#s(approx (- x (/ (* y (- z t)) a)) #s(approx (+ (* t (/ y a)) x) (.f64 (fma.f64 t (/.f64 y (.f64 x a)) #s(literal 1 binary64)) x)))

Compiler

Compiled 385 to 323 computations (16.1% saved)

regimes139.0ms (3.8%)

Memory

-1.3MiB live, 146.8MiB allocated; 33ms collecting garbage

Counts

24 → 3

Calls

Call 1

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

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

Calls

9 calls:

66.0ms	t
23.0ms	(*.f64 y (-.f64 z t))
10.0ms	y
7.0ms	a
7.0ms	x

Results

Accuracy	Segments	Branch
93.7%	1	`(-.f64 z t)`
99.5%	3	`(*.f64 y (-.f64 z t))`
99.5%	3	`(/.f64 (*.f64 y (-.f64 z t)) a)`
99.5%	3	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
96.2%	2	`x`
99.5%	3	`y`
93.7%	1	`z`
97.7%	3	`t`
99.5%	3	`a`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes43.0ms (1.2%)

Memory

15.7MiB live, 104.4MiB allocated; 11ms collecting garbage

Counts

18 → 2

Calls

Call 1

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

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

Calls

7 calls:

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

Results

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

Compiler

Compiled 25 to 44 computations (-76% saved)

regimes58.0ms (1.6%)

Memory

-29.7MiB live, 113.9MiB allocated; 17ms collecting garbage

Counts

17 → 3

Calls

Call 1

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

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

Calls

9 calls:

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

Results

Accuracy	Segments	Branch
89.0%	3	`(/.f64 (*.f64 y (-.f64 z t)) a)`
84.4%	3	`x`
82.2%	5	`(-.f64 z t)`
85.5%	3	`(*.f64 y (-.f64 z t))`
85.1%	3	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
82.9%	3	`y`
86.2%	3	`z`
87.9%	5	`a`
88.2%	3	`t`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes10.0ms (0.3%)

Memory

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

Counts

16 → 3

Calls

Call 1

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

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

Calls

2 calls:

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

Results

Accuracy	Segments	Branch
88.2%	3	`t`
87.9%	3	`(/.f64 (*.f64 y (-.f64 z t)) a)`

Compiler

Compiled 8 to 13 computations (-62.5% saved)

regimes10.0ms (0.3%)

Memory

-29.3MiB live, 16.4MiB allocated; 4ms collecting garbage

Counts

10 → 3

Calls

Call 1

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

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

Calls

2 calls:

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

Results

Accuracy	Segments	Branch
87.9%	3	`(/.f64 (*.f64 y (-.f64 z t)) a)`
73.0%	1	`t`

Compiler

Compiled 8 to 13 computations (-62.5% saved)

regimes23.0ms (0.6%)

Memory

10.4MiB live, 56.5MiB allocated; 3ms collecting garbage

Counts

7 → 3

Calls

Call 1

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

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

Calls

8 calls:

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

Results

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

Compiler

Compiled 28 to 50 computations (-78.6% saved)

regimes22.0ms (0.6%)

Memory

-1.2MiB live, 50.8MiB allocated; 5ms collecting garbage

Counts

5 → 3

Calls

Call 1

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

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

Calls

9 calls:

6.0ms	t
2.0ms	y
2.0ms	a
2.0ms	x
2.0ms	z

Results

Accuracy	Segments	Branch
35.7%	1	`(-.f64 z t)`
35.7%	1	`(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))`
41.5%	4	`(*.f64 y (-.f64 z t))`
51.0%	3	`t`
37.9%	2	`a`
35.7%	1	`(/.f64 (*.f64 y (-.f64 z t)) a)`
39.1%	3	`x`
38.9%	3	`y`
49.8%	3	`z`

Compiler

Compiled 29 to 55 computations (-89.7% saved)

regimes11.0ms (0.3%)

Memory

-17.6MiB live, 29.3MiB allocated; 2ms collecting garbage

Counts

3 → 1

Calls

Call 1

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

Calls

6 calls:

3.0ms	y
2.0ms	a
2.0ms	x
1.0ms	z
1.0ms	t

Results

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

Compiler

Compiled 10 to 32 computations (-220% saved)

regimes9.0ms (0.3%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

9 calls:

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

Results

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

Compiler

Compiled 29 to 55 computations (-89.7% saved)

bsearch16.0ms (0.4%)

Memory

-13.1MiB live, 33.2MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	predicate-same

Steps

Time	Left	Right
9.0ms	7.393395208268308e+35	1.0982897076541876e+38
5.0ms	-2.652997993198501e-25	-1.2602299646598463e-36

Samples

8.0ms

176×

valid

Compiler

Compiled 199 to 226 computations (-13.6% saved)

Precisions

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

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

ival-mult!: 1.0ms (38.4% of total)

ival-div!: 1.0ms (38.4% of total)

adjust: 0.0ms (0% of total)

bsearch11.0ms (0.3%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	3.8598734458252027e+205	6.22328010567659e+208

Samples

5.0ms

128×

valid

Compiler

Compiled 172 to 193 computations (-12.2% saved)

Precisions

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

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

ival-mult!: 1.0ms (52.8% of total)

ival-div!: 1.0ms (52.8% of total)

adjust: 0.0ms (0% of total)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	5.2178076156806935e+190	1.7823904936345054e+192
0.0ms	-2.7244613375674676e+218	-3.301981531345784e+216

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch18.0ms (0.5%)

Memory

-10.7MiB live, 35.9MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	6.19354650898384e+36	1.506268136161278e+45
4.0ms	-12.511319285775388	-10.088078642524685

Samples

10.0ms

192×

valid

Compiler

Compiled 300 to 329 computations (-9.7% saved)

Precisions

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

ival-div!: 2.0ms (46.6% of total)

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

ival-mult!: 1.0ms (23.3% of total)

adjust: 0.0ms (0% of total)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	5.2178076156806935e+190	1.7823904936345054e+192
0.0ms	-2.1108945119986594e+150	-1.266975697124429e+143

Compiler

Compiled 12 to 17 computations (-41.7% saved)

bsearch22.0ms (0.6%)

Memory

-5.7MiB live, 43.7MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	9.929097874458902e+218	2.2798800157707663e+220
12.0ms	-4.5562938853338595e+117	-4.874413910359329e+115

Samples

13.0ms

224×

valid

Compiler

Compiled 362 to 395 computations (-9.1% saved)

Precisions

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

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

ival-mult!: 1.0ms (28.4% of total)

ival-div!: 1.0ms (28.4% of total)

adjust: 0.0ms (0% of total)

bsearch11.0ms (0.3%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	7.196964718247147e+52	3.3862598420267356e+55
0.0ms	-12.511319285775388	-10.088078642524685

Samples

5.0ms

128×

valid

Compiler

Compiled 287 to 314 computations (-9.4% saved)

Precisions

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

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

ival-mult!: 1.0ms (53.4% of total)

ival-div!: 1.0ms (53.4% of total)

adjust: 0.0ms (0% of total)

derivations529.0ms (14.5%)

Memory

-36.6MiB live, 634.7MiB allocated; 47ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 109 to 80 computations (26.6% saved)

preprocess113.0ms (3.1%)

Memory: 31.3MiB live, 165.6MiB allocated; 39ms collecting garbage
Compiler: Compiled 118 to 89 computations (24.6% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze268.0ms (7.4%)

sample969.0ms (26.6%)

preprocess49.0ms (1.3%)

series15.0ms (0.4%)

rewrite178.0ms (4.9%)

eval12.0ms (0.3%)

prune7.0ms (0.2%)

series95.0ms (2.6%)

rewrite210.0ms (5.8%)

eval17.0ms (0.5%)

prune15.0ms (0.4%)

series41.0ms (1.1%)

rewrite356.0ms (9.8%)

eval27.0ms (0.7%)

prune10.0ms (0.3%)

series45.0ms (1.2%)

rewrite215.0ms (5.9%)

eval56.0ms (1.5%)

prune11.0ms (0.3%)

regimes139.0ms (3.8%)

regimes43.0ms (1.2%)

regimes58.0ms (1.6%)

regimes10.0ms (0.3%)

regimes10.0ms (0.3%)

regimes23.0ms (0.6%)

regimes22.0ms (0.6%)

regimes11.0ms (0.3%)

regimes9.0ms (0.3%)

bsearch16.0ms (0.4%)

bsearch11.0ms (0.3%)

bsearch0.0ms (0%)

bsearch18.0ms (0.5%)

bsearch0.0ms (0%)

bsearch22.0ms (0.6%)

bsearch11.0ms (0.3%)

derivations529.0ms (14.5%)

preprocess113.0ms (3.1%)

end0.0ms (0%)

Profiling