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.3MiB live, 0.3MiB 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 (22.7%)

Memory

53.9MiB live, 1 085.5MiB allocated; 302ms collecting garbage

Samples

848.0ms

8 256×

valid

Precisions

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

ival-mult!: 274.0ms (80.5% of total)

ival-add!: 65.0ms (19.1% of total)

adjust: 2.0ms (0.6% of total)

Bogosity

preprocess114.0ms (1.9%)

Memory

6.9MiB live, 52.0MiB allocated; 37ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	434
1	1193	434

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Compiler

Compiled 30 to 26 computations (13.3% saved)

series276.0ms (4.7%)

Memory

7.2MiB live, 104.8MiB allocated; 37ms 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
42.0ms	z	-inf
20.0ms	z	inf
4.0ms	a	inf
3.0ms	z	0
3.0ms	a	-inf

rewrite399.0ms (6.7%)

Memory

-28.6MiB live, 290.3MiB allocated; 246ms collecting garbage

Counts

13 → 39

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

eval29.0ms (0.5%)

Memory: -38.9MiB live, 53.9MiB allocated; 16ms collecting garbage
Compiler: Compiled 2 497 to 450 computations (82% saved)

prune8.0ms (0.1%)

Memory

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

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	74	7	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	7	82

Accuracy

100.0%

Counts

82 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	71.8%	(+.f64 #s(approx (+ (+ x (* y z)) (* t a)) (+.f64 x (.f64 a t))) (.f64 (*.f64 a z) b))
	68.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (fma.f64 a t (fma.f64 a (.f64 b z) (.f64 y z))))
▶	73.6%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a (.f64 b z) (.f64 y z))))
▶	73.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (.f64 a (.f64 b z)))))
▶	79.6%	#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))))))
▶	50.4%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z (+.f64 y (.f64 a b))))
▶	47.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a (+.f64 t (.f64 b z))))

Compiler

Compiled 356 to 250 computations (29.8% saved)

series374.0ms (6.3%)

Memory

1.8MiB live, 331.7MiB allocated; 88ms collecting garbage

Counts

30 → 153

Calls

Call 1

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

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

rewrite697.0ms (11.8%)

Memory

5.5MiB live, 377.9MiB allocated; 209ms collecting garbage

Counts

30 → 104

Calls

Call 1

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

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

eval44.0ms (0.7%)

Memory: -11.7MiB live, 34.5MiB allocated; 8ms collecting garbage
Compiler: Compiled 10 952 to 1 465 computations (86.6% saved)

prune12.0ms (0.2%)

Memory

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

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	262	11	273
Fresh	2	0	2
Picked	5	0	5
Done	0	0	0
Total	269	11	280

Accuracy

100.0%

Counts

280 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
	72.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (.f64 (.f64 a z) b))))
▶	76.3%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (*.f64 y z))))
▶	53.5%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (*.f64 y z)))
	53.0%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (*.f64 a t)))
	50.4%	#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 (.f64 (-.f64 y (.f64 a b)) (fma.f64 b a y)) (/.f64 z (-.f64 y (.f64 a b)))))
	63.7%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z (+.f64 y (fma.f64 a b #s(approx (+ (/ x z) (/ ( a t) z)) (/.f64 (*.f64 a t) z))))))
▶	28.2%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 z #s(approx (+ y ( a b)) (*.f64 a b))))
▶	25.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
	26.4%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (* z (+ y (* a b))) (.f64 a (.f64 b z))))
▶	77.2%	#s(approx (+ (* y z) (+ x (* (+ t (* b z)) a))) (fma.f64 (fma.f64 b a y) z x))

Compiler

Compiled 576 to 398 computations (30.9% saved)

series232.0ms (3.9%)

Memory

-17.9MiB live, 124.6MiB allocated; 41ms collecting garbage

Counts

22 → 108

Calls

Call 1

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

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

Calls

18 calls:

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

rewrite620.0ms (10.5%)

Memory

27.9MiB live, 353.7MiB allocated; 48ms collecting garbage

Counts

22 → 50

Calls

Call 1

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

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

eval89.0ms (1.5%)

Memory: 3.3MiB live, 51.8MiB allocated; 81ms collecting garbage
Compiler: Compiled 5 829 to 840 computations (85.6% saved)

prune9.0ms (0.1%)

Memory

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

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	160	5	165
Fresh	2	4	6
Picked	2	3	5
Done	0	0	0
Total	164	12	176

Accuracy

100.0%

Counts

176 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	72.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (.f64 (.f64 a z) b))))
▶	53.0%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (*.f64 a t)))
	50.4%	#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 (.f64 (-.f64 y (.f64 a b)) (fma.f64 b a y)) (/.f64 z (-.f64 y (.f64 a b)))))
✓	28.2%	#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 a #s(approx (+ t ( b z)) (*.f64 b z))))
✓	25.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
▶	49.0%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (+ (* a t) (* y z))) (fma.f64 a t (*.f64 y z))))
▶	25.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (* y z)) (*.f64 y z)))
▶	76.3%	#s(approx (+ (+ x (* t a)) (* (+ (* b a) y) z)) (fma.f64 z y (fma.f64 a t x)))
	53.5%	#s(approx (+ (+ x (* t a)) (* (+ (* b a) y) z)) (fma.f64 z y x))
✓	77.2%	#s(approx (+ (* y z) (+ x (* (+ t (* b z)) a))) (fma.f64 (fma.f64 b a y) z x))

Compiler

Compiled 525 to 360 computations (31.4% saved)

series266.0ms (4.5%)

Memory

-16.7MiB live, 178.0MiB allocated; 44ms collecting garbage

Counts

23 → 92

Calls

Call 1

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

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

Calls

18 calls:

Time	Variable	Point
40.0ms	t	inf
6.0ms	x	-inf
4.0ms	a	-inf
3.0ms	t	-inf
3.0ms	b	0

rewrite587.0ms (9.9%)

Memory

-4.7MiB live, 564.0MiB allocated; 147ms collecting garbage

Counts

23 → 62

Calls

Call 1

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

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

eval36.0ms (0.6%)

Memory: -0.2MiB live, 91.2MiB allocated; 7ms collecting garbage
Compiler: Compiled 5 701 to 800 computations (86% saved)

prune7.0ms (0.1%)

Memory

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

Pruning

11 alts after pruning (6 fresh and 5 done)

	Pruned	Kept	Total
New	158	2	160
Fresh	0	4	4
Picked	3	2	5
Done	0	3	3
Total	161	11	172

Accuracy

100.0%

Counts

172 → 11

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	72.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (+.f64 x (fma.f64 a t (.f64 (.f64 a z) b))))
	50.4%	#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 (.f64 (-.f64 y (.f64 a b)) (fma.f64 b a y)) (/.f64 z (-.f64 y (.f64 a b)))))
✓	28.2%	#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 a #s(approx (+ t ( b z)) (*.f64 b z))))
✓	25.8%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) (.f64 a #s(approx (+ t ( b z)) t)))
✓	25.9%	#s(approx (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) #s(approx (+ x (* y z)) (*.f64 y z)))
	53.0%	#s(approx (+ (+ x (* y z)) (* a (+ t (* z b)))) (fma.f64 a t x))
	49.0%	#s(approx (+ (+ x (* t a)) (* (+ (* b a) y) z)) (fma.f64 z y #s(approx (+ (* a t) x) (*.f64 a t))))
	53.5%	#s(approx (+ (+ x (* t a)) (* (+ (* b a) y) z)) (fma.f64 z y x))
✓	77.2%	#s(approx (+ (* y z) (+ x (* (+ t (* b z)) a))) (fma.f64 (fma.f64 b a y) z x))

Compiler

Compiled 269 to 187 computations (30.5% saved)

regimes430.0ms (7.3%)

Memory

4.7MiB live, 606.2MiB allocated; 140ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 3

3 → 3

11 → 3

14 → 3

15 → 3

17 → 3

23 → 3

26 → 3

Calls

Call 1

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

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

Call 2

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

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

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

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

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

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

Call 4

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

Call 5

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

Outputs

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

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

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

Call 6

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

Outputs

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

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

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

Call 7

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

Outputs

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

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

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

Call 8

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

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

Outputs

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

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

Call 9

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

Outputs

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

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

Calls

55 calls:

49.0ms	x
46.0ms	y
32.0ms	x
27.0ms	b
23.0ms	z

Results

Accuracy	Segments	Branch
25.9%	1	`x`
25.9%	1	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
25.9%	1	`b`
25.9%	1	`t`
25.9%	1	`y`
25.9%	1	`z`
25.9%	1	`a`
30.3%	3	`x`
30.2%	2	`b`
38.5%	3	`z`
37.4%	3	`y`
29.0%	2	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
37.3%	3	`t`
40.5%	3	`a`
55.7%	2	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
60.2%	3	`t`
53.5%	1	`b`
53.5%	1	`y`
53.5%	1	`z`
53.5%	1	`x`
61.5%	3	`a`
63.4%	3	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
67.9%	3	`a`
68.2%	4	`z`
68.1%	4	`y`
67.6%	4	`b`
72.3%	6	`x`
70.3%	3	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
68.6%	5	`t`
76.9%	3	`a`
77.6%	3	`z`
85.4%	3	`a`
77.2%	1	`x`
79.3%	2	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
77.2%	1	`y`
77.2%	1	`b`
82.9%	3	`t`
85.5%	3	`z`
90.4%	3	`z`
89.8%	3	`b`
87.9%	4	`a`
89.0%	4	`x`
88.9%	3	`y`
90.4%	3	`t`
91.2%	3	`b`
92.2%	3	`a`
90.6%	3	`z`
88.5%	3	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
99.2%	3	`(+.f64 (+.f64 (+.f64 x (.f64 y z)) (.f64 t a)) (.f64 (.f64 a z) b))`
93.2%	1	`x`
93.2%	1	`y`
98.4%	3	`z`
93.2%	1	`t`
95.9%	2	`a`
93.2%	1	`b`

Compiler

Compiled 815 to 505 computations (38% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.627071238588426e+304	1.0531690130737569e+307
0.0ms	-inf	-2.697711819711584e+304

Compiler

Compiled 18 to 22 computations (-22.2% saved)

bsearch136.0ms (2.3%)

Memory

-40.4MiB live, 33.6MiB allocated; 165ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
121.0ms	3.4367660633291597e-25	8.622142088516845e-20
12.0ms	-442.2886455494153	-1.0736572041046488

Samples

123.0ms

272×

valid

Compiler

Compiled 817 to 617 computations (24.5% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch20.0ms (0.3%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
7.0ms	3.349577065157522e-25	1.295443915320326e-24
10.0ms	-2.7231043439598074e-48	-6.3612273881564585e-50

Samples

10.0ms

192×

valid

Compiler

Compiled 522 to 406 computations (22.2% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch31.0ms (0.5%)

Memory

-26.6MiB live, 26.8MiB allocated; 15ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
20.0ms	2.887655034339034e-60	1.2336577141738358e-56
9.0ms	-2.7231043439598074e-48	-6.3612273881564585e-50

Samples

20.0ms

224×

valid

Compiler

Compiled 603 to 487 computations (19.2% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch23.0ms (0.4%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
7.0ms	3.1114375265229393e-29	8.677311799920219e-29
13.0ms	-2.2431366986333063e+26	-803575788464601200.0

Samples

12.0ms

224×

valid

Compiler

Compiled 578 to 470 computations (18.7% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch19.0ms (0.3%)

Memory

-27.8MiB live, 17.9MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	2.3447143752766956e-7	2074290.8637741155
1.0ms	-442.2886455494153	-1.0736572041046488

Samples

10.0ms

160×

valid

Compiler

Compiled 666 to 562 computations (15.6% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch29.0ms (0.5%)

Memory

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

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
14.0ms	1.8797967729264953e+87	8.09638649656719e+97
12.0ms	-8.713118233267874e+48	-1.7676050148758255e+44

Samples

15.0ms

288×

valid

Compiler

Compiled 792 to 634 computations (19.9% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch16.0ms (0.3%)

Memory

-31.3MiB live, 14.7MiB allocated; 4ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	2074290.8637741155	1472859330.687937
1.0ms	-442.2886455494153	-1.0736572041046488

Samples

7.0ms

128×

valid

Compiler

Compiled 818 to 598 computations (26.9% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

derivations3.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 652 to 113 computations (82.7% saved)

preprocess74.0ms (1.3%)

Memory: 29.8MiB live, 123.9MiB allocated; 20ms collecting garbage
Compiler: Compiled 667 to 126 computations (81.1% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample1.3s (22.7%)

preprocess114.0ms (1.9%)

series276.0ms (4.7%)

rewrite399.0ms (6.7%)

eval29.0ms (0.5%)

prune8.0ms (0.1%)

series374.0ms (6.3%)

rewrite697.0ms (11.8%)

eval44.0ms (0.7%)

prune12.0ms (0.2%)

series232.0ms (3.9%)

rewrite620.0ms (10.5%)

eval89.0ms (1.5%)

prune9.0ms (0.1%)

series266.0ms (4.5%)

rewrite587.0ms (9.9%)

eval36.0ms (0.6%)

prune7.0ms (0.1%)

regimes430.0ms (7.3%)

bsearch1.0ms (0%)

bsearch136.0ms (2.3%)

bsearch20.0ms (0.3%)

bsearch31.0ms (0.5%)

bsearch23.0ms (0.4%)

bsearch19.0ms (0.3%)

bsearch29.0ms (0.5%)

bsearch16.0ms (0.3%)

derivations3.0ms (0.1%)

preprocess74.0ms (1.3%)

end0.0ms (0%)

Profiling