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

(+.f64 x (*.f64 y z))

x

(*.f64 y z)

y

z

(+.f64 (*.f64 t a) (*.f64 a (*.f64 z b)))

(*.f64 t a)

t

a

(*.f64 a (*.f64 z b))

(*.f64 z b)

b

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

(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))

(+.f64 x (*.f64 y z))

x

(*.f64 y z)

y

z

(*.f64 t a)

t

a

(*.f64 (*.f64 a z) b)

(*.f64 a z)

b

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

(fma.f64 y z x)

y

z

x

(*.f64 a (+.f64 t (*.f64 z b)))

a

(+.f64 t (*.f64 z b))

t

(*.f64 z b)

b

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

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

(fma.f64 a (fma.f64 z b t) (fma.f64 y z x))

(fma.f64 y z (fma.f64 a (fma.f64 z b t) x))

(+.f64 x (*.f64 y z))

(fma.f64 y z x)

x

(*.f64 y z)

y

z

(+.f64 (*.f64 t a) (*.f64 a (*.f64 z b)))

(*.f64 a (+.f64 t (*.f64 z b)))

(*.f64 a (fma.f64 z b t))

(*.f64 t a)

t

a

(*.f64 a (*.f64 z b))

(*.f64 z (*.f64 b a))

(*.f64 z b)

b

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

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

(fma.f64 a (fma.f64 z b t) (fma.f64 y z x))

(fma.f64 y z (fma.f64 a (fma.f64 z b t) x))

(+.f64 (+.f64 x (*.f64 y z)) (*.f64 t a))

(+.f64 (fma.f64 y z x) (*.f64 t a))

(fma.f64 t a (fma.f64 y z x))

(fma.f64 y z (fma.f64 t a x))

(+.f64 x (*.f64 y z))

(fma.f64 y z x)

x

(*.f64 y z)

y

z

(*.f64 t a)

t

a

(*.f64 (*.f64 a z) b)

(*.f64 a (*.f64 z b))

(*.f64 z (*.f64 b a))

(*.f64 a z)

(*.f64 z a)

b

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

(fma.f64 a (fma.f64 z b t) (fma.f64 y z x))

(fma.f64 y z (fma.f64 a (fma.f64 z b t) x))

(fma.f64 y z x)

y

z

x

(*.f64 a (+.f64 t (*.f64 z b)))

(*.f64 a (fma.f64 z b t))

a

(+.f64 t (*.f64 z b))

(fma.f64 z b t)

t

(*.f64 z b)

b

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a t)

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 b z)

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

(*.f64 a (*.f64 b z))

x

(+.f64 x (*.f64 y z))

(+.f64 x (*.f64 y z))

(+.f64 x (*.f64 y z))

(*.f64 y z)

(*.f64 y (+.f64 z (/.f64 x y)))

(*.f64 y (+.f64 z (/.f64 x y)))

(*.f64 y (+.f64 z (/.f64 x y)))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 x y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 x y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 x y)))))

x

(+.f64 x (*.f64 y z))

(+.f64 x (*.f64 y z))

(+.f64 x (*.f64 y z))

(*.f64 y z)

(*.f64 z (+.f64 y (/.f64 x z)))

(*.f64 z (+.f64 y (/.f64 x z)))

(*.f64 z (+.f64 y (/.f64 x z)))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 x z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 x z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 x z)))))

(*.f64 y z)

(+.f64 x (*.f64 y z))

(+.f64 x (*.f64 y z))

(+.f64 x (*.f64 y z))

x

(*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 y z) x)))

(*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 y z) x)))

(*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 y z) x)))

x

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y z) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y z) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y z) x)) #s(literal 1 binary64))))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (*.f64 b z))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(*.f64 a t)

(*.f64 t (+.f64 a (/.f64 (*.f64 a (*.f64 b z)) t)))

(*.f64 t (+.f64 a (/.f64 (*.f64 a (*.f64 b z)) t)))

(*.f64 t (+.f64 a (/.f64 (*.f64 a (*.f64 b z)) t)))

(*.f64 a t)

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a (*.f64 b z)) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a (*.f64 b z)) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a (*.f64 b z)) t)))))

(*.f64 a t)

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(*.f64 a (*.f64 b z))

(*.f64 z (+.f64 (*.f64 a b) (/.f64 (*.f64 a t) z)))

(*.f64 z (+.f64 (*.f64 a b) (/.f64 (*.f64 a t) z)))

(*.f64 z (+.f64 (*.f64 a b) (/.f64 (*.f64 a t) z)))

(*.f64 a (*.f64 b z))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) z)))))

(*.f64 a t)

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(*.f64 a (*.f64 b z))

(*.f64 b (+.f64 (*.f64 a z) (/.f64 (*.f64 a t) b)))

(*.f64 b (+.f64 (*.f64 a z) (/.f64 (*.f64 a t) b)))

(*.f64 b (+.f64 (*.f64 a z) (/.f64 (*.f64 a t) b)))

(*.f64 a (*.f64 b z))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) b)))))

(*.f64 b z)

(+.f64 t (*.f64 b z))

(+.f64 t (*.f64 b z))

(+.f64 t (*.f64 b z))

t

(*.f64 t (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 b z) t)))

(*.f64 t (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 b z) t)))

(*.f64 t (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 b z) t)))

t

(*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 b z) t)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 b z) t)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 t (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 b z) t)) #s(literal 1 binary64))))

t

(+.f64 t (*.f64 b z))

(+.f64 t (*.f64 b z))

(+.f64 t (*.f64 b z))

(*.f64 b z)

(*.f64 z (+.f64 b (/.f64 t z)))

(*.f64 z (+.f64 b (/.f64 t z)))

(*.f64 z (+.f64 b (/.f64 t z)))

(*.f64 b z)

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) (/.f64 t z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) (/.f64 t z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) b) (*.f64 #s(literal -1 binary64) (/.f64 t z)))))

t

(+.f64 t (*.f64 b z))

(+.f64 t (*.f64 b z))

(+.f64 t (*.f64 b z))

(*.f64 b z)

(*.f64 b (+.f64 z (/.f64 t b)))

(*.f64 b (+.f64 z (/.f64 t b)))

(*.f64 b (+.f64 z (/.f64 t b)))

(*.f64 b z)

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 t b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 t b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 t b)))))

(+.f64 (*.f64 a t) (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z)))

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

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

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

x

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) x) (/.f64 (*.f64 y z) x)))))

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) x) (/.f64 (*.f64 y z) x)))))

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) x) (/.f64 (*.f64 y z) x)))))

x

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) x)) #s(literal 1 binary64))))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 a (*.f64 b z))))

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

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

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

(*.f64 y z)

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (+.f64 (/.f64 (*.f64 a t) y) (/.f64 (*.f64 a (*.f64 b z)) y)))))

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (+.f64 (/.f64 (*.f64 a t) y) (/.f64 (*.f64 a (*.f64 b z)) y)))))

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (+.f64 (/.f64 (*.f64 a t) y) (/.f64 (*.f64 a (*.f64 b z)) y)))))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))) y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))) y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))) y)))))

(+.f64 x (*.f64 a t))

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

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

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

(*.f64 z (+.f64 y (*.f64 a b)))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (*.f64 a b)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z)))

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

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

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

(*.f64 a t)

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 a t)

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(+.f64 x (*.f64 y z))

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

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

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

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (*.f64 b z)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 b z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a))))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 b z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a))))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 b z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a))))))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

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

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

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

(*.f64 a (*.f64 b z))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 a (*.f64 b z))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(*.f64 a (*.f64 b z))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(*.f64 a t)

(*.f64 t (+.f64 a (/.f64 (*.f64 a (*.f64 b z)) t)))

(*.f64 t (+.f64 a (/.f64 (*.f64 a (*.f64 b z)) t)))

(*.f64 t (+.f64 a (/.f64 (*.f64 a (*.f64 b z)) t)))

(*.f64 a t)

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a (*.f64 b z)) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a (*.f64 b z)) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a (*.f64 b z)) t)))))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (*.f64 b z)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (*.f64 b z)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (*.f64 b z)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (*.f64 b z)))))

(*.f64 a t)

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(*.f64 a (*.f64 b z))

(*.f64 z (+.f64 (*.f64 a b) (/.f64 (*.f64 a t) z)))

(*.f64 z (+.f64 (*.f64 a b) (/.f64 (*.f64 a t) z)))

(*.f64 z (+.f64 (*.f64 a b) (/.f64 (*.f64 a t) z)))

(*.f64 a (*.f64 b z))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) z)))))

(*.f64 a t)

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))

(*.f64 a (*.f64 b z))

(*.f64 b (+.f64 (*.f64 a z) (/.f64 (*.f64 a t) b)))

(*.f64 b (+.f64 (*.f64 a z) (/.f64 (*.f64 a t) b)))

(*.f64 b (+.f64 (*.f64 a z) (/.f64 (*.f64 a t) b)))

(*.f64 a (*.f64 b z))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 a t) b)))))

(*.f64 y z)

x

(*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 y z) x)))

(*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 y z) x)))

(*.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (*.f64 y z) x)))

x

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y z) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y z) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y z) x)) #s(literal 1 binary64))))

x

(*.f64 y z)

(*.f64 y (+.f64 z (/.f64 x y)))

(*.f64 y (+.f64 z (/.f64 x y)))

(*.f64 y (+.f64 z (/.f64 x y)))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 x y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 x y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 x y)))))

x

(*.f64 y z)

(*.f64 z (+.f64 y (/.f64 x z)))

(*.f64 z (+.f64 y (/.f64 x z)))

(*.f64 z (+.f64 y (/.f64 x z)))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 x z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 x z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 x z)))))

(+.f64 (*.f64 a t) (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z)))

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

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

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

x

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) x) (/.f64 (*.f64 y z) x)))))

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) x) (/.f64 (*.f64 y z) x)))))

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) x) (/.f64 (*.f64 y z) x)))))

x

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) x)) #s(literal 1 binary64))))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 a (*.f64 b z))))

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

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

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

(*.f64 y z)

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (+.f64 (/.f64 (*.f64 a t) y) (/.f64 (*.f64 a (*.f64 b z)) y)))))

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (+.f64 (/.f64 (*.f64 a t) y) (/.f64 (*.f64 a (*.f64 b z)) y)))))

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (+.f64 (/.f64 (*.f64 a t) y) (/.f64 (*.f64 a (*.f64 b z)) y)))))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))) y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))) y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 a (*.f64 b z)))) y)))))

(+.f64 x (*.f64 a t))

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

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

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

(*.f64 z (+.f64 y (*.f64 a b)))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (*.f64 a b)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z)))

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

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

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

(*.f64 a t)

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 a t)

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(+.f64 x (*.f64 y z))

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

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

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

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (*.f64 b z)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 b z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a))))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 b z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a))))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 b z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a))))))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

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

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

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

(*.f64 a (*.f64 b z))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 a (*.f64 b z))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(+.f64 (*.f64 a t) (*.f64 y z))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

x

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (/.f64 (*.f64 y z) x))))

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (/.f64 (*.f64 y z) x))))

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a t) x) (/.f64 (*.f64 y z) x))))

x

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (*.f64 y z)) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (*.f64 y z)) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a t) (*.f64 y z)) x)) #s(literal 1 binary64))))

(+.f64 x (*.f64 a t))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(*.f64 y z)

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (/.f64 (*.f64 a t) y))))

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (/.f64 (*.f64 a t) y))))

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (/.f64 (*.f64 a t) y))))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) y)))))

(+.f64 x (*.f64 a t))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(*.f64 y z)

(*.f64 z (+.f64 y (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z))))

(*.f64 z (+.f64 y (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z))))

(*.f64 z (+.f64 y (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z))))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z)))))

(+.f64 x (*.f64 y z))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(*.f64 a t)

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (/.f64 (*.f64 y z) t))))

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (/.f64 (*.f64 y z) t))))

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (/.f64 (*.f64 y z) t))))

(*.f64 a t)

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) t)))))

(+.f64 x (*.f64 y z))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

(*.f64 a t)

(*.f64 a (+.f64 t (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a))))

(*.f64 a (+.f64 t (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a))))

(*.f64 a (+.f64 t (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a))))

(*.f64 a t)

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) t) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a)))))

(+.f64 x (*.f64 a (+.f64 t (*.f64 b z))))

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

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

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

(*.f64 y z)

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (/.f64 (*.f64 a (+.f64 t (*.f64 b z))) y))))

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (/.f64 (*.f64 a (+.f64 t (*.f64 b z))) y))))

(*.f64 y (+.f64 z (+.f64 (/.f64 x y) (/.f64 (*.f64 a (+.f64 t (*.f64 b z))) y))))

(*.f64 y z)

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a (+.f64 t (*.f64 b z)))) y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a (+.f64 t (*.f64 b z)))) y)))))

(*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 (*.f64 #s(literal -1 binary64) z) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a (+.f64 t (*.f64 b z)))) y)))))

(+.f64 x (*.f64 a t))

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

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

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

(*.f64 z (+.f64 y (*.f64 a b)))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 z (+.f64 y (+.f64 (*.f64 a b) (+.f64 (/.f64 x z) (/.f64 (*.f64 a t) z)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (*.f64 #s(literal -1 binary64) (*.f64 a b)))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 (*.f64 #s(literal -1 binary64) y) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a b)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 a t)) z))))))

(+.f64 (*.f64 a (+.f64 t (*.f64 b z))) (*.f64 y z))

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

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

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

x

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a (+.f64 t (*.f64 b z))) x) (/.f64 (*.f64 y z) x))))

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a (+.f64 t (*.f64 b z))) x) (/.f64 (*.f64 y z) x))))

(*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 (*.f64 a (+.f64 t (*.f64 b z))) x) (/.f64 (*.f64 y z) x))))

x

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a (+.f64 t (*.f64 b z))) (*.f64 y z)) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a (+.f64 t (*.f64 b z))) (*.f64 y z)) x)) #s(literal 1 binary64))))

(*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (*.f64 a (+.f64 t (*.f64 b z))) (*.f64 y z)) x)) #s(literal 1 binary64))))

(+.f64 x (*.f64 y z))

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

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

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

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 a (+.f64 t (+.f64 (*.f64 b z) (+.f64 (/.f64 x a) (/.f64 (*.f64 y z) a)))))

(*.f64 a (+.f64 t (*.f64 b z)))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) (+.f64 t (*.f64 b z))) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) (+.f64 t (*.f64 b z))) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a)))))

(*.f64 #s(literal -1 binary64) (*.f64 a (+.f64 (*.f64 #s(literal -1 binary64) (+.f64 t (*.f64 b z))) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (*.f64 y z)) a)))))

(+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z)))

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

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

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

(*.f64 a t)

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 t (+.f64 a (+.f64 (/.f64 x t) (+.f64 (/.f64 (*.f64 a (*.f64 b z)) t) (/.f64 (*.f64 y z) t)))))

(*.f64 a t)

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(*.f64 #s(literal -1 binary64) (*.f64 t (+.f64 (*.f64 #s(literal -1 binary64) a) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a (*.f64 b z)) (*.f64 y z))) t)))))

(+.f64 x (+.f64 (*.f64 a t) (*.f64 y z)))

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

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

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

(*.f64 a (*.f64 b z))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 b (+.f64 (*.f64 a z) (+.f64 (/.f64 x b) (+.f64 (/.f64 (*.f64 a t) b) (/.f64 (*.f64 y z) b)))))

(*.f64 a (*.f64 b z))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(*.f64 #s(literal -1 binary64) (*.f64 b (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 a z)) (*.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (+.f64 (*.f64 a t) (*.f64 y z))) b)))))

(-.f64 (exp.f64 (log1p.f64 (*.f64 y z))) #s(literal 1 binary64))

(pow.f64 (*.f64 y z) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (*.f64 y z)) #s(literal 3 binary64))

(pow.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(pow.f64 (sqrt.f64 (*.f64 y z)) #s(literal 2 binary64))

(sqrt.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)))

(log.f64 (pow.f64 (exp.f64 z) y))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 y z))))

(cbrt.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (*.f64 y z)))

(log1p.f64 (expm1.f64 (*.f64 y z)))

(exp.f64 (log.f64 (*.f64 y z)))

(exp.f64 (*.f64 (log.f64 (*.f64 y z)) #s(literal 1 binary64)))

(-.f64 (exp.f64 (log1p.f64 (*.f64 t a))) #s(literal 1 binary64))

(pow.f64 (*.f64 t a) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (*.f64 t a)) #s(literal 3 binary64))

(pow.f64 (sqrt.f64 (*.f64 t a)) #s(literal 2 binary64))

(pow.f64 (pow.f64 (*.f64 t a) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(sqrt.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)))

(log.f64 (pow.f64 (exp.f64 t) a))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 t a))))

(cbrt.f64 (pow.f64 (*.f64 t a) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (*.f64 t a)))

(log1p.f64 (expm1.f64 (*.f64 t a)))

(exp.f64 (log.f64 (*.f64 t a)))

(exp.f64 (*.f64 (log.f64 (*.f64 t a)) #s(literal 1 binary64)))

(-.f64 (exp.f64 (log1p.f64 (*.f64 z (*.f64 a b)))) #s(literal 1 binary64))

(pow.f64 (*.f64 z (*.f64 a b)) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (*.f64 z (*.f64 a b))) #s(literal 3 binary64))

(pow.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(pow.f64 (sqrt.f64 (*.f64 z (*.f64 a b))) #s(literal 2 binary64))

(sqrt.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)))

(log.f64 (pow.f64 (pow.f64 (exp.f64 z) a) b))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 z (*.f64 a b)))))

(cbrt.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (*.f64 z (*.f64 a b))))

(log1p.f64 (expm1.f64 (*.f64 z (*.f64 a b))))

(exp.f64 (log.f64 (*.f64 z (*.f64 a b))))

(exp.f64 (*.f64 (log.f64 (*.f64 z (*.f64 a b))) #s(literal 1 binary64)))

(-.f64 (exp.f64 (log1p.f64 (*.f64 z b))) #s(literal 1 binary64))

(pow.f64 (*.f64 z b) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (*.f64 z b)) #s(literal 3 binary64))

(pow.f64 (sqrt.f64 (*.f64 z b)) #s(literal 2 binary64))

(pow.f64 (pow.f64 (*.f64 z b) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(sqrt.f64 (pow.f64 (*.f64 z b) #s(literal 2 binary64)))

(log.f64 (pow.f64 (exp.f64 z) b))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 z b))))

(cbrt.f64 (pow.f64 (*.f64 z b) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (*.f64 z b)))

(log1p.f64 (expm1.f64 (*.f64 z b)))

(exp.f64 (log.f64 (*.f64 z b)))

(exp.f64 (*.f64 (log.f64 (*.f64 z b)) #s(literal 1 binary64)))

(-.f64 (exp.f64 (log1p.f64 (*.f64 z (*.f64 a b)))) #s(literal 1 binary64))

(pow.f64 (*.f64 z (*.f64 a b)) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (*.f64 z (*.f64 a b))) #s(literal 3 binary64))

(pow.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(pow.f64 (sqrt.f64 (*.f64 z (*.f64 a b))) #s(literal 2 binary64))

(sqrt.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)))

(log.f64 (pow.f64 (pow.f64 (exp.f64 z) a) b))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 z (*.f64 a b)))))

(cbrt.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (*.f64 z (*.f64 a b))))

(log1p.f64 (expm1.f64 (*.f64 z (*.f64 a b))))

(exp.f64 (log.f64 (*.f64 z (*.f64 a b))))

(exp.f64 (*.f64 (log.f64 (*.f64 z (*.f64 a b))) #s(literal 1 binary64)))

(-.f64 (exp.f64 (log1p.f64 (*.f64 z a))) #s(literal 1 binary64))

(pow.f64 (*.f64 z a) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (*.f64 z a)) #s(literal 3 binary64))

(pow.f64 (pow.f64 (*.f64 z a) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(pow.f64 (sqrt.f64 (*.f64 z a)) #s(literal 2 binary64))

(sqrt.f64 (pow.f64 (*.f64 z a) #s(literal 2 binary64)))

(log.f64 (pow.f64 (exp.f64 z) a))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 z a))))

(cbrt.f64 (pow.f64 (*.f64 z a) #s(literal 3 binary64)))

(cbrt.f64 (*.f64 (pow.f64 z #s(literal 3 binary64)) (pow.f64 a #s(literal 3 binary64))))

(cbrt.f64 (*.f64 (pow.f64 a #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))))

(expm1.f64 (log1p.f64 (*.f64 z a)))

(log1p.f64 (expm1.f64 (*.f64 z a)))

(exp.f64 (log.f64 (*.f64 z a)))

(exp.f64 (*.f64 (log.f64 (*.f64 z a)) #s(literal 1 binary64)))

(+.f64 (*.f64 y z) x)

(+.f64 x (*.f64 y z))

(-.f64 (exp.f64 (log1p.f64 (fma.f64 y z x))) #s(literal 1 binary64))

(-.f64 (/.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 x (*.f64 y z))) (/.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)) (-.f64 x (*.f64 y z))))

(*.f64 (fma.f64 y z x) #s(literal 1 binary64))

(*.f64 #s(literal 1 binary64) (fma.f64 y z x))

(*.f64 (cbrt.f64 (fma.f64 y z x)) (pow.f64 (cbrt.f64 (fma.f64 y z x)) #s(literal 2 binary64)))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y z x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y z x)))

(*.f64 (sqrt.f64 (fma.f64 y z x)) (sqrt.f64 (fma.f64 y z x)))

(*.f64 (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 (*.f64 y z) (-.f64 (*.f64 y z) x)))))

(*.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (*.f64 y z) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (*.f64 y z))))

(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x (*.f64 (*.f64 y z) (-.f64 (*.f64 y z) x))) (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))))

(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (*.f64 y z) #s(literal 2 binary64)))))

(/.f64 (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x (*.f64 (*.f64 y z) (-.f64 (*.f64 y z) x))))

(/.f64 (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)) (-.f64 (pow.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 x z) y))))

(/.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (*.f64 y z) #s(literal 2 binary64))) (-.f64 x (*.f64 y z)))

(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x (*.f64 (*.f64 y z) (-.f64 (*.f64 y z) x)))))

(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (*.f64 y z) #s(literal 2 binary64)))) (neg.f64 (-.f64 x (*.f64 y z))))

(/.f64 (-.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) (-.f64 (*.f64 y z) x))

(pow.f64 (fma.f64 y z x) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (fma.f64 y z x)) #s(literal 3 binary64))

(pow.f64 (sqrt.f64 (fma.f64 y z x)) #s(literal 2 binary64))

(pow.f64 (pow.f64 (fma.f64 y z x) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(sqrt.f64 (pow.f64 (fma.f64 y z x) #s(literal 2 binary64)))

(log.f64 (exp.f64 (fma.f64 y z x)))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 y z x))))

(cbrt.f64 (pow.f64 (fma.f64 y z x) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (fma.f64 y z x)))

(log1p.f64 (expm1.f64 (fma.f64 y z x)))

(exp.f64 (log.f64 (fma.f64 y z x)))

(exp.f64 (*.f64 (log.f64 (fma.f64 y z x)) #s(literal 1 binary64)))

(+.f64 (*.f64 t a) (*.f64 z (*.f64 a b)))

(+.f64 (*.f64 z (*.f64 a b)) (*.f64 t a))

(-.f64 (exp.f64 (log1p.f64 (*.f64 a (fma.f64 z b t)))) #s(literal 1 binary64))

(-.f64 (/.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 a (-.f64 t (*.f64 z b)))) (/.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)) (*.f64 a (-.f64 t (*.f64 z b)))))

(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 (*.f64 z (*.f64 a b)) (-.f64 (*.f64 z (*.f64 a b)) (*.f64 t a)))) (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) (pow.f64 (*.f64 t a) #s(literal 3 binary64)))))

(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 a (-.f64 t (*.f64 z b))) (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)))))

(/.f64 (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) (pow.f64 (*.f64 t a) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 (*.f64 z (*.f64 a b)) (-.f64 (*.f64 z (*.f64 a b)) (*.f64 t a)))))

(/.f64 (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) (pow.f64 (*.f64 t a) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)) (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 t a) a) (*.f64 z b)))))

(/.f64 (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64))) (*.f64 a (-.f64 t (*.f64 z b))))

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

(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)))) (neg.f64 (*.f64 a (-.f64 t (*.f64 z b)))))

(/.f64 (-.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)) (pow.f64 (*.f64 t a) #s(literal 2 binary64))) (-.f64 (*.f64 z (*.f64 a b)) (*.f64 t a)))

(/.f64 (*.f64 a (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64)))) (fma.f64 t t (*.f64 (*.f64 z b) (-.f64 (*.f64 z b) t))))

(/.f64 (*.f64 a (-.f64 (pow.f64 t #s(literal 2 binary64)) (pow.f64 (*.f64 z b) #s(literal 2 binary64)))) (-.f64 t (*.f64 z b)))

(/.f64 (*.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64))) a) (fma.f64 t t (*.f64 (*.f64 z b) (-.f64 (*.f64 z b) t))))

(/.f64 (*.f64 (-.f64 (pow.f64 t #s(literal 2 binary64)) (pow.f64 (*.f64 z b) #s(literal 2 binary64))) a) (-.f64 t (*.f64 z b)))

(pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (*.f64 a (fma.f64 z b t))) #s(literal 3 binary64))

(pow.f64 (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(pow.f64 (sqrt.f64 (*.f64 a (fma.f64 z b t))) #s(literal 2 binary64))

(sqrt.f64 (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 2 binary64)))

(log.f64 (pow.f64 (exp.f64 (fma.f64 z b t)) a))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 a (fma.f64 z b t)))))

(cbrt.f64 (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (*.f64 a (fma.f64 z b t))))

(log1p.f64 (expm1.f64 (*.f64 a (fma.f64 z b t))))

(exp.f64 (log.f64 (*.f64 a (fma.f64 z b t))))

(exp.f64 (*.f64 (log.f64 (*.f64 a (fma.f64 z b t))) #s(literal 1 binary64)))

(fma.f64 t a (*.f64 z (*.f64 a b)))

(fma.f64 a t (*.f64 z (*.f64 a b)))

(fma.f64 a (*.f64 z b) (*.f64 t a))

(fma.f64 b (*.f64 z a) (*.f64 t a))

(fma.f64 (*.f64 z b) a (*.f64 t a))

(fma.f64 (*.f64 z a) b (*.f64 t a))

(fma.f64 #s(literal 1 binary64) (*.f64 t a) (*.f64 z (*.f64 a b)))

(fma.f64 #s(literal 1 binary64) (*.f64 z (*.f64 a b)) (*.f64 t a))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 z (*.f64 a b))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 z (*.f64 a b))) (*.f64 t a))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 t a)) #s(literal 2 binary64)) (cbrt.f64 (*.f64 t a)) (*.f64 z (*.f64 a b)))

(fma.f64 (sqrt.f64 (*.f64 z (*.f64 a b))) (sqrt.f64 (*.f64 z (*.f64 a b))) (*.f64 t a))

(fma.f64 (sqrt.f64 (*.f64 t a)) (sqrt.f64 (*.f64 t a)) (*.f64 z (*.f64 a b)))

(-.f64 (exp.f64 (log1p.f64 (fma.f64 z b t))) #s(literal 1 binary64))

(-.f64 (/.f64 (pow.f64 t #s(literal 2 binary64)) (-.f64 t (*.f64 z b))) (/.f64 (pow.f64 (*.f64 z b) #s(literal 2 binary64)) (-.f64 t (*.f64 z b))))

(*.f64 (fma.f64 z b t) #s(literal 1 binary64))

(*.f64 #s(literal 1 binary64) (fma.f64 z b t))

(*.f64 (cbrt.f64 (fma.f64 z b t)) (pow.f64 (cbrt.f64 (fma.f64 z b t)) #s(literal 2 binary64)))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 z b t)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 z b t)))

(*.f64 (sqrt.f64 (fma.f64 z b t)) (sqrt.f64 (fma.f64 z b t)))

(*.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 t t (*.f64 (*.f64 z b) (-.f64 (*.f64 z b) t)))))

(*.f64 (-.f64 (pow.f64 t #s(literal 2 binary64)) (pow.f64 (*.f64 z b) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 t (*.f64 z b))))

(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 t t (*.f64 (*.f64 z b) (-.f64 (*.f64 z b) t))) (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64)))))

(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 t (*.f64 z b)) (-.f64 (pow.f64 t #s(literal 2 binary64)) (pow.f64 (*.f64 z b) #s(literal 2 binary64)))))

(/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64))) (fma.f64 t t (*.f64 (*.f64 z b) (-.f64 (*.f64 z b) t))))

(/.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 z b) #s(literal 2 binary64)) (-.f64 (pow.f64 t #s(literal 2 binary64)) (*.f64 t (*.f64 z b)))))

(/.f64 (-.f64 (pow.f64 t #s(literal 2 binary64)) (pow.f64 (*.f64 z b) #s(literal 2 binary64))) (-.f64 t (*.f64 z b)))

(/.f64 (neg.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64)))) (neg.f64 (fma.f64 t t (*.f64 (*.f64 z b) (-.f64 (*.f64 z b) t)))))

(/.f64 (neg.f64 (-.f64 (pow.f64 t #s(literal 2 binary64)) (pow.f64 (*.f64 z b) #s(literal 2 binary64)))) (neg.f64 (-.f64 t (*.f64 z b))))

(/.f64 (-.f64 (pow.f64 (*.f64 z b) #s(literal 2 binary64)) (pow.f64 t #s(literal 2 binary64))) (-.f64 (*.f64 z b) t))

(pow.f64 (fma.f64 z b t) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (fma.f64 z b t)) #s(literal 3 binary64))

(pow.f64 (pow.f64 (fma.f64 z b t) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(pow.f64 (sqrt.f64 (fma.f64 z b t)) #s(literal 2 binary64))

(sqrt.f64 (pow.f64 (fma.f64 z b t) #s(literal 2 binary64)))

(log.f64 (exp.f64 (fma.f64 z b t)))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 z b t))))

(cbrt.f64 (pow.f64 (fma.f64 z b t) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (fma.f64 z b t)))

(log1p.f64 (expm1.f64 (fma.f64 z b t)))

(exp.f64 (log.f64 (fma.f64 z b t)))

(exp.f64 (*.f64 (log.f64 (fma.f64 z b t)) #s(literal 1 binary64)))

(fma.f64 z b t)

(fma.f64 b z t)

(fma.f64 #s(literal 1 binary64) t (*.f64 z b))

(fma.f64 #s(literal 1 binary64) (*.f64 z b) t)

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 z b)) #s(literal 2 binary64)) (cbrt.f64 (*.f64 z b)) t)

(fma.f64 (pow.f64 (cbrt.f64 t) #s(literal 2 binary64)) (cbrt.f64 t) (*.f64 z b))

(fma.f64 (sqrt.f64 (*.f64 z b)) (sqrt.f64 (*.f64 z b)) t)

(fma.f64 (sqrt.f64 t) (sqrt.f64 t) (*.f64 z b))

(-.f64 (exp.f64 (log1p.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)))) #s(literal 1 binary64))

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

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

(*.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)) #s(literal 1 binary64))

(*.f64 #s(literal 1 binary64) (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)))

(*.f64 (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) (pow.f64 (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) #s(literal 2 binary64)))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))))

(*.f64 (sqrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) (sqrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))))

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

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

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

(*.f64 (-.f64 (pow.f64 (fma.f64 y z x) #s(literal 2 binary64)) (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 y z x) (*.f64 a (fma.f64 z b t)))))

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

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

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

(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (fma.f64 y z x) (*.f64 a (fma.f64 z b t))) (-.f64 (pow.f64 (fma.f64 y z x) #s(literal 2 binary64)) (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 2 binary64)))))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(pow.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) #s(literal 3 binary64))

(pow.f64 (pow.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(pow.f64 (sqrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) #s(literal 2 binary64))

(sqrt.f64 (pow.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)) #s(literal 2 binary64)))

(log.f64 (exp.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)))))

(cbrt.f64 (pow.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))))

(log1p.f64 (expm1.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))))

(exp.f64 (log.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))))

(exp.f64 (*.f64 (log.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) #s(literal 1 binary64)))

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

(fma.f64 a (fma.f64 z b t) (fma.f64 y z x))

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

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

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

(fma.f64 (fma.f64 z b t) a (fma.f64 y z x))

(fma.f64 #s(literal 1 binary64) (*.f64 z (*.f64 a b)) (fma.f64 t a (fma.f64 y z x)))

(fma.f64 #s(literal 1 binary64) x (fma.f64 y z (*.f64 a (fma.f64 z b t))))

(fma.f64 #s(literal 1 binary64) (fma.f64 y z x) (*.f64 a (fma.f64 z b t)))

(fma.f64 #s(literal 1 binary64) (*.f64 a (fma.f64 z b t)) (fma.f64 y z x))

(fma.f64 #s(literal 1 binary64) (fma.f64 t a (fma.f64 y z x)) (*.f64 z (*.f64 a b)))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 a (fma.f64 z b t))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 a (fma.f64 z b t))) (fma.f64 y z x))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 t a (fma.f64 y z x))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 t a (fma.f64 y z x))) (*.f64 z (*.f64 a b)))

(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y z x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y z x)) (*.f64 a (fma.f64 z b t)))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 z (*.f64 a b))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 z (*.f64 a b))) (fma.f64 t a (fma.f64 y z x)))

(fma.f64 (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (cbrt.f64 x) (fma.f64 y z (*.f64 a (fma.f64 z b t))))

(fma.f64 (sqrt.f64 (*.f64 a (fma.f64 z b t))) (sqrt.f64 (*.f64 a (fma.f64 z b t))) (fma.f64 y z x))

(fma.f64 (sqrt.f64 (fma.f64 t a (fma.f64 y z x))) (sqrt.f64 (fma.f64 t a (fma.f64 y z x))) (*.f64 z (*.f64 a b)))

(fma.f64 (sqrt.f64 (fma.f64 y z x)) (sqrt.f64 (fma.f64 y z x)) (*.f64 a (fma.f64 z b t)))

(fma.f64 (sqrt.f64 (*.f64 z (*.f64 a b))) (sqrt.f64 (*.f64 z (*.f64 a b))) (fma.f64 t a (fma.f64 y z x)))

(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (fma.f64 y z (*.f64 a (fma.f64 z b t))))

(-.f64 (exp.f64 (log1p.f64 (*.f64 a (fma.f64 z b t)))) #s(literal 1 binary64))

(-.f64 (/.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 a (-.f64 t (*.f64 z b)))) (/.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)) (*.f64 a (-.f64 t (*.f64 z b)))))

(*.f64 a (fma.f64 z b t))

(*.f64 (fma.f64 z b t) a)

(*.f64 (*.f64 a (fma.f64 z b t)) #s(literal 1 binary64))

(*.f64 #s(literal 1 binary64) (*.f64 a (fma.f64 z b t)))

(*.f64 (cbrt.f64 (*.f64 a (fma.f64 z b t))) (pow.f64 (cbrt.f64 (*.f64 a (fma.f64 z b t))) #s(literal 2 binary64)))

(*.f64 (pow.f64 (cbrt.f64 (*.f64 a (fma.f64 z b t))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 a (fma.f64 z b t))))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 z b t)) #s(literal 2 binary64)) (*.f64 (cbrt.f64 (fma.f64 z b t)) a))

(*.f64 (pow.f64 (cbrt.f64 a) #s(literal 2 binary64)) (*.f64 (cbrt.f64 a) (fma.f64 z b t)))

(*.f64 (sqrt.f64 (*.f64 a (fma.f64 z b t))) (sqrt.f64 (*.f64 a (fma.f64 z b t))))

(*.f64 (sqrt.f64 (fma.f64 z b t)) (*.f64 (sqrt.f64 (fma.f64 z b t)) a))

(*.f64 (sqrt.f64 a) (*.f64 (sqrt.f64 a) (fma.f64 z b t)))

(*.f64 (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) (pow.f64 (*.f64 t a) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 (*.f64 z (*.f64 a b)) (-.f64 (*.f64 z (*.f64 a b)) (*.f64 t a))))))

(*.f64 (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (*.f64 a (-.f64 t (*.f64 z b)))))

(*.f64 (*.f64 a (pow.f64 (cbrt.f64 (fma.f64 z b t)) #s(literal 2 binary64))) (cbrt.f64 (fma.f64 z b t)))

(*.f64 (*.f64 a (sqrt.f64 (fma.f64 z b t))) (sqrt.f64 (fma.f64 z b t)))

(*.f64 (*.f64 (fma.f64 z b t) (pow.f64 (cbrt.f64 a) #s(literal 2 binary64))) (cbrt.f64 a))

(*.f64 (*.f64 (fma.f64 z b t) (sqrt.f64 a)) (sqrt.f64 a))

(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 (*.f64 z (*.f64 a b)) (-.f64 (*.f64 z (*.f64 a b)) (*.f64 t a)))) (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) (pow.f64 (*.f64 t a) #s(literal 3 binary64)))))

(/.f64 #s(literal 1 binary64) (/.f64 (*.f64 a (-.f64 t (*.f64 z b))) (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)))))

(/.f64 (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) (pow.f64 (*.f64 t a) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 (*.f64 z (*.f64 a b)) (-.f64 (*.f64 z (*.f64 a b)) (*.f64 t a)))))

(/.f64 (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 3 binary64)) (pow.f64 (*.f64 t a) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)) (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 t a) a) (*.f64 z b)))))

(/.f64 (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64))) (*.f64 a (-.f64 t (*.f64 z b))))

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

(/.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 t a) #s(literal 2 binary64)) (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)))) (neg.f64 (*.f64 a (-.f64 t (*.f64 z b)))))

(/.f64 (-.f64 (pow.f64 (*.f64 z (*.f64 a b)) #s(literal 2 binary64)) (pow.f64 (*.f64 t a) #s(literal 2 binary64))) (-.f64 (*.f64 z (*.f64 a b)) (*.f64 t a)))

(/.f64 (*.f64 a (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64)))) (fma.f64 t t (*.f64 (*.f64 z b) (-.f64 (*.f64 z b) t))))

(/.f64 (*.f64 a (-.f64 (pow.f64 t #s(literal 2 binary64)) (pow.f64 (*.f64 z b) #s(literal 2 binary64)))) (-.f64 t (*.f64 z b)))

(/.f64 (*.f64 (+.f64 (pow.f64 t #s(literal 3 binary64)) (pow.f64 (*.f64 z b) #s(literal 3 binary64))) a) (fma.f64 t t (*.f64 (*.f64 z b) (-.f64 (*.f64 z b) t))))

(/.f64 (*.f64 (-.f64 (pow.f64 t #s(literal 2 binary64)) (pow.f64 (*.f64 z b) #s(literal 2 binary64))) a) (-.f64 t (*.f64 z b)))

(pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (*.f64 a (fma.f64 z b t))) #s(literal 3 binary64))

(pow.f64 (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(pow.f64 (sqrt.f64 (*.f64 a (fma.f64 z b t))) #s(literal 2 binary64))

(sqrt.f64 (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 2 binary64)))

(log.f64 (pow.f64 (exp.f64 (fma.f64 z b t)) a))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 a (fma.f64 z b t)))))

(cbrt.f64 (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (*.f64 a (fma.f64 z b t))))

(log1p.f64 (expm1.f64 (*.f64 a (fma.f64 z b t))))

(exp.f64 (log.f64 (*.f64 a (fma.f64 z b t))))

(exp.f64 (*.f64 (log.f64 (*.f64 a (fma.f64 z b t))) #s(literal 1 binary64)))

(fma.f64 t a (*.f64 z (*.f64 a b)))

(fma.f64 a t (*.f64 z (*.f64 a b)))

(fma.f64 a (*.f64 z b) (*.f64 t a))

(fma.f64 b (*.f64 z a) (*.f64 t a))

(fma.f64 (*.f64 z b) a (*.f64 t a))

(fma.f64 (*.f64 z a) b (*.f64 t a))

(fma.f64 #s(literal 1 binary64) (*.f64 t a) (*.f64 z (*.f64 a b)))

(fma.f64 #s(literal 1 binary64) (*.f64 z (*.f64 a b)) (*.f64 t a))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 z (*.f64 a b))) #s(literal 2 binary64)) (cbrt.f64 (*.f64 z (*.f64 a b))) (*.f64 t a))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 t a)) #s(literal 2 binary64)) (cbrt.f64 (*.f64 t a)) (*.f64 z (*.f64 a b)))

(fma.f64 (sqrt.f64 (*.f64 z (*.f64 a b))) (sqrt.f64 (*.f64 z (*.f64 a b))) (*.f64 t a))

(fma.f64 (sqrt.f64 (*.f64 t a)) (sqrt.f64 (*.f64 t a)) (*.f64 z (*.f64 a b)))

(-.f64 (exp.f64 (log1p.f64 (fma.f64 y z x))) #s(literal 1 binary64))

(-.f64 (/.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 x (*.f64 y z))) (/.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)) (-.f64 x (*.f64 y z))))

(*.f64 (fma.f64 y z x) #s(literal 1 binary64))

(*.f64 #s(literal 1 binary64) (fma.f64 y z x))

(*.f64 (cbrt.f64 (fma.f64 y z x)) (pow.f64 (cbrt.f64 (fma.f64 y z x)) #s(literal 2 binary64)))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y z x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y z x)))

(*.f64 (sqrt.f64 (fma.f64 y z x)) (sqrt.f64 (fma.f64 y z x)))

(*.f64 (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 x x (*.f64 (*.f64 y z) (-.f64 (*.f64 y z) x)))))

(*.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (*.f64 y z) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (*.f64 y z))))

(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 x x (*.f64 (*.f64 y z) (-.f64 (*.f64 y z) x))) (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))))

(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (*.f64 y z) #s(literal 2 binary64)))))

(/.f64 (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x (*.f64 (*.f64 y z) (-.f64 (*.f64 y z) x))))

(/.f64 (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)) (-.f64 (pow.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 x z) y))))

(/.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (*.f64 y z) #s(literal 2 binary64))) (-.f64 x (*.f64 y z)))

(/.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x (*.f64 (*.f64 y z) (-.f64 (*.f64 y z) x)))))

(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (*.f64 y z) #s(literal 2 binary64)))) (neg.f64 (-.f64 x (*.f64 y z))))

(/.f64 (-.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)) (pow.f64 x #s(literal 2 binary64))) (-.f64 (*.f64 y z) x))

(pow.f64 (fma.f64 y z x) #s(literal 1 binary64))

(pow.f64 (cbrt.f64 (fma.f64 y z x)) #s(literal 3 binary64))

(pow.f64 (sqrt.f64 (fma.f64 y z x)) #s(literal 2 binary64))

(pow.f64 (pow.f64 (fma.f64 y z x) #s(literal 3 binary64)) #s(literal 1/3 binary64))

(sqrt.f64 (pow.f64 (fma.f64 y z x) #s(literal 2 binary64)))

(log.f64 (exp.f64 (fma.f64 y z x)))

(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 y z x))))

(cbrt.f64 (pow.f64 (fma.f64 y z x) #s(literal 3 binary64)))

(expm1.f64 (log1p.f64 (fma.f64 y z x)))

(log1p.f64 (expm1.f64 (fma.f64 y z x)))

(exp.f64 (log.f64 (fma.f64 y z x)))

(exp.f64 (*.f64 (log.f64 (fma.f64 y z x)) #s(literal 1 binary64)))

(fma.f64 y z x)

(fma.f64 z y x)

(fma.f64 #s(literal 1 binary64) (*.f64 y z) x)

(fma.f64 #s(literal 1 binary64) x (*.f64 y z))

(fma.f64 (pow.f64 (cbrt.f64 (*.f64 y z)) #s(literal 2 binary64)) (cbrt.f64 (*.f64 y z)) x)

(fma.f64 (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (cbrt.f64 x) (*.f64 y z))

(fma.f64 (sqrt.f64 (*.f64 y z)) (sqrt.f64 (*.f64 y z)) x)

(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 y z))

(-.f64 (exp.f64 (log1p.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)))) #s(literal 1 binary64))

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

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

(*.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)) #s(literal 1 binary64))

(*.f64 #s(literal 1 binary64) (fma.f64 a (fma.f64 z b t) (fma.f64 y z x)))

(*.f64 (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) (pow.f64 (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) #s(literal 2 binary64)))

(*.f64 (pow.f64 (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))))

(*.f64 (sqrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))) (sqrt.f64 (fma.f64 a (fma.f64 z b t) (fma.f64 y z x))))

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

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

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

(*.f64 (-.f64 (pow.f64 (fma.f64 y z x) #s(literal 2 binary64)) (pow.f64 (*.f64 a (fma.f64 z b t)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 y z x) (*.f64 a (fma.f64 z b t)))))