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.4MiB live, 0.4MiB 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)

sample733.0ms (25.2%)

Memory

-3.7MiB live, 602.8MiB allocated; 214ms collecting garbage

Samples

436.0ms

8 256×

valid

Precisions

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

ival-sub!: 81.0ms (53.1% of total)

ival-mult!: 45.0ms (29.5% of total)

ival-add!: 25.0ms (16.4% of total)

adjust: 2.0ms (1.3% of total)

Bogosity

preprocess55.0ms (1.9%)

Memory

-30.2MiB live, 24.6MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	48	143
1	158	135
2	560	135
3	2176	135
4	6483	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 18 to 16 computations (11.1% saved)

series138.0ms (4.7%)

Memory

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

Calls

12 calls:

Time	Variable	Point
1.0ms	z	-inf
1.0ms	y	-inf
1.0ms	t	-inf
1.0ms	x	-inf
1.0ms	x	inf

rewrite230.0ms (7.9%)

Memory

36.2MiB live, 133.1MiB allocated; 18ms collecting garbage

Counts

8 → 18

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

eval14.0ms (0.5%)

Memory: -17.6MiB live, 28.6MiB allocated; 5ms collecting garbage
Compiler: Compiled 1 083 to 257 computations (76.3% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	51	7	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	52	7	59

Accuracy

100.0%

Counts

59 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
▶	64.2%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
	97.6%	(+.f64 x #s(approx (* (- y z) (- t x)) (fma.f64 #s(literal -1 binary64) (.f64 z (-.f64 t x)) (.f64 y (-.f64 t x)))))
	95.7%	(+.f64 x #s(approx (* (- y z) (- t x)) (fma.f64 #s(literal -1 binary64) (.f64 x (-.f64 y z)) (.f64 t (-.f64 y z)))))
▶	61.6%	#s(approx (+ x (* (- y z) (- t x))) (+.f64 x (*.f64 y (-.f64 t x))))
▶	45.0%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
▶	47.8%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))

Compiler

Compiled 220 to 156 computations (29.1% saved)

series168.0ms (5.8%)

Memory

-17.5MiB live, 121.3MiB allocated; 29ms collecting garbage

Counts

16 → 72

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

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

Calls

12 calls:

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

rewrite286.0ms (9.9%)

Memory

0.5MiB live, 202.3MiB allocated; 182ms collecting garbage

Counts

16 → 33

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

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

eval21.0ms (0.7%)

Memory: -21.2MiB live, 29.7MiB allocated; 12ms collecting garbage
Compiler: Compiled 2 940 to 474 computations (83.9% saved)

prune6.0ms (0.2%)

Memory

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

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	137	5	142
Fresh	1	1	2
Picked	1	4	5
Done	0	0	0
Total	139	10	149

Accuracy

100.0%

Counts

149 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	64.2%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
▶	97.6%	(+.f64 x #s(approx (* (- y z) (- t x)) (fma.f64 #s(literal -1 binary64) (.f64 z (-.f64 t x)) (.f64 y (-.f64 t x)))))
▶	61.6%	#s(approx (+ (* (- y z) (- t x)) x) (fma.f64 (-.f64 t x) y x))
▶	42.2%	#s(approx (+ x (* (- y z) (- t x))) (+.f64 x #s(approx (* y (- t x)) (*.f64 t y))))
✓	45.0%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
✓	47.8%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))
	42.7%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* y (- t x)) (fma.f64 #s(literal -1 binary64) (.f64 x y) (.f64 t y))))
▶	25.9%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* y (- t x)) (*.f64 t y)))
▶	47.0%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* t (- y z)) (fma.f64 #s(literal -1 binary64) (.f64 t z) (.f64 t y))))

Compiler

Compiled 301 to 198 computations (34.2% saved)

series171.0ms (5.9%)

Memory

-6.2MiB live, 175.7MiB allocated; 20ms collecting garbage

Counts

22 → 84

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
5.0ms	t	inf
2.0ms	t	-inf
2.0ms	y	-inf
2.0ms	t	0
1.0ms	z	-inf

rewrite182.0ms (6.3%)

Memory

30.8MiB live, 163.3MiB allocated; 83ms collecting garbage

Counts

22 → 50

Calls

Call 1

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

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

eval22.0ms (0.7%)

Memory: -11.3MiB live, 32.0MiB allocated; 19ms collecting garbage
Compiler: Compiled 3 560 to 619 computations (82.6% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	131	3	134
Fresh	0	1	1
Picked	3	2	5
Done	0	4	4
Total	134	10	144

Accuracy

100.0%

Counts

144 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	64.2%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
▶	54.6%	(+.f64 x #s(approx (* (- y z) (- t x)) #s(approx (+ (* -1 (* z (- t x))) (* y (- t x))) (fma.f64 #s(literal -1 binary64) (.f64 x y) (.f64 x z)))))
✓	61.6%	#s(approx (+ (* (- y z) (- t x)) x) (fma.f64 (-.f64 t x) y x))
▶	42.2%	#s(approx (+ (* (- y z) (- t x)) x) (fma.f64 #s(approx (- t x) t) y x))
▶	47.4%	#s(approx (+ (* (- y z) (- t x)) x) #s(approx (* t (- y z)) (fma.f64 t y (neg.f64 (*.f64 t z)))))
✓	45.0%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
✓	47.8%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))
▶	42.7%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* y (- t x)) (fma.f64 #s(literal -1 binary64) (.f64 x y) (.f64 t y))))
✓	25.9%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* y (- t x)) (*.f64 t y)))

Compiler

Compiled 181 to 120 computations (33.7% saved)

series182.0ms (6.3%)

Memory

14.6MiB live, 157.5MiB allocated; 64ms collecting garbage

Counts

23 → 89

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable	Point
8.0ms	z	-inf
3.0ms	t	-inf
2.0ms	t	inf
2.0ms	y	-inf
2.0ms	t	0

rewrite282.0ms (9.7%)

Memory

-1.2MiB live, 186.2MiB allocated; 115ms collecting garbage

Counts

23 → 52

Calls

Call 1

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

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

eval18.0ms (0.6%)

Memory: -9.8MiB live, 36.4MiB allocated; 12ms collecting garbage
Compiler: Compiled 3 668 to 619 computations (83.1% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	126	3	129
Fresh	0	0	0
Picked	3	1	4
Done	0	6	6
Total	129	10	139

Accuracy

100.0%

Counts

139 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 y z) (-.f64 t x) x)
✓	64.2%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
	55.0%	(+.f64 x #s(approx (* (- y z) (- t x)) #s(approx (+ (* -1 (* z (- t x))) (* y (- t x))) (fma.f64 z x (neg.f64 (*.f64 x y))))))
✓	61.6%	#s(approx (+ (* (- y z) (- t x)) x) (fma.f64 (-.f64 t x) y x))
✓	42.2%	#s(approx (+ (* (- y z) (- t x)) x) (fma.f64 #s(approx (- t x) t) y x))
	44.2%	#s(approx (+ (* (- y z) (- t x)) x) #s(approx (* y (- t x)) (fma.f64 t y (neg.f64 (*.f64 x y)))))
	47.0%	#s(approx (+ (* (- y z) (- t x)) x) #s(approx (* t (- y z)) (-.f64 (.f64 t y) (.f64 t z))))
✓	45.0%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
✓	47.8%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))
✓	25.9%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* y (- t x)) (*.f64 t y)))

Compiler

Compiled 179 to 118 computations (34.1% saved)

regimes216.0ms (7.4%)

Memory

-2.4MiB live, 230.4MiB allocated; 53ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 1

3 → 3

5 → 5

7 → 3

10 → 3

11 → 3

19 → 1

Calls

Call 1

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

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

Call 2

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

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

Call 3

Inputs

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

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

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

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

Call 4

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

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

Call 5

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

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

Call 6

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

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

Call 7

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

Outputs

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

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

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

Call 8

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

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

Calls

38 calls:

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

Results

Accuracy	Segments	Branch
25.9%	1	`(-.f64 y z)`
25.9%	1	`x`
25.9%	1	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
25.9%	1	`y`
25.9%	1	`t`
25.9%	1	`z`
42.2%	1	`y`
42.2%	1	`x`
42.2%	1	`t`
42.2%	1	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
42.2%	1	`(-.f64 y z)`
42.2%	1	`z`
60.7%	3	`z`
56.9%	3	`t`
60.2%	3	`(-.f64 y z)`
51.9%	3	`y`
67.0%	5	`y`
63.5%	4	`(-.f64 y z)`
57.4%	3	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
61.0%	3	`t`
58.4%	4	`x`
60.7%	3	`z`
73.8%	3	`z`
72.6%	3	`t`
65.0%	3	`y`
79.3%	3	`y`
66.9%	2	`(-.f64 y z)`
67.6%	2	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
73.4%	3	`x`
79.3%	3	`y`
73.9%	3	`z`
77.9%	3	`t`
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 463 to 253 computations (45.4% saved)

bsearch25.0ms (0.9%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
6.0ms	9.752108241123053e+70	1.9345661509031073e+71
16.0ms	-1.0145960100326616e+175	-1.5685026255345505e+172

Samples

12.0ms

192×

valid

Compiler

Compiled 356 to 291 computations (18.3% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch2.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	9.752108241123053e+70	1.9345661509031073e+71
1.0ms	-1.0145960100326616e+175	-1.5685026255345505e+172

Compiler

Compiled 328 to 279 computations (14.9% saved)

bsearch27.0ms (0.9%)

Memory

-13.1MiB live, 33.3MiB allocated; 6ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	1.0916831125274894e+43	6.831122423835873e+83
11.0ms	-3.2890222935807786e+43	-1.8175186091635934e+42

Samples

14.0ms

304×

valid

Compiler

Compiled 601 to 471 computations (21.6% saved)

Precisions

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

ival-mult!: 4.0ms (64.9% of total)

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

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

adjust: 0.0ms (0% of total)

bsearch22.0ms (0.8%)

Memory

-24.8MiB live, 23.6MiB allocated; 10ms collecting garbage

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
0.0ms	9.752108241123053e+70	1.9345661509031073e+71
9.0ms	2.4082955064109878e-139	1.6087227661664788e-135
5.0ms	-1.018326081262357e-275	-6.51131307478364e-276
1.0ms	-1.0145960100326616e+175	-1.5685026255345505e+172

Samples

7.0ms

192×

valid

Compiler

Compiled 768 to 591 computations (23% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch21.0ms (0.7%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	3.8278364300998444e-88	2.576500024287438e-84
10.0ms	-1.3757363143569813e-18	-5.658943315894337e-28

Samples

10.0ms

272×

valid

Compiler

Compiled 573 to 423 computations (26.2% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

derivations2.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 356 to 60 computations (83.1% saved)

preprocess67.0ms (2.3%)

Memory: 4.7MiB live, 141.0MiB allocated; 17ms collecting garbage
Compiler: Compiled 365 to 68 computations (81.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample733.0ms (25.2%)

preprocess55.0ms (1.9%)

series138.0ms (4.7%)

rewrite230.0ms (7.9%)

eval14.0ms (0.5%)

prune5.0ms (0.2%)

series168.0ms (5.8%)

rewrite286.0ms (9.9%)

eval21.0ms (0.7%)

prune6.0ms (0.2%)

series171.0ms (5.9%)

rewrite182.0ms (6.3%)

eval22.0ms (0.7%)

prune5.0ms (0.2%)

series182.0ms (6.3%)

rewrite282.0ms (9.7%)

eval18.0ms (0.6%)

prune5.0ms (0.2%)

regimes216.0ms (7.4%)

bsearch25.0ms (0.9%)

bsearch2.0ms (0.1%)

bsearch27.0ms (0.9%)

bsearch22.0ms (0.8%)

bsearch21.0ms (0.7%)

derivations2.0ms (0.1%)

preprocess67.0ms (2.3%)

end0.0ms (0%)

Profiling