void main () { real_t arccosh(real_t); printf("ARCCOSH delivers:\n"); printf(" %e\n",arccosh(cosh(0.01))); printf(" %e\n",arccosh(cosh(0.05))); printf(" %e\n",cosh(arccosh(1.01))); printf(" %e\n",cosh(arccosh(1.05))); }
void eval_arccosh(void) { push(cadr(p1)); eval(); arccosh(); }
static Real rigor_radius( Real spine_radius, Real cutoff_length) { return 2.0*arccosh(cosh(spine_radius)*cosh(cutoff_length/2.0)); }