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

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

sample2.8s (56.2%)

Memory

-135.9MiB live, 1 795.0MiB allocated; 2.5s collecting garbage

Samples

2.4s

8 256×

valid

Precisions

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

ival-mult!: 2.0s (96.6% of total)

ival-add!: 68.0ms (3.4% of total)

adjust: 1.0ms (0% of total)

Bogosity

preprocess138.0ms (2.8%)

Memory

-34.3MiB live, 64.6MiB allocated; 31ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	687
1	591	679
2	2269	675
3	5401	675
4	5458	675
5	5458	675
6	7390	675
7	7433	675
8	7433	675

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	96.1%	(+.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)

series23.0ms (0.5%)

Memory

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

Counts

15 → 67

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

Calls

24 calls:

Time	Variable		Point	Expression
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)
1.0ms	x	@	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)

rewrite178.0ms (3.6%)

Memory

-13.4MiB live, 258.8MiB allocated; 29ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	275	1598
0	282	1500
1	1811	1500
0	9358	1301

Stop Event

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

Counts

82 → 140

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

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

eval11.0ms (0.2%)

Memory: 28.9MiB live, 28.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 644 to 550 computations (66.5% saved)

prune22.0ms (0.4%)

Memory

-51.1MiB live, 13.6MiB allocated; 24ms collecting garbage

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	120	8	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	121	8	129

Accuracy

100.0%

Counts

129 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	54.9%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 y x)) (.f64 c i))
	51.2%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 t z)) (.f64 c i))
▶	52.4%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 b a)) (.f64 c i))
▶	73.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a (fma.f64 t z (*.f64 y x))))
	28.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 y x))
▶	25.4%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 t z))
	29.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 i c))
▶	26.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 b a))

Compiler

Compiled 276 to 276 computations (0% saved)

series21.0ms (0.4%)

Memory

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

Counts

21 → 86

Calls

Call 1

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

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

Calls

24 calls:

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

rewrite221.0ms (4.4%)

Memory

-25.9MiB live, 207.4MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	304	2135
0	315	1874
1	1908	1874
0	9551	1789

Stop Event

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

Counts

107 → 175

Calls

Call 1

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

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

eval14.0ms (0.3%)

Memory: 31.3MiB live, 31.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 236 to 584 computations (73.9% saved)

prune8.0ms (0.2%)

Memory

-31.2MiB live, 14.5MiB allocated; 4ms collecting garbage

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	142	4	146
Fresh	0	3	3
Picked	3	2	5
Done	0	0	0
Total	145	9	154

Accuracy

100.0%

Counts

154 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	55.3%	(fma.f64 i c #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 y x)))
	52.8%	(fma.f64 i c #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 b a)))
	51.2%	(+.f64 #s(approx (+ (+ (* x y) (* z t)) (* a b)) (.f64 t z)) (.f64 c i))
▶	51.1%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a #s(approx (+ (* t z) (* y x)) (*.f64 y x))))
▶	49.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a #s(approx (+ (* t z) (* y x)) (*.f64 t z))))
▶	28.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 y x))
✓	25.4%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 t z))
▶	29.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 i c))
✓	26.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 b a))

Compiler

Compiled 288 to 288 computations (0% saved)

series77.0ms (1.5%)

Memory

-5.4MiB live, 41.5MiB allocated; 1ms collecting garbage

Counts

21 → 110

Calls

Call 1

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

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

Calls

24 calls:

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

rewrite166.0ms (3.3%)

Memory

42.8MiB live, 224.2MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	330	3032
0	336	2848
1	1988	2848
0	9689	2460

Stop Event

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

Counts

131 → 164

Calls

Call 1

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

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

eval15.0ms (0.3%)

Memory: -27.7MiB live, 32.3MiB allocated; 5ms collecting garbage
Compiler: Compiled 1 773 to 429 computations (75.8% saved)

prune5.0ms (0.1%)

Memory

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

Pruning

9 alts after pruning (2 fresh and 7 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	1	1	2
Picked	0	5	5
Done	0	2	2
Total	104	9	113

Accuracy

100.0%

Counts

113 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	55.3%	(fma.f64 i c #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 y x)))
▶	51.5%	(fma.f64 i c #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 t z)))
▶	52.8%	(fma.f64 i c #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 b a)))
✓	51.1%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a #s(approx (+ (* t z) (* y x)) (*.f64 y x))))
✓	49.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a #s(approx (+ (* t z) (* y x)) (*.f64 t z))))
✓	28.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 y x))
✓	25.4%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 t z))
✓	29.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 i c))
✓	26.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 b a))

Compiler

Compiled 160 to 160 computations (0% saved)

series18.0ms (0.4%)

Memory

-7.4MiB live, 38.7MiB allocated; 3ms collecting garbage

Counts

12 → 52

Calls

Call 1

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

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

Calls

24 calls:

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

rewrite156.0ms (3.1%)

Memory

-12.3MiB live, 219.4MiB allocated; 33ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	237	1406
0	240	1320
1	1635	1320
0	8801	1139

Stop Event

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

Counts

64 → 86

Calls

Call 1

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

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

eval7.0ms (0.1%)

Memory: 14.4MiB live, 14.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 371 to 282 computations (79.4% saved)

prune6.0ms (0.1%)

Memory

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

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	2	2
Done	0	7	7
Total	73	9	82

Accuracy

100.0%

Counts

82 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	55.3%	(fma.f64 i c #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 y x)))
✓	51.5%	(fma.f64 i c #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 t z)))
✓	52.8%	(fma.f64 i c #s(approx (+ (+ (* x y) (* z t)) (* a b)) (*.f64 b a)))
✓	51.1%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a #s(approx (+ (* t z) (* y x)) (*.f64 y x))))
✓	49.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (fma.f64 b a #s(approx (+ (* t z) (* y x)) (*.f64 t z))))
✓	28.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 y x))
✓	25.4%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 t z))
✓	29.3%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 i c))
✓	26.2%	#s(approx (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)) (*.f64 b a))

Compiler

Compiled 284 to 211 computations (25.7% saved)

regimes102.0ms (2.1%)

Memory

-21.8MiB live, 125.3MiB allocated; 10ms collecting garbage

Counts

14 → 2

Calls

Call 1

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

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

Calls

15 calls:

22.0ms	b
20.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
7.0ms	(*.f64 a b)
5.0ms	a
5.0ms	z

Results

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

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes69.0ms (1.4%)

Memory

10.5MiB live, 155.7MiB allocated; 9ms collecting garbage

Counts

13 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

15 calls:

7.0ms	z
6.0ms	(*.f64 z t)
6.0ms	i
4.0ms	b
4.0ms	a

Results

Accuracy	Segments	Branch
88.9%	3	`(*.f64 c i)`
77.3%	3	`(*.f64 a b)`
78.6%	3	`(*.f64 z t)`
82.1%	5	`(*.f64 x y)`
82.1%	5	`x`
76.6%	3	`y`
78.2%	3	`z`
77.5%	3	`t`
77.7%	3	`a`
76.7%	3	`b`
81.3%	3	`c`
84.0%	3	`i`
83.6%	3	`(+.f64 (.f64 x y) (.f64 z t))`
84.4%	4	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
73.3%	1	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes67.0ms (1.3%)

Memory

8.8MiB live, 145.9MiB allocated; 11ms collecting garbage

Counts

12 → 5

Calls

Call 1

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

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

Calls

15 calls:

7.0ms	(+.f64 (.f64 x y) (.f64 z t))
7.0ms	(*.f64 z t)
6.0ms	b
4.0ms	y
4.0ms	z

Results

Accuracy	Segments	Branch
62.6%	5	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
73.0%	5	`y`
69.0%	4	`b`
71.7%	3	`(*.f64 a b)`
72.5%	5	`t`
73.4%	5	`a`
70.8%	3	`z`
76.5%	6	`(*.f64 z t)`
78.9%	5	`(*.f64 x y)`
73.7%	5	`x`
67.7%	3	`c`
71.0%	5	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
69.5%	3	`(+.f64 (.f64 x y) (.f64 z t))`
71.1%	5	`i`
74.1%	4	`(*.f64 c i)`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes6.0ms (0.1%)

Memory

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

Counts

8 → 5

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	(*.f64 x y)
3.0ms	(*.f64 c i)

Results

Accuracy	Segments	Branch
73.4%	4	`(*.f64 c i)`
75.3%	5	`(*.f64 x y)`

Compiler

Compiled 6 to 18 computations (-200% saved)

regimes14.0ms (0.3%)

Memory

-13.3MiB live, 38.1MiB allocated; 4ms collecting garbage

Counts

7 → 5

Calls

Call 1

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

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

Calls

4 calls:

6.0ms	(*.f64 x y)
3.0ms	(*.f64 z t)
3.0ms	(*.f64 c i)
3.0ms	(*.f64 a b)

Results

Accuracy	Segments	Branch
55.3%	2	`(*.f64 a b)`
72.9%	5	`(*.f64 z t)`
71.6%	4	`(*.f64 c i)`
74.4%	5	`(*.f64 x y)`

Compiler

Compiled 12 to 36 computations (-200% saved)

regimes34.0ms (0.7%)

Memory

4.1MiB live, 81.4MiB allocated; 10ms collecting garbage

Counts

6 → 4

Calls

Call 1

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

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

Calls

11 calls:

6.0ms	z
6.0ms	t
3.0ms	i
2.0ms	x
2.0ms	a

Results

Accuracy	Segments	Branch
60.2%	3	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
62.9%	4	`i`
62.9%	3	`t`
59.9%	5	`(+.f64 (.f64 x y) (.f64 z t))`
66.0%	3	`(*.f64 z t)`
64.2%	3	`y`
69.4%	4	`(*.f64 c i)`
57.7%	4	`a`
63.8%	3	`x`
63.9%	3	`z`
65.8%	3	`(*.f64 x y)`

Compiler

Compiled 33 to 99 computations (-200% saved)

regimes22.0ms (0.4%)

Memory

3.7MiB live, 36.7MiB allocated; 13ms collecting garbage

Counts

5 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

5 calls:

13.0ms	(*.f64 x y)
2.0ms	b
2.0ms	c
2.0ms	(*.f64 z t)
2.0ms	(*.f64 c i)

Results

Accuracy	Segments	Branch
64.6%	3	`(*.f64 x y)`
57.4%	4	`(*.f64 z t)`
49.2%	1	`b`
59.5%	5	`c`
64.4%	3	`(*.f64 c i)`

Compiler

Compiled 11 to 43 computations (-290.9% saved)

regimes52.0ms (1%)

Memory

-10.9MiB live, 97.6MiB allocated; 38ms collecting garbage

Counts

4 → 5

Calls

Call 1

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

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

Calls

15 calls:

15.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
11.0ms	(*.f64 z t)
2.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
2.0ms	b
2.0ms	z

Results

Accuracy	Segments	Branch
45.0%	5	`b`
49.9%	5	`(*.f64 z t)`
44.6%	4	`a`
45.3%	4	`c`
48.8%	5	`(+.f64 (.f64 x y) (.f64 z t))`
45.8%	3	`(*.f64 a b)`
35.2%	4	`(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))`
43.4%	3	`(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))`
46.4%	5	`i`
50.5%	6	`t`
46.1%	4	`x`
42.9%	4	`z`
49.8%	5	`y`
48.9%	4	`(*.f64 c i)`
53.9%	5	`(*.f64 x y)`

Compiler

Compiled 53 to 139 computations (-162.3% saved)

regimes7.0ms (0.1%)

Memory

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

Counts

3 → 3

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	y
1.0ms	(*.f64 x y)
1.0ms	(*.f64 z t)
1.0ms	(*.f64 c i)

Results

Accuracy	Segments	Branch
34.0%	3	`y`
48.1%	5	`(*.f64 z t)`
46.1%	3	`(*.f64 c i)`
36.7%	4	`(*.f64 x y)`

Compiler

Compiled 10 to 35 computations (-250% saved)

regimes27.0ms (0.5%)

Memory

16.4MiB live, 59.6MiB allocated; 15ms 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)) (*.f64 b a))

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

Calls

15 calls:

13.0ms	(+.f64 (.f64 x y) (.f64 z t))
1.0ms	a
1.0ms	t
1.0ms	c
1.0ms	x

Results

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

Compiler

Compiled 53 to 139 computations (-162.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch30.0ms (0.6%)

Memory

-41.6MiB live, 2.2MiB allocated; 15ms collecting garbage

Algorithm

2×	left-value

Steps

Time	Left	Right
29.0ms	5.285753717589929e+263	1.3213105349393644e+268
0.0ms	-9.656288154504722e+79	-5.024349711631044e+75

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	3.079166122071469e-13	1.8840639960725985e-8
0.0ms	1.26292537798e-312	1.4592510414193247e-304
0.0ms	-1.110569717247831e-141	-6.181389117959777e-148
0.0ms	-2.603015468264718e+100	-2.2111097808696568e+100

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	1.6133534330480213e+133	1.350466208609457e+142
0.0ms	1.26292537798e-312	1.4592510414193247e-304
0.0ms	-1.110569717247831e-141	-6.181389117959777e-148
0.0ms	-6.5209302607025e+119	-1.8506258478301152e+118

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	1.6133534330480213e+133	1.350466208609457e+142
0.0ms	1.26292537798e-312	1.4592510414193247e-304
0.0ms	-3.2799222726073433e-208	-1.076418831887109e-209
0.0ms	-6.5209302607025e+119	-1.8506258478301152e+118

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	4.53386601728787e+151	5.639738816951869e+169
0.0ms	-5.349268729547177e-161	-6.100159464760767e-162
0.0ms	-9.656288154504722e+79	-5.024349711631044e+75

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	2.123981933557641e+118	6.706393673437498e+119
0.0ms	-2.324646509466244e+168	-1.5792991304785138e+164

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	1.350466208609457e+142	1.7228844011037943e+147
0.0ms	1.26292537798e-312	1.4592510414193247e-304
0.0ms	-4.235185705940341e-130	-1.5593322467552009e-131
0.0ms	-2.603015468264718e+100	-2.2111097808696568e+100

Compiler

Compiled 18 to 26 computations (-44.4% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	3.0545111633764664e+55	1.5595857962441716e+64
0.0ms	-9.656288154504722e+79	-5.024349711631044e+75

Compiler

Compiled 18 to 26 computations (-44.4% saved)

derivations377.0ms (7.6%)

Memory

21.6MiB live, 306.8MiB allocated; 80ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 178 to 107 computations (39.9% saved)

preprocess284.0ms (5.7%)

Memory

-12.9MiB live, 333.3MiB allocated; 143ms collecting garbage

Remove

(sort c i)

(sort a b)

(sort z t)

(sort x y)

Compiler

Compiled 3 473 to 2 730 computations (21.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze1.0ms (0%)

sample2.8s (56.2%)

preprocess138.0ms (2.8%)

series23.0ms (0.5%)

rewrite178.0ms (3.6%)

eval11.0ms (0.2%)

prune22.0ms (0.4%)

series21.0ms (0.4%)

rewrite221.0ms (4.4%)

eval14.0ms (0.3%)

prune8.0ms (0.2%)

series77.0ms (1.5%)

rewrite166.0ms (3.3%)

eval15.0ms (0.3%)

prune5.0ms (0.1%)

series18.0ms (0.4%)

rewrite156.0ms (3.1%)

eval7.0ms (0.1%)

prune6.0ms (0.1%)

regimes102.0ms (2.1%)

regimes69.0ms (1.4%)

regimes67.0ms (1.3%)

regimes6.0ms (0.1%)

regimes14.0ms (0.3%)

regimes34.0ms (0.7%)

regimes22.0ms (0.4%)

regimes52.0ms (1%)

regimes7.0ms (0.1%)

regimes27.0ms (0.5%)

bsearch0.0ms (0%)

bsearch30.0ms (0.6%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

derivations377.0ms (7.6%)

preprocess284.0ms (5.7%)

end0.0ms (0%)

Profiling