diff --git a/source/numerics.tex b/source/numerics.tex
index a50d6c17bc..87d1156287 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -16573,8 +16573,6 @@
 
 template<class T> using @\exposidnc{deduced-vec-t} = \seebelownc@;                   // \expos
 
-template<class V, class T> using @\exposidnc{make-compatible-simd-t} = \seebelownc@; // \expos
-
 template<class V>
   concept @\defexposconceptnc{simd-vec-type}@ =                                            // \expos
     @\libconcept{same_as}@<V, basic_vec<typename V::value_type, typename V::abi_type>> &&
@@ -16600,13 +16598,9 @@
   concept @\defexposconceptnc{simd-complex}@ =                                             // \expos
     @\exposconcept{simd-vec-type}@<V> && @\libconcept{same_as}@<typename V::value_type, complex<@\exposid{simd-complex-value-type}@<V>>>;
 
-template<class... Ts>
+template<class T>
   concept @\defexposconceptnc{math-floating-point}@ =                                      // \expos
-    (@\exposconceptnc{simd-floating-point}<\exposidnc{deduced-vec-t}@<Ts>> || ...);
-
-template<class... Ts>
-  requires @\exposconceptnc{math-floating-point}@<Ts...>
-    using @\exposidnc{math-common-simd-t} = \seebelownc@;                            // \expos
+    @\exposconceptnc{simd-floating-point}<\exposidnc{deduced-vec-t}@<T>>;
 
 template<class BinaryOperation, class T>
   concept @\exposconceptnc{reduction-binary-operation} = \seebelownc@;                    // \expos
@@ -16673,74 +16667,7 @@
 Let \tcode{x} denote an lvalue of type \tcode{const T}.
 
 \pnum
-\tcode{\exposid{deduced-vec-t}<T>} is an alias for
-\begin{itemize}
- \item
-   \tcode{decltype(x + x)}, if the type of \tcode{x + x} is an enabled
-   specialization of \tcode{basic_vec}; otherwise
- \item
-   \tcode{void}.
-\end{itemize}
-\end{itemdescr}
-
-\begin{itemdecl}
-template<class V, class T> using @\exposid{make-compatible-simd-t}@ = @\seebelow@;
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-Let \tcode{x} denote an lvalue of type \tcode{const T}.
-
-\pnum
-\tcode{\exposid{make-compatible-simd-t}<V, T>} is an alias for
-\begin{itemize}
- \item
-   \tcode{\exposid{deduced-vec-t}<T>}, if that type is not \tcode{void},
-   otherwise
- \item
-   \tcode{vec<decltype(x + x), V::size()>}.
-\end{itemize}
-\end{itemdescr}
-
-\begin{itemdecl}
-template<class... Ts>
-  requires @\exposconcept{math-floating-point}@<Ts...>
-    using @\exposid{math-common-simd-t}@ = @\seebelow@;
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-Let \tcode{T0} denote \tcode{Ts...[0]}.
-Let \tcode{T1} denote \tcode{Ts...[1]}.
-Let \tcode{TRest} denote a pack such that \tcode{T0, T1, TRest...} is equivalent
-to \tcode{Ts...}.
-
-\pnum
-Let \tcode{\exposid{math-common-simd-t}<Ts...>} be an alias for
-\begin{itemize}
- \item
-   \tcode{\exposid{deduced-vec-t}<T0>}, if \tcode{sizeof...(Ts)} equals $1$;
-   otherwise
- \item
-   \tcode{common_type_t<\exposid{deduced-vec-t}<T0>,
-   \exposid{deduced-vec-t}<T1>>}, if \tcode{sizeof...(Ts)} equals $2$ and
-   \tcode{\exposconcept{math-floating-point}<T0> \&\&
-   \exposconcept{math-floating-point}<T1>} is \tcode{true}; otherwise
- \item
-   \tcode{common_type_t<\exposid{deduced-vec-t}<T0>, T1>}, if
-   \tcode{sizeof...(Ts)} equals $2$ and
-   \tcode{\exposconceptx{math-floating-\brk{}point}{math-floating-point}<\brk{}T0>}
-   is \tcode{true}; otherwise
- \item
-   \tcode{common_type_t<T0, \exposid{deduced-vec-t}<T1>>}, if
-   \tcode{sizeof...(Ts)} equals $2$; otherwise
- \item
-   \tcode{common_type_t<\exposid{math-common-simd-t}<T0, T1>, TRest...>}, if
-   \tcode{\exposid{math-common-simd-t}<T0, T1>} is valid and denotes a type;
-   otherwise
- \item
-   \tcode{common_type_t<\exposid{math-common-simd-t}<TRest...>, T0, T1>}.
-\end{itemize}
+\tcode{\exposid{deduced-vec-t}<T>} is an alias for \tcode{decltype(x + x)}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -17101,8 +17028,12 @@
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> acos(const V& x);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> asin(const V& x);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> atan(const V& x);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> atan2(const V0& y, const V1& x);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> atan2(const V& y, const V& x);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> atan2(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> atan2(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> cos(const V& x);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> sin(const V& x);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> tan(const V& x);
@@ -17140,12 +17071,35 @@
     constexpr basic_vec<T, Abi> abs(const basic_vec<T, Abi>& j);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> abs(const V& j);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> fabs(const V& x);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> hypot(const V0& x, const V1& y);
-  template<class V0, class V1, class V2>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1, V2> hypot(const V0& x, const V1& y, const V2& z);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> pow(const V0& x, const V1& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const V& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const @\exposid{deduced-vec-t}@<V>& x, const @\exposid{deduced-vec-t}@<V>& y
+                                     const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const @\exposid{deduced-vec-t}@<V>& x, const V& y
+                                     const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const @\exposid{deduced-vec-t}@<V>& y
+                                     const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> pow(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> pow(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> pow(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> sqrt(const V& x);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> erf(const V& x);
   template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> erfc(const V& x);
@@ -17167,28 +17121,92 @@
     constexpr rebind_t<long long int, @\exposid{deduced-vec-t}@<V>> llround(const V& x);
   template<@\exposconcept{math-floating-point}@ V>
     constexpr @\exposid{deduced-vec-t}@<V> trunc(const V& x);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> fmod(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> remainder(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1>
-      remquo(const V0& x, const V1& y, rebind_t<int, @\exposid{math-common-simd-t}@<V0, V1>>* quo);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> copysign(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> nextafter(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> fdim(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> fmax(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1> fmin(const V0& x, const V1& y);
-  template<class V0, class V1, class V2>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1, V2> fma(const V0& x, const V1& y, const V2& z);
-  template<class V0, class V1, class V2>
-    constexpr @\exposid{math-common-simd-t}@<V0, V1, V2>
-      lerp(const V0& a, const V1& b, const V2& t) noexcept;
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmod(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmod(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmod(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> remainder(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> remainder(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> remainder(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V>
+      remquo(const V& x, const V& y, rebind_t<int, @\exposid{deduced-vec-t}@<V>>* quo);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V>
+      remquo(const @\exposid{deduced-vec-t}@<V>& x, const V& y, rebind_t<int, @\exposid{deduced-vec-t}@<V>>* quo);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V>
+      remquo(const V& x, const @\exposid{deduced-vec-t}@<V>& y, rebind_t<int, @\exposid{deduced-vec-t}@<V>>* quo);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> copysign(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> copysign(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> copysign(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> nextafter(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> nextafter(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> nextafter(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fdim(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fdim(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fdim(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmax(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmax(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmax(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmin(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmin(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fmin(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fma(const V& x, const V& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fma(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fma(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fma(const V& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fma(const @\exposid{deduced-vec-t}@<V>& x, const @\exposid{deduced-vec-t}@<V>& y
+                                   const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fma(const @\exposid{deduced-vec-t}@<V>& x, const V& y
+                                   const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> fma(const V& x, const @\exposid{deduced-vec-t}@<V>& y
+                                   const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V>
+      lerp(const V& a, const V& b, const V& t) noexcept;
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> lerp(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> lerp(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> lerp(const V& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> lerp(const @\exposid{deduced-vec-t}@<V>& x, const @\exposid{deduced-vec-t}@<V>& y
+                                    const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> lerp(const @\exposid{deduced-vec-t}@<V>& x, const V& y
+                                    const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr @\exposid{deduced-vec-t}@<V> lerp(const V& x, const @\exposid{deduced-vec-t}@<V>& y
+                                    const @\exposid{deduced-vec-t}@<V>& z);
   template<@\exposconcept{math-floating-point}@ V>
     constexpr rebind_t<int, @\exposid{deduced-vec-t}@<V>> fpclassify(const V& x);
   template<@\exposconcept{math-floating-point}@ V>
@@ -17201,50 +17219,130 @@
     constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type isnormal(const V& x);
   template<@\exposconcept{math-floating-point}@ V>
     constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type signbit(const V& x);
-  template<class V0, class V1>
-    constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type
-      isgreater(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type
-      isgreaterequal(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type
-      isless(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type
-      islessequal(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type
-      islessgreater(const V0& x, const V1& y);
-  template<class V0, class V1>
-    constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type
-      isunordered(const V0& x, const V1& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isgreater(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isgreater(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isgreater(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isgreaterequal(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isgreaterequal(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isgreaterequal(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isless(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isless(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isless(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      islessequal(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      islessequal(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      islessequal(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      islessgreater(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      islessgreater(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      islessgreater(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isunordered(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isunordered(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+      isunordered(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
   template<@\exposconcept{math-floating-point}@ V>
     @\exposid{deduced-vec-t}@<V> assoc_laguerre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& n,
                                     const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& m, const V& x);
   template<@\exposconcept{math-floating-point}@ V>
     @\exposid{deduced-vec-t}@<V> assoc_legendre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& l,
                                     const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& m, const V& x);
-  template<class V0, class V1>
-    @\exposid{math-common-simd-t}@<V0, V1> beta(const V0& x, const V1& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> beta(const V& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> beta(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> beta(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
   template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> comp_ellint_1(const V& k);
   template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> comp_ellint_2(const V& k);
-  template<class V0, class V1>
-    @\exposid{math-common-simd-t}@<V0, V1> comp_ellint_3(const V0& k, const V1& nu);
-  template<class V0, class V1>
-    @\exposid{math-common-simd-t}@<V0, V1> cyl_bessel_i(const V0& nu, const V1& x);
-  template<class V0, class V1>
-    @\exposid{math-common-simd-t}@<V0, V1> cyl_bessel_j(const V0& nu, const V1& x);
-  template<class V0, class V1>
-    @\exposid{math-common-simd-t}@<V0, V1> cyl_bessel_k(const V0& nu, const V1& x);
-  template<class V0, class V1>
-    @\exposid{math-common-simd-t}@<V0, V1> cyl_neumann(const V0& nu, const V1& x);
-  template<class V0, class V1>
-    @\exposid{math-common-simd-t}@<V0, V1> ellint_1(const V0& k, const V1& phi);
-  template<class V0, class V1>
-    @\exposid{math-common-simd-t}@<V0, V1> ellint_2(const V0& k, const V1& phi);
-  template<class V0, class V1, class V2>
-    @\exposid{math-common-simd-t}@<V0, V1, V2> ellint_3(const V0& k, const V1& nu, const V2& phi);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> comp_ellint_3(const V& k, const V& nu);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> comp_ellint_3(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> comp_ellint_3(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_i(const V& nu, const V& x);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_i(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_i(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_j(const V& nu, const V& x);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_j(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_j(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_k(const V& nu, const V& x);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_k(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_bessel_k(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_neumann(const V& nu, const V& x);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_neumann(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> cyl_neumann(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_1(const V& k, const V& phi);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_1(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_1(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_2(const V& k, const V& phi);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_2(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_2(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_3(const V& k, const V& nu, const V& phi);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_3(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_3(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_3(const V& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_3(const @\exposid{deduced-vec-t}@<V>& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_3(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+  template<@\exposconcept{math-floating-point}@ V>
+    @\exposid{deduced-vec-t}@<V> ellint_3(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const @\exposid{deduced-vec-t}@<V>& z);
   template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> expint(const V& x);
   template<@\exposconcept{math-floating-point}@ V>
     @\exposid{deduced-vec-t}@<V> hermite(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& n, const V& x);
@@ -19781,10 +19879,6 @@
 \rSec3[simd.math]{Mathematical functions}
 
 \indexlibrarymember{ilogb}{simd}
-\indexlibrarymember{ldexp}{simd}
-\indexlibrarymember{scalbn}{simd}
-\indexlibrarymember{scalbln}{simd}
-\indexlibrarymember{abs}{simd}
 \indexlibrarymember{abs}{simd}
 \indexlibrarymember{fabs}{simd}
 \indexlibrarymember{ceil}{simd}
@@ -19820,15 +19914,6 @@
 \begin{itemdecl}
 template<@\exposconcept{math-floating-point}@ V>
   constexpr rebind_t<int, @\exposid{deduced-vec-t}@<V>> ilogb(const V& x);
-template<@\exposconcept{math-floating-point}@ V>
-  constexpr @\exposid{deduced-vec-t}@<V> ldexp(const V& x, const rebind_t<int, @\exposid{deduced-vec-t}@<V>>& exp);
-template<@\exposconcept{math-floating-point}@ V>
-  constexpr @\exposid{deduced-vec-t}@<V> scalbn(const V& x, const rebind_t<int, @\exposid{deduced-vec-t}@<V>>& n);
-template<@\exposconcept{math-floating-point}@ V>
-  constexpr @\exposid{deduced-vec-t}@<V>
-    scalbln(const V& x, const rebind_t<long int, @\exposid{deduced-vec-t}@<V>>& n);
-template<@\libconcept{signed_integral}@ T, class Abi>
-  constexpr basic_vec<T, Abi> abs(const basic_vec<T, Abi>& j);
 template<@\exposconcept{math-floating-point}@ V>
   constexpr @\exposid{deduced-vec-t}@<V> abs(const V& j);
 template<@\exposconcept{math-floating-point}@ V>
@@ -19851,24 +19936,67 @@
   constexpr rebind_t<long int, @\exposid{deduced-vec-t}@<V>> lround(const V& x);
 template<@\exposconcept{math-floating-point}@ V>
   constexpr rebind_t<long long int, @\exposid{deduced-vec-t}@<V>> llround(const V& x);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> fmod(const V0& x, const V1& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fmod(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fmod(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fmod(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
 template<@\exposconcept{math-floating-point}@ V>
   constexpr @\exposid{deduced-vec-t}@<V> trunc(const V& x);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> remainder(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> copysign(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> nextafter(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> fdim(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> fmax(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> fmin(const V0& x, const V1& y);
-template<class V0, class V1, class V2>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1, V2> fma(const V0& x, const V1& y, const V2& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ remainder(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> remainder(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> remainder(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ copysign(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> copysign(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> copysign(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ nextafter(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> nextafter(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> nextafter(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ fdim(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fdim(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fdim(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ fmax(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fmax(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fmax(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ fmin(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fmin(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fmin(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ fma(const V& x, const V& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fma(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fma(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> fma(const V& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    fma(const @\exposid{deduced-vec-t}@<V>& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    fma(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    fma(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const @\exposid{deduced-vec-t}@<V>& z);
 template<@\exposconcept{math-floating-point}@ V>
   constexpr rebind_t<int, @\exposid{deduced-vec-t}@<V>> fpclassify(const V& x);
 template<@\exposconcept{math-floating-point}@ V>
@@ -19881,19 +20009,57 @@
   constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type isnormal(const V& x);
 template<@\exposconcept{math-floating-point}@ V>
   constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type signbit(const V& x);
-template<class V0, class V1>
-  constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type isgreater(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type
-    isgreaterequal(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type isless(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type islessequal(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type islessgreater(const V0& x, const V1& y);
-template<class V0, class V1>
-  constexpr typename @\exposid{math-common-simd-t}@<V0, V1>::mask_type isunordered(const V0& x, const V1& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}<V>@::mask_type isgreater(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type isgreater(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type isgreater(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}<V>@::mask_type
+    isgreaterequal(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+ @ constexpr typename @\exposid{deduced-vec-t}@@<V>::mask_type
+    isgreaterequal(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    isgreaterequal(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}<V>@::mask_type
+    isless(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    isless(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    isless(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}<V>@::mask_type
+    islessequal(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    islessequal(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    islessequal(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}<V>@::mask_type
+    islessgreater(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    islessgreater(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    islessgreater(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}<V>@::mask_type
+    isunordered(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    isunordered(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr typename @\exposid{deduced-vec-t}@<V>::mask_type
+    isunordered(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -19903,9 +20069,9 @@
 Let \tcode{\placeholder{math-func-vec}} denote:
 \begin{codeblock}
 template<class... Args>
-Ret @\placeholder{math-func-vec}@(Args... args) {
+Ret @\placeholder{math-func-vec}@(const Args&... args) {
   return Ret([&](@\exposid{simd-size-type}@ i) {
-    return @\placeholder{math-func}@(@\exposid{make-compatible-simd-t}@<Ret, Args>(args)[i]...);
+    return @\placeholder{math-func}(\exposid{deduced-vec-t}@<V>(args)[i]...);
   });
 }
 \end{codeblock}
@@ -19913,7 +20079,7 @@
 \pnum
 \returns
 A value \tcode{ret} of type \tcode{Ret}, that is element-wise equal to the
-result of calling \tcode{\placeholder{math-func-vec}} with the arguments of the above
+result of calling \tcode{\placeholder{math-func-vec}} with the parameters of the above
 functions.
 If in an invocation of a scalar overload of \tcode{\placeholder{math-func}} for index
 \tcode{i} in \tcode{\placeholder{math-func-vec}} a domain, pole, or range error would
@@ -19924,6 +20090,64 @@
 It is unspecified whether \tcode{errno}\iref{errno} is accessed.
 \end{itemdescr}
 
+\indexlibrarymember{ldexp}{simd}
+\indexlibrarymember{scalbn}{simd}
+\indexlibrarymember{scalbln}{simd}
+\begin{itemdecl}
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> ldexp(const V& x, const rebind_t<int, @\exposid{deduced-vec-t}@<V>>& exp);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> scalbn(const V& x, const rebind_t<int, @\exposid{deduced-vec-t}@<V>>& n);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    scalbln(const V& x, const rebind_t<long int, @\exposid{deduced-vec-t}@<V>>& n);
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+Let \tcode{Ret} be \tcode{\exposid{deduced-vec-t}<V>}.
+Let \tcode{\placeholder{math-func}} denote the name of the function template.
+Let \tcode{\placeholder{math-func-vec}} denote:
+\begin{codeblock}
+Ret @\placeholder{math-func-vec}@(const @\exposid{deduced-vec-t}@<V>& a, const auto& b) {
+  return Ret([&](@\exposid{simd-size-type}@ i) {
+    return @\placeholder{math-func}@(a[i], b[i]);
+  });
+}
+\end{codeblock}
+
+\pnum
+\returns
+A value \tcode{ret} of type \tcode{Ret}, that is element-wise equal to the
+result of calling \tcode{\placeholder{math-func-vec}} with the parameters of the above
+functions.
+If in an invocation of a scalar overload of \tcode{\placeholder{math-func}} for index
+\tcode{i} in \tcode{\placeholder{math-func-vec}} a domain, pole, or range error would
+occur, the value of \tcode{ret[i]} is unspecified.
+
+\pnum
+\remarks
+It is unspecified whether \tcode{errno}\iref{errno} is accessed.
+\end{itemdescr}
+
+\indexlibrarymember{abs}{simd}
+\begin{itemdecl}
+template<@\libconcept{signed_integral}@ T, class Abi>
+  constexpr basic_vec<T, Abi> abs(const basic_vec<T, Abi>& j);
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\expects
+\tcode{all_of(j >= -numeric_limits<T>::max())} is \tcode{true}.
+
+\pnum
+\returns
+An object where the $i^{\textrm{th}}$ element is initialized to the result of
+\tcode{std::abs(j[$i$])} for all $i$ in the range \range{0}{j.size()}.
+
+\end{itemdescr}
+
 \indexlibrarymember{acos}{simd}
 \indexlibrarymember{asin}{simd}
 \indexlibrarymember{atan}{simd}
@@ -19955,8 +20179,6 @@
 \indexlibrarymember{lgamma}{simd}
 \indexlibrarymember{tgamma}{simd}
 \indexlibrarymember{lerp}{simd}
-\indexlibrarymember{assoc_laguerre}{simd}
-\indexlibrarymember{assoc_legendre}{simd}
 \indexlibrarymember{beta}{simd}
 \indexlibrarymember{comp_ellint_1}{simd}
 \indexlibrarymember{comp_ellint_2}{simd}
@@ -19969,19 +20191,16 @@
 \indexlibrarymember{ellint_2}{simd}
 \indexlibrarymember{ellint_3}{simd}
 \indexlibrarymember{expint}{simd}
-\indexlibrarymember{hermite}{simd}
-\indexlibrarymember{laguerre}{simd}
-\indexlibrarymember{legendre}{simd}
-\indexlibrarymember{riemann_zeta}{simd}
-\indexlibrarymember{sph_bessel}{simd}
-\indexlibrarymember{sph_legendre}{simd}
-\indexlibrarymember{sph_neumann}{simd}
 \begin{itemdecl}
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> acos(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> asin(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> atan(const V& x);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> atan2(const V0& y, const V1& x);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ atan2(const V& y, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> atan2(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> atan2(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> cos(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> sin(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> tan(const V& x);
@@ -20000,61 +20219,123 @@
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> log2(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> logb(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> cbrt(const V& x);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> hypot(const V0& x, const V1& y);
-template<class V0, class V1, class V2>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1, V2> hypot(const V0& x, const V1& y, const V2& z);
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> pow(const V0& x, const V1& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ hypot(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> hypot(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ hypot(const V& x, const V& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> hypot(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> hypot(const V& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    hypot(const @\exposid{deduced-vec-t}@<V>& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    hypot(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    hypot(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ pow(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> pow(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> pow(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> sqrt(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> erf(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> erfc(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> lgamma(const V& x);
 template<@\exposconcept{math-floating-point}@ V> constexpr @\exposid{deduced-vec-t}@<V> tgamma(const V& x);
-template<class V0, class V1, class V2>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1, V2> lerp(const V0& a, const V1& b, const V2& t) noexcept;
 template<@\exposconcept{math-floating-point}@ V>
-  @\exposid{deduced-vec-t}@<V> assoc_laguerre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& n, const
-    rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& m, const V& x);
+  constexpr @\exposid{deduced-vec-t}<V>@ lerp(const V& a, const V& b, const V& t) noexcept;
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> lerp(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const V& z);
 template<@\exposconcept{math-floating-point}@ V>
-  @\exposid{deduced-vec-t}@<V> assoc_legendre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& l, const
-    rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& m, const V& x);
-template<class V0, class V1>
-  @\exposid{math-common-simd-t}@<V0, V1> beta(const V0& x, const V1& y);
+  constexpr @\exposid{deduced-vec-t}@<V> lerp(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V> lerp(const V& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    lerp(const @\exposid{deduced-vec-t}@<V>& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    lerp(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    lerp(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ beta(const V& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> beta(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> beta(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
 template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> comp_ellint_1(const V& k);
 template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> comp_ellint_2(const V& k);
-template<class V0, class V1>
-  @\exposid{math-common-simd-t}@<V0, V1> comp_ellint_3(const V0& k, const V1& nu);
-template<class V0, class V1>
-  @\exposid{math-common-simd-t}@<V0, V1> cyl_bessel_i(const V0& nu, const V1& x);
-template<class V0, class V1>
-  @\exposid{math-common-simd-t}@<V0, V1> cyl_bessel_j(const V0& nu, const V1& x);
-template<class V0, class V1>
-  @\exposid{math-common-simd-t}@<V0, V1> cyl_bessel_k(const V0& nu, const V1& x);
-template<class V0, class V1>
-  @\exposid{math-common-simd-t}@<V0, V1> cyl_neumann(const V0& nu, const V1& x);
-template<class V0, class V1>
-  @\exposid{math-common-simd-t}@<V0, V1> ellint_1(const V0& k, const V1& phi);
-template<class V0, class V1>
-  @\exposid{math-common-simd-t}@<V0, V1> ellint_2(const V0& k, const V1& phi);
-template<class V0, class V1, class V2>
-  @\exposid{math-common-simd-t}@<V0, V1, V2> ellint_3(const V0& k, const V1& nu, const V2& phi);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ comp_ellint_3(const V& k, const V& nu);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> comp_ellint_3(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> comp_ellint_3(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ cyl_bessel_i(const V& nu, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> cyl_bessel_i(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> cyl_bessel_i(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ cyl_bessel_j(const V& nu, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> cyl_bessel_j(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> cyl_bessel_j(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ cyl_bessel_k(const V& nu, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> cyl_bessel_k(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> cyl_bessel_k(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ cyl_neumann(const V& nu, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> cyl_neumann(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> cyl_neumann(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ ellint_1(const V& k, const V& phi);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_1(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_1(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ ellint_2(const V& k, const V& phi);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_2(const @\exposid{deduced-vec-t}@<V>& x, const V& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_2(const V& x, const @\exposid{deduced-vec-t}@<V>& y);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}<V>@ ellint_3(const V& k, const V& nu, const V& phi);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_3(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_3(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_3(const V& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_3(const @\exposid{deduced-vec-t}@<V>& x, const @\exposid{deduced-vec-t}@<V>& y, const V& z);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_3(const @\exposid{deduced-vec-t}@<V>& x, const V& y, const @\exposid{deduced-vec-t}@<V>& z);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> ellint_3(const V& x, const @\exposid{deduced-vec-t}@<V>& y, const @\exposid{deduced-vec-t}@<V>& z);
 template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> expint(const V& x);
-template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> hermite(const rebind_t<unsigned,
-@\exposid{deduced-vec-t}@<V>>& n, const V& x);
-template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> laguerre(const rebind_t<unsigned,
-@\exposid{deduced-vec-t}@<V>>& n, const V& x);
-template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> legendre(const rebind_t<unsigned,
-@\exposid{deduced-vec-t}@<V>>& l, const V& x);
 template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> riemann_zeta(const V& x);
-template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> sph_bessel(const rebind_t<unsigned,
-@\exposid{deduced-vec-t}@<V>>& n, const V& x);
-template<@\exposconcept{math-floating-point}@ V>
-  @\exposid{deduced-vec-t}@<V> sph_legendre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& l,
-                                 const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& m,
-                                 const V& theta);
-template<@\exposconcept{math-floating-point}@ V> @\exposid{deduced-vec-t}@<V> sph_neumann(const rebind_t<unsigned,
-@\exposid{deduced-vec-t}@<V>>& n, const V& x);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -20064,9 +20345,9 @@
 Let \tcode{\placeholder{math-func-vec}} denote:
 \begin{codeblock}
 template<class... Args>
-Ret @\placeholder{math-func-vec}@(Args... args) {
+Ret @\placeholder{math-func-vec}@(const Args&... args) {
   return Ret([&](@\exposid{simd-size-type}@ i) {
-    return @\placeholder{math-func}@(@\exposid{make-compatible-simd-t}@<Ret, Args>(args)[i]...);
+    return @\placeholder{math-func}(\exposid{deduced-vec-t}@<V>(args)[i]...);
   });
 }
 \end{codeblock}
@@ -20074,7 +20355,7 @@
 \pnum
 \returns
 A value \tcode{ret} of type \tcode{Ret}, that is element-wise approximately
-equal to the result of calling \tcode{\placeholder{math-func-vec}} with the arguments
+equal to the result of calling \tcode{\placeholder{math-func-vec}} with the parameters
 of the above functions.
 If in an invocation of a scalar overload of \tcode{\placeholder{math-func}} for index
 \tcode{i} in \tcode{\placeholder{math-func-vec}} a domain, pole, or range error would
@@ -20085,6 +20366,74 @@
 It is unspecified whether \tcode{errno}\iref{errno} is accessed.
 \end{itemdescr}
 
+\indexlibrarymember{assoc_laguerre}{simd}
+\indexlibrarymember{assoc_legendre}{simd}
+\indexlibrarymember{sph_legendre}{simd}
+\begin{itemdecl}
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> assoc_laguerre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& n,
+                                  const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& m, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> assoc_legendre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& l,
+                                  const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& m, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> sph_legendre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& l,
+                                const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& m, const V& theta);
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+Let \tcode{\placeholder{math-func}} denote the name of the function template.
+Let \tcode{\placeholder{math-func-vec}} denote:
+\begin{codeblock}
+auto @\placeholder{math-func-vec}@(const auto& a, const auto& b, const @\exposid{deduced-vec-t}@<V>& c) {
+  return @\exposid{deduced-vec-t}@<V>([&](@\exposid{simd-size-type}@ i) {
+    return std::@\placeholder{math-func}@(a[i], b[i], c[i]);
+  });
+}
+\end{codeblock}
+
+\pnum
+\returns
+An object that is element-wise approximately equal to the result of calling
+\tcode{\placeholder{math-func-vec}} with the parameters of the above functions.
+\end{itemdescr}
+
+\indexlibrarymember{hermite}{simd}
+\indexlibrarymember{laguerre}{simd}
+\indexlibrarymember{legendre}{simd}
+\indexlibrarymember{riemann_zeta}{simd}
+\indexlibrarymember{sph_bessel}{simd}
+\indexlibrarymember{sph_neumann}{simd}
+\begin{itemdecl}
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> hermite(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& n, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> laguerre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& n, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> legendre(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& l, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> sph_bessel(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& n, const V& x);
+template<@\exposconcept{math-floating-point}@ V>
+  @\exposid{deduced-vec-t}@<V> sph_neumann(const rebind_t<unsigned, @\exposid{deduced-vec-t}@<V>>& n, const V& x);
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+Let \tcode{\placeholder{math-func}} denote the name of the function template.
+Let \tcode{\placeholder{math-func-vec}} denote:
+\begin{codeblock}
+auto @\placeholder{math-func-vec}@(const auto& a, const @\exposid{deduced-vec-t}@<V>& b) {
+  return @\exposid{deduced-vec-t}@<V>([&](@\exposid{simd-size-type}@ i) { return std::@\placeholder{math-func}@(a[i], b[i]); });
+\}
+\end{codeblock}
+
+\pnum
+\returns
+An object that is element-wise approximately equal to the result of calling
+\tcode{\placeholder{math-func-vec}} with the parameters of the above functions.
+\end{itemdescr}
+
 \indexlibrarymember{frexp}{simd}
 \begin{itemdecl}
 template<@\exposconcept{math-floating-point}@ V>
@@ -20097,10 +20446,10 @@
 Let \tcode{\placeholder{frexp-vec}} denote:
 \begin{codeblock}
 template<class V>
-pair<Ret, rebind_t<int, Ret>> @\placeholder{frexp-vec}@(const V& x) {
+pair<Ret, rebind_t<int, Ret>> @\placeholder{frexp-vec}@(const @\exposid{deduced-vec-t}<V>@& x) {
   int r1[Ret::size()];
   Ret r0([&](@\exposid{simd-size-type}@ i) {
-    return frexp(@\exposid{make-compatible-simd-t}@<Ret, V>(x)[i], &r1[i]);
+    return frexp(x[i], &r1[i]);
   });
   return {r0, rebind_t<int, Ret>(r1)};
 }
@@ -20118,29 +20467,34 @@
 \tcode{ret.first}.
 \end{itemdescr}
 
-\indexlibrarymember{remquo}{simd}
 \begin{itemdecl}
-template<class V0, class V1>
-  constexpr @\exposid{math-common-simd-t}@<V0, V1> remquo(const V0& x, const V1& y,
-                                              rebind_t<int, @\exposid{math-common-simd-t}@<V0, V1>>* quo);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}<V>@ remquo(const V& x, const V& y,
+                          rebind_t<int, @\exposid{deduced-vec-t}<V>@>* quo);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    remquo(const @\exposid{deduced-vec-t}@<V>& x, const V& y, rebind_t<int, @\exposid{deduced-vec-t}@<V>>* quo);
+template<@\exposconcept{math-floating-point}@ V>
+  constexpr @\exposid{deduced-vec-t}@<V>
+    remquo(const V& x, const @\exposid{deduced-vec-t}@<V>& y, rebind_t<int, @\exposid{deduced-vec-t}@<V>>* quo);
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
-Let \tcode{Ret} be \tcode{\exposid{math-common-simd-t}<V0, V1>}.
+Let \tcode{V0} be \tcode{\exposid{deduced-vec-t}<V>}.
 Let \tcode{\placeholder{remquo-vec}} denote:
 \begin{codeblock}
-template<class V0, class V1>
-pair<Ret, rebind_t<int, Ret>> @\placeholder{remquo-vec}@(const V0& x, const V1& y) {
-  int r1[Ret::size()];
-  Ret r0([&](@\exposid{simd-size-type}@ i) {
-    return remquo(@\exposid{make-compatible-simd-t}@<Ret, V0>(x)[i],
-                  @\exposid{make-compatible-simd-t}@<Ret, V1>(y)[i], &r1[i]);
+
+pair<V0, rebind_t<int, V0>> @\placeholder{remquo-vec}@(const V0& x, const V0& y) {
+  int r1[V0::size()];
+  V0 r0([&](@\exposid{simd-size-type}@ i) {
+      return remquo(x[i],
+      y[i], &r1[i]);
   });
-  return {r0, rebind_t<int, Ret>(r1)};
+  return {r0, rebind_t<int, V0>(r1)};
 }
 \end{codeblock}
-Let \tcode{ret} be a value of type \tcode{pair<Ret, rebind_t<int, Ret>>}
+Let \tcode{ret} be a value of type \tcode{pair<V0, rebind_t<int, V0>>}
 that is the same value as the result of calling
 \tcode{\placeholder{remquo-vec}(x, y)}.
 If in an invocation of a scalar overload of \tcode{remquo} for index \tcode{i}