# MiniZinc Documentation - Standard Library

These builtins implement the standard trigonometric functions.

Functions and Predicates
function float: acos(float: x)

Return $$\mbox{acos}\ {\bf x}$$

function var float: acos(var float: x) =
let { var float: r, constraint float_acos(x, r), } in (r)
(standard decomposition from builtins.mzn:474)

Return $$\mbox{acos}\ {\bf x}$$

function float: acosh(float: x)

Return $$\mbox{acosh}\ {\bf x}$$

function var float: acosh(var float: x) =
let { var float: r, constraint float_acosh(x, r), } in (r)
(standard decomposition from builtins.mzn:528)

Return $$\mbox{acosh}\ {\bf x}$$

function float: asin(float: x)

Return $$\mbox{asin}\ {\bf x}$$

function var float: asin(var float: x) =
let { var float: r, constraint float_asin(x, r), } in (r)
(standard decomposition from builtins.mzn:465)

Return $$\mbox{asin}\ {\bf x}$$

function float: asinh(float: x)

Return $$\mbox{asinh}\ {\bf x}$$

function var float: asinh(var float: x) =
let { var float: r, constraint float_asinh(x, r), } in (r)
(standard decomposition from builtins.mzn:519)

Return $$\mbox{asinh}\ {\bf x}$$

function float: atan(float: x)

Return $$\mbox{atan}\ {\bf x}$$

function var float: atan(var float: x) =
let { var float: r, constraint float_atan(x, r), } in (r)
(standard decomposition from builtins.mzn:483)

Return $$\mbox{atan}\ {\bf x}$$

function float: atanh(float: x)

Return $$\mbox{atanh}\ {\bf x}$$

function var float: atanh(var float: x) =
let { var float: r, constraint float_atanh(x, r), } in (r)
(standard decomposition from builtins.mzn:537)

Return $$\mbox{atanh}\ {\bf x}$$

function float: cos(float: x)

Return $$\cos {\bf x}$$

function var float: cos(var float: x) =
let { var -1.0..1.0: r, constraint float_cos(x, r), } in (r)
(standard decomposition from builtins.mzn:447)

Return $$\cos {\bf x}$$

function float: cosh(float: x)

Return $$\cosh {\bf x}$$

function var float: cosh(var float: x) =
let { var float: r, constraint float_cosh(x, r), } in (r)
(standard decomposition from builtins.mzn:501)

Return $$\cosh {\bf x}$$

function float: sin(float: x)

Return $$\sin {\bf x}$$

function var float: sin(var float: x) =
let { var -1.0..1.0: r, constraint float_sin(x, r), } in (r)
(standard decomposition from builtins.mzn:438)

Return $$\sin {\bf x}$$

function float: sinh(float: x)

Return $$\sinh {\bf x}$$

function var float: sinh(var float: x) =
let { var float: r, constraint float_sinh(x, r), } in (r)
(standard decomposition from builtins.mzn:492)

Return $$\sinh {\bf x}$$

function float: tan(float: x)

Return $$\tan {\bf x}$$

function var float: tan(var float: x) =
let { var float: r, constraint float_tan(x, r), } in (r)
(standard decomposition from builtins.mzn:456)

Return $$\tan {\bf x}$$

function float: tanh(float: x)

Return $$\tanh {\bf x}$$

function var float: tanh(var float: x) =
let { var float: r, constraint float_tanh(x, r), } in (r)
(standard decomposition from builtins.mzn:510)

Return $$\tanh {\bf x}$$