1 # ifndef CPPAD_LOCAL_ACOS_OP_HPP
2 # define CPPAD_LOCAL_ACOS_OP_HPP
16 namespace CppAD {
namespace local {
55 Base* x = taylor + i_x * cap_order;
56 Base* z = taylor + i_z * cap_order;
57 Base* b = z - cap_order;
62 { z[0] =
acos( x[0] );
63 uj = Base(1.0) - x[0] * x[0];
67 for(
size_t j = p; j <= q; j++)
69 for(k = 0; k <= j; k++)
73 for(k = 1; k < j; k++)
74 { b[j] -= Base(
double(k)) * b[k] * b[j-k];
75 z[j] -= Base(
double(k)) * z[k] * b[j-k];
77 b[j] /= Base(
double(j));
78 z[j] /= Base(
double(j));
80 b[j] += uj / Base(2.0);
103 template <
class Base>
119 size_t num_taylor_per_var = (cap_order-1) * r + 1;
120 Base* x = taylor + i_x * num_taylor_per_var;
121 Base* z = taylor + i_z * num_taylor_per_var;
122 Base* b = z - num_taylor_per_var;
125 size_t m = (q-1) * r + 1;
126 for(ell = 0; ell < r; ell ++)
127 { Base uq = - 2.0 * x[m + ell] * x[0];
128 for(k = 1; k < q; k++)
129 uq -= x[(k-1)*r+1+ell] * x[(q-k-1)*r+1+ell];
130 b[m+ell] = Base(0.0);
131 z[m+ell] = Base(0.0);
132 for(k = 1; k < q; k++)
133 { b[m+ell] += Base(
double(k)) * b[(k-1)*r+1+ell] * b[(q-k-1)*r+1+ell];
134 z[m+ell] += Base(
double(k)) * z[(k-1)*r+1+ell] * b[(q-k-1)*r+1+ell];
136 b[m+ell] = ( uq / Base(2.0) - b[m+ell] / Base(
double(q)) ) / b[0];
137 z[m+ell] = -( x[m+ell] + z[m+ell] / Base(
double(q)) ) / b[0];
156 template <
class Base>
169 Base* x = taylor + i_x * cap_order;
170 Base* z = taylor + i_z * cap_order;
171 Base* b = z - cap_order;
174 b[0] =
sqrt( Base(1.0) - x[0] * x[0] );
192 template <
class Base>
209 const Base* x = taylor + i_x * cap_order;
210 Base* px = partial + i_x * nc_partial;
213 const Base* z = taylor + i_z * cap_order;
214 Base* pz = partial + i_z * nc_partial;
217 const Base* b = z - cap_order;
218 Base* pb = pz - nc_partial;
220 Base inv_b0 = Base(1.0) / b[0];
228 pb[j] =
azmul(pb[j], inv_b0);
231 pz[j] =
azmul(pz[j], inv_b0);
234 pb[0] -=
azmul(pz[j], z[j]) +
azmul(pb[j], b[j]);
237 px[0] -=
azmul(pb[j], x[j]);
240 px[j] -= pz[j] +
azmul(pb[j], x[0]);
243 pz[j] /= Base(
double(j));
245 for(k = 1; k < j; k++)
247 pb[j-k] -= Base(
double(k)) *
azmul(pz[j], z[k]) +
azmul(pb[j], b[k]);
250 px[k] -=
azmul(pb[j], x[j-k]);
253 pz[k] -= Base(
double(k)) *
azmul(pz[j], b[j-k]);
259 px[0] -=
azmul( pz[0] +
azmul(pb[0], x[0]), inv_b0);
void forward_acos_op_dir(size_t q, size_t r, size_t i_z, size_t i_x, size_t cap_order, Base *taylor)
Multiple directions forward mode Taylor coefficient for op = AcosOp.
AD< Base > azmul(const AD< Base > &x, const AD< Base > &y)
size_t NumArg(OpCode op)
Number of arguments for a specified operator.
void forward_acos_op(size_t p, size_t q, size_t i_z, size_t i_x, size_t cap_order, Base *taylor)
Compute forward mode Taylor coefficient for result of op = AcosOp.
size_t NumRes(OpCode op)
Number of variables resulting from the specified operation.
std::complex< double > acos(const std::complex< double > &x)
void reverse_acos_op(size_t d, size_t i_z, size_t i_x, size_t cap_order, const Base *taylor, size_t nc_partial, Base *partial)
Compute reverse mode partial derivatives for result of op = AcosOp.
AD< Base > sqrt(const AD< Base > &x)
#define CPPAD_ASSERT_UNKNOWN(exp)
Check that exp is true, if not terminate execution.
void forward_acos_op_0(size_t i_z, size_t i_x, size_t cap_order, Base *taylor)
Compute zero order forward mode Taylor coefficient for result of op = AcosOp.