source: CIVL/examples/arithmetic/mathematical.cvl@ e2877ba

#include <civlc.cvh>
#include <math.h>
#include <stdio.h>

$input double x;

void main() {
  double y = exp(x);
  double z = exp(1+x-1);

  printf("y=%f\n", y);
  printf("z=%f\n", z);
  $assert((y==z));
}