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

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

0.8MiB live, 0.8MiB 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 (26%)

Memory

57.1MiB live, 1 131.5MiB allocated; 431ms collecting garbage

Samples

671.0ms

8 256×

valid

Precisions

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

ival-mult!: 198.0ms (77% of total)

ival-add!: 58.0ms (22.5% of total)

adjust: 1.0ms (0.4% of total)

Bogosity

preprocess86.0ms (2.1%)

Memory

-20.1MiB live, 24.5MiB allocated; 13ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	442

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Compiler

Compiled 30 to 26 computations (13.3% saved)

series243.0ms (5.9%)

Memory

-7.0MiB live, 83.1MiB allocated; 44ms 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	a	-inf
2.0ms	z	0
2.0ms	z	inf

rewrite207.0ms (5%)

Memory

13.9MiB live, 82.6MiB allocated; 72ms 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

eval18.0ms (0.4%)

Memory: -31.7MiB live, 15.2MiB allocated; 13ms collecting garbage
Compiler: Compiled 1 787 to 342 computations (80.9% saved)

prune5.0ms (0.1%)

Memory

9.0MiB live, 9.0MiB 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
▶	92.4%	(fma.f64 (*.f64 a z) b (fma.f64 t a (fma.f64 y z x)))
▶	73.7%	(+.f64 #s(approx (+ (+ x (* y z)) (* t a)) (+.f64 x (.f64 a t))) (.f64 (*.f64 a z) b))
	68.5%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 a t (fma.f64 a (.f64 b z) (.f64 y z))))
▶	73.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (.f64 a (.f64 b z)))))
▶	50.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z (+.f64 y (.f64 a b))))
▶	50.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a (+.f64 t (.f64 b z))))

Compiler

Compiled 264 to 192 computations (27.3% saved)

series320.0ms (7.8%)

Memory

28.5MiB live, 120.2MiB allocated; 39ms collecting garbage

Counts

27 → 100

Calls

Call 1

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

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

Calls

18 calls:

Time	Variable	Point
41.0ms	t	inf
20.0ms	a	0
9.0ms	a	inf
5.0ms	a	-inf
4.0ms	b	-inf

rewrite232.0ms (5.6%)

Memory

-23.6MiB live, 120.9MiB allocated; 52ms collecting garbage

Counts

27 → 31

Calls

Call 1

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

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

eval16.0ms (0.4%)

Memory: -14.2MiB live, 31.2MiB allocated; 6ms collecting garbage
Compiler: Compiled 3 687 to 610 computations (83.5% saved)

prune8.0ms (0.2%)

Memory

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

Pruning

12 alts after pruning (8 fresh and 4 done)

	Pruned	Kept	Total
New	113	8	121
Fresh	1	0	1
Picked	1	4	5
Done	0	0	0
Total	115	12	127

Accuracy

100.0%

Counts

127 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	92.4%	(fma.f64 (*.f64 a z) b (fma.f64 t a (fma.f64 y z x)))
▶	68.6%	(fma.f64 (.f64 a z) b (fma.f64 t a #s(approx (+ ( y z) x) (*.f64 y z))))
✓	73.7%	(+.f64 #s(approx (+ (+ x (* y z)) (* t a)) (+.f64 x (.f64 a t))) (.f64 (*.f64 a z) b))
▶	49.8%	(+.f64 #s(approx (+ (+ x (* y z)) (* t a)) #s(approx (+ x (* a t)) (.f64 a t))) (.f64 (*.f64 a z) b))
✓	50.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z (+.f64 y (.f64 a b))))
▶	27.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z #s(approx (+ y ( a b)) (*.f64 a b))))
✓	50.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a (+.f64 t (.f64 b z))))
▶	28.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
▶	73.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) (+.f64 x (.f64 a (+.f64 t (.f64 b z))))))
	49.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) (+.f64 x (.f64 a (.f64 b z)))))
	64.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) (*.f64 a (+.f64 t (fma.f64 b z (/.f64 x a))))))
	26.5%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (* z (+ y (* a b))) (.f64 a (.f64 b z))))

Compiler

Compiled 545 to 378 computations (30.6% saved)

series369.0ms (9%)

Memory

-12.0MiB live, 132.0MiB allocated; 45ms collecting garbage

Counts

29 → 103

Calls

Call 1

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

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

Calls

18 calls:

Time	Variable	Point
43.0ms	y	-inf
19.0ms	a	0
5.0ms	z	-inf
4.0ms	z	inf
3.0ms	z	0

rewrite219.0ms (5.3%)

Memory

11.5MiB live, 57.9MiB allocated; 5ms collecting garbage

Counts

29 → 29

Calls

Call 1

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

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

eval78.0ms (1.9%)

Memory: -11.2MiB live, 40.7MiB allocated; 11ms collecting garbage
Compiler: Compiled 3 772 to 616 computations (83.7% saved)

prune10.0ms (0.2%)

Memory

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

Pruning

12 alts after pruning (3 fresh and 9 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	3	3
Picked	0	5	5
Done	0	4	4
Total	107	12	119

Accuracy

100.0%

Counts

119 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	92.4%	(fma.f64 (*.f64 a z) b (fma.f64 t a (fma.f64 y z x)))
✓	68.6%	(fma.f64 (.f64 a z) b (fma.f64 t a #s(approx (+ ( y z) x) (*.f64 y z))))
✓	73.7%	(+.f64 #s(approx (+ (+ x (* y z)) (* t a)) (+.f64 x (.f64 a t))) (.f64 (*.f64 a z) b))
✓	49.8%	(+.f64 #s(approx (+ (+ x (* y z)) (* t a)) #s(approx (+ x (* a t)) (.f64 a t))) (.f64 (*.f64 a z) b))
✓	50.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z (+.f64 y (.f64 a b))))
✓	27.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z #s(approx (+ y ( a b)) (*.f64 a b))))
✓	50.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a (+.f64 t (.f64 b z))))
✓	28.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
✓	73.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) (+.f64 x (.f64 a (+.f64 t (.f64 b z))))))
▶	49.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) (+.f64 x (.f64 a (.f64 b z)))))
▶	64.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) (*.f64 a (+.f64 t (fma.f64 b z (/.f64 x a))))))
▶	26.5%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (* z (+ y (* a b))) (.f64 a (.f64 b z))))

Compiler

Compiled 312 to 219 computations (29.8% saved)

series221.0ms (5.4%)

Memory

2.2MiB live, 141.1MiB allocated; 19ms collecting garbage

Counts

18 → 95

Calls

Call 1

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

Calls

18 calls:

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

rewrite207.0ms (5%)

Memory

-21.8MiB live, 124.8MiB allocated; 75ms collecting garbage

Counts

18 → 19

Calls

Call 1

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

eval11.0ms (0.3%)

Memory: 24.5MiB live, 24.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 4 319 to 595 computations (86.2% saved)

prune7.0ms (0.2%)

Memory

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

Pruning

12 alts after pruning (5 fresh and 7 done)

	Pruned	Kept	Total
New	97	5	102
Fresh	0	0	0
Picked	1	2	3
Done	4	5	9
Total	102	12	114

Accuracy

100.0%

Counts

114 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	92.4%	(fma.f64 (*.f64 a z) b (fma.f64 t a (fma.f64 y z x)))
	75.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (*.f64 y z))))
	49.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (*.f64 y z)))
	52.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (*.f64 a t)))
✓	27.1%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z #s(approx (+ y ( a b)) (*.f64 a b))))
	26.4%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (*.f64 y z))
✓	50.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a (+.f64 t (.f64 b z))))
✓	28.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
✓	73.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) (+.f64 x (.f64 a (+.f64 t (.f64 b z))))))
✓	49.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) (+.f64 x (.f64 a (.f64 b z)))))
	45.0%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* a (* b z)))) #s(approx (+ x (* a (* b z))) (*.f64 b (fma.f64 a z (/.f64 x b))))))
✓	26.5%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (* z (+ y (* a b))) (.f64 a (.f64 b z))))

Compiler

Compiled 317 to 220 computations (30.6% saved)

regimes249.0ms (6%)

Memory

2.5MiB live, 523.6MiB allocated; 59ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 3

3 → 3

6 → 3

7 → 4

8 → 3

9 → 3

10 → 3

11 → 3

15 → 3

16 → 3

18 → 4

20 → 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)) (+.f64 x (*.f64 a t)))

Outputs
#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 a 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 y z))

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

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

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

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

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

Outputs

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

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

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

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

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

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

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

Outputs

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

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

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

Outputs

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

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

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

Call 12

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

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

Call 13

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

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

Calls

62 calls:

15.0ms	y
10.0ms	a
10.0ms	(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))
8.0ms	x
7.0ms	b

Results

Accuracy	Segments	Branch
28.7%	1	`x`
28.7%	1	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
28.7%	1	`b`
28.7%	1	`z`
28.7%	1	`t`
28.7%	1	`y`
28.7%	1	`a`
40.5%	3	`t`
41.6%	3	`a`
31.2%	2	`b`
28.7%	1	`x`
32.0%	3	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
39.5%	3	`z`
41.2%	3	`y`
52.3%	1	`b`
52.3%	1	`t`
60.3%	3	`z`
61.3%	3	`y`
52.3%	1	`a`
64.9%	3	`a`
62.0%	3	`b`
52.3%	1	`x`
64.0%	3	`t`
64.7%	3	`y`
67.3%	4	`y`
62.0%	5	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
67.2%	4	`t`
65.1%	3	`b`
66.4%	4	`a`
76.9%	3	`a`
66.0%	4	`z`
71.6%	6	`y`
68.1%	3	`t`
70.5%	5	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
76.9%	3	`a`
77.0%	3	`z`
65.4%	3	`x`
68.4%	3	`b`
84.6%	3	`z`
85.7%	3	`b`
79.1%	2	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
86.0%	3	`b`
84.0%	3	`a`
75.1%	1	`y`
87.0%	3	`y`
86.8%	3	`b`
88.2%	3	`b`
87.9%	3	`y`
88.5%	3	`b`
85.1%	3	`x`
90.4%	4	`y`
82.0%	4	`t`
87.3%	4	`z`
87.0%	3	`a`
87.9%	4	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
97.4%	2	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
92.4%	1	`x`
92.4%	1	`y`
94.4%	2	`z`
92.4%	1	`t`
95.1%	2	`a`
92.4%	1	`b`

Compiler

Compiled 669 to 513 computations (23.3% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB 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)

bsearch96.0ms (2.3%)

Memory

4.2MiB live, 97.0MiB allocated; 8ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
12.0ms	3.649334194529088e+99	2.690581305521693e+102
23.0ms	-1.0456732955516068e-31	-8.65324101864716e-35
56.0ms	-1.8175233435954792e+91	-3.801313059078802e+85

Samples

28.0ms

400×

valid

Compiler

Compiled 1 221 to 923 computations (24.4% saved)

Precisions

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

ival-mult!: 9.0ms (74.8% of total)

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

adjust: 0.0ms (0% of total)

bsearch37.0ms (0.9%)

Memory

-44.8MiB live, 56.6MiB allocated; 20ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	1.8500306146086588e+50	1.5456968563132792e+53
22.0ms	-1919.21187887422	-1.648002070696542e-5

Samples

23.0ms

272×

valid

Compiler

Compiled 783 to 617 computations (21.2% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch11.0ms (0.3%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	3.649334194529088e+99	2.690581305521693e+102
9.0ms	-4.4786821745501155e-10	-2.8911741291668036e-11

Samples

5.0ms

96×

valid

Compiler

Compiled 872 to 624 computations (28.4% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch68.0ms (1.7%)

Memory

-0.3MiB live, 81.4MiB allocated; 27ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
30.0ms	8.022540580125102e+47	1.8500306146086588e+50
35.0ms	-5.238374375875373e+207	-1.0715347117180756e+201

Samples

48.0ms

256×

valid

Compiler

Compiled 959 to 670 computations (30.1% saved)

Precisions

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

ival-mult!: 21.0ms (59.3% of total)

ival-add!: 15.0ms (42.4% of total)

adjust: 0.0ms (0% of total)

bsearch9.0ms (0.2%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	8.022540580125102e+47	1.8500306146086588e+50
6.0ms	-5.238374375875373e+207	-1.0715347117180756e+201

Samples

3.0ms

32×

valid

Compiler

Compiled 770 to 598 computations (22.3% saved)

Precisions

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

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

adjust: 0.0ms (0% of total)

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

bsearch56.0ms (1.3%)

Memory

-14.2MiB live, 41.6MiB allocated; 32ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	1.7077180927693706e-30	4.993899258609739e-29
43.0ms	-6.858629607435723e+80	-3.2990681611222183e+78

Samples

43.0ms

224×

valid

Compiler

Compiled 634 to 512 computations (19.2% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch28.0ms (0.7%)

Memory

-4.7MiB live, 44.0MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.0790534025359165e+36	1.2216287228594097e+44
10.0ms	-8.763996001826146e-38	-3.145638797738487e-39

Samples

16.0ms

256×

valid

Compiler

Compiled 722 to 582 computations (19.4% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch22.0ms (0.5%)

Memory

-11.9MiB live, 35.0MiB allocated; 2ms collecting garbage

Algorithm

3×	binary-search

Stop Event

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

Steps

Time	Left	Right
9.0ms	3.649334194529088e+99	2.690581305521693e+102
10.0ms	-2.3691503807807015e-175	-1.5125075142215248e-177
1.0ms	-4.4786821745501155e-10	-2.8911741291668036e-11

Samples

12.0ms

192×

valid

Compiler

Compiled 1 082 to 827 computations (23.6% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch24.0ms (0.6%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	6.387129634334613e+32	1.0790534025359165e+36
10.0ms	-8.755670997547932e+47	-3.683316379356825e+46

Samples

13.0ms

240×

valid

Compiler

Compiled 648 to 532 computations (17.9% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch17.0ms (0.4%)

Memory

-25.6MiB live, 20.0MiB allocated; 6ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	8.488707635135053e+214	9.409450385712972e+214
14.0ms	-3.735244037949903e+125	-1.5508998001336152e+123

Samples

11.0ms

128×

valid

Compiler

Compiled 338 to 286 computations (15.4% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch2.0ms (0%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	6.387129634334613e+32	1.0790534025359165e+36
1.0ms	-8.755670997547932e+47	-3.683316379356825e+46

Compiler

Compiled 678 to 547 computations (19.3% saved)

derivations4.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 1 005 to 131 computations (87% saved)

preprocess167.0ms (4%)

Memory: -3.8MiB live, 278.3MiB allocated; 48ms collecting garbage
Compiler: Compiled 1 020 to 144 computations (85.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample1.1s (26%)

preprocess86.0ms (2.1%)

series243.0ms (5.9%)

rewrite207.0ms (5%)

eval18.0ms (0.4%)

prune5.0ms (0.1%)

series320.0ms (7.8%)

rewrite232.0ms (5.6%)

eval16.0ms (0.4%)

prune8.0ms (0.2%)

series369.0ms (9%)

rewrite219.0ms (5.3%)

eval78.0ms (1.9%)

prune10.0ms (0.2%)

series221.0ms (5.4%)

rewrite207.0ms (5%)

eval11.0ms (0.3%)

prune7.0ms (0.2%)

regimes249.0ms (6%)

bsearch0.0ms (0%)

bsearch96.0ms (2.3%)

bsearch37.0ms (0.9%)

bsearch11.0ms (0.3%)

bsearch68.0ms (1.7%)

bsearch9.0ms (0.2%)

bsearch56.0ms (1.3%)

bsearch28.0ms (0.7%)

bsearch22.0ms (0.5%)

bsearch24.0ms (0.6%)

bsearch17.0ms (0.4%)

bsearch2.0ms (0%)

derivations4.0ms (0.1%)

preprocess167.0ms (4%)

end0.0ms (0%)

Profiling