NAG Library Manual, Mark 30.1
Interfaces:  FL   CL   CPP   AD 

NAG AD Library Introduction
Example description
/* nag::ad::c05au Tangent over Tangent Example Program.
 */

#include <dco.hpp>
#include <iostream>
#include <nagad.h>

// Function which calls NAG AD Library routines.
template <typename T> void func(T r, T &x);

// Driver with the tangent calls.
// Finds the zero point f(xv) = 0 for the function
// f(x) = x - exp(-r*x) using an initial approximation of xv.
// Also, computes the Hessian d2x_dr2 = d2xv/dr2.
void driver(const double &rv, double &xv, double &d2x_dr2);

int main()
{
  std::cout << " nag::ad::c05au Tangent over Tangent Example Program Results\n";

  // Set problem parameters
  double rv = 1.0;
  // Solution x
  double xv;
  // Derivative of x
  double d2x_dr2;

  // Call driver
  driver(rv, xv, d2x_dr2);

  // Print outputs
  std::cout << "\n Derivatives calculated: Second order tangents\n";
  std::cout.setf(std::ios::scientific, std::ios::floatfield);
  std::cout.precision(12);
  std::cout << "\n Solution:\n";
  std::cout << " x = " << xv << std::endl;
  std::cout << "\n Second derivative of solution x w.r.t. parameter r:\n";
  std::cout << " d2x/dr2(x) = " << d2x_dr2 << std::endl;

  return 0;
}

// Driver with the tangent calls.
// Finds the zero point f(xv) = 0 for the function
// f(x) = x - exp(-r*x) using an initial approximation of xv.
// Also, computes the Hessian d2x_dr2 = d2xv/dr2.
void driver(const double &rv, double &xv, double &d2x_dr2)
{
  using T = dco::gt1s<dco::gt1s<double>::type>::type;

  // Function parameter r
  T r = rv;
  // Variable to differentiate w.r.t.
  dco::derivative(dco::value(r)) = 1.0;
  dco::value(dco::derivative(r)) = 1.0;

  // Variable to differentiate
  T x;

  // Call the NAG AD Lib functions
  func(r, x);

  // Extract the computed solution
  xv = dco::passive_value(x);
  // Extract the derivatives
  d2x_dr2 = dco::derivative(dco::derivative(x));
}

// Function which calls NAG AD Library routines.
template <typename T> void func(T r, T &x)
{
  // Active variables
  T a, b, h = 0.1;
  T eps = 1.0e-5, eta = 0.0;
  // Initial guess to the zero
  dco::passive_value(x) = 1.0;
  // Create AD configuration data object
  Integer           ifail = 0;
  nag::ad::handle_t ad_handle;

  // Routine for computing an approximation to a simple zero of the continuous
  // function f using an initial approximation.
  ifail = 0;
  nag::ad::c05au(ad_handle, x, h, eps, eta, 
                [&](nag::ad::handle_t const& handle, T const& x, T & z) {
                  z = x - exp(-r * x);
                },
                a, b, ifail);
}