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

0.9MiB live, 0.9MiB 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.3s (25.3%)

Memory

37.6MiB live, 1 004.5MiB allocated; 383ms collecting garbage

Samples

733.0ms

8 256×

valid

Precisions

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

ival-mult!: 207.0ms (54.2% of total)

ival-add!: 173.0ms (45.3% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

preprocess395.0ms (7.6%)

Memory

-13.1MiB live, 33.7MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	120	434
1	579	376
2	2468	365
3	6568	364
4	7185	364
5	7820	364
6	7987	364
7	7987	364
8	7987	364
9	9784	364
10	9802	364
11	9802	364
12	9802	364
13	9802	364
14	9802	364

Stop Event

1×

saturated

Alt Table

Click to see full alt table

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

Compiler

Compiled 30 to 26 computations (13.3% saved)

series204.0ms (3.9%)

Memory

29.5MiB live, 76.0MiB allocated; 28ms collecting garbage

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
3.0ms	a	inf
2.0ms	z	-inf
2.0ms	z	0
2.0ms	z	inf
2.0ms	a	-inf

rewrite262.0ms (5%)

Memory

3.7MiB live, 100.4MiB allocated; 25ms collecting garbage

Counts

13 → 36

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

eval14.0ms (0.3%)

Memory: -31.9MiB live, 13.2MiB allocated; 6ms collecting garbage
Compiler: Compiled 1 787 to 342 computations (80.9% saved)

prune4.0ms (0.1%)

Memory

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

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	71	6	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	6	78

Accuracy

100.0%

Counts

78 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	73.7%	(+.f64 #s(approx (+ (+ x (* y z)) (* t a)) (+.f64 x (.f64 a t))) (.f64 (*.f64 a z) b))
	70.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 a t (fma.f64 a (.f64 b z) (.f64 y z))))
▶	73.5%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a (.f64 b z) (.f64 y z))))
▶	75.4%	#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))))
▶	51.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a (+.f64 t (.f64 b z))))

Compiler

Compiled 292 to 208 computations (28.8% saved)

series213.0ms (4.1%)

Memory

30.1MiB live, 216.1MiB allocated; 41ms collecting garbage

Counts

28 → 105

Calls

Call 1

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

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 (+ (* 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 x)
#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 (+ (+ 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 (* a t)) (*.f64 a t))
#s(approx (+ x (* a t)) (+.f64 x (*.f64 a t)))
#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 (+ (+ 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 (* a t)) (.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (.f64 a t) 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 (+ (* 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 (+ (+ 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 (* a t)) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 a t) x)) #s(literal 1 binary64)))))
#s(approx (* z (+ y (* a b))) (.f64 a (.f64 b z)))
#s(approx (+ y (* a b)) (*.f64 a b))
#s(approx (+ y (* a b)) (+.f64 y (*.f64 a b)))
#s(approx y y)
#s(approx (+ x (+ (* a (* b z)) (* y z))) (+.f64 x (.f64 a (.f64 b z))))
#s(approx (* y z) (*.f64 y z))
#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 (* z (+ y (* a b))) (.f64 y (+.f64 z (/.f64 (.f64 a (*.f64 b z)) y))))
#s(approx (+ y (* a b)) (.f64 y (+.f64 #s(literal 1 binary64) (/.f64 (.f64 a b) 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 (+ (+ x (* y z)) (* t a)) (.f64 y (+.f64 z (+.f64 (/.f64 x y) (/.f64 (.f64 a t) 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 (* 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 (+ y (* a b)) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 a b) y)) #s(literal 1 binary64)))))
#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 (+ (+ 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)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (.f64 z (+.f64 y (.f64 a b))))))
#s(approx (* b z) (*.f64 b z))
#s(approx z z)
#s(approx (+ t (* b z)) t)
#s(approx (+ t (* b z)) (+.f64 t (*.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 (* a z) (*.f64 a z))
#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 (+ (* a t) (* a (* b z)))) (.f64 z (fma.f64 a b (+.f64 (/.f64 x z) (/.f64 (.f64 a t) z)))))
#s(approx (+ (* a t) (* a (* 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 (* b z)) (* y z))) (*.f64 z (+.f64 y (fma.f64 a b (/.f64 x 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)) (* 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 (+ (* 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 (+ (* 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 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 (* 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 (+ (+ 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)) (* t a)) (+.f64 x (*.f64 y z)))
#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 (+ (* a t) (* a (* b z)))) (.f64 t (+.f64 a (+.f64 (/.f64 x t) (/.f64 (.f64 a (*.f64 b z)) t)))))
#s(approx (+ (* a t) (* a (* 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 (* y z)) (* t a)) (.f64 t (+.f64 a (+.f64 (/.f64 x t) (/.f64 (.f64 y z) t)))))
#s(approx (+ x (* a t)) (*.f64 t (+.f64 a (/.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 (+ 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 (+ (* 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 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 (* 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 (* a t)) (.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 x (fma.f64 a (+.f64 t (.f64 b z)) (.f64 y z))))
#s(approx (+ x (+ (* a t) (* a (* b z)))) (+.f64 x (.f64 a (+.f64 t (.f64 b z)))))
#s(approx (+ (* a t) (* a (* b z))) (.f64 a (+.f64 t (.f64 b z))))
#s(approx a a)
#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 (+ (* a t) (* a (* b z)))) (*.f64 a (+.f64 t (fma.f64 b z (/.f64 x a)))))
#s(approx (* z (+ y (* a b))) (.f64 a (fma.f64 b z (/.f64 (.f64 y z) a))))
#s(approx (+ y (* a b)) (*.f64 a (+.f64 b (/.f64 y 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 (+ (+ x (* y z)) (* t a)) (.f64 a (+.f64 t (+.f64 (/.f64 x a) (/.f64 (.f64 y z) a)))))
#s(approx (+ x (* a t)) (*.f64 a (+.f64 t (/.f64 x 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 (+ (* 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 (* 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 (+ y (* a b)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) b (*.f64 #s(literal -1 binary64) (/.f64 y 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 (+ (+ 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 (+ x (* a t)) (.f64 #s(literal -1 binary64) (.f64 a (fma.f64 #s(literal -1 binary64) t (*.f64 #s(literal -1 binary64) (/.f64 x 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 (+ (* a t) (* a (* b z)))) (.f64 b (fma.f64 a z (+.f64 (/.f64 x b) (/.f64 (.f64 a t) b)))))
#s(approx (+ (* a t) (* a (* 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 (+ y (* a b)) (*.f64 b (+.f64 a (/.f64 y 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 (+ (+ (+ 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))))))
#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 (+ (* 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 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 (+ y (* a b)) (.f64 #s(literal -1 binary64) (.f64 b (fma.f64 #s(literal -1 binary64) a (*.f64 #s(literal -1 binary64) (/.f64 y 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
6.0ms	b	inf
4.0ms	a	inf
3.0ms	a	-inf
2.0ms	z	-inf
2.0ms	b	-inf

rewrite221.0ms (4.3%)

Memory

-54.1MiB live, 117.0MiB allocated; 73ms collecting garbage

Counts

28 → 120

Calls

Call 1

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

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

eval20.0ms (0.4%)

Memory: 38.3MiB live, 38.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 5 798 to 829 computations (85.7% saved)

prune11.0ms (0.2%)

Memory

-29.6MiB live, 16.9MiB allocated; 3ms collecting garbage

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	184	9	193
Fresh	0	1	1
Picked	5	0	5
Done	0	0	0
Total	189	10	199

Accuracy

100.0%

Counts

199 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	75.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (fma.f64 b z t) a x))
▶	77.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (fma.f64 b a y) z x))
	49.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (.f64 a z) b (.f64 y z)))
	70.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 a t (fma.f64 a (.f64 b z) (.f64 y z))))
▶	51.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 b a y) z))
▶	29.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z #s(approx (+ y ( a b)) (*.f64 a b))))
	51.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 a (fma.f64 z b t)))
▶	25.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
	53.6%	#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)))))
	29.4%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (* z (+ y (* a b))) (.f64 a (.f64 b z))))

Compiler

Compiled 514 to 356 computations (30.7% saved)

series195.0ms (3.8%)

Memory

26.5MiB live, 118.9MiB allocated; 39ms collecting garbage

Counts

21 → 87

Calls

Call 1

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

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

Calls

18 calls:

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

rewrite207.0ms (4%)

Memory

-7.2MiB live, 81.6MiB allocated; 45ms collecting garbage

Counts

21 → 49

Calls

Call 1

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

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

eval14.0ms (0.3%)

Memory: 17.7MiB live, 17.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 4 407 to 603 computations (86.3% saved)

prune11.0ms (0.2%)

Memory

-38.1MiB live, 9.2MiB allocated; 2ms collecting garbage

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	137	6	143
Fresh	3	2	5
Picked	2	3	5
Done	0	0	0
Total	142	11	153

Accuracy

100.0%

Counts

153 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	49.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (.f64 a z) b (.f64 y z)))
	55.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 #s(approx (+ (* b a) y) (*.f64 a b)) z x))
▶	76.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (*.f64 y z))))
▶	53.0%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (*.f64 y z)))
	51.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (*.f64 a t)))
✓	51.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 b a y) z))
✓	29.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z #s(approx (+ y ( a b)) (*.f64 a b))))
▶	27.4%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 y z))
▶	51.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 a (fma.f64 z b t)))
	29.4%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) (*.f64 b z))))
✓	25.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))

Compiler

Compiled 446 to 323 computations (27.6% saved)

series183.0ms (3.5%)

Memory

8.7MiB live, 57.2MiB allocated; 41ms collecting garbage

Counts

19 → 82

Calls

Call 1

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

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

Calls

18 calls:

Time	Variable	Point
2.0ms	z	-inf
1.0ms	a	-inf
1.0ms	z	inf
1.0ms	a	inf
1.0ms	y	-inf

rewrite195.0ms (3.8%)

Memory

-4.3MiB live, 88.7MiB allocated; 15ms collecting garbage

Counts

19 → 61

Calls

Call 1

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

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

eval16.0ms (0.3%)

Memory: 18.3MiB live, 18.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 4 232 to 580 computations (86.3% saved)

prune13.0ms (0.2%)

Memory

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

Pruning

11 alts after pruning (5 fresh and 6 done)

	Pruned	Kept	Total
New	140	3	143
Fresh	1	2	3
Picked	2	3	5
Done	0	3	3
Total	143	11	154

Accuracy

100.0%

Counts

154 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	49.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 (.f64 a z) b (.f64 y z)))
	55.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 #s(approx (+ (* b a) y) (*.f64 a b)) z x))
	53.0%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 z y x))
	51.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (*.f64 a t)))
✓	51.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 (fma.f64 b a y) z))
✓	29.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z #s(approx (+ y ( a b)) (*.f64 a b))))
✓	27.4%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 y z))
✓	51.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 a (fma.f64 z b t)))
	29.4%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ ( z b) t) (*.f64 b z))))
✓	25.9%	#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 t) (* y z))) (fma.f64 a t (*.f64 y z))))

Compiler

Compiled 267 to 190 computations (28.8% saved)

regimes1.4s (26.9%)

Memory

-33.4MiB live, 254.7MiB allocated; 81ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 3

3 → 2

5 → 3

9 → 3

10 → 4

16 → 3

17 → 3

18 → 3

24 → 3

25 → 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 (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 y z))

Outputs

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

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

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

Call 3

Inputs

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

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

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

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

Call 4

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

Outputs

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

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

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

Call 5

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

Outputs

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

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

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

Call 6

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

Call 7

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

Outputs

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

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

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

Call 8

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

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

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

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

Outputs

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

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

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

Call 10

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

Outputs

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

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

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

Call 11

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

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

Calls

59 calls:

968.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
55.0ms	x
55.0ms	a
28.0ms	b
16.0ms	b

Results

Accuracy	Segments	Branch
25.9%	1	`b`
25.9%	1	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
25.9%	1	`x`
25.9%	1	`y`
25.9%	1	`z`
25.9%	1	`t`
25.9%	1	`a`
29.4%	2	`b`
30.4%	2	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
38.9%	3	`y`
39.7%	3	`z`
32.1%	2	`x`
40.5%	3	`t`
41.0%	3	`a`
53.0%	1	`y`
53.0%	1	`b`
53.0%	1	`z`
53.0%	1	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
61.9%	3	`t`
62.0%	2	`a`
65.0%	3	`z`
58.0%	2	`x`
66.1%	3	`t`
64.5%	3	`y`
66.7%	3	`a`
69.8%	3	`a`
68.5%	3	`x`
68.6%	3	`t`
70.3%	5	`z`
65.7%	3	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
66.3%	4	`b`
71.5%	4	`a`
73.5%	4	`x`
77.4%	3	`z`
71.9%	5	`y`
80.9%	3	`a`
73.9%	4	`t`
77.7%	1	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
85.3%	3	`z`
81.2%	3	`x`
77.7%	1	`b`
88.7%	3	`t`
85.7%	2	`a`
91.1%	3	`a`
90.6%	3	`t`
88.8%	4	`y`
90.1%	3	`x`
92.8%	3	`t`
89.6%	3	`z`
90.5%	3	`b`
91.8%	3	`a`
90.6%	4	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
99.2%	2	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
94.1%	1	`x`
94.1%	1	`y`
96.1%	2	`z`
95.7%	2	`t`
97.2%	2	`a`
96.9%	2	`b`

Compiler

Compiled 767 to 502 computations (34.6% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 18 to 22 computations (-22.2% saved)

bsearch25.0ms (0.5%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	5.5670694942057536e+57	2.833548006470329e+59
12.0ms	-4.6304277604667617e+89	-2.220853686234024e+86

Samples

13.0ms

240×

valid

Compiler

Compiled 715 to 539 computations (24.6% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch25.0ms (0.5%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	6.243355212931271e+21	3.7030526423441646e+23
13.0ms	-961456837603.0092	-2455059.152796053

Samples

13.0ms

256×

valid

Compiler

Compiled 754 to 566 computations (24.9% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch27.0ms (0.5%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	8.83001402572846e+81	1.3634742220676693e+94
10.0ms	-4.6304277604667617e+89	-2.220853686234024e+86

Samples

14.0ms

272×

valid

Compiler

Compiled 928 to 674 computations (27.4% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch21.0ms (0.4%)

Memory

-37.8MiB live, 10.2MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
8.0ms	6.243355212931271e+21	3.7030526423441646e+23
11.0ms	-961456837603.0092	-2455059.152796053

Samples

12.0ms

176×

valid

Compiler

Compiled 690 to 550 computations (20.3% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch33.0ms (0.6%)

Memory

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

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
14.0ms	1.1828596337609655e+59	5.474485720781476e+71
14.0ms	2.003497077698505e-13	0.0010865384093400603
1.0ms	-961456837603.0092	-2455059.152796053

Samples

16.0ms

320×

valid

Compiler

Compiled 1 517 to 1 109 computations (26.9% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch19.0ms (0.4%)

Memory

-27.4MiB live, 18.3MiB allocated; 4ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	1.1828596337609655e+59	5.474485720781476e+71
1.0ms	-961456837603.0092	-2455059.152796053

Samples

11.0ms

144×

valid

Compiler

Compiled 877 to 689 computations (21.4% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch17.0ms (0.3%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	3.7030526423441646e+23	1.5352635110905904e+30
1.0ms	-961456837603.0092	-2455059.152796053

Samples

8.0ms

144×

valid

Compiler

Compiled 756 to 616 computations (18.5% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch23.0ms (0.4%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
20.0ms	-9.449561528910126e+73	-1.624994206261585e+69

Samples

12.0ms

128×

valid

Compiler

Compiled 378 to 302 computations (20.1% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch4.0ms (0.1%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
2.0ms	3.7030526423441646e+23	1.5352635110905904e+30
2.0ms	-961456837603.0092	-2455059.152796053

Compiler

Compiled 810 to 652 computations (19.5% saved)

derivations6.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 780 to 104 computations (86.7% saved)

preprocess99.0ms (1.9%)

Memory: -34.8MiB live, 148.6MiB allocated; 21ms collecting garbage
Compiler: Compiled 795 to 117 computations (85.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample1.3s (25.3%)

preprocess395.0ms (7.6%)

series204.0ms (3.9%)

rewrite262.0ms (5%)

eval14.0ms (0.3%)

prune4.0ms (0.1%)

series213.0ms (4.1%)

rewrite221.0ms (4.3%)

eval20.0ms (0.4%)

prune11.0ms (0.2%)

series195.0ms (3.8%)

rewrite207.0ms (4%)

eval14.0ms (0.3%)

prune11.0ms (0.2%)

series183.0ms (3.5%)

rewrite195.0ms (3.8%)

eval16.0ms (0.3%)

prune13.0ms (0.2%)

regimes1.4s (26.9%)

bsearch0.0ms (0%)

bsearch25.0ms (0.5%)

bsearch25.0ms (0.5%)

bsearch27.0ms (0.5%)

bsearch21.0ms (0.4%)

bsearch33.0ms (0.6%)

bsearch19.0ms (0.4%)

bsearch17.0ms (0.3%)

bsearch23.0ms (0.4%)

bsearch4.0ms (0.1%)

derivations6.0ms (0.1%)

preprocess99.0ms (1.9%)

end0.0ms (0%)

Profiling