A new code based on higher derivative method has been implemented in Maple. A sample code is given below and explained. Because of the symbolic nature of Maple, this method works very well for a wide range of BVP problems.
The code solves BVPs written in the first order form dy/dx = f (Maple’s dsolve numeric converts general BVPs to this form and solves).
The code can handle unknown parameters in the model if sufficient boundary conditions are provided.
This code has been tested from Maple 8 to Maple 2017. For Digits:=15 or less, this code works in all of the Maple versions tested.
Most problems can be solved with Digits:=15 with atol = 1e10 or so. This code can be used to get a tolerance value of 1e20 or any high precision as needed by changing the number of Digits accordingly. This may be needed if the original variables are not properly sacled. With arbitrarily high Digits, the code fails in Maple 18 or later version, etc because Maple does not support SparseDirect Solver at high precision in some of the versions (hopefuly this bug can be removed in the future versions).
For simple problems, Maple’s dsolve/numeric is superior to the code developed as it is implemented in hardware floats. For large scale problems and stiff problems, the method developed is much more superior to Maple and comparable to (and often times better than) state of the art codes for BVPs  bvp4c (MATLAB), COLSYS,TWPBVP, etc.
The code, as written, cannot be used for problems with a singularity at end points (doable in the future). In addition, mixed boundary conditions are not supported in this version of the code (for example, y1(1)=y2(0)). Future updates will include the application of this approach for DAEBVPs, currently not supported by Maple’s dsolve/numeric command.
A paper has been submitted to JCAM. I welcome feedback on the code and solicit input from Mapleprimes members if they are able to test (and break this code) for any BVP.
PDF of the paper submitted, example maple code and the solver as a text file needed are uploaded here. Additional examples are hosted on my website at http://depts.washington.edu/maple/HDM.html
##################################################################################
Troesch's problem
This is an inherently unstable, difficult, nonlinear, twopoint BVP formulated by Weibel and Troesch that describes the confinement of a place column by radiation pressure. Increasing epsilon increases the stiffness of the ODE.
1. E.S. Weibel, On the confinement of a plasma by magnetostatic fields, Phys. Fluids. 2 (1959) 5256.
2. B. Troesch, A simple approach to a sensitive twopoint boundary value problem, J. Comput. Phys. 21 (1976) 279290.
Introduction
The package HDM solves boundary value problems (BVPs) using higher derivative methods (HDM) in Maple®. We explain how to solve BVPs using this package. HDM can numerically solve BVPs of ordinary differential equations (ODEs) of the form shown is the fowllowing example.
###################################################################################
Reset the program to clear the memory from previous execution command.
Read the txt file which contains the HDM solver for BVPs.
Declare the precision for the entire Maple® sheet.

(1) 
Enter the firstorder ODEs into EqODEs list.
> 
EqODEs:=[diff(y1(x),x)=y2(x),diff(y2(x),x)=epsilon*sinh(epsilon*y1(x))];


(2) 
Define the left boundary condition (bc1), and the right boundary condition (bc2). One should collect all the terms in one side.

(3) 

(4) 
Define the range (bc1 to bc2) of this BVP.

(5) 
List any known parameters in the list.

(6) 
List any unknown parameters in the list. When there is no unknown parameter, use [ ].

(7) 
Define the initial derivative in nder (default is 5 for 10th order) and the number of the nodes in nele (default is 10 and distributed evenly across the range provided by the user). The code adapts to increase the order. For many problems, 10th order method with 10 elements are sufficient.

(8) 
Define the absolute and relative tolerance for the local error. The error calculation is done based on the norm of both the 9th and 10th order simulation results.
> 
atol:=1e6;rtol:=atol/100;


(9) 
Call HDMadapt procedure, input all the information entered above and save the solution in sol. HDMadapt procedure does not need the initial guess for the mesh.
> 
sol:= HDMadapt(EqODEs,bc1,bc2,pars,unknownpars,nder,nele,Range,atol,rtol):

Present some details of the solution.
> 
sol[4]; # final derivative


(10) 
> 
sol[5]; # Maximum local RMSE


(11) 
Store the dimension of the solution (after adjusting the mesh) to NN.

(12) 
Plot the interested variable (the ath ODE variable will be sol[1][i+NN*(a1)] )
> 
node:=nops(EqODEs);
odevars:=select(type,map(op,map(lhs,EqODEs)),'function');


(13) 
> 
for i from 1 to nops(sol[3]) do xx[i+1]:=xx[i]+sol[3][i]: od:

> 
for j from 1 to node do
plot([seq([xx[i],rhs(sol[1][i+NN*(j1)])],i=1..NN)],axes=boxed,labels=[x,odevars[j]],style=point);
end do;


Download Example_3_Troesch.mws