Procs

proc exp(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                 EOFError, KeyError], tags: [RootEffect].}

proc exp(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                     EOFError, KeyError], tags: [RootEffect].}

proc log(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                 EOFError, KeyError], tags: [RootEffect].}

proc log(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                     EOFError, KeyError], tags: [RootEffect].}

proc phase(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                   EOFError, KeyError], tags: [RootEffect].}

proc phase(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                       EOFError, KeyError], tags: [RootEffect].}

proc log10(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                   EOFError, KeyError], tags: [RootEffect].}

proc log10(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                       EOFError, KeyError], tags: [RootEffect].}

proc sqrt(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                  EOFError, KeyError], tags: [RootEffect].}

proc sqrt(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc acos(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                  EOFError, KeyError], tags: [RootEffect].}

proc acos(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc asin(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                  EOFError, KeyError], tags: [RootEffect].}

proc asin(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc atan(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                  EOFError, KeyError], tags: [RootEffect].}

proc atan(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc cos(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                 EOFError, KeyError], tags: [RootEffect].}

proc cos(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                     EOFError, KeyError], tags: [RootEffect].}

proc sin(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                 EOFError, KeyError], tags: [RootEffect].}

proc sin(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                     EOFError, KeyError], tags: [RootEffect].}

proc tan(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                 EOFError, KeyError], tags: [RootEffect].}

proc tan(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                     EOFError, KeyError], tags: [RootEffect].}

proc acosh(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                   EOFError, KeyError], tags: [RootEffect].}

proc acosh(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                       EOFError, KeyError], tags: [RootEffect].}

proc asinh(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                   EOFError, KeyError], tags: [RootEffect].}

proc asinh(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                       EOFError, KeyError], tags: [RootEffect].}

proc atanh(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                   EOFError, KeyError], tags: [RootEffect].}

proc atanh(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                       EOFError, KeyError], tags: [RootEffect].}

proc cosh(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                  EOFError, KeyError], tags: [RootEffect].}

proc cosh(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc sinh(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                  EOFError, KeyError], tags: [RootEffect].}

proc sinh(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc tanh(x: int): int {....raises: [Exception, ValueError, OSError, IOError,
                                  EOFError, KeyError], tags: [RootEffect].}

proc tanh(x: float): float {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc isinf(x: float): bool {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc isnan(x: float): bool {....raises: [Exception, ValueError, OSError, IOError,
                                      EOFError, KeyError], tags: [RootEffect].}

proc polar(x: int): tuple[r, phi: int] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc polar(x: float): tuple[r, phi: float] {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc isfinite(x: float): bool {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}

proc log(x: int; base: int): int {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}

proc log(x: float; base: int): float {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}

proc isclose(a, b: float): bool {....raises: [Exception, ValueError, OSError,
    IOError, EOFError, KeyError], tags: [RootEffect].}