Exp (snarky_taylor.Snarky

val derivative_magnitude_upper_bound : int -> log_base:Bignum.t -> Bignum.t

val terms_needed : 
  log_base:Bignum.t ->
  bits_of_precision:Snarky_integer.Util.B.t ->
  Core_kernel.Int.t

type bit_params = {

total_precision : int;

terms_needed : int;

per_term_precision : int;

}

val bit_params : 
  field_size_in_bits:Core_kernel__Int.t ->
  log_base:Bignum.t ->
  bit_params

val params : field_size_in_bits:Core_kernel__Int.t -> base:Bignum.t -> Params.t

module Unchecked : sig ... end

val taylor_sum : 
  m:'a Snarky_backendless.Snark.m ->
  'a Floating_point.t Core_kernel.Array.t ->
  ([ `Neg | `Pos ] * 'a Floating_point.t) Core_kernel.Array.t ->
  [< `One | `Zero ] ->
  'a Floating_point.t

val one_minus_exp : 
  m:'a Snarky_backendless.Snark.m ->
  Params.t ->
  'a Floating_point.t ->
  'b Floating_point.t