Metrics for Data.Metrics.Snapshot:quantile from metrics-0.3.0.2

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 11 to 10 computations (9.1% saved)

sample724.0ms (21.7%)

Memory

3.1MiB live, 951.5MiB allocated; 144ms collecting garbage

Samples

439.0ms

8 256×

valid

Precisions

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

ival-sub!: 65.0ms (44.8% of total)

ival-mult!: 61.0ms (42.1% of total)

ival-add!: 18.0ms (12.4% of total)

adjust: 1.0ms (0.7% of total)

Bogosity

preprocess20.0ms (0.6%)

Memory

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	48	149
1	108	148
2	195	147
3	337	147
4	466	147
5	474	147

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 16 to 16 computations (0% saved)

series24.0ms (0.7%)

Memory

-36.7MiB live, 18.6MiB allocated; 9ms collecting garbage

Counts

8 → 48

Calls

Call 1

Inputs
(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
x
(*.f64 (-.f64 y z) (-.f64 t x))
(-.f64 y z)
y
z
(-.f64 t x)
t

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

Calls

12 calls:

Time	Variable		Point	Expression
16.0ms	x	@	inf	((+ x (* (- y z) (- t x))) x (* (- y z) (- t x)) (- y z) y z (- t x) t)
1.0ms	z	@	-inf	((+ x (* (- y z) (- t x))) x (* (- y z) (- t x)) (- y z) y z (- t x) t)
1.0ms	y	@	-inf	((+ x (* (- y z) (- t x))) x (* (- y z) (- t x)) (- y z) y z (- t x) t)
1.0ms	t	@	-inf	((+ x (* (- y z) (- t x))) x (* (- y z) (- t x)) (- y z) y z (- t x) t)
1.0ms	x	@	-inf	((+ x (* (- y z) (- t x))) x (* (- y z) (- t x)) (- y z) y z (- t x) t)

rewrite228.0ms (6.8%)

Memory

20.4MiB live, 217.3MiB allocated; 148ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	182	890
0	186	833
1	1043	782
0	8850	753

Stop Event

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

Counts

56 → 187

Calls

Call 1

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

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

eval51.0ms (1.5%)

Memory: -35.8MiB live, 15.6MiB allocated; 11ms collecting garbage
Compiler: Compiled 1 988 to 651 computations (67.3% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	166	6	172
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	167	6	173

Accuracy

100.0%

Counts

173 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
	62.6%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
▶	62.1%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 (-.f64 t x) y x))
▶	59.3%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 (-.f64 t x) z)))
▶	46.4%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
▶	46.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))

Compiler

Compiled 122 to 122 computations (0% saved)

series15.0ms (0.5%)

Memory

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

Counts

16 → 82

Calls

Call 1

Inputs
(fma.f64 (-.f64 y z) (-.f64 t x) x)
(-.f64 y z)
y
z
(-.f64 t x)
t
x
#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))
(*.f64 (-.f64 t x) y)
#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
(*.f64 (-.f64 y z) t)
#s(approx (+ x (* (- y z) (- t x))) (fma.f64 (-.f64 t x) y x))
(fma.f64 (-.f64 t x) y x)
#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 (-.f64 t x) z)))
(-.f64 x (*.f64 (-.f64 t x) z))
(*.f64 (-.f64 t x) z)

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

Calls

12 calls:

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

rewrite233.0ms (7%)

Memory

2.6MiB live, 191.9MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	319	1478
0	333	1371
1	1853	1360
0	9045	1333

Stop Event

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

Counts

98 → 155

Calls

Call 1

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

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

eval36.0ms (1.1%)

Memory: -24.5MiB live, 21.2MiB allocated; 4ms collecting garbage
Compiler: Compiled 2 013 to 720 computations (64.2% saved)

prune10.0ms (0.3%)

Memory

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

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	191	10	201
Fresh	1	0	1
Picked	3	2	5
Done	0	0	0
Total	195	12	207

Accuracy

100.0%

Counts

207 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	62.6%	(fma.f64 (-.f64 y z) #s(approx (- t x) t) x)
	41.0%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) (neg.f64 x)) y x))
	40.8%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) t) y x))
	41.5%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 #s(approx (- t x) t) z)))
✓	46.4%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
✓	46.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))
▶	25.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- y z) (neg.f64 z)) t))
	25.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) (neg.f64 x)) y))
▶	24.7%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) t) y))
	59.3%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (fma.f64 (-.f64 x t) z x)))
▶	42.0%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (*.f64 (-.f64 x t) z)))
▶	37.4%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (*.f64 (+.f64 #s(literal 1 binary64) z) x)))

Compiler

Compiled 282 to 264 computations (6.4% saved)

series15.0ms (0.5%)

Memory

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

Counts

22 → 82

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite304.0ms (9.1%)

Memory

7.9MiB live, 232.5MiB allocated; 42ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	307	1467
0	319	1374
1	1711	1359
0	8162	1309

Stop Event

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

Counts

104 → 146

Calls

Call 1

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

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

eval30.0ms (0.9%)

Memory: -11.9MiB live, 43.9MiB allocated; 25ms collecting garbage
Compiler: Compiled 1 265 to 598 computations (52.7% saved)

prune11.0ms (0.3%)

Memory

-25.2MiB live, 22.8MiB allocated; 5ms collecting garbage

Pruning

14 alts after pruning (8 fresh and 6 done)

	Pruned	Kept	Total
New	134	3	137
Fresh	0	5	5
Picked	1	4	5
Done	0	2	2
Total	135	14	149

Accuracy

100.0%

Counts

149 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	62.6%	(fma.f64 (-.f64 y z) #s(approx (- t x) t) x)
▶	41.0%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) (neg.f64 x)) y x))
▶	40.8%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) t) y x))
	41.5%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 #s(approx (- t x) t) z)))
✓	46.4%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
✓	46.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))
✓	25.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- y z) (neg.f64 z)) t))
▶	25.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) (neg.f64 x)) y))
✓	24.7%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) t) y))
▶	59.3%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (fma.f64 (-.f64 x t) z x)))
	37.4%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (fma.f64 x z x)))
✓	42.0%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (*.f64 (-.f64 x t) z)))
	18.8%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (*.f64 #s(approx (+ 1 z) #s(literal 1 binary64)) x)))
▶	20.5%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) #s(approx (* (- x t) z) (*.f64 x z))))

Compiler

Compiled 300 to 281 computations (6.3% saved)

series16.0ms (0.5%)

Memory

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

Counts

21 → 84

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	x	@	0	((+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (+ (* (- x t) z) x) (- x t) x t z (+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (* (- x t) z) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) y (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x))
1.0ms	x	@	-inf	((+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (+ (* (- x t) z) x) (- x t) x t z (+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (* (- x t) z) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) y (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x))
1.0ms	z	@	-inf	((+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (+ (* (- x t) z) x) (- x t) x t z (+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (* (- x t) z) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) y (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x))
1.0ms	x	@	inf	((+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (+ (* (- x t) z) x) (- x t) x t z (+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (* (- x t) z) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) y (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x))
1.0ms	t	@	-inf	((+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (+ (* (- x t) z) x) (- x t) x t z (+ x (* (- y z) (- t x))) (- x (* (- t x) z)) (* (- x t) z) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) y (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x))

rewrite206.0ms (6.2%)

Memory

2.4MiB live, 374.4MiB allocated; 82ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	322	1655
0	330	1544
1	1875	1532
0	9381	1464

Stop Event

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

Counts

105 → 152

Calls

Call 1

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

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

eval17.0ms (0.5%)

Memory: 2.6MiB live, 48.2MiB allocated; 4ms collecting garbage
Compiler: Compiled 1 676 to 646 computations (61.5% saved)

prune13.0ms (0.4%)

Memory

-12.6MiB live, 33.4MiB allocated; 3ms collecting garbage

Pruning

15 alts after pruning (4 fresh and 11 done)

	Pruned	Kept	Total
New	146	2	148
Fresh	1	2	3
Picked	0	5	5
Done	0	6	6
Total	147	15	162

Accuracy

100.0%

Counts

162 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	62.6%	(fma.f64 (-.f64 y z) #s(approx (- t x) t) x)
✓	41.0%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) (neg.f64 x)) y x))
✓	40.8%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) t) y x))
	41.5%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 #s(approx (- t x) t) z)))
✓	46.4%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
✓	46.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))
✓	25.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- y z) (neg.f64 z)) t))
✓	25.1%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) (neg.f64 x)) y))
✓	24.7%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) t) y))
✓	59.3%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (fma.f64 (-.f64 x t) z x)))
	41.5%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (fma.f64 #s(approx (- x t) (neg.f64 t)) z x)))
	37.4%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (fma.f64 z x x)))
✓	42.0%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (*.f64 (-.f64 x t) z)))
	18.8%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) (*.f64 #s(approx (+ 1 z) #s(literal 1 binary64)) x)))
✓	20.5%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- t x) z)) #s(approx (* (- x t) z) (*.f64 x z))))

Compiler

Compiled 329 to 270 computations (17.9% saved)

regimes56.0ms (1.7%)

Memory

-12.8MiB live, 126.4MiB allocated; 21ms collecting garbage

Counts

22 → 1

Calls

Call 1

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

Outputs
(fma.f64 (-.f64 y z) (-.f64 t x) x)

Calls

6 calls:

14.0ms	z
12.0ms	(-.f64 y z)
10.0ms	x
6.0ms	t
6.0ms	y

Results

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

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes71.0ms (2.1%)

Memory

33.3MiB live, 123.5MiB allocated; 47ms collecting garbage

Counts

20 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

6 calls:

26.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
20.0ms	y
6.0ms	x
6.0ms	t
6.0ms	z

Results

Accuracy	Segments	Branch
72.3%	3	`(-.f64 y z)`
67.6%	2	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
77.3%	4	`x`
89.2%	3	`y`
87.0%	3	`z`
77.7%	4	`t`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes6.0ms (0.2%)

Memory

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

Counts

16 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

1 calls:

5.0ms

Results

Accuracy	Segments	Branch
89.1%	3	`y`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes15.0ms (0.5%)

Memory

-22.6MiB live, 23.7MiB allocated; 7ms collecting garbage

Counts

15 → 4

Calls

Call 1

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

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

Calls

2 calls:

9.0ms	y
5.0ms	z

Results

Accuracy	Segments	Branch
75.5%	5	`z`
78.2%	4	`y`

Compiler

Compiled 2 to 8 computations (-300% saved)

regimes5.0ms (0.1%)

Memory

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

Counts

13 → 4

Calls

Call 1

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

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

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
78.2%	4	`y`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes15.0ms (0.5%)

Memory

-18.4MiB live, 27.1MiB allocated; 5ms collecting garbage

Counts

11 → 5

Calls

Call 1

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

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

Calls

3 calls:

7.0ms	t
4.0ms	x
4.0ms	y

Results

Accuracy	Segments	Branch
67.4%	4	`x`
65.8%	4	`t`
77.9%	5	`y`

Compiler

Compiled 3 to 12 computations (-300% saved)

regimes10.0ms (0.3%)

Memory

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

Counts

9 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

3 calls:

3.0ms	y
3.0ms	z
3.0ms	(-.f64 y z)

Results

Accuracy	Segments	Branch
62.3%	4	`(-.f64 y z)`
71.5%	3	`z`
64.2%	5	`y`

Compiler

Compiled 5 to 13 computations (-160% saved)

regimes22.0ms (0.6%)

Memory

-3.5MiB live, 42.0MiB allocated; 5ms collecting garbage

Counts

8 → 4

Calls

Call 1

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

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

Calls

6 calls:

6.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
3.0ms	y
3.0ms	x
3.0ms	z
3.0ms	(-.f64 y z)

Results

Accuracy	Segments	Branch
52.4%	4	`(-.f64 y z)`
58.3%	4	`y`
50.7%	4	`t`
52.0%	3	`x`
47.8%	3	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
58.7%	4	`z`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes6.0ms (0.2%)

Memory

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

Counts

7 → 4

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	z
3.0ms	y

Results

Accuracy	Segments	Branch
58.3%	4	`y`
49.2%	6	`z`

Compiler

Compiled 2 to 8 computations (-300% saved)

regimes52.0ms (1.6%)

Memory

-25.8MiB live, 27.3MiB allocated; 62ms collecting garbage

Counts

5 → 5

Calls

Call 1

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

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

Calls

4 calls:

45.0ms	y
2.0ms	x
2.0ms	t
2.0ms	(-.f64 y z)

Results

Accuracy	Segments	Branch
40.4%	4	`t`
45.8%	3	`(-.f64 y z)`
40.1%	4	`x`
51.3%	5	`y`

Compiler

Compiled 6 to 17 computations (-183.3% saved)

regimes8.0ms (0.2%)

Memory

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

Counts

4 → 4

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	z
2.0ms	(-.f64 y z)
2.0ms	y
2.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Results

Accuracy	Segments	Branch
44.2%	6	`z`
46.0%	4	`(-.f64 y z)`
34.9%	4	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
45.7%	4	`y`

Compiler

Compiled 13 to 21 computations (-61.5% saved)

regimes11.0ms (0.3%)

Memory

-31.2MiB live, 15.3MiB allocated; 9ms collecting garbage

Counts

3 → 6

Calls

Call 1

Inputs

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

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

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

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

Calls

3 calls:

7.0ms	(-.f64 y z)
2.0ms	z
2.0ms	y

Results

Accuracy	Segments	Branch
44.2%	6	`z`
37.8%	3	`y`
41.7%	5	`(-.f64 y z)`

Compiler

Compiled 5 to 13 computations (-160% saved)

regimes7.0ms (0.2%)

Memory

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

Counts

2 → 3

Calls

Call 1

Inputs

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

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

Outputs

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

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

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
26.2%	3	`y`
24.6%	3	`x`
35.7%	3	`(-.f64 y z)`
20.5%	1	`t`
36.0%	3	`z`

Compiler

Compiled 7 to 21 computations (-200% saved)

regimes9.0ms (0.3%)

Memory

-25.1MiB live, 20.8MiB allocated; 5ms 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 x))) #s(approx (- x (* (- t x) z)) #s(approx (* (- x t) z) (*.f64 x z))))

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 15 to 29 computations (-93.3% saved)

bsearch16.0ms (0.5%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	4907696218644.525	89175457202541.69
7.0ms	-123170086136965.86	-9851417409424.361

Samples

7.0ms

208×

valid

Compiler

Compiled 350 to 366 computations (-4.6% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	4907696218644.525	89175457202541.69
1.0ms	-123170086136965.86	-9851417409424.361

Compiler

Compiled 350 to 366 computations (-4.6% saved)

bsearch82.0ms (2.4%)

Memory

6.0MiB live, 51.0MiB allocated; 7ms collecting garbage

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	59960737516.27032	4907696218644.525
8.0ms	-1.942688883265401e-102	-3.96029715992136e-104
63.0ms	-1.4240954246076168e+25	-4.624775817242264e+21

Samples

67.0ms

352×

valid

Compiler

Compiled 580 to 613 computations (-5.7% saved)

Precisions

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

ival-sub!: 2.0ms (47.6% of total)

ival-mult!: 2.0ms (47.6% of total)

ival-add!: 1.0ms (23.8% of total)

adjust: 0.0ms (0% of total)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	59960737516.27032	4907696218644.525
1.0ms	-1.942688883265401e-102	-3.96029715992136e-104
1.0ms	-1.4240954246076168e+25	-4.624775817242264e+21

Compiler

Compiled 524 to 557 computations (-6.3% saved)

bsearch31.0ms (0.9%)

Memory

-26.7MiB live, 20.7MiB allocated; 16ms collecting garbage

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	4907696218644.525	89175457202541.69
27.0ms	6.762241925237021e-46	2.7262836452686594e-42
1.0ms	-1.56020692510695e-231	-1.4548157949422676e-231
0.0ms	-123170086136965.86	-9851417409424.361

Samples

5.0ms

144×

valid

Compiler

Compiled 611 to 627 computations (-2.6% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

bsearch29.0ms (0.9%)

Memory

-7.5MiB live, 37.6MiB allocated; 7ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	0.0005436942949526427	3.8942472567765516
9.0ms	-3.3929788520387658e-9	-8.56532494667348e-13

Samples

9.0ms

256×

valid

Compiler

Compiled 444 to 447 computations (-0.7% saved)

Precisions

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

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

ival-add!: 1.0ms (32.9% of total)

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

adjust: 0.0ms (0% of total)

bsearch23.0ms (0.7%)

Memory

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

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	2.7241628593207727e+156	1.844706901058404e+166
9.0ms	1.189719274449597e-8	3.098621603613249e-6
1.0ms	-3.3929788520387658e-9	-8.56532494667348e-13

Samples

10.0ms

288×

valid

Compiler

Compiled 690 to 693 computations (-0.4% saved)

Precisions

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

ival-sub!: 2.0ms (58% of total)

ival-add!: 1.0ms (29% of total)

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

adjust: 0.0ms (0% of total)

bsearch2.0ms (0%)

Memory

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

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	4907696218644.525	89175457202541.69
0.0ms	-1.56020692510695e-231	-1.4548157949422676e-231
1.0ms	-1.4240954246076168e+25	-4.624775817242264e+21

Compiler

Compiled 429 to 432 computations (-0.7% saved)

bsearch34.0ms (1%)

Memory

4.6MiB live, 49.5MiB allocated; 7ms collecting garbage

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
6.0ms	59960737516.27032	4907696218644.525
8.0ms	6.762241925237021e-46	2.7262836452686594e-42
17.0ms	-1.8732424753518255e-232	-6.339912005911786e-233
1.0ms	-1.4240954246076168e+25	-4.624775817242264e+21

Samples

21.0ms

272×

valid

Compiler

Compiled 798 to 801 computations (-0.4% saved)

Precisions

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

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

ival-add!: 1.0ms (30.5% of total)

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

adjust: 0.0ms (0% of total)

bsearch4.0ms (0.1%)

Memory

-44.3MiB live, 1.3MiB allocated; 5ms collecting garbage

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	6.318217969199518e+227	4.087924759661152e+232
0.0ms	1.842673394903866e-24	7.111992234398986e-21
0.0ms	-123170086136965.86	-333.07398550489734

Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch69.0ms (2.1%)

Memory

10.6MiB live, 101.5MiB allocated; 24ms collecting garbage

Algorithm

5×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	0.0005436942949526427	3.8942472567765516
9.0ms	3.015938634673213e-78	1.1102481767334668e-73
21.0ms	1.7286327617681815e-308	4.585848374929546e-307
11.0ms	-2.5019824992245097e-166	-1.3821938407122129e-179
10.0ms	-9.968534661385943e+98	-3.4764127329780704e+93

Samples

36.0ms

656×

valid

Compiler

Compiled 1 303 to 1 306 computations (-0.2% saved)

Precisions

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

ival-sub!: 17.0ms (80.3% of total)

ival-mult!: 3.0ms (14.2% of total)

ival-add!: 1.0ms (4.7% of total)

adjust: 0.0ms (0% of total)

bsearch13.0ms (0.4%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.0005436942949526427	3.8942472567765516
11.0ms	-92.03532247498674	-3.3929788520387658e-9

Samples

6.0ms

160×

valid

Compiler

Compiled 642 to 645 computations (-0.5% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

ival-add!: 0.0ms (0% of total)

derivations595.0ms (17.8%)

Memory

-30.0MiB live, 698.0MiB allocated; 169ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 206 to 145 computations (29.6% saved)

preprocess188.0ms (5.6%)

Memory: 24.0MiB live, 346.9MiB allocated; 28ms collecting garbage
Compiler: Compiled 214 to 153 computations (28.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample724.0ms (21.7%)

preprocess20.0ms (0.6%)

series24.0ms (0.7%)

rewrite228.0ms (6.8%)

eval51.0ms (1.5%)

prune6.0ms (0.2%)

series15.0ms (0.5%)

rewrite233.0ms (7%)

eval36.0ms (1.1%)

prune10.0ms (0.3%)

series15.0ms (0.5%)

rewrite304.0ms (9.1%)

eval30.0ms (0.9%)

prune11.0ms (0.3%)

series16.0ms (0.5%)

rewrite206.0ms (6.2%)

eval17.0ms (0.5%)

prune13.0ms (0.4%)

regimes56.0ms (1.7%)

regimes71.0ms (2.1%)

regimes6.0ms (0.2%)

regimes15.0ms (0.5%)

regimes5.0ms (0.1%)

regimes15.0ms (0.5%)

regimes10.0ms (0.3%)

regimes22.0ms (0.6%)

regimes6.0ms (0.2%)

regimes52.0ms (1.6%)

regimes8.0ms (0.2%)

regimes11.0ms (0.3%)

regimes7.0ms (0.2%)

regimes9.0ms (0.3%)

bsearch16.0ms (0.5%)

bsearch1.0ms (0%)

bsearch82.0ms (2.4%)

bsearch2.0ms (0.1%)

bsearch31.0ms (0.9%)

bsearch29.0ms (0.9%)

bsearch23.0ms (0.7%)

bsearch2.0ms (0%)

bsearch34.0ms (1%)

bsearch4.0ms (0.1%)

bsearch69.0ms (2.1%)

bsearch13.0ms (0.4%)

derivations595.0ms (17.8%)

preprocess188.0ms (5.6%)

end0.0ms (0%)

Profiling