    [@@unboxed] [@@noalloc]
  external ceil : float -> float = "caml_ceil_float" "ceil"
 diff --git a/stdlib/stdlib.ml b/stdlib/stdlib.ml
-index 425728f64..4057dbc90 100644
+index aac8fcc17..663ce44f2 100644
 --- a/stdlib/stdlib.ml
 +++ b/stdlib/stdlib.ml
-@@ -148,8 +148,6 @@ external log10 : float -> float = "caml_log10_float" "log10"
+@@ -146,8 +146,6 @@ external log10 : float -> float = "caml_log10_float" "log10"
  external log1p : float -> float = "caml_log1p_float" "caml_log1p"
    [@@unboxed] [@@noalloc]
  external sin : float -> float = "caml_sin_float" "sin" [@@unboxed] [@@noalloc]
 -external sinh : float -> float = "caml_sinh_float" "sinh"
 -  [@@unboxed] [@@noalloc]
+ external asinh : float -> float = "caml_asinh_float" "caml_asinh"
+   [@@unboxed] [@@noalloc]
  external sqrt : float -> float = "caml_sqrt_float" "sqrt"
-   [@@unboxed] [@@noalloc]
- external tan : float -> float = "caml_tan_float" "tan" [@@unboxed] [@@noalloc]
 diff --git a/stdlib/stdlib.mli b/stdlib/stdlib.mli
-index d451bba9c..990a41467 100644
+index e2e898266..2e18f16d3 100644
 --- a/stdlib/stdlib.mli
 +++ b/stdlib/stdlib.mli
-@@ -461,10 +461,6 @@ external cosh : float -> float = "caml_cosh_float" "cosh"
+@@ -556,10 +556,6 @@ external cosh : float -> float = "caml_cosh_float" "cosh"
    [@@unboxed] [@@noalloc]
  (** Hyperbolic cosine.  Argument is in radians. *)
  

It is used on Inria's CI to make sure the bootstrap procedure works.

diff --git a/runtime/floats.c b/runtime/floats.c
index b93f6a409..6edbed9c6 100644
--- a/runtime/floats.c
+++ b/runtime/floats.c
@@ -536,11 +536,6 @@ CAMLprim value caml_sin_float(value f)
   return caml_copy_double(sin(Double_val(f)));
 }
 

 {
   return caml_copy_double(cos(Double_val(f)));
diff --git a/stdlib/float.ml b/stdlib/float.ml
index ab5cd5c07..e09cbe215 100644
--- a/stdlib/float.ml
+++ b/stdlib/float.ml
@@ -85,8 +85,6 @@ external hypot : float -> float -> float
                = "caml_hypot_float" "caml_hypot" [@@unboxed] [@@noalloc]
 external cosh : float -> float = "caml_cosh_float" "cosh"
   [@@unboxed] [@@noalloc]
