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.9MiB live, 0.9MiB 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)

sample1.1s (30.7%)

Memory

2.5MiB live, 1 084.5MiB allocated; 371ms collecting garbage

Samples

766.0ms

8 256×

valid

Precisions

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

ival-sub!: 136.0ms (70.9% of total)

ival-mult!: 36.0ms (18.8% of total)

ival-add!: 19.0ms (9.9% of total)

adjust: 1.0ms (0.5% of total)

Bogosity

preprocess88.0ms (2.4%)

Memory

-41.6MiB live, 53.7MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	48	143
1	166	135
2	587	135
3	2241	135

Stop Event

1×	node-limit

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)

series9.0ms (0.2%)

Memory

23.6MiB live, 23.6MiB allocated; 0ms 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
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)
1.0ms	x	@	inf	((+ x (* (- y z) (- t x))) x (* (- y z) (- t x)) (- y z) y z (- t x) t)

rewrite207.0ms (5.8%)

Memory

-10.1MiB live, 277.1MiB allocated; 34ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	182	890
0	186	831
1	1203	799
0	8179	771
1	29609	771

Stop Event

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

Counts

56 → 90

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

eval7.0ms (0.2%)

Memory: 26.0MiB live, 26.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 566 to 305 computations (46.1% saved)

prune6.0ms (0.2%)

Memory

-31.1MiB live, 16.0MiB allocated; 1ms collecting garbage

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	73	8	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	8	82

Accuracy

100.0%

Counts

82 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
▶	94.4%	(+.f64 x (.f64 (-.f64 y z) #s(approx (- t x) (.f64 (-.f64 (/.f64 t x) #s(literal 1 binary64)) x))))
▶	56.9%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 (-.f64 t x) y x))
	94.1%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 (-.f64 x (.f64 (-.f64 t x) z)) (.f64 (-.f64 x t) y)))
▶	55.3%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 (-.f64 y z) x)))
	61.4%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 (-.f64 t x) z)))
	47.6%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
▶	42.5%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))

Compiler

Compiled 184 to 184 computations (0% saved)

series21.0ms (0.6%)

Memory

13.0MiB live, 59.6MiB allocated; 2ms collecting garbage

Counts

21 → 90

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

Calls

12 calls:

Time	Variable		Point	Expression
3.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))) (+ (* (- t x) y) x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x) (* (- (/ t x) 1) x) (- (/ t x) 1) (/ t x) 1)
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))) (+ (* (- t x) y) x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x) (* (- (/ t x) 1) x) (- (/ t x) 1) (/ t x) 1)
2.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))) (+ (* (- t x) y) x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x) (* (- (/ t x) 1) x) (- (/ t x) 1) (/ t x) 1)
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))) (+ (* (- t x) y) x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x) (* (- (/ t x) 1) x) (- (/ t x) 1) (/ t x) 1)
2.0ms	x	@	0	((+ (* (- 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))) (+ (* (- t x) y) x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x) (* (- (/ t x) 1) x) (- (/ t x) 1) (/ t x) 1)

rewrite260.0ms (7.3%)

Memory

-7.5MiB live, 283.9MiB allocated; 41ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	334	1680
0	354	1556
1	2205	1549
0	9034	1524
1	32386	1524

Stop Event

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

Counts

111 → 161

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

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

eval20.0ms (0.6%)

Memory: 10.7MiB live, 56.5MiB allocated; 4ms collecting garbage
Compiler: Compiled 1 362 to 668 computations (51% saved)

prune23.0ms (0.6%)

Memory

-22.7MiB live, 23.8MiB allocated; 2ms collecting garbage

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	191	7	198
Fresh	0	3	3
Picked	2	3	5
Done	0	0	0
Total	193	13	206

Accuracy

100.0%

Counts

206 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
	58.7%	(+.f64 x (.f64 #s(approx (- y z) (neg.f64 z)) #s(approx (- t x) (.f64 (-.f64 (/.f64 t x) #s(literal 1 binary64)) x))))
▶	36.7%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) t) y x))
▶	94.1%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 (-.f64 x (.f64 (-.f64 t x) z)) (.f64 (-.f64 x t) y)))
✓	55.3%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 (-.f64 y z) x)))
	61.4%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 (-.f64 t x) z)))
▶	38.9%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x #s(approx (* (- y z) x) (*.f64 x y))))
	47.6%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
✓	42.5%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))
▶	24.8%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) (neg.f64 x)) y))
	21.9%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) t) y))
	35.0%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- y z) x)) (fma.f64 x z x)))
▶	20.7%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- y z) x)) (*.f64 x z)))

Compiler

Compiled 294 to 282 computations (4.1% saved)

series33.0ms (0.9%)

Memory

15.9MiB live, 61.5MiB allocated; 4ms collecting garbage

Counts

25 → 121

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable		Point	Expression
10.0ms	t	@	inf	((+ x (* (- y z) (- t x))) (- (- x (* (- t x) z)) (* (- x t) y)) (- x (* (- t x) z)) x (* (- t x) z) (- t x) t z (* (- x t) y) (- x t) y (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (* x y))
4.0ms	x	@	0	((+ x (* (- y z) (- t x))) (- (- x (* (- t x) z)) (* (- x t) y)) (- x (* (- t x) z)) x (* (- t x) z) (- t x) t z (* (- x t) y) (- x t) y (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (* x y))
2.0ms	x	@	-inf	((+ x (* (- y z) (- t x))) (- (- x (* (- t x) z)) (* (- x t) y)) (- x (* (- t x) z)) x (* (- t x) z) (- t x) t z (* (- x t) y) (- x t) y (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (* x y))
2.0ms	y	@	-inf	((+ x (* (- y z) (- t x))) (- (- x (* (- t x) z)) (* (- x t) y)) (- x (* (- t x) z)) x (* (- t x) z) (- t x) t z (* (- x t) y) (- x t) y (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (* x y))
2.0ms	x	@	inf	((+ x (* (- y z) (- t x))) (- (- x (* (- t x) z)) (* (- x t) y)) (- x (* (- t x) z)) x (* (- t x) z) (- t x) t z (* (- x t) y) (- x t) y (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* x z) (+ x (* (- y z) (- t x))) (* (- t x) y) (- t x) (neg x) (+ x (* (- y z) (- t x))) (+ (* (- t x) y) x) (- t x) (+ x (* (- y z) (- t x))) (- x (* (- y z) x)) (* (- y z) x) (* x y))

rewrite241.0ms (6.7%)

Memory

11.4MiB live, 253.8MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	439	2517
0	457	2322
1	3068	2302
0	8890	2189
1	31536	2189

Stop Event

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

Counts

146 → 199

Calls

Call 1

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

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

eval25.0ms (0.7%)

Memory: -3.6MiB live, 42.9MiB allocated; 2ms collecting garbage
Compiler: Compiled 1 549 to 752 computations (51.5% saved)

prune9.0ms (0.3%)

Memory

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

Pruning

14 alts after pruning (7 fresh and 7 done)

	Pruned	Kept	Total
New	178	4	182
Fresh	2	3	5
Picked	1	4	5
Done	0	3	3
Total	181	14	195

Accuracy

100.0%

Counts

195 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
	58.7%	(+.f64 x (.f64 #s(approx (- y z) (neg.f64 z)) #s(approx (- t x) (.f64 (-.f64 (/.f64 t x) #s(literal 1 binary64)) x))))
✓	36.7%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) t) y x))
▶	94.1%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 (fma.f64 (-.f64 x t) z x) (*.f64 (-.f64 x t) y)))
✓	55.3%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 (-.f64 y z) x)))
✓	38.9%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x #s(approx (* (- y z) x) (*.f64 x y))))
▶	47.6%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
✓	42.5%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))
✓	24.8%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) (neg.f64 x)) y))
▶	21.9%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) t) y))
▶	47.1%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- (- x (* (- t x) z)) (* (- x t) y)) (*.f64 (-.f64 x t) z)))
	46.8%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- (- x (* (- t x) z)) (* (- x t) y)) (neg.f64 (fma.f64 (neg.f64 t) y (*.f64 t z)))))
▶	35.0%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- y z) x)) (fma.f64 z x x)))
✓	20.7%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- y z) x)) (*.f64 x z)))

Compiler

Compiled 291 to 277 computations (4.8% saved)

series26.0ms (0.7%)

Memory

-10.9MiB live, 36.1MiB allocated; 1ms collecting garbage

Counts

21 → 130

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite301.0ms (8.4%)

Memory

23.9MiB live, 377.9MiB allocated; 81ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	492	2774
0	508	2507
1	3617	2485
0	10355	2428
1	36212	2428

Stop Event

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

Counts

151 → 217

Calls

Call 1

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

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

eval48.0ms (1.3%)

Memory: -25.2MiB live, 80.1MiB allocated; 45ms collecting garbage
Compiler: Compiled 1 745 to 817 computations (53.2% saved)

prune18.0ms (0.5%)

Memory

-2.0MiB live, 41.0MiB allocated; 10ms collecting garbage

Pruning

15 alts after pruning (4 fresh and 11 done)

	Pruned	Kept	Total
New	202	4	206
Fresh	2	0	2
Picked	1	4	5
Done	0	7	7
Total	205	15	220

Accuracy

100.0%

Counts

220 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	36.7%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 #s(approx (- t x) t) y x))
	46.8%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 y t (*.f64 (neg.f64 z) t)))
	78.7%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 (fma.f64 (-.f64 x t) z x) #s(approx (* (- x t) y) (*.f64 y x))))
✓	55.3%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x (*.f64 (-.f64 y z) x)))
✓	38.9%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 x #s(approx (* (- y z) x) (*.f64 x y))))
✓	47.6%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 y z) t))
✓	42.5%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 (-.f64 t x) y))
	28.7%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- y z) (neg.f64 z)) t))
✓	24.8%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) (neg.f64 x)) y))
✓	21.9%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 #s(approx (- t x) t) y))
✓	47.1%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- (- x (* (- t x) z)) (* (- x t) y)) (*.f64 (-.f64 x t) z)))
	45.2%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- (- x (* (- t x) z)) (* (- x t) y)) #s(approx (* (- x t) z) (fma.f64 (neg.f64 t) z (*.f64 z x)))))
✓	35.0%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- y z) x)) (fma.f64 z x x)))
✓	20.7%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (- x (* (- y z) x)) (*.f64 x z)))

Compiler

Compiled 359 to 287 computations (20.1% saved)

regimes52.0ms (1.4%)

Memory

43.8MiB live, 131.7MiB allocated; 15ms collecting garbage

Counts

24 → 1

Calls

Call 1

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

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

Calls

6 calls:

12.0ms	z
11.0ms	x
7.0ms	(-.f64 y z)
7.0ms	t
7.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)

regimes46.0ms (1.3%)

Memory

-26.7MiB live, 74.6MiB allocated; 23ms collecting garbage

Counts

17 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

6 calls:

16.0ms	t
8.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
5.0ms	z
5.0ms	x
5.0ms	(-.f64 y z)

Results

Accuracy	Segments	Branch
70.5%	3	`(-.f64 y z)`
68.3%	2	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
80.9%	4	`x`
86.6%	3	`y`
86.7%	3	`z`
80.1%	3	`t`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes5.0ms (0.1%)

Memory

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

Counts

12 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
86.7%	3	`z`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes19.0ms (0.5%)

Memory

-8.8MiB live, 36.8MiB allocated; 4ms collecting garbage

Counts

11 → 5

Calls

Call 1

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

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

Calls

4 calls:

7.0ms	t
4.0ms	x
4.0ms	z
4.0ms	y

Results

Accuracy	Segments	Branch
69.8%	4	`x`
65.1%	3	`t`
74.8%	4	`y`
78.3%	5	`z`

Compiler

Compiled 4 to 16 computations (-300% saved)

regimes4.0ms (0.1%)

Memory

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

Counts

10 → 4

Calls

Call 1

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

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
75.3%	4	`z`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes6.0ms (0.2%)

Memory

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

Counts

8 → 3

Calls

Call 1

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

Outputs

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

Calls

2 calls:

3.0ms	z
3.0ms	y

Results

Accuracy	Segments	Branch
62.6%	4	`y`
72.4%	3	`z`

Compiler

Compiled 2 to 8 computations (-300% saved)

regimes20.0ms (0.5%)

Memory

-5.7MiB live, 39.8MiB allocated; 4ms collecting garbage

Counts

7 → 6

Calls

Call 1

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

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
57.2%	5	`y`
52.6%	4	`t`
49.8%	4	`x`
44.7%	3	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
51.6%	5	`(-.f64 y z)`
59.5%	6	`z`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes5.0ms (0.1%)

Memory

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

Counts

6 → 6

Calls

Call 1

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

Calls

2 calls:

2.0ms	z
2.0ms	y

Results

Accuracy	Segments	Branch
57.9%	6	`y`
49.3%	7	`z`

Compiler

Compiled 2 to 8 computations (-300% saved)

regimes17.0ms (0.5%)

Memory

-25.0MiB live, 22.9MiB allocated; 12ms collecting garbage

Counts

4 → 5

Calls

Call 1

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
42.6%	3	`x`
36.9%	3	`(-.f64 y z)`
41.6%	3	`t`
48.2%	5	`y`

Compiler

Compiled 6 to 17 computations (-183.3% saved)

regimes8.0ms (0.2%)

Memory

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

Counts

3 → 4

Calls

Call 1

Inputs

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

#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 (* (- y z) x)) (*.f64 x z)))
#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))

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
34.6%	3	`t`
38.8%	4	`x`
37.7%	4	`z`
30.4%	3	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
40.5%	4	`y`

Compiler

Compiled 12 to 24 computations (-100% saved)

regimes7.0ms (0.2%)

Memory

-29.0MiB live, 16.6MiB allocated; 2ms collecting garbage

Counts

2 → 3

Calls

Call 1

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
35.1%	3	`z`
29.3%	5	`(-.f64 y z)`
32.8%	3	`x`
32.7%	3	`y`

Compiler

Compiled 6 to 17 computations (-183.3% saved)

regimes6.0ms (0.2%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 15 to 29 computations (-93.3% saved)

bsearch19.0ms (0.5%)

Memory

-4.9MiB live, 41.7MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	2.6966085366396608e-20	5.276039658119824e-14
7.0ms	-184313.73386464224	-42655.2255465252

Samples

8.0ms

240×

valid

Compiler

Compiled 393 to 420 computations (-6.9% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch3.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
2.0ms	2.6966085366396608e-20	5.276039658119824e-14
1.0ms	-184313.73386464224	-42655.2255465252

Samples

1.0ms

16×

valid

Compiler

Compiled 447 to 465 computations (-4% saved)

Precisions

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

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

adjust: 0.0ms (0% of total)

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

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

bsearch26.0ms (0.7%)

Memory

2.0MiB live, 48.3MiB allocated; 2ms collecting garbage

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
1.0ms	2.6966085366396608e-20	5.276039658119824e-14
6.0ms	4.52363159390554e-229	3.7828749336896746e-228
12.0ms	-7.236212956994782e-155	-7.93458979917091e-169
5.0ms	-184313.73386464224	-42655.2255465252

Samples

12.0ms

320×

valid

Compiler

Compiled 863 to 881 computations (-2.1% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch40.0ms (1.1%)

Memory

-41.1MiB live, 25.7MiB allocated; 35ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
1.0ms	2.6966085366396608e-20	5.276039658119824e-14
38.0ms	1.2563631989317784e-183	1.931228782156896e-180
1.0ms	-184313.73386464224	-42655.2255465252

Samples

5.0ms

128×

valid

Compiler

Compiled 637 to 657 computations (-3.1% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	2.6966085366396608e-20	5.276039658119824e-14
1.0ms	-184313.73386464224	-42655.2255465252

Compiler

Compiled 462 to 465 computations (-0.6% saved)

bsearch41.0ms (1.2%)

Memory

-12.7MiB live, 82.5MiB allocated; 7ms 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
9.0ms	6.073094860954626e+180	5.1580539783285325e+184
5.0ms	2.811048163979475e+142	7.768263923003736e+142
12.0ms	2.3557976473769878e+27	7.448543623361692e+28
4.0ms	-184313.73386464224	-42655.2255465252
8.0ms	-3.3588025598972844e+142	-2.0722673065368954e+140

Samples

20.0ms

480×

valid

Compiler

Compiled 877 to 880 computations (-0.3% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch50.0ms (1.4%)

Memory

14.7MiB live, 111.4MiB allocated; 6ms 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
12.0ms	4.466304310041982e+244	3.190771578090011e+249
11.0ms	2071244.0485961845	9656856629977558.0
10.0ms	1.4232711268082976e-98	1.914790268845626e-94
5.0ms	2.854352964542199e-150	8.173209951152772e-150
8.0ms	-13286071067.652317	-474503301.24001193

Samples

23.0ms

624×

valid

Compiler

Compiled 1 037 to 1 040 computations (-0.3% saved)

Precisions

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

ival-sub!: 3.0ms (40.8% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch23.0ms (0.6%)

Memory

3.9MiB live, 50.1MiB allocated; 3ms collecting garbage

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
1.0ms	4.466304310041982e+244	3.190771578090011e+249
10.0ms	1.0181521751021108e-39	8.106078440251748e-37
10.0ms	-2.9752700615519346e-38	-5.983892962817779e-45
1.0ms	-13286071067.652317	-474503301.24001193

Samples

11.0ms

272×

valid

Compiler

Compiled 869 to 872 computations (-0.3% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch5.0ms (0.2%)

Memory

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

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
1.0ms	4.466304310041982e+244	3.190771578090011e+249
4.0ms	2071244.0485961845	9656856629977558.0
1.0ms	-13286071067.652317	-474503301.24001193

Samples

2.0ms

48×

valid

Compiler

Compiled 686 to 689 computations (-0.4% saved)

Precisions

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

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

adjust: 0.0ms (0% of total)

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

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

bsearch15.0ms (0.4%)

Memory

-13.7MiB live, 33.3MiB allocated; 1ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	8.94109761304445e+18	1.453486790938291e+20
5.0ms	-3.3588025598972844e+142	-2.0722673065368954e+140

Samples

7.0ms

176×

valid

Compiler

Compiled 376 to 379 computations (-0.8% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

derivations572.0ms (16%)

Memory

-21.6MiB live, 519.5MiB allocated; 135ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 183 to 127 computations (30.6% saved)

preprocess153.0ms (4.3%)

Memory: 45.9MiB live, 229.6MiB allocated; 20ms collecting garbage
Compiler: Compiled 191 to 135 computations (29.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (30.7%)

preprocess88.0ms (2.4%)

series9.0ms (0.2%)

rewrite207.0ms (5.8%)

eval7.0ms (0.2%)

prune6.0ms (0.2%)

series21.0ms (0.6%)

rewrite260.0ms (7.3%)

eval20.0ms (0.6%)

prune23.0ms (0.6%)

series33.0ms (0.9%)

rewrite241.0ms (6.7%)

eval25.0ms (0.7%)

prune9.0ms (0.3%)

series26.0ms (0.7%)

rewrite301.0ms (8.4%)

eval48.0ms (1.3%)

prune18.0ms (0.5%)

regimes52.0ms (1.4%)

regimes46.0ms (1.3%)

regimes5.0ms (0.1%)

regimes19.0ms (0.5%)

regimes4.0ms (0.1%)

regimes6.0ms (0.2%)

regimes20.0ms (0.5%)

regimes5.0ms (0.1%)

regimes17.0ms (0.5%)

regimes8.0ms (0.2%)

regimes7.0ms (0.2%)

regimes6.0ms (0.2%)

bsearch19.0ms (0.5%)

bsearch3.0ms (0.1%)

bsearch26.0ms (0.7%)

bsearch40.0ms (1.1%)

bsearch1.0ms (0%)

bsearch41.0ms (1.2%)

bsearch50.0ms (1.4%)

bsearch23.0ms (0.6%)

bsearch5.0ms (0.2%)

bsearch15.0ms (0.4%)

derivations572.0ms (16%)

preprocess153.0ms (4.3%)

end0.0ms (0%)

Profiling