Metrics for Linear.V4:$cdot from linear-1.19.1.3, C

start0.0ms (0%)

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

analyze1.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.6%	0.4%	0%	0%	0%	0
100%	99.6%	0%	0.4%	0%	0%	0%	1

Compiler

Compiled 17 to 17 computations (0% saved)

sample1.9s (38.2%)

Memory

11.2MiB live, 1 537.5MiB allocated; 451ms collecting garbage

Samples

1.1s

8 256×

valid

Precisions

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

ival-mult!: 666.0ms (86.6% of total)

ival-add!: 101.0ms (13.1% of total)

adjust: 2.0ms (0.3% of total)

Bogosity

preprocess167.0ms (3.4%)

Memory

-10.4MiB live, 43.9MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	687
1	725	679
2	2803	675
3	6593	675
4	6648	675
5	6648	675
6	7817	675
7	7827	675
8	7827	675

Stop Event

1×

saturated

Alt Table

Click to see full alt table

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

Symmetry

(sort x y)

(sort z t)

(sort a b)

(sort c i)

Compiler

Compiled 30 to 30 computations (0% saved)

series33.0ms (0.7%)

Memory

27.4MiB live, 73.5MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	257	1261

Stop Event

1×	iter-limit

Counts

15 → 56

Calls

Call 1

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

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

Calls

24 calls:

Time	Variable		Point	Expression
3.0ms	b	@	0	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) x y (* z t) z t (* a b) a b (* c i) c i)
2.0ms	b	@	inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) x y (* z t) z t (* a b) a b (* c i) c i)
1.0ms	x	@	inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) x y (* z t) z t (* a b) a b (* c i) c i)
1.0ms	z	@	0	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) x y (* z t) z t (* a b) a b (* c i) c i)
1.0ms	x	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) x y (* z t) z t (* a b) a b (* c i) c i)

rewrite378.0ms (7.7%)

Memory

3.3MiB live, 236.9MiB allocated; 65ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	53
0	22	53
1	95	53
2	376	53
3	1421	53
4	3326	53
5	4251	53
6	6942	53
0	8096	47
1	11853	47

Stop Event

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

Counts

15 → 111

Calls

Call 1

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

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

eval16.0ms (0.3%)

Memory: -15.4MiB live, 30.5MiB allocated; 3ms collecting garbage
Compiler: Compiled 1 196 to 538 computations (55% saved)

prune4.0ms (0.1%)

Memory

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

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	151	4	155
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	152	4	156

Accuracy

100.0%

Counts

156 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.0%	(fma.f64 y x (fma.f64 i c (fma.f64 b a (*.f64 t z))))
▶	76.8%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 c i (fma.f64 t z (*.f64 x y))))
▶	72.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 a b (fma.f64 c i (*.f64 x y))))
▶	73.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 a b (fma.f64 c i (*.f64 t z))))

Compiler

Compiled 69 to 69 computations (0% saved)

series55.0ms (1.1%)

Memory

-18.9MiB live, 84.0MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	475	2357

Stop Event

1×	iter-limit

Counts

22 → 107

Calls

Call 1

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

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

Calls

24 calls:

Time	Variable		Point	Expression
14.0ms	t	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* t z))) a b (+ (* c i) (* t z)) c i (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (+ (* y x) (+ (* i c) (+ (* b a) (* t z)))) (+ (* i c) (+ (* b a) (* t z))) (+ (* b a) (* t z)))
1.0ms	z	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* t z))) a b (+ (* c i) (* t z)) c i (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (+ (* y x) (+ (* i c) (+ (* b a) (* t z)))) (+ (* i c) (+ (* b a) (* t z))) (+ (* b a) (* t z)))
1.0ms	x	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* t z))) a b (+ (* c i) (* t z)) c i (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (+ (* y x) (+ (* i c) (+ (* b a) (* t z)))) (+ (* i c) (+ (* b a) (* t z))) (+ (* b a) (* t z)))
1.0ms	c	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* t z))) a b (+ (* c i) (* t z)) c i (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (+ (* y x) (+ (* i c) (+ (* b a) (* t z)))) (+ (* i c) (+ (* b a) (* t z))) (+ (* b a) (* t z)))
1.0ms	y	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* t z))) a b (+ (* c i) (* t z)) c i (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (+ (* y x) (+ (* i c) (+ (* b a) (* t z)))) (+ (* i c) (+ (* b a) (* t z))) (+ (* b a) (* t z)))

rewrite411.0ms (8.4%)

Memory

-4.7MiB live, 183.1MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	161
0	43	158
1	316	152
2	1018	152
3	2683	152
4	3926	152
5	4363	152
6	7043	152
0	8197	152
1	11950	152

Stop Event

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

Counts

22 → 218

Calls

Call 1

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

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

eval34.0ms (0.7%)

Memory: 39.0MiB live, 83.6MiB allocated; 6ms collecting garbage
Compiler: Compiled 2 411 to 1 085 computations (55% saved)

prune13.0ms (0.3%)

Memory

-19.9MiB live, 26.0MiB allocated; 6ms collecting garbage

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	309	4	313
Fresh	0	0	0
Picked	3	1	4
Done	0	0	0
Total	312	5	317

Accuracy

100.0%

Counts

317 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	77.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 y x (fma.f64 i c (*.f64 t z))))
▶	50.9%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 c i #s(approx (+ (* t z) (* x y)) (*.f64 t z))))
✓	73.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 a b (fma.f64 c i (*.f64 t z))))
▶	44.6%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 a b #s(approx (+ (* c i) (* x y)) (*.f64 c i))))
▶	53.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (* a b) (+ (* c i) (* x y))) (fma.f64 a b (*.f64 x y))))

Compiler

Compiled 106 to 100 computations (5.7% saved)

series39.0ms (0.8%)

Memory

10.6MiB live, 64.1MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	413	2029

Stop Event

1×	iter-limit

Counts

23 → 94

Calls

Call 1

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

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

Calls

24 calls:

Time	Variable		Point	Expression
6.0ms	a	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) a b (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* c i) c i (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* y x) (+ (* i c) (* t z))) (+ (* i c) (* t z)))
1.0ms	x	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) a b (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* c i) c i (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* y x) (+ (* i c) (* t z))) (+ (* i c) (* t z)))
1.0ms	y	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) a b (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* c i) c i (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* y x) (+ (* i c) (* t z))) (+ (* i c) (* t z)))
1.0ms	c	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) a b (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* c i) c i (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* y x) (+ (* i c) (* t z))) (+ (* i c) (* t z)))
1.0ms	i	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) a b (* x y) x y (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* c i) (* x y)) (* c i) c i (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* c i) (+ (* t z) (* x y))) (+ (* t z) (* x y)) (* t z) t z (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* y x) (+ (* i c) (* t z))) (+ (* i c) (* t z)))

rewrite415.0ms (8.5%)

Memory

12.0MiB live, 198.7MiB allocated; 59ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	225
0	44	225
1	277	215
2	896	215
3	2439	215
4	3879	215
5	4481	215
6	7161	215
0	8315	203
1	12151	203

Stop Event

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

Counts

23 → 101

Calls

Call 1

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

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

eval22.0ms (0.5%)

Memory: 6.6MiB live, 53.7MiB allocated; 7ms collecting garbage
Compiler: Compiled 1 753 to 812 computations (53.7% saved)

prune9.0ms (0.2%)

Memory

-24.5MiB live, 20.2MiB allocated; 6ms collecting garbage

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	190	1	191
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	190	6	196

Accuracy

100.0%

Counts

196 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 y x (fma.f64 i c (*.f64 t z))))
✓	50.9%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 c i #s(approx (+ (* t z) (* x y)) (*.f64 t z))))
✓	73.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 a b (fma.f64 c i (*.f64 t z))))
✓	44.6%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 a b #s(approx (+ (* c i) (* x y)) (*.f64 c i))))
✓	53.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (* a b) (+ (* c i) (* x y))) (fma.f64 a b (*.f64 x y))))
▶	25.5%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (* a b) (+ (* c i) (* x y))) #s(approx (+ (* a b) (* x y)) (*.f64 a b))))

Compiler

Compiled 133 to 122 computations (8.3% saved)

series21.0ms (0.4%)

Memory

11.6MiB live, 58.2MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	253	1261

Stop Event

1×	iter-limit

Counts

6 → 50

Calls

Call 1

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

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

Calls

24 calls:

Time	Variable		Point	Expression
1.0ms	c	@	inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) (* a b) a b)
1.0ms	a	@	inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) (* a b) a b)
1.0ms	b	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) (* a b) a b)
1.0ms	a	@	-inf	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) (* a b) a b)
1.0ms	a	@	0	((+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (+ (* a b) (+ (* c i) (* x y))) (+ (* a b) (* x y)) (* a b) a b)

rewrite345.0ms (7.1%)

Memory

12.6MiB live, 157.9MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	78
0	23	78
1	144	78
2	573	78
3	1717	78
4	3358	78
5	4092	78
6	6772	78
0	8239	68
1	12770	68

Stop Event

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

Counts

6 → 10

Calls

Call 1

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

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

eval27.0ms (0.5%)

Memory: -37.3MiB live, 8.4MiB allocated; 4ms collecting garbage
Compiler: Compiled 719 to 309 computations (57% saved)

prune6.0ms (0.1%)

Memory

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

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	51	4	55
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	51	10	61

Accuracy

100.0%

Counts

61 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 y x (fma.f64 i c (*.f64 t z))))
✓	50.9%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 c i #s(approx (+ (* t z) (* x y)) (*.f64 t z))))
✓	73.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 a b (fma.f64 c i (*.f64 t z))))
✓	44.6%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 a b #s(approx (+ (* c i) (* x y)) (*.f64 c i))))
	30.4%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 x y))
	31.9%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 t z))
	21.9%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 c i))
	50.1%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (* a b) (+ (* c i) (* x y))) (fma.f64 c i (*.f64 x y))))
✓	53.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (* a b) (+ (* c i) (* x y))) (fma.f64 a b (*.f64 x y))))
✓	25.5%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) #s(approx (+ (* a b) (+ (* c i) (* x y))) #s(approx (+ (* a b) (* x y)) (*.f64 a b))))

Compiler

Compiled 330 to 254 computations (23% saved)

regimes130.0ms (2.7%)

Memory

11.4MiB live, 199.2MiB allocated; 26ms collecting garbage

Counts

14 → 1

Calls

Call 1

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

Outputs
(fma.f64 y x (fma.f64 i c (fma.f64 b a (*.f64 t z))))

Calls

15 calls:

45.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
21.0ms	a
8.0ms	(*.f64 a b)
7.0ms	z
5.0ms	x

Results

Accuracy	Segments	Branch
98.0%	1	`(*.f64 c i)`
98.0%	1	`(*.f64 a b)`
98.0%	1	`(*.f64 z t)`
98.0%	1	`(*.f64 x y)`
98.0%	1	`(+.f64 (.f64 x y) (.f64 z t))`
98.0%	1	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
98.0%	1	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
98.0%	1	`x`
98.0%	1	`y`
98.0%	1	`z`
98.0%	1	`t`
98.0%	1	`a`
98.0%	1	`b`
98.0%	1	`c`
98.0%	1	`i`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes121.0ms (2.5%)

Memory

30.7MiB live, 172.3MiB allocated; 20ms collecting garbage

Counts

12 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

15 calls:

40.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
27.0ms	a
6.0ms	(*.f64 c i)
4.0ms	b
4.0ms	x

Results

Accuracy	Segments	Branch
94.0%	3	`(*.f64 x y)`
89.4%	3	`x`
89.1%	3	`z`
77.2%	1	`(*.f64 c i)`
92.6%	3	`(*.f64 a b)`
92.6%	3	`(*.f64 z t)`
89.9%	3	`(+.f64 (.f64 x y) (.f64 z t))`
81.1%	3	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
80.7%	3	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
91.7%	4	`y`
87.8%	3	`t`
89.3%	3	`a`
88.8%	3	`b`
77.2%	1	`c`
82.8%	4	`i`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes7.0ms (0.1%)

Memory

-29.6MiB live, 16.6MiB allocated; 4ms collecting garbage

Counts

11 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

1 calls:

4.0ms

(*.f64 x y)

Results

Accuracy	Segments	Branch
93.6%	3	`(*.f64 x y)`

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes20.0ms (0.4%)

Memory

-23.3MiB live, 38.3MiB allocated; 16ms collecting garbage

Counts

10 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

3 calls:

12.0ms	(*.f64 z t)
3.0ms	(*.f64 a b)
3.0ms	(*.f64 x y)

Results

Accuracy	Segments	Branch
92.6%	3	`(*.f64 z t)`
80.4%	4	`(*.f64 a b)`
92.0%	3	`(*.f64 x y)`

Compiler

Compiled 9 to 27 computations (-200% saved)

regimes32.0ms (0.6%)

Memory

41.0MiB live, 87.5MiB allocated; 3ms collecting garbage

Counts

9 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

5 calls:

8.0ms	y
6.0ms	x
6.0ms	(+.f64 (.f64 x y) (.f64 z t))
6.0ms	(*.f64 x y)
5.0ms	(*.f64 z t)

Results

Accuracy	Segments	Branch
81.6%	3	`x`
76.3%	2	`(+.f64 (.f64 x y) (.f64 z t))`
86.4%	3	`y`
89.3%	3	`(*.f64 x y)`
80.4%	3	`(*.f64 z t)`

Compiler

Compiled 15 to 45 computations (-200% saved)

regimes67.0ms (1.4%)

Memory

2.7MiB live, 184.2MiB allocated; 30ms collecting garbage

Counts

8 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

15 calls:

12.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
9.0ms	c
7.0ms	t
6.0ms	(*.f64 x y)
3.0ms	b

Results

Accuracy	Segments	Branch
72.2%	6	`(+.f64 (.f64 x y) (.f64 z t))`
73.9%	5	`(*.f64 a b)`
68.4%	3	`(*.f64 c i)`
66.3%	3	`c`
74.8%	3	`(*.f64 z t)`
64.6%	4	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
66.9%	6	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
66.3%	4	`i`
72.8%	6	`x`
68.8%	4	`y`
69.8%	4	`t`
70.2%	5	`b`
73.8%	5	`z`
68.1%	4	`a`
73.0%	4	`(*.f64 x y)`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes9.0ms (0.2%)

Memory

-31.9MiB live, 13.2MiB allocated; 5ms collecting garbage

Counts

7 → 4

Calls

Call 1

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

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

Calls

2 calls:

6.0ms	(*.f64 x y)
2.0ms	(*.f64 z t)

Results

Accuracy	Segments	Branch
70.0%	4	`(*.f64 x y)`
72.4%	4	`(*.f64 z t)`

Compiler

Compiled 6 to 18 computations (-200% saved)

regimes7.0ms (0.1%)

Memory

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

Counts

5 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

3 calls:

2.0ms	z
2.0ms	(*.f64 z t)
2.0ms	(*.f64 a b)

Results

Accuracy	Segments	Branch
65.7%	3	`z`
60.7%	5	`(*.f64 a b)`
70.6%	3	`(*.f64 z t)`

Compiler

Compiled 7 to 26 computations (-271.4% saved)

regimes82.0ms (1.7%)

Memory

10.9MiB live, 56.5MiB allocated; 4ms collecting garbage

Counts

4 → 3

Calls

Call 1

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

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

Calls

15 calls:

56.0ms	a
2.0ms	c
2.0ms	b
2.0ms	z
2.0ms	i

Results

Accuracy	Segments	Branch
51.5%	5	`(*.f64 a b)`
45.6%	5	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
37.0%	2	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
44.3%	4	`i`
49.3%	4	`z`
43.1%	4	`c`
45.2%	4	`a`
47.7%	5	`b`
54.0%	7	`y`
49.1%	4	`(+.f64 (.f64 x y) (.f64 z t))`
50.4%	4	`x`
49.5%	4	`t`
47.4%	4	`(*.f64 c i)`
52.8%	4	`(*.f64 x y)`
52.4%	3	`(*.f64 z t)`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes32.0ms (0.6%)

Memory

-20.8MiB live, 28.7MiB allocated; 15ms collecting garbage

Counts

3 → 3

Calls

Call 1

Inputs

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

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

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

Outputs

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

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

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

Calls

8 calls:

20.0ms	(+.f64 (.f64 x y) (.f64 z t))
2.0ms	x
2.0ms	y
2.0ms	t
2.0ms	z

Results

Accuracy	Segments	Branch
44.4%	3	`(+.f64 (.f64 x y) (.f64 z t))`
36.8%	4	`y`
48.9%	5	`z`
44.8%	4	`t`
47.4%	3	`(*.f64 a b)`
37.6%	3	`x`
31.9%	1	`(*.f64 x y)`
48.3%	4	`(*.f64 z t)`

Compiler

Compiled 20 to 70 computations (-250% saved)

regimes16.0ms (0.3%)

Memory

0.4MiB live, 47.9MiB allocated; 4ms collecting garbage

Counts

2 → 3

Calls

Call 1

Inputs

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

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

Outputs

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

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

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

Calls

11 calls:

3.0ms	c
1.0ms	b
1.0ms	a
1.0ms	(*.f64 a b)
1.0ms	z

Results

Accuracy	Segments	Branch
34.9%	3	`c`
33.2%	3	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
34.4%	3	`i`
27.9%	2	`t`
36.2%	3	`a`
25.5%	1	`(+.f64 (.f64 x y) (.f64 z t))`
35.4%	3	`b`
30.0%	3	`z`
38.2%	3	`(*.f64 c i)`
27.8%	2	`(*.f64 z t)`
38.5%	3	`(*.f64 a b)`

Compiler

Compiled 33 to 99 computations (-200% saved)

regimes17.0ms (0.3%)

Memory

3.3MiB live, 49.8MiB allocated; 3ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

14 calls:

3.0ms	t
1.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
1.0ms	c
1.0ms	x
1.0ms	y

Results

Accuracy	Segments	Branch
25.5%	1	`(*.f64 z t)`
25.5%	1	`t`
25.5%	1	`z`
25.5%	1	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
25.5%	1	`i`
25.5%	1	`c`
25.5%	1	`(*.f64 x y)`
25.5%	1	`y`
25.5%	1	`b`
25.5%	1	`a`
25.5%	1	`x`
25.5%	1	`(*.f64 c i)`
25.5%	1	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
25.5%	1	`(*.f64 a b)`

Compiler

Compiled 46 to 128 computations (-178.3% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.1846216704725315e+104	1.4396519888337029e+107
0.0ms	-1.3096222279391554e+125	-2.7809605478275284e+124

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch25.0ms (0.5%)

Memory

3.8MiB live, 48.8MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.1846216704725315e+104	1.4396519888337029e+107
9.0ms	-1.3096222279391554e+125	-2.7809605478275284e+124

Samples

12.0ms

224×

valid

Compiler

Compiled 550 to 572 computations (-4% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0697655959487962e+141	1.8740667372099504e+143
0.0ms	-1.655098201131367e+147	-1.2891332325022847e+147

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch23.0ms (0.5%)

Memory

-3.5MiB live, 46.8MiB allocated; 9ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.1846216704725315e+104	1.4396519888337029e+107
6.0ms	-1.3096222279391554e+125	-2.7809605478275284e+124

Samples

14.0ms

176×

valid

Compiler

Compiled 620 to 600 computations (3.2% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.8740667372099504e+143	4.070355699417338e+157
0.0ms	-3.0796079325377376e+143	-5.539129747093995e+137

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	1.8740667372099504e+143	4.070355699417338e+157
0.0ms	-1.880827727001949e-113	-1.0898430532996619e-113
0.0ms	-4.510788294356496e+154	-4.72230425694786e+152

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.8740667372099504e+143	4.070355699417338e+157
0.0ms	-1.2891332325022847e+147	-3.0796079325377376e+143

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch0.0ms (0%)

Memory

1.2MiB live, 1.3MiB allocated; 0ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0697655959487962e+141	1.8740667372099504e+143
0.0ms	-1.655098201131367e+147	-1.2891332325022847e+147

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch30.0ms (0.6%)

Memory

13.4MiB live, 59.6MiB allocated; 4ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	2.4606892753416657e+59	1.7485845411986288e+66
12.0ms	-2.087577122177647e+95	-5.196309523893406e+89

Samples

18.0ms

288×

valid

Compiler

Compiled 810 to 746 computations (7.9% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

bsearch54.0ms (1.1%)

Memory

-22.1MiB live, 23.7MiB allocated; 5ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	0.0008029136334674777	13.141202712160357
10.0ms	-1.1049199761740176e-20	-4.3619738928443435e-23

Samples

12.0ms

240×

valid

Compiler

Compiled 678 to 626 computations (7.7% saved)

Precisions

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

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

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

adjust: 0.0ms (0% of total)

derivations66.0ms (1.4%)

Memory

16.0MiB live, 62.0MiB allocated; 4ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 174 to 108 computations (37.9% saved)

preprocess287.0ms (5.9%)

Memory

-19.2MiB live, 442.9MiB allocated; 127ms collecting garbage

Remove

(sort c i)

(sort a b)

(sort z t)

(sort x y)

Compiler

Compiled 3 773 to 2 835 computations (24.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample1.9s (38.2%)

preprocess167.0ms (3.4%)

series33.0ms (0.7%)

rewrite378.0ms (7.7%)

eval16.0ms (0.3%)

prune4.0ms (0.1%)

series55.0ms (1.1%)

rewrite411.0ms (8.4%)

eval34.0ms (0.7%)

prune13.0ms (0.3%)

series39.0ms (0.8%)

rewrite415.0ms (8.5%)

eval22.0ms (0.5%)

prune9.0ms (0.2%)

series21.0ms (0.4%)

rewrite345.0ms (7.1%)

eval27.0ms (0.5%)

prune6.0ms (0.1%)

regimes130.0ms (2.7%)

regimes121.0ms (2.5%)

regimes7.0ms (0.1%)

regimes20.0ms (0.4%)

regimes32.0ms (0.6%)

regimes67.0ms (1.4%)

regimes9.0ms (0.2%)

regimes7.0ms (0.1%)

regimes82.0ms (1.7%)

regimes32.0ms (0.6%)

regimes16.0ms (0.3%)

regimes17.0ms (0.3%)

bsearch1.0ms (0%)

bsearch25.0ms (0.5%)

bsearch1.0ms (0%)

bsearch23.0ms (0.5%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch30.0ms (0.6%)

bsearch54.0ms (1.1%)

derivations66.0ms (1.4%)

preprocess287.0ms (5.9%)

end0.0ms (0%)

Profiling