Metrics for Graphics.Rasterific.CubicBezier:cachedBezierAt from Rasterific-0.6.1

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
100%	99.7%	0%	0.3%	0%	0%	0%	1

Compiler

Compiled 17 to 15 computations (11.8% saved)

sample1.1s (47%)

Memory

24.5MiB live, 1 794.2MiB allocated; 597ms collecting garbage

Samples

692.0ms

8 256×

valid

Precisions

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

ival-mult!: 257.0ms (80.7% of total)

ival-add!: 60.0ms (18.8% of total)

adjust: 1.0ms (0.3% of total)

Bogosity

preprocess50.0ms (2.1%)

Memory

5.5MiB live, 57.9MiB allocated; 25ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	120	434
1	579	376
2	2468	365

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	91.6%	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))

Compiler

Compiled 30 to 26 computations (13.3% saved)

series34.0ms (1.4%)

Memory

7.1MiB live, 52.4MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	225	1156

Stop Event

1×	iter-limit

Counts

13 → 52

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
(+.f64 x (*.f64 y z))
x
(*.f64 y z)
y
z
(*.f64 t a)
t
a
(.f64 (.f64 a z) b)
(*.f64 a z)
b

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

Calls

18 calls:

Time	Variable	Point
5.0ms	a	-inf
3.0ms	a	inf
2.0ms	z	-inf
2.0ms	z	0
1.0ms	z	inf

rewrite33.0ms (1.4%)

Memory

-4.1MiB live, 40.1MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	49
0	20	49
1	48	47
2	170	47
3	549	47
4	1103	47
5	1248	47
0	1248	41

Stop Event

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

Counts

13 → 121

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
(+.f64 (+.f64 x (.f64 y z)) (.f64 t a))
(+.f64 x (*.f64 y z))
x
(*.f64 y z)
y
z
(*.f64 t a)
t
a
(.f64 (.f64 a z) b)
(*.f64 a z)
b

Outputs
(neg.f64 (neg.f64 (fma.f64 (fma.f64 b z t) a (fma.f64 z y x))))
(fma.f64 (fma.f64 b a y) z (fma.f64 a t x))
(fma.f64 (neg.f64 (fma.f64 b a y)) (neg.f64 z) (fma.f64 a t x))
(fma.f64 (*.f64 b a) z (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (neg.f64 (fma.f64 b z t)) (neg.f64 a) (fma.f64 z y x))
(fma.f64 (*.f64 b z) a (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (*.f64 (neg.f64 b) a) (neg.f64 z) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (fma.f64 b z t) a (fma.f64 z y x))
(fma.f64 (*.f64 (neg.f64 z) b) (neg.f64 a) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (neg.f64 z) (neg.f64 (fma.f64 b a y)) (fma.f64 a t x))
(fma.f64 (neg.f64 z) (*.f64 (neg.f64 b) a) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (neg.f64 z) (neg.f64 y) (fma.f64 (fma.f64 b z t) a x))
(fma.f64 (neg.f64 b) (*.f64 (neg.f64 z) a) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (neg.f64 a) (neg.f64 (fma.f64 b z t)) (fma.f64 z y x))
(fma.f64 (neg.f64 a) (*.f64 (neg.f64 z) b) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (neg.f64 a) (neg.f64 t) (fma.f64 (fma.f64 b a y) z x))
(fma.f64 (*.f64 (neg.f64 z) a) (neg.f64 b) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (neg.f64 t) (neg.f64 a) (fma.f64 (fma.f64 b a y) z x))
(fma.f64 (neg.f64 y) (neg.f64 z) (fma.f64 (fma.f64 b z t) a x))
(fma.f64 b (*.f64 a z) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 (*.f64 a z) b (fma.f64 a t (fma.f64 z y x)))
(fma.f64 a (*.f64 b z) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 a (fma.f64 b z t) (fma.f64 z y x))
(fma.f64 a t (fma.f64 (fma.f64 b a y) z x))
(fma.f64 t a (fma.f64 (fma.f64 b a y) z x))
(fma.f64 z (fma.f64 b a y) (fma.f64 a t x))
(fma.f64 z (*.f64 b a) (fma.f64 a t (fma.f64 z y x)))
(fma.f64 z y (fma.f64 (fma.f64 b z t) a x))
(fma.f64 y z (fma.f64 (fma.f64 b z t) a x))
(-.f64 (*.f64 (fma.f64 b a y) z) (neg.f64 (fma.f64 a t x)))
(-.f64 (fma.f64 (.f64 b z) a x) (neg.f64 (fma.f64 a t (.f64 z y))))
(-.f64 (fma.f64 (fma.f64 b z t) a x) (*.f64 (neg.f64 y) z))
(-.f64 (fma.f64 a t x) (*.f64 (fma.f64 b a y) (neg.f64 z)))
(-.f64 (fma.f64 (fma.f64 b a y) z x) (*.f64 (neg.f64 t) a))
(-.f64 (fma.f64 (fma.f64 b z t) a (*.f64 z y)) (neg.f64 x))
(-.f64 (.f64 b (.f64 a z)) (neg.f64 (fma.f64 a t (fma.f64 z y x))))
(-.f64 (*.f64 (fma.f64 b z t) a) (neg.f64 (fma.f64 z y x)))
(-.f64 (fma.f64 a t (.f64 z y)) (neg.f64 (fma.f64 (.f64 b z) a x)))
(-.f64 (fma.f64 a t (fma.f64 z y x)) (.f64 (.f64 b a) (neg.f64 z)))
(-.f64 (*.f64 a t) (neg.f64 (fma.f64 (fma.f64 b a y) z x)))
(-.f64 (fma.f64 z y x) (*.f64 (fma.f64 b z t) (neg.f64 a)))
(-.f64 (*.f64 z y) (neg.f64 (fma.f64 (fma.f64 b z t) a x)))
(-.f64 x (neg.f64 (fma.f64 (fma.f64 b z t) a (*.f64 z y))))
(+.f64 (*.f64 (fma.f64 b a y) z) (fma.f64 a t x))
(+.f64 (fma.f64 (.f64 b z) a x) (fma.f64 a t (.f64 z y)))
(+.f64 (fma.f64 (fma.f64 b z t) a x) (*.f64 z y))
(+.f64 (fma.f64 a t x) (*.f64 (fma.f64 b a y) z))
(+.f64 (fma.f64 (fma.f64 b a y) z x) (*.f64 a t))
(+.f64 (fma.f64 (fma.f64 b z t) a (*.f64 z y)) x)
(+.f64 (.f64 b (.f64 a z)) (fma.f64 a t (fma.f64 z y x)))
(+.f64 (*.f64 (fma.f64 b z t) a) (fma.f64 z y x))
(+.f64 (fma.f64 a t (.f64 z y)) (fma.f64 (.f64 b z) a x))
(+.f64 (fma.f64 a t (fma.f64 z y x)) (.f64 b (.f64 a z)))
(+.f64 (*.f64 a t) (fma.f64 (fma.f64 b a y) z x))
(+.f64 (fma.f64 z y x) (*.f64 (fma.f64 b z t) a))
(+.f64 (*.f64 z y) (fma.f64 (fma.f64 b z t) a x))
(+.f64 x (fma.f64 (fma.f64 b z t) a (*.f64 z y)))
(neg.f64 (neg.f64 (fma.f64 a t (fma.f64 z y x))))
(fma.f64 (neg.f64 z) (neg.f64 y) (fma.f64 a t x))
(fma.f64 (neg.f64 a) (neg.f64 t) (fma.f64 z y x))
(fma.f64 (neg.f64 t) (neg.f64 a) (fma.f64 z y x))
(fma.f64 (neg.f64 y) (neg.f64 z) (fma.f64 a t x))
(fma.f64 a t (fma.f64 z y x))
(fma.f64 t a (fma.f64 z y x))
(fma.f64 z y (fma.f64 a t x))
(fma.f64 y z (fma.f64 a t x))
(-.f64 (fma.f64 a t x) (*.f64 (neg.f64 y) z))
(-.f64 (fma.f64 a t (*.f64 z y)) (neg.f64 x))
(-.f64 (*.f64 a t) (neg.f64 (fma.f64 z y x)))
(-.f64 (fma.f64 z y x) (*.f64 (neg.f64 t) a))
(-.f64 (*.f64 z y) (neg.f64 (fma.f64 a t x)))
(-.f64 x (neg.f64 (fma.f64 a t (*.f64 z y))))
(+.f64 (fma.f64 a t x) (*.f64 z y))
(+.f64 (fma.f64 a t (*.f64 z y)) x)
(+.f64 (*.f64 a t) (fma.f64 z y x))
(+.f64 (fma.f64 z y x) (*.f64 a t))
(+.f64 (*.f64 z y) (fma.f64 a t x))
(+.f64 x (fma.f64 a t (*.f64 z y)))
(neg.f64 (neg.f64 (fma.f64 z y x)))
(fma.f64 (neg.f64 z) (neg.f64 y) x)
(fma.f64 (neg.f64 y) (neg.f64 z) x)
(fma.f64 z y x)
(fma.f64 y z x)
(-.f64 (*.f64 z y) (neg.f64 x))
(-.f64 x (*.f64 (neg.f64 y) z))
(+.f64 (*.f64 z y) x)
(+.f64 x (*.f64 z y))
x
(*.f64 (neg.f64 z) (neg.f64 y))
(*.f64 (neg.f64 y) (neg.f64 z))
(*.f64 z y)
(*.f64 y z)
(neg.f64 (*.f64 (neg.f64 y) z))
y
z
(*.f64 (neg.f64 a) (neg.f64 t))
(*.f64 (neg.f64 t) (neg.f64 a))
(*.f64 a t)
(*.f64 t a)
(neg.f64 (*.f64 (neg.f64 t) a))
t
a
(.f64 (.f64 b a) z)
(.f64 (.f64 b z) a)
(.f64 (.f64 (neg.f64 b) a) (neg.f64 z))
(.f64 (.f64 (neg.f64 z) b) (neg.f64 a))
(.f64 (neg.f64 z) (.f64 (neg.f64 b) a))
(.f64 (neg.f64 b) (.f64 (neg.f64 z) a))
(.f64 (neg.f64 a) (.f64 (neg.f64 z) b))
(.f64 (.f64 (neg.f64 z) a) (neg.f64 b))
(.f64 b (.f64 a z))
(.f64 (.f64 a z) b)
(.f64 a (.f64 b z))
(.f64 z (.f64 b a))
(neg.f64 (.f64 (.f64 b a) (neg.f64 z)))
(*.f64 (neg.f64 z) (neg.f64 a))
(*.f64 (neg.f64 a) (neg.f64 z))
(*.f64 a z)
(*.f64 z a)
(neg.f64 (*.f64 (neg.f64 z) a))
b

eval35.0ms (1.4%)

Memory: -16.8MiB live, 32.8MiB allocated; 33ms collecting garbage
Compiler: Compiled 2 949 to 504 computations (82.9% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	157	6	163
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	158	6	164

Accuracy

100.0%

Counts

164 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	95.8%	(fma.f64 (fma.f64 b a y) z (fma.f64 a t x))
	67.5%	(+.f64 #s(approx (+ (+ x (* y z)) (* t a)) (+.f64 x (.f64 a t))) (.f64 (*.f64 a z) b))
▶	74.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a (.f64 b z) (.f64 y z))))
▶	70.5%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (.f64 a (.f64 b z)))))
▶	51.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z (+.f64 y (.f64 a b))))
▶	46.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a (+.f64 t (.f64 b z))))

Compiler

Compiled 258 to 190 computations (26.4% saved)

series43.0ms (1.8%)

Memory

15.6MiB live, 63.6MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	415	2092

Stop Event

1×	iter-limit

Counts

25 → 99

Calls

Call 1

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

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

Calls

18 calls:

Time	Variable	Point
4.0ms	b	inf
4.0ms	a	0
2.0ms	b	-inf
2.0ms	z	-inf
2.0ms	a	-inf

rewrite49.0ms (2%)

Memory

-4.1MiB live, 40.0MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	196
0	50	176
1	142	164
2	409	164
3	1030	164
4	1193	164
0	1193	154

Stop Event

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

Counts

25 → 297

Calls

Call 1

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

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

eval45.0ms (1.9%)

Memory: -13.9MiB live, 81.9MiB allocated; 25ms collecting garbage
Compiler: Compiled 8 656 to 1 072 computations (87.6% saved)

prune13.0ms (0.5%)

Memory

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

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	338	14	352
Fresh	1	0	1
Picked	5	0	5
Done	0	0	0
Total	344	14	358

Accuracy

100.0%

Counts

358 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
	69.6%	(fma.f64 (fma.f64 b a y) z #s(approx (+ (* a t) x) (*.f64 a t)))
	71.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (fma.f64 z b t) a x))
▶	77.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (fma.f64 a b y) z x))
	47.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (.f64 z a) b (.f64 z y)))
▶	42.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 t a (.f64 (.f64 a b) z)))
	77.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 (*.f64 (fma.f64 a b y) z) x))
	46.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 z b t) a))
▶	51.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 a b y) z))
	46.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) (.f64 t (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b z) t))))))
▶	24.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
	50.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a (* b z)) (* y z))) (+.f64 x (.f64 a (.f64 b z)))))
	26.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (* z (+ y (* a b))) (.f64 a (.f64 b z))))
▶	78.4%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (+.f64 x (fma.f64 a t (*.f64 y z))))
	56.8%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (+.f64 x (*.f64 y z)))

Compiler

Compiled 680 to 482 computations (29.1% saved)

series54.0ms (2.2%)

Memory

-12.8MiB live, 79.0MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	421	2058

Stop Event

1×	iter-limit

Counts

22 → 101

Calls

Call 1

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

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

Calls

18 calls:

Time	Variable	Point
18.0ms	x	-inf
2.0ms	a	-inf
2.0ms	z	-inf
1.0ms	b	-inf
1.0ms	a	inf

rewrite54.0ms (2.2%)

Memory

-9.8MiB live, 36.7MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	188
0	47	183
1	127	168
2	342	168
3	927	168
4	1272	168
5	1284	168
6	1288	168
7	1295	168
8	1302	168
0	1302	156

Stop Event

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

Counts

22 → 167

Calls

Call 1

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

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

eval36.0ms (1.5%)

Memory: 6.5MiB live, 57.2MiB allocated; 8ms collecting garbage
Compiler: Compiled 7 718 to 963 computations (87.5% saved)

prune14.0ms (0.6%)

Memory

-11.7MiB live, 34.6MiB allocated; 3ms collecting garbage

Pruning

15 alts after pruning (11 fresh and 4 done)

	Pruned	Kept	Total
New	267	6	273
Fresh	4	5	9
Picked	1	4	5
Done	0	0	0
Total	272	15	287

Accuracy

100.0%

Counts

287 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (fma.f64 a b y) z x))
	47.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (.f64 z a) b (.f64 z y)))
▶	49.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 #s(approx (+ (* a b) y) (*.f64 a b)) z x))
✓	42.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 t a (.f64 (.f64 a b) z)))
	77.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 (*.f64 (fma.f64 a b y) z) x))
	46.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 z b t) a))
✓	51.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 a b y) z))
	25.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 #s(approx (+ ( a b) y) (*.f64 a b)) z))
	46.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) (.f64 t (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b z) t))))))
▶	26.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) (*.f64 b z))))
✓	24.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
▶	80.0%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (fma.f64 z y (fma.f64 t a x)))
	56.8%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (+.f64 x (*.f64 y z)))
▶	50.2%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (+.f64 x #s(approx (+ (* a t) (* y z)) (*.f64 a t))))
▶	52.2%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) #s(approx (+ x (+ (* a t) (* y z))) (fma.f64 a t (*.f64 y z))))

Compiler

Compiled 658 to 461 computations (29.9% saved)

series34.0ms (1.4%)

Memory

37.2MiB live, 83.4MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	424	1992

Stop Event

1×	iter-limit

Counts

25 → 100

Calls

Call 1

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

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

Calls

18 calls:

Time	Variable	Point
3.0ms	a	-inf
1.0ms	z	-inf
1.0ms	b	-inf
1.0ms	a	inf
1.0ms	t	-inf

rewrite80.0ms (3.3%)

Memory

-13.1MiB live, 84.6MiB allocated; 60ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	244
0	56	235
1	134	233
2	363	233
3	964	233
4	1347	233
5	1359	233
6	1363	233
7	1370	233
8	1377	233
0	1377	217

Stop Event

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

Counts

25 → 100

Calls

Call 1

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

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

eval23.0ms (0.9%)

Memory: 6.6MiB live, 56.2MiB allocated; 7ms collecting garbage
Compiler: Compiled 5 957 to 806 computations (86.5% saved)

prune11.0ms (0.5%)

Memory

-16.4MiB live, 28.9MiB allocated; 6ms collecting garbage

Pruning

15 alts after pruning (7 fresh and 8 done)

	Pruned	Kept	Total
New	193	1	194
Fresh	0	6	6
Picked	1	4	5
Done	0	4	4
Total	194	15	209

Accuracy

100.0%

Counts

209 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (fma.f64 a b y) z x))
	47.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (.f64 z a) b (.f64 z y)))
✓	49.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 #s(approx (+ (* a b) y) (*.f64 a b)) z x))
✓	42.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 t a (.f64 (.f64 a b) z)))
	77.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 (*.f64 (fma.f64 a b y) z) x))
	46.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 z b t) a))
✓	51.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 a b y) z))
	25.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 #s(approx (+ ( a b) y) (*.f64 a b)) z))
	46.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) (.f64 t (+.f64 #s(literal 1 binary64) (/.f64 (.f64 b z) t))))))
✓	26.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) (*.f64 b z))))
✓	24.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
✓	80.0%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (fma.f64 z y (fma.f64 t a x)))
	53.7%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (fma.f64 z y #s(approx (+ (* t a) x) (*.f64 a t))))
	56.8%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (+.f64 x (*.f64 y z)))
✓	50.2%	#s(approx (+ (* (+ (* b a) y) z) (+ (* a t) x)) (+.f64 x #s(approx (+ (* a t) (* y z)) (*.f64 a t))))

Compiler

Compiled 372 to 263 computations (29.3% saved)

regimes249.0ms (10.3%)

Memory

25.5MiB live, 453.3MiB allocated; 32ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 1

3 → 3

5 → 4

7 → 4

8 → 3

13 → 4

14 → 4

15 → 3

16 → 3

24 → 3

25 → 3

28 → 2

Calls

Call 1

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

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

Call 2

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

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

Call 3

Inputs

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

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

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

Outputs

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

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

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

Call 4

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

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

Call 5

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

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

Call 6

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

Outputs

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

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

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

Call 7

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

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

Call 8

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

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

Call 9

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

Outputs

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

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

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

Call 10

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

Outputs

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

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

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

Call 11

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

Outputs

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

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

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

Call 12

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

Outputs

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

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

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

Call 13

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

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

Calls

55 calls:

12.0ms	b
11.0ms	z
10.0ms	z
9.0ms	b
8.0ms	y

Results

Accuracy	Segments	Branch
24.8%	1	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
24.8%	1	`y`
24.8%	1	`z`
24.8%	1	`t`
24.8%	1	`a`
24.8%	1	`b`
24.8%	1	`x`
50.2%	1	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
50.2%	1	`b`
50.2%	1	`x`
50.2%	1	`t`
50.2%	1	`y`
50.2%	1	`a`
50.2%	1	`z`
69.9%	3	`z`
71.7%	4	`z`
71.8%	4	`z`
65.9%	3	`b`
65.0%	3	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
69.8%	3	`y`
71.3%	3	`y`
71.4%	4	`a`
71.8%	4	`z`
81.1%	4	`z`
74.1%	6	`t`
76.7%	5	`y`
72.3%	4	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
81.1%	4	`z`
77.9%	3	`a`
70.6%	4	`x`
70.5%	3	`b`
83.8%	2	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
89.4%	3	`b`
87.0%	3	`a`
80.0%	1	`t`
86.0%	3	`z`
91.4%	3	`z`
90.2%	3	`b`
82.6%	2	`y`
92.0%	3	`y`
91.7%	3	`b`
92.2%	4	`a`
89.9%	3	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
88.2%	3	`x`
92.0%	3	`y`
92.4%	4	`t`
91.4%	3	`z`
92.4%	3	`b`
95.8%	1	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
95.8%	1	`x`
95.8%	1	`y`
99.2%	3	`z`
95.8%	1	`t`
95.8%	1	`a`
97.7%	2	`b`

Compiler

Compiled 823 to 498 computations (39.5% saved)

bsearch10.0ms (0.4%)

Memory

-39.1MiB live, 10.9MiB allocated; 4ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	9.625532995206848e+116	1.6756383712608667e+117

Samples

6.0ms

64×

valid

Compiler

Compiled 150 to 130 computations (13.3% saved)

Precisions

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

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

adjust: 0.0ms (0% of total)

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

bsearch15.0ms (0.6%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
3.0ms	9.625532995206848e+116	1.6756383712608667e+117
10.0ms	-3.502180546675258e+96	-4.051302460437109e+94

Samples

8.0ms

144×

valid

Compiler

Compiled 488 to 385 computations (21.1% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch20.0ms (0.8%)

Memory

-6.1MiB live, 40.0MiB allocated; 3ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	3.851944823955411e-38	6.025429653417416e-35
7.0ms	-6.798649505905397e+35	-3.458967987082226e+35

Samples

11.0ms

192×

valid

Compiler

Compiled 546 to 418 computations (23.4% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch32.0ms (1.3%)

Memory

6.1MiB live, 51.5MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	1.8183230082546783e+117	2.5115970939882023e+122
17.0ms	-2.9408540899139856e-92	-1.2209807605662113e-97

Samples

15.0ms

288×

valid

Compiler

Compiled 810 to 616 computations (24% saved)

Precisions

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

ival-mult!: 5.0ms (73.7% of total)

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

adjust: 0.0ms (0% of total)

bsearch38.0ms (1.6%)

Memory

-3.1MiB live, 42.0MiB allocated; 7ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	1.6756383712608667e+117	2.6558554437556323e+120
24.0ms	-2.4352039679938476e+182	-2.3818353187867056e+179

Samples

13.0ms

256×

valid

Compiler

Compiled 858 to 622 computations (27.5% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch52.0ms (2.2%)

Memory

-9.7MiB live, 84.2MiB allocated; 30ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
17.0ms	2.5115970939882023e+122	1.394845627656884e+136
27.0ms	1.3605936944940282e-80	6.231414493106827e-72
4.0ms	-8.276722638379921e-62	-6.709512110897822e-62

Samples

36.0ms

352×

valid

Compiler

Compiled 992 to 778 computations (21.6% saved)

Precisions

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

ival-mult!: 6.0ms (71.7% of total)

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

adjust: 0.0ms (0% of total)

bsearch3.0ms (0.1%)

Memory

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

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
1.0ms	2.5115970939882023e+122	1.394845627656884e+136
1.0ms	1.3605936944940282e-80	6.231414493106827e-72
0.0ms	-8.276722638379921e-62	-6.709512110897822e-62

Compiler

Compiled 989 to 775 computations (21.6% saved)

bsearch18.0ms (0.8%)

Memory

-4.0MiB live, 42.3MiB allocated; 4ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	1.7902907025862858	196.94225839284422
4.0ms	-6.798649505905397e+35	-3.458967987082226e+35

Samples

8.0ms

160×

valid

Compiler

Compiled 573 to 428 computations (25.3% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch28.0ms (1.2%)

Memory

21.6MiB live, 66.5MiB allocated; 6ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
1.0ms	1.3605936944940282e-80	6.231414493106827e-72
7.0ms	-2.9371773133389776e+106	-8.448083276309935e+105
17.0ms	-1.0725335936875204e+273	-4.388998835877229e+257

Samples

16.0ms

240×

valid

Compiler

Compiled 1 122 to 872 computations (22.3% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch16.0ms (0.7%)

Memory

-22.7MiB live, 28.5MiB allocated; 10ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
1.0ms	1.3605936944940282e-80	6.231414493106827e-72
1.0ms	-2.9371773133389776e+106	-8.448083276309935e+105
13.0ms	-1.0725335936875204e+273	-4.388998835877229e+257

Samples

10.0ms

80×

valid

Compiler

Compiled 1 142 to 882 computations (22.8% saved)

Precisions

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

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

adjust: 0.0ms (0% of total)

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

bsearch2.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.3605936944940282e-80	6.231414493106827e-72
1.0ms	-2.9371773133389776e+106	-8.448083276309935e+105

Compiler

Compiled 662 to 512 computations (22.7% saved)

derivations58.0ms (2.4%)

Memory

-2.5MiB live, 88.2MiB allocated; 10ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 970 to 131 computations (86.5% saved)

preprocess122.0ms (5.1%)

Memory: -7.2MiB live, 273.5MiB allocated; 39ms collecting garbage
Compiler: Compiled 985 to 144 computations (85.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample1.1s (47%)

preprocess50.0ms (2.1%)

series34.0ms (1.4%)

rewrite33.0ms (1.4%)

eval35.0ms (1.4%)

prune5.0ms (0.2%)

series43.0ms (1.8%)

rewrite49.0ms (2%)

eval45.0ms (1.9%)

prune13.0ms (0.5%)

series54.0ms (2.2%)

rewrite54.0ms (2.2%)

eval36.0ms (1.5%)

prune14.0ms (0.6%)

series34.0ms (1.4%)

rewrite80.0ms (3.3%)

eval23.0ms (0.9%)

prune11.0ms (0.5%)

regimes249.0ms (10.3%)

bsearch10.0ms (0.4%)

bsearch15.0ms (0.6%)

bsearch20.0ms (0.8%)

bsearch32.0ms (1.3%)

bsearch38.0ms (1.6%)

bsearch52.0ms (2.2%)

bsearch3.0ms (0.1%)

bsearch18.0ms (0.8%)

bsearch28.0ms (1.2%)

bsearch16.0ms (0.7%)

bsearch2.0ms (0.1%)

derivations58.0ms (2.4%)

preprocess122.0ms (5.1%)

end0.0ms (0%)

Profiling