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

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.3MiB live, 0.3MiB 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.2s (11.9%)

Memory

31.4MiB live, 464.7MiB allocated; 161ms collecting garbage

Samples

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

Precisions

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

ival-sub!: 100.0ms (56.2% of total)

ival-mult!: 51.0ms (28.7% of total)

ival-add!: 24.0ms (13.5% of total)

adjust: 2.0ms (1.1% of total)

Bogosity

preprocess63.0ms (0.7%)

Memory

-33.2MiB live, 9.2MiB allocated; 8ms 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 16 to 16 computations (0% saved)

series177.0ms (1.8%)

Memory

24.4MiB live, 71.8MiB allocated; 3ms 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	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)

rewrite1.5s (15.5%)

Memory

-42.7MiB live, 656.1MiB allocated; 293ms collecting garbage

Counts

8 → 211

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

eval24.0ms (0.2%)

Memory: 27.7MiB live, 27.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 647 to 599 computations (63.6% saved)

prune9.0ms (0.1%)

Memory

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

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	244	7	251
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	245	7	252

Accuracy

100.0%

Counts

252 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (-.f64 z y) (-.f64 x t) x)
	99.2%	(fma.f64 (-.f64 y z) t (fma.f64 (-.f64 z y) x x))
	98.0%	(fma.f64 (-.f64 t x) y (fma.f64 (-.f64 x t) z x))
▶	64.2%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
▶	66.1%	#s(approx (+ x (* (- y z) (- t x))) (+.f64 x (*.f64 y (-.f64 t x))))
▶	47.2%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
▶	45.5%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))

Compiler

Compiled 132 to 132 computations (0% saved)

series256.0ms (2.6%)

Memory

-27.6MiB live, 64.3MiB allocated; 20ms collecting garbage

Counts

18 → 105

Calls

Call 1

Inputs
(fma.f64 (-.f64 z y) (-.f64 x t) x)
(-.f64 z y)
z
y
(-.f64 x t)
x
t
#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))
(*.f64 t (-.f64 y z))
(-.f64 y z)
#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
(*.f64 y (-.f64 t x))
(-.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 (+ (* (- z y) (- x t)) x) (.f64 #s(literal -1 binary64) (.f64 t (-.f64 z y))))
#s(approx (+ (* (- z y) (- x t)) x) (fma.f64 #s(literal -1 binary64) (.f64 t (-.f64 z y)) (.f64 x (-.f64 (+.f64 #s(literal 1 binary64) z) y))))
#s(approx (- x t) (*.f64 #s(literal -1 binary64) t))
#s(approx (- x t) (-.f64 x t))
#s(approx x x)
#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 (- t x) t)
#s(approx (- t x) (+.f64 t (*.f64 #s(literal -1 binary64) x)))
#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 (+ (* (- z y) (- x t)) x) (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) z) y)))
#s(approx (+ (* (- z y) (- x t)) x) (.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 z (.f64 #s(literal -1 binary64) (/.f64 (*.f64 t (-.f64 z y)) x)))) y)))
#s(approx (- x t) (.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 #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) (*.f64 #s(literal -1 binary64) x))
#s(approx (- t x) (*.f64 x (-.f64 (/.f64 t x) #s(literal 1 binary64))))
#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 (+ (* (- z y) (- x t)) x) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (-.f64 z y)) #s(literal 1 binary64)))))
#s(approx (+ (* (- z y) (- x t)) x) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) (-.f64 z y) (/.f64 (*.f64 t (-.f64 z y)) x)) #s(literal 1 binary64)))))
#s(approx (- x t) (.f64 #s(literal -1 binary64) (.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 (- 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) (.f64 #s(literal -1 binary64) (.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 t 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 (+ (* (- z y) (- x t)) x) (+.f64 x (*.f64 z (-.f64 x t))))
#s(approx (+ (* (- z y) (- x t)) x) (+.f64 x (fma.f64 #s(literal -1 binary64) (.f64 y (-.f64 x t)) (.f64 z (-.f64 x t)))))
#s(approx (- z y) z)
#s(approx (- z y) (+.f64 z (*.f64 #s(literal -1 binary64) y)))
#s(approx y y)
#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 (* 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 z) (*.f64 #s(literal -1 binary64) z))
#s(approx (- y z) (-.f64 y z))
#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 (+ (* (- z y) (- x t)) x) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 x t))))
#s(approx (+ (* (- z y) (- x t)) x) (.f64 y (fma.f64 #s(literal -1 binary64) (-.f64 x t) (+.f64 (/.f64 x y) (/.f64 (.f64 z (-.f64 x t)) y)))))
#s(approx (- z y) (*.f64 #s(literal -1 binary64) y))
#s(approx (- z y) (*.f64 y (-.f64 (/.f64 z y) #s(literal 1 binary64))))
#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 (- y z) (.f64 y (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 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 (+ (* (- z y) (- x t)) x) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (+.f64 x (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 z (-.f64 x t))) y))) t))))
#s(approx (- z y) (.f64 #s(literal -1 binary64) (.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 (* t (- y z)) (.f64 #s(literal -1 binary64) (.f64 y (fma.f64 #s(literal -1 binary64) t (/.f64 (*.f64 t z) y)))))
#s(approx (- y z) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (/.f64 z y) #s(literal 1 binary64)))))
#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 (+ (* (- z y) (- x t)) x) (+.f64 x (.f64 #s(literal -1 binary64) (.f64 y (-.f64 x t)))))
#s(approx (- z y) (-.f64 z y))
#s(approx (- y z) (+.f64 y (*.f64 #s(literal -1 binary64) z)))
#s(approx (+ (* (- z y) (- x t)) x) (*.f64 z (-.f64 x t)))
#s(approx (+ (* (- z y) (- x t)) x) (.f64 z (-.f64 (+.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 (.f64 y (-.f64 x t)) z) (/.f64 x z))) t)))
#s(approx (- z y) (.f64 z (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 y 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 (- y z) (*.f64 z (-.f64 (/.f64 y z) #s(literal 1 binary64))))
#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 (+ (* (- z y) (- x t)) x) (.f64 #s(literal -1 binary64) (.f64 z (fma.f64 #s(literal -1 binary64) (-.f64 x t) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 #s(literal -1 binary64) (*.f64 y (-.f64 x t)))) z))))))
#s(approx (- z y) (.f64 #s(literal -1 binary64) (.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 (* 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) (.f64 #s(literal -1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 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 (+ (* (- z y) (- x t)) x) (+.f64 x (*.f64 x (-.f64 z y))))
#s(approx (+ (* (- z y) (- x t)) x) (+.f64 x (fma.f64 #s(literal -1 binary64) (.f64 t (-.f64 z y)) (.f64 x (-.f64 z y)))))
#s(approx (- x t) (+.f64 x (*.f64 #s(literal -1 binary64) t)))
#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 (- 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 (+ (* (- z y) (- x t)) x) (.f64 t (fma.f64 #s(literal -1 binary64) (-.f64 z y) (+.f64 (/.f64 x t) (/.f64 (.f64 x (-.f64 z y)) t)))))
#s(approx (- x t) (*.f64 t (-.f64 (/.f64 x t) #s(literal 1 binary64))))
#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) (.f64 t (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 x 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 (+ (* (- z y) (- x t)) x) (.f64 #s(literal -1 binary64) (.f64 t (-.f64 (+.f64 z (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 x (-.f64 z y))) t))) y))))
#s(approx (- x t) (.f64 #s(literal -1 binary64) (.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 (- t x)) (.f64 #s(literal -1 binary64) (.f64 t (fma.f64 #s(literal -1 binary64) y (/.f64 (*.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 (+ 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	Expression
4.0ms	x	@	inf	((+ (* (- z y) (- x t)) x) (- z y) z y (- x t) x t (+ x (* (- y z) (- t x))) (* t (- y z)) (- y z) (+ x (* (- y z) (- t x))) (* y (- t x)) (- t x) (+ x (* (- y z) (- t x))) (+ x (* y (- t x))) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x))
2.0ms	y	@	0	((+ (* (- z y) (- x t)) x) (- z y) z y (- x t) x t (+ x (* (- y z) (- t x))) (* t (- y z)) (- y z) (+ x (* (- y z) (- t x))) (* y (- t x)) (- t x) (+ x (* (- y z) (- t x))) (+ x (* y (- t x))) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x))
2.0ms	t	@	-inf	((+ (* (- z y) (- x t)) x) (- z y) z y (- x t) x t (+ x (* (- y z) (- t x))) (* t (- y z)) (- y z) (+ x (* (- y z) (- t x))) (* y (- t x)) (- t x) (+ x (* (- y z) (- t x))) (+ x (* y (- t x))) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x))
2.0ms	y	@	-inf	((+ (* (- z y) (- x t)) x) (- z y) z y (- x t) x t (+ x (* (- y z) (- t x))) (* t (- y z)) (- y z) (+ x (* (- y z) (- t x))) (* y (- t x)) (- t x) (+ x (* (- y z) (- t x))) (+ x (* y (- t x))) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x))
2.0ms	y	@	inf	((+ (* (- z y) (- x t)) x) (- z y) z y (- x t) x t (+ x (* (- y z) (- t x))) (* t (- y z)) (- y z) (+ x (* (- y z) (- t x))) (* y (- t x)) (- t x) (+ x (* (- y z) (- t x))) (+ x (* y (- t x))) (+ x (* (- y z) (- t x))) (* (- y z) (- t x)) (- t x))

rewrite1.6s (16.6%)

Memory

17.6MiB live, 447.3MiB allocated; 104ms collecting garbage

Counts

18 → 194

Calls

Call 1

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

eval46.0ms (0.5%)

Memory: -23.6MiB live, 30.5MiB allocated; 8ms collecting garbage
Compiler: Compiled 2 237 to 925 computations (58.6% saved)

prune15.0ms (0.2%)

Memory

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

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	338	8	346
Fresh	1	1	2
Picked	1	4	5
Done	0	0	0
Total	340	13	353

Accuracy

100.0%

Counts

353 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 z y) (-.f64 x t) x)
▶	99.2%	(fma.f64 (-.f64 y z) t (fma.f64 (-.f64 z y) x x))
▶	57.5%	(fma.f64 #s(approx (- z y) z) (-.f64 x t) x)
✓	64.2%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
	58.3%	#s(approx (+ (* (- z y) (- x t)) x) (+.f64 x (*.f64 x (-.f64 z y))))
	38.6%	#s(approx (+ (* (- z y) (- x t)) x) (*.f64 z (-.f64 x t)))
	66.1%	#s(approx (+ (* (- y z) (- t x)) x) (fma.f64 (-.f64 t x) y x))
	45.5%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 y t (neg.f64 (*.f64 t z))))
▶	46.4%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 (.f64 t y) (.f64 y x)))
▶	46.1%	#s(approx (+ x (* (- y z) (- t x))) (+.f64 x #s(approx (* y (- t x)) (*.f64 t y))))
✓	47.2%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
✓	45.5%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))
▶	27.6%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* y (- t x)) (*.f64 t y)))

Compiler

Compiled 240 to 236 computations (1.7% saved)

series331.0ms (3.4%)

Memory

-14.5MiB live, 77.2MiB allocated; 12ms collecting garbage

Counts

19 → 110

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite1.9s (19.6%)

Memory

41.6MiB live, 850.2MiB allocated; 150ms collecting garbage

Counts

19 → 459

Calls

Call 1

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

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

eval83.0ms (0.9%)

Memory: -20.0MiB live, 122.4MiB allocated; 19ms collecting garbage
Compiler: Compiled 4 425 to 1 812 computations (59.1% saved)

prune62.0ms (0.6%)

Memory

-8.3MiB live, 38.3MiB allocated; 5ms collecting garbage

Pruning

13 alts after pruning (5 fresh and 8 done)

	Pruned	Kept	Total
New	700	1	701
Fresh	0	4	4
Picked	1	4	5
Done	0	4	4
Total	701	13	714

Accuracy

100.0%

Counts

714 → 13

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 z y) (-.f64 x t) x)
▶	61.0%	(fma.f64 (-.f64 y z) t #s(approx (+ (* (- z y) x) x) (*.f64 x z)))
✓	57.5%	(fma.f64 #s(approx (- z y) z) (-.f64 x t) x)
✓	64.2%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
▶	58.3%	#s(approx (+ (* (- z y) (- x t)) x) (+.f64 x (*.f64 x (-.f64 z y))))
▶	38.6%	#s(approx (+ (* (- z y) (- x t)) x) (*.f64 z (-.f64 x t)))
▶	66.1%	#s(approx (+ (* (- y z) (- t x)) x) (fma.f64 (-.f64 t x) y x))
▶	45.5%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 y t (neg.f64 (*.f64 t z))))
✓	46.4%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 (.f64 t y) (.f64 y x)))
✓	46.1%	#s(approx (+ x (* (- y z) (- t x))) (+.f64 x #s(approx (* y (- t x)) (*.f64 t y))))
✓	47.2%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
✓	45.5%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))
✓	27.6%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* y (- t x)) (*.f64 t y)))

Compiler

Compiled 199 to 197 computations (1% saved)

series410.0ms (4.2%)

Memory

16.5MiB live, 313.1MiB allocated; 99ms collecting garbage

Counts

22 → 127

Calls

Call 1

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

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

Calls

12 calls:

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

rewrite1.4s (14.8%)

Memory

24.9MiB live, 1 188.3MiB allocated; 532ms collecting garbage

Counts

22 → 194

Calls

Call 1

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

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

eval109.0ms (1.1%)

Memory: -23.4MiB live, 82.4MiB allocated; 48ms collecting garbage
Compiler: Compiled 2 434 to 1 232 computations (49.4% saved)

prune26.0ms (0.3%)

Memory

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

Pruning

14 alts after pruning (5 fresh and 9 done)

	Pruned	Kept	Total
New	351	5	356
Fresh	0	0	0
Picked	3	2	5
Done	1	7	8
Total	355	14	369

Accuracy

100.0%

Counts

369 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (-.f64 z y) (-.f64 x t) x)
✓	57.5%	(fma.f64 #s(approx (- z y) z) (-.f64 x t) x)
✓	64.2%	(+.f64 x (*.f64 (-.f64 y z) #s(approx (- t x) t)))
	58.3%	#s(approx (+ (* (- z y) (- x t)) x) (fma.f64 (-.f64 z y) x x))
	38.2%	#s(approx (+ (* (- z y) (- x t)) x) (fma.f64 (neg.f64 z) t (*.f64 x z)))
	36.2%	#s(approx (+ (* (- z y) (- x t)) x) (-.f64 (.f64 x z) (.f64 t z)))
	38.9%	#s(approx (+ (* (- z y) (- x t)) x) (+.f64 x (*.f64 x #s(approx (- z y) z))))
✓	38.6%	#s(approx (+ (* (- z y) (- x t)) x) (*.f64 z (-.f64 x t)))
	46.1%	#s(approx (+ (* (- y z) (- t x)) x) (fma.f64 #s(approx (- t x) t) y x))
✓	45.5%	#s(approx (+ x (* (- y z) (- t x))) (fma.f64 y t (neg.f64 (*.f64 t z))))
✓	46.4%	#s(approx (+ x (* (- y z) (- t x))) (-.f64 (.f64 t y) (.f64 y x)))
✓	47.2%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 y (-.f64 t x)))
✓	45.5%	#s(approx (+ x (* (- y z) (- t x))) (*.f64 t (-.f64 y z)))
✓	27.6%	#s(approx (+ x (* (- y z) (- t x))) #s(approx (* y (- t x)) (*.f64 t y)))

Compiler

Compiled 269 to 222 computations (17.5% saved)

regimes47.0ms (0.5%)

Memory

-22.1MiB live, 73.0MiB allocated; 8ms collecting garbage

Counts

22 → 1

Calls

Call 1

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

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

Calls

6 calls:

10.0ms	z
8.0ms	(-.f64 y z)
7.0ms	x
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)

regimes33.0ms (0.3%)

Memory

15.5MiB live, 62.0MiB allocated; 2ms collecting garbage

Counts

17 → 3

Calls

Call 1

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

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

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
72.7%	4	`(-.f64 y z)`
69.0%	2	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
85.2%	4	`x`
86.9%	3	`y`
90.3%	3	`z`
83.8%	3	`t`

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes6.0ms (0.1%)

Memory

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

Counts

16 → 3

Calls

Call 1

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

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

Calls

1 calls:

5.0ms

Results

Accuracy	Segments	Branch
90.3%	3	`z`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes6.0ms (0.1%)

Memory

-43.1MiB live, 8.4MiB allocated; 3ms collecting garbage

Counts

9 → 3

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

Results

Accuracy	Segments	Branch
90.3%	3	`z`

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes12.0ms (0.1%)

Memory

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

Counts

7 → 4

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	t
3.0ms	x
3.0ms	y
3.0ms	z

Results

Accuracy	Segments	Branch
70.3%	5	`x`
67.3%	6	`t`
73.1%	4	`y`
77.8%	4	`z`

Compiler

Compiled 4 to 16 computations (-300% saved)

regimes48.0ms (0.5%)

Memory

-21.0MiB live, 25.8MiB allocated; 2ms collecting garbage

Counts

4 → 4

Calls

Call 1

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)))

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
59.4%	3	`x`
54.0%	3	`(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))`
65.3%	3	`(-.f64 y z)`
67.4%	4	`y`
64.5%	4	`z`

Compiler

Compiled 14 to 25 computations (-78.6% saved)

regimes15.0ms (0.2%)

Memory

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

Counts

3 → 3

Calls

Call 1

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)))

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
55.5%	3	`t`
61.2%	3	`z`
61.1%	3	`(-.f64 y z)`
52.7%	3	`y`

Compiler

Compiled 6 to 17 computations (-183.3% saved)

regimes14.0ms (0.1%)

Memory

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

Counts

2 → 1

Calls

Call 1

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))

Calls

6 calls:

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

Results

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

Compiler

Compiled 15 to 29 computations (-93.3% saved)

regimes10.0ms (0.1%)

Memory

-27.2MiB live, 20.1MiB allocated; 1ms 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 (* y (- t x)) (*.f64 t y)))

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 15 to 29 computations (-93.3% saved)

bsearch17.0ms (0.2%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
9.0ms	9.948731512766769e+40	4.943342111401802e+42
6.0ms	-9.889680172752351e+30	-2.697282728925293e+30

Samples

8.0ms

192×

valid

Compiler

Compiled 283 to 310 computations (-9.5% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

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

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	9.948731512766769e+40	4.943342111401802e+42
0.0ms	-9.889680172752351e+30	-2.697282728925293e+30

Compiler

Compiled 255 to 282 computations (-10.6% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
0.0ms	9.948731512766769e+40	4.943342111401802e+42
0.0ms	-9.889680172752351e+30	-2.697282728925293e+30

Compiler

Compiled 276 to 303 computations (-9.8% saved)

bsearch20.0ms (0.2%)

Memory

-13.5MiB live, 33.0MiB allocated; 2ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
7.0ms	9.948731512766769e+40	4.943342111401802e+42
11.0ms	-1.5429516065348298e-73	-1.225011700366045e-82
0.0ms	-9.889680172752351e+30	-2.697282728925293e+30

Samples

10.0ms

240×

valid

Compiler

Compiled 490 to 519 computations (-5.9% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch38.0ms (0.4%)

Memory

9.8MiB live, 59.6MiB allocated; 3ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
10.0ms	2.584238644965326e-7	243.86794132637974
11.0ms	-2.5885779022098286e-277	-3.1877037459752255e-285
14.0ms	-5762769.178524103	-8.62865377604103e-10

Samples

17.0ms

448×

valid

Compiler

Compiled 647 to 687 computations (-6.2% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

bsearch25.0ms (0.3%)

Memory

-1.8MiB live, 44.8MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	48823024387034735000.0	7.774445967181331e+27
12.0ms	-1.7349598158264885e+22	-250568436.31098825

Samples

12.0ms

304×

valid

Compiler

Compiled 449 to 471 computations (-4.9% saved)

Precisions

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

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

ival-add!: 2.0ms (40.5% of total)

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

adjust: 0.0ms (0% of total)

derivations5.0ms (0.1%)

Memory

-36.2MiB live, 9.1MiB allocated; 4ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 93 to 71 computations (23.7% saved)

preprocess186.0ms (1.9%)

Memory: 20.6MiB live, 193.9MiB allocated; 52ms collecting garbage
Compiler: Compiled 101 to 79 computations (21.8% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.2s (11.9%)

preprocess63.0ms (0.7%)

series177.0ms (1.8%)

rewrite1.5s (15.5%)

eval24.0ms (0.2%)

prune9.0ms (0.1%)

series256.0ms (2.6%)

rewrite1.6s (16.6%)

eval46.0ms (0.5%)

prune15.0ms (0.2%)

series331.0ms (3.4%)

rewrite1.9s (19.6%)

eval83.0ms (0.9%)

prune62.0ms (0.6%)

series410.0ms (4.2%)

rewrite1.4s (14.8%)

eval109.0ms (1.1%)

prune26.0ms (0.3%)

regimes47.0ms (0.5%)

regimes33.0ms (0.3%)

regimes6.0ms (0.1%)

regimes6.0ms (0.1%)

regimes12.0ms (0.1%)

regimes48.0ms (0.5%)

regimes15.0ms (0.2%)

regimes14.0ms (0.1%)

regimes10.0ms (0.1%)

bsearch17.0ms (0.2%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch20.0ms (0.2%)

bsearch38.0ms (0.4%)

bsearch25.0ms (0.3%)

derivations5.0ms (0.1%)

preprocess186.0ms (1.9%)

end0.0ms (0%)

Profiling