| Time | Language | Ode
File | Equation | Start | End | Actual
End | H | H Reason | Machine Digits | Desired
Correct Digits | Estimated Correct Digits | Min Correct
Digits | Last Correct Digits | Min Est APFP
Digits | Last Est APFP Digits | Terms | Type Sing Given | Given Least Sing | Ratio Least
Sing | Three Term Least Sing | Six Term Least Sing | Iterations | Execution
Time | Estimated Total Time | Last Save | diffeq
program | diffeq results | Comment |
|---|
| 2016-08-26T16:21:21-05:00 | Maple | add_c_lin | diff ( y , x , 1 ) = 0.3 + ( 0.1 * x + 0.2 ) ; | 0.1 | 1 | 1 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 900 | 1 Seconds |
Done | 308.maple.seems.ok | add_c_lin diffeq.mxt | add_c_lin maple results | OK |
| 2016-08-26T16:21:27-05:00 | Maple | add_c_sin | diff ( y , x , 1 ) = 1.0 + sin ( x ) ; | -0.5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 5500 | 21 Seconds |
Done | 308.maple.seems.ok | add_c_sin diffeq.mxt | add_c_sin maple results | OK |
| 2016-08-26T16:21:49-05:00 | Maple | add_full_lin | diff ( y , x , 1 ) = sin ( 0.3 * x + 0.1 ) + ( 0.1 * x + 0.2 ) ; | 1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4000 | 15 Seconds |
Done | 308.maple.seems.ok | add_full_lin diffeq.mxt | add_full_lin maple results | OK |
| 2016-08-26T16:22:05-05:00 | Maple | add_lin_c | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) + 0.3 ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 18 Seconds |
Done | 308.maple.seems.ok | add_lin_c diffeq.mxt | add_lin_c maple results | OK |
| 2016-08-26T16:22:24-05:00 | Maple | add_lin_full | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) + sin ( 0.3 * x + 0.1 ) ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 10000 | 39 Seconds |
Done | 308.maple.seems.ok | add_lin_full diffeq.mxt | add_lin_full maple results | OK |
| 2016-08-26T16:23:04-05:00 | Maple | add_lin_lin | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) + ( 0.3 * x + 0.1 ) ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 17 Seconds |
Done | 308.maple.seems.ok | add_lin_lin diffeq.mxt | add_lin_lin maple results | OK |
| 2016-08-26T16:23:23-05:00 | Maple | add | diff ( y , x , 1 ) = sin ( x ) + sin ( x ) ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 11 | Unknown | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 10000 | 43 Seconds |
Done | 308.maple.seems.ok | add diffeq.mxt | add maple results | OK |
| 2016-08-26T16:24:06-05:00 | Maple | add_sin_c | diff ( y , x , 1 ) = sin ( x ) + 1.0 ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 10000 | 39 Seconds |
Done | 308.maple.seems.ok | add_sin_c diffeq.mxt | add_sin_c maple results | OK |
| 2016-08-26T16:24:46-05:00 | Maple | add_sub_sin_c_cos_c_tan_c | diff ( y , x , 1 ) = sin ( 0.1 ) + cos ( 0.05 ) - tan ( 0.02 ) ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 17 Seconds |
Done | 308.maple.seems.ok | add_sub_sin_c_cos_c_tan_c diffeq.mxt | add_sub_sin_c_cos_c_tan_c maple results | OK |
| 2016-08-26T16:25:04-05:00 | Maple | arccos_sqrt | diff ( y , x , 1 ) = arccos ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0 | 0.5 | 0.5 | 0.001 | Impossible | 32 | 8 | 12 | 10 | 10 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 500 | 6 Seconds |
Done | 308.maple.seems.ok | arccos_sqrt diffeq.mxt | arccos_sqrt maple results | Poor Accuracy |
| 2016-08-26T16:25:11-05:00 | Maple | arcsin_c_arccos_c_arctan_c | diff ( y , x , 1 ) = arcsin ( 0.1 ) + arccos ( 0.1 ) + arctan ( 0.1 ) ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 18 Seconds |
Done | 308.maple.seems.ok | arcsin_c_arccos_c_arctan_c diffeq.mxt | arcsin_c_arccos_c_arctan_c maple results | OK |
| 2016-08-26T16:25:29-05:00 | Maple | arcsin_sqrt | diff ( y , x , 1 ) = arcsin ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0 | 0.5 | 0.5 | 0.001 | Impossible | 32 | 8 | 12 | 10 | 10 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 500 | 6 Seconds |
Done | 308.maple.seems.ok | arcsin_sqrt diffeq.mxt | arcsin_sqrt maple results | Poor Accuracy |
| 2016-08-26T16:25:36-05:00 | Maple | arctan_sqrt | diff ( y , x , 1 ) = arctan ( sqrt ( 0.1 * x + 0.2 ) ) ; | -1 | 0.5 | 0.5 | 0.001 | Impossible | 32 | 8 | 12 | 9 | 9 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1500 | 56 Seconds |
Done | 308.maple.seems.ok | arctan_sqrt diffeq.mxt | arctan_sqrt maple results | Poor Accuracy |
| 2016-08-26T16:26:33-05:00 | Maple | cosh_sqrt | diff ( y , x , 1 ) = cosh ( sqrt ( 0.1 * x + 0.2 ) ) ; | -1.9 | -1.8 | -1.8 | 0.001 | Impossible | 32 | 8 | 13 | 7 | 7 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | cosh_sqrt diffeq.mxt | cosh_sqrt maple results | OK |
| 2016-08-26T16:26:35-05:00 | Maple | cos | diff ( y , x , 1 ) = cos ( x ) ; | 0 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 5000 | 19 Seconds |
Done | 308.maple.seems.ok | cos diffeq.mxt | cos maple results | OK |
| 2016-08-26T16:26:55-05:00 | Maple | cos_sqrt_lin | diff ( y , x , 1 ) = cos ( sqrt ( 2.0 * x + 3.0 ) ) ; | -1.4 | -1.3 | -1.3 | 0.001 | Impossible | 32 | 8 | 13 | 5 | 5 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | cos_sqrt_lin diffeq.mxt | cos_sqrt_lin maple results | Poor Accuracy |
| 2016-08-26T16:26:56-05:00 | Maple | diff0 | diff ( y , x , 1 ) = y ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 25 Seconds |
Done | 308.maple.seems.ok | diff0 diffeq.mxt | diff0 maple results | OK |
| 2016-08-26T16:27:22-05:00 | Maple | diff2 | diff ( y , x , 3 ) = neg ( diff ( y , x , 1 ) ) ; | -1 | 1 | 1 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 2000 | 18 Seconds |
Done | 308.maple.seems.ok | diff2 diffeq.mxt | diff2 maple results | OK |
| 2016-08-26T16:27:41-05:00 | Maple | diff_A | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | -5 | -1 | -1 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4000 | 18 Seconds |
Done | 308.maple.seems.ok | diff_A diffeq.mxt | diff_A maple results | OK |
| 2016-08-26T16:27:59-05:00 | Maple | diff_B | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | 1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4000 | 18 Seconds |
Done | 308.maple.seems.ok | diff_B diffeq.mxt | diff_B maple results | OK |
| 2016-08-26T16:28:18-05:00 | Maple | diff | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 44 Seconds |
Done | 308.maple.seems.ok | diff diffeq.mxt | diff maple results | OK |
| 2016-08-26T16:29:03-05:00 | Maple | div_c_exp | diff ( y , x , 1 ) = 2.0 / exp ( x ) ; | 1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 10 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4000 | 22 Seconds |
Done | 308.maple.seems.ok | div_c_exp diffeq.mxt | div_c_exp maple results | OK |
| 2016-08-26T16:29:25-05:00 | Maple | div_c_lin | diff ( y , x , 1 ) = 2.0 / ( 0.2 * x + 0.3 ) ; | 2.5 | 3.1 | 3.1 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 600 | 1 Seconds |
Done | 308.maple.seems.ok | div_c_lin diffeq.mxt | div_c_lin maple results | PROBLEM - Missing Singularity |
| 2016-08-26T16:29:27-05:00 | Maple | div_exp_exp | diff ( y , x , 1 ) = exp ( 0.1 * x ) / exp ( 0.2 * x ) ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 56 Seconds |
Done | 308.maple.seems.ok | div_exp_exp diffeq.mxt | div_exp_exp maple results | OK |
| 2016-08-26T16:30:24-05:00 | Maple | div_lin_c | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) / 2.0 ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 17 Seconds |
Done | 308.maple.seems.ok | div_lin_c diffeq.mxt | div_lin_c maple results | OK |
| 2016-08-26T16:30:43-05:00 | Maple | div_lin_exp | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) / exp ( x ) ; | 1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 10 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4000 | 21 Seconds |
Done | 308.maple.seems.ok | div_lin_exp diffeq.mxt | div_lin_exp maple results | OK |
| 2016-08-26T16:31:05-05:00 | Maple | div_lin_lin | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) / ( 0.2 * x + 0.3 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 4900 | 13 Seconds |
Done | 308.maple.seems.ok | div_lin_lin diffeq.mxt | div_lin_lin maple results | OK |
| 2016-08-26T16:31:19-05:00 | Maple | div | diff ( y , x , 1 ) = sin ( x ) / cos ( x ) ; | 0 | 1.5 | 1.5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1500 | 9 Seconds |
Done | 308.maple.seems.ok | div diffeq.mxt | div maple results | OK |
| 2016-08-26T16:31:28-05:00 | Maple | div_sin_c | diff ( y , x , 1 ) = sin ( x ) / 2.0 ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 10000 | 40 Seconds |
Done | 308.maple.seems.ok | div_sin_c diffeq.mxt | div_sin_c maple results | OK |
| 2016-08-26T16:32:09-05:00 | Maple | exp_sqrt | diff ( y , x , 1 ) = exp ( sqrt ( 0.1 * x + 0.2 ) ) ; | 2 | 3 | 3 | 0.001 | Impossible | 16 | 8 | 12 | 6 | 6 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 12 Seconds |
Done | 308.maple.seems.ok | exp_sqrt diffeq.mxt | exp_sqrt maple results | Poor Accuracy |
| 2016-08-26T16:32:22-05:00 | Maple | expt_c_c | diff ( y , x , 1 ) = expt ( 2.0 , 3.0 ) ; | -5 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 18 Seconds |
Done | 308.maple.seems.ok | expt_c_c diffeq.mxt | expt_c_c maple results | OK |
| 2016-08-26T16:32:40-05:00 | Maple | expt_c_lin | diff ( y , x , 1 ) = expt ( 2.0 , ( 0.2 * x + 0.3 ) ) ; | 1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4000 | 11 Seconds |
Done | 308.maple.seems.ok | expt_c_lin diffeq.mxt | expt_c_lin maple results | OK |
| 2016-08-26T16:32:52-05:00 | Maple | expt_c_sin | diff ( y , x , 1 ) = expt ( 2.0 , sin ( x ) ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 33 Seconds |
Done | 308.maple.seems.ok | expt_c_sin diffeq.mxt | expt_c_sin maple results | OK |
| 2016-08-26T16:33:26-05:00 | Maple | expt_lin_c | diff ( y , x , 1 ) = expt ( ( 0.2 * x + 0.3 ) , 2.0 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 12 Seconds |
Done | 308.maple.seems.ok | expt_lin_c diffeq.mxt | expt_lin_c maple results | OK |
| 2016-08-26T16:33:39-05:00 | Maple | expt_lin_lin | diff ( y , x , 1 ) = expt ( ( 0.1 * x + 0.2 ) , ( 0.2 * x + 0.3 ) ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 30 Seconds |
Done | 308.maple.seems.ok | expt_lin_lin diffeq.mxt | expt_lin_lin maple results | OK |
| 2016-08-26T16:34:09-05:00 | Maple | expt_lin_sin | diff ( y , x , 1 ) = expt ( ( 0.2 * x + 0.3 ) , sin ( x ) ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 45 Seconds |
Done | 308.maple.seems.ok | expt_lin_sin diffeq.mxt | expt_lin_sin maple results | OK |
| 2016-08-26T16:34:55-05:00 | Maple | expt_sin_c | diff ( y , x , 1 ) = expt ( sin ( 0.2 * x + 0.3 ) , 2.0 ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Impossible | 32 | 8 | 13 | 8 | 8 | NA | NA | 40 | Not Given | NA | NONE | NONE | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | expt_sin_c diffeq.mxt | expt_sin_c maple results | OK |
| 2016-08-26T16:34:57-05:00 | Maple | expt_sin_lin | diff ( y , x , 1 ) = expt ( sin ( x ) , ( 0.2 * x + 0.3 ) ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Impossible | 32 | 8 | 13 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | expt_sin_lin diffeq.mxt | expt_sin_lin maple results | OK |
| 2016-08-26T16:34:58-05:00 | Maple | expt_sin_sin | diff ( y , x , 1 ) = expt ( sin ( 0.1 * x ) , sin ( 0.2 * x ) ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 1 Minutes 4 Seconds |
Done | 308.maple.seems.ok | expt_sin_sin diffeq.mxt | expt_sin_sin maple results | OK |
| 2016-08-26T16:36:03-05:00 | Maple | h2sin | diff ( y , x , 2 ) = sin ( x ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4900 | 32 Seconds |
Done | 308.maple.seems.ok | h2sin diffeq.mxt | h2sin maple results | OK |
| 2016-08-26T16:36:35-05:00 | Maple | h3sin | diff ( y , x , 3 ) = sin ( x ) ; | 0.1 | 1.5 | 1.5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 1400 | 13 Seconds |
Done | 308.maple.seems.ok | h3sin diffeq.mxt | h3sin maple results | OK |
| 2016-08-26T16:36:50-05:00 | Maple | h5h3 | diff ( y , x , 5 ) = neg ( diff ( y , x , 3 ) ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Impossible | 64 | 8 | 13 | 64 | 64 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | h5h3 diffeq.mxt | h5h3 maple results | OK |
| 2016-08-26T16:36:52-05:00 | Maple | lin_arccos | diff ( y , x , 1 ) = arccos ( 0.1 * x + 0.2 ) ; | -0.8 | 0.8 | 0.8 | 0.001 | Impossible | 32 | 8 | 12 | 11 | 11 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 1600 | 7 Seconds |
Done | 308.maple.seems.ok | lin_arccos diffeq.mxt | lin_arccos maple results | Poor Accuracy |
| 2016-08-26T16:37:00-05:00 | Maple | lin_arcsin | diff ( y , x , 1 ) = arcsin ( 0.1 * x + 0.2 ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Impossible | 32 | 8 | 13 | 12 | 12 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | lin_arcsin diffeq.mxt | lin_arcsin maple results | Poor Accuracy |
| 2016-08-26T16:37:01-05:00 | Maple | lin_arctan | diff ( y , x , 1 ) = arctan ( 0.1 * x + 0.2 ) ; | -1 | -0.6 | -0.6 | 0.001 | Impossible | 32 | 8 | 12 | 9 | 9 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 400 | 6 Seconds |
Done | 308.maple.seems.ok | lin_arctan diffeq.mxt | lin_arctan maple results | Poor Accuracy |
| 2016-08-26T16:37:08-05:00 | Maple | lin_cosh | diff ( y , x , 1 ) = cosh ( 2.0 * x + 3.0 ) ; | 0.1 | 2 | 2 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 1900 | 5 Seconds |
Done | 308.maple.seems.ok | lin_cosh diffeq.mxt | lin_cosh maple results | OK |
| 2016-08-26T16:37:14-05:00 | Maple | lin_exp | diff ( y , x , 1 ) = exp ( 0.1 * x + 0.2 ) ; | 1 | 10 | 10 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 9000 | 24 Seconds |
Done | 308.maple.seems.ok | lin_exp diffeq.mxt | lin_exp maple results | OK |
| 2016-08-26T16:37:38-05:00 | Maple | lin_ln | diff ( y , x , 1 ) = ln ( 0.1 * x + 0.2 ) ; | 20 | 30 | 30 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 10000 | 29 Seconds |
Done | 308.maple.seems.ok | lin_ln diffeq.mxt | lin_ln maple results | OK |
| 2016-08-26T16:38:08-05:00 | Maple | lin_sin_cos | diff ( y , x , 1 ) = sin ( 2.0 * x + 3.0 ) + cos ( 1.5 * x - 2.0 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 17 Seconds |
Done | 308.maple.seems.ok | lin_sin_cos diffeq.mxt | lin_sin_cos maple results | OK |
| 2016-08-26T16:38:26-05:00 | Maple | lin_sinh | diff ( y , x , 1 ) = sinh ( 2.0 * x + 3.0 ) ; | 0.1 | 2 | 2 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 1900 | 7 Seconds |
Done | 308.maple.seems.ok | lin_sinh diffeq.mxt | lin_sinh maple results | OK |
| 2016-08-26T16:38:34-05:00 | Maple | lin_tanh | diff ( y , x , 1 ) = tanh ( 3.0 * x + 1.0 ) ; | 1.1 | 2 | 2 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 900 | 8 Seconds |
Done | 308.maple.seems.ok | lin_tanh diffeq.mxt | lin_tanh maple results | OK |
| 2016-08-26T16:38:42-05:00 | Maple | lin_tan | diff ( y , x , 1 ) = tan ( 2.0 * x + 3.0 ) ; | -1 | -0.9 | -0.9 | 0.001 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | lin_tan diffeq.mxt | lin_tan maple results | OK |
| 2016-08-26T16:38:43-05:00 | Maple | ln_c_exp_c_sqrt_c | diff ( y , x , 1 ) = ln ( 0.1 ) + exp ( 0.1 ) + sqrt ( 0.1 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 9 Seconds |
Done | 308.maple.seems.ok | ln_c_exp_c_sqrt_c diffeq.mxt | ln_c_exp_c_sqrt_c maple results | OK |
| 2016-08-26T16:38:53-05:00 | Maple | ln_sqrt | diff ( y , x , 1 ) = ln ( sqrt ( 0.1 * x + 0.2 ) ) ; | 10 | 11 | 11 | 0.001 | Impossible | 32 | 8 | 12 | 11 | 11 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 14 Seconds |
Done | 308.maple.seems.ok | ln_sqrt diffeq.mxt | ln_sqrt maple results | Poor Accuracy |
| 2016-08-26T16:39:08-05:00 | Maple | mtest1 | diff ( y1 , x , 1 ) = neg ( y2 ) + 1.0 ; | 0.1 | 10 | 2.202 | 0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 2102 | 3 Minutes 0 Seconds |
14 Minutes 7 Seconds |
308.maple.seems.ok | mtest1 diffeq.mxt | mtest1 maple results | OK |
ditto | ditto | ditto | diff ( y2 , x , 1 ) = y1 - 1.0 ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 12 | 32 | 32 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2016-08-26T16:42:08-05:00 | Maple | mtest2 | diff ( y1 , x , 1 ) = neg ( y2 ) ; | 0.2 | 0.8 | 0.8 | 0.001 | Impossible | 64 | 8 | 12 | 2 | 2 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 600 | 45 Seconds |
Done | 308.maple.seems.ok | mtest2 diffeq.mxt | mtest2 maple results | Poor Accuracy -- BAD TEST?? |
ditto | ditto | ditto | diff ( y2 , x , 1 ) = y1 ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 12 | 2 | 2 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2016-08-26T16:42:54-05:00 | Maple | mtest3 | diff ( y2 , x , 1 ) = neg ( y1 ) + 1.0 ; | 0.1 | 0.5 | 0.5 | 0.001 | Impossible | 16 | 8 | 12 | 15 | 15 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 400 | 32 Seconds |
Done | 308.maple.seems.ok | mtest3 diffeq.mxt | mtest3 maple results | OK |
ditto | ditto | ditto | diff ( y1 , x , 1 ) = y2 - 1.0 ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 12 | 15 | 15 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2016-08-26T16:43:27-05:00 | Maple | mtest4 | diff ( y2 , x , 3 ) = neg ( cos ( x ) ) ; | 0.1 | 5 | 1.465 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 1365 | 3 Minutes 0 Seconds |
10 Minutes 46 Seconds |
308.maple.seems.ok | mtest4 diffeq.mxt | mtest4 maple results | OK |
ditto | ditto | ditto | diff ( y1 , x , 1 ) = neg ( y2 ) ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 11 | 32 | 32 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2016-08-26T16:46:27-05:00 | Maple | mtest5 | diff ( y1 , x , 1 ) = neg ( y2 ) ; | 0.5 | 5 | 3.821 | 0.001 | Impossible | 32 | 8 | 12 | 16 | 18 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 3321 | 3 Minutes 0 Seconds |
4 Minutes 3 Seconds |
308.maple.seems.ok | mtest5 diffeq.mxt | mtest5 maple results | OK |
ditto | ditto | ditto | diff ( y2 , x , 2 ) = diff ( y1 , x , 1 ) ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 12 | 16 | 18 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2016-08-26T16:49:28-05:00 | Maple | mtest6 | diff ( x1 , t , 1 ) = 4.0 * x2 - 2.0 * diff ( x2 , t , 1 ) - 2.0 * x1 ; | 1.5 | 8 | 2.805 | 0.001 | Impossible | 64 | 8 | 11 | 3 | 3 | NA | NA | 40 | Not Given | NA | NONE | NONE | NONE | 1305 | 3 Minutes 0 Seconds |
14 Minutes 57 Seconds |
308.maple.seems.ok | mtest6 diffeq.mxt | mtest6 maple results | ??? |
ditto | ditto | ditto | diff ( x2 , t , 2 ) = 3.0 * diff ( x2 , t , 1 ) - 2.0 * x2 - diff ( x1 , t , 2 ) - diff ( x1 , t , 1 ) + x1 ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 11 | 3 | 3 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2016-08-26T16:52:28-05:00 | Maple | mtest7 | diff ( y2 , x , 5 ) = y1 ; | 0.1 | 0.7 | 0.7 | 0.001 | Impossible | 64 | 8 | 12 | 64 | 64 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 600 | 1 Minutes 31 Seconds |
Done | 308.maple.seems.ok | mtest7 diffeq.mxt | mtest7 maple results | OK |
ditto | ditto | ditto | diff ( y1 , x , 1 ) = neg ( diff ( y2 , x , 4 ) ) ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 12 | 64 | 64 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2016-08-26T16:54:01-05:00 | Maple | mtest8 | diff ( y2 , x , 4 ) = y1 - 1.0 ; | 0.1 | 1.4 | 1.4 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 1300 | 2 Minutes 52 Seconds |
Done | 308.maple.seems.ok | mtest8 diffeq.mxt | mtest8 maple results | OK |
ditto | ditto | ditto | diff ( y1 , x , 1 ) = neg ( diff ( y2 , x , 3 ) ) ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 12 | 32 | 32 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2016-08-26T16:56:53-05:00 | Maple | mult2 | diff ( y , x , 1 ) = sin ( x ) * cos ( x ) ; | 0.1 | 1 | 1 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 900 | 5 Seconds |
Done | 308.maple.seems.ok | mult2 diffeq.mxt | mult2 maple results | OK |
| 2016-08-26T16:56:59-05:00 | Maple | mult_c_lin | diff ( y , x , 1 ) = 2.0 * ( 0.2 * x + 0.3 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 8 Seconds |
Done | 308.maple.seems.ok | mult_c_lin diffeq.mxt | mult_c_lin maple results | OK |
| 2016-08-26T16:57:08-05:00 | Maple | mult_c_sin | diff ( y , x , 1 ) = 2.0 * sin ( x ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4900 | 19 Seconds |
Done | 308.maple.seems.ok | mult_c_sin diffeq.mxt | mult_c_sin maple results | OK |
| 2016-08-26T16:57:28-05:00 | Maple | mult_div_sinh_cosh_tanh | diff ( y , x , 1 ) = sinh ( 0.1 ) * cosh ( 0.05 ) / tanh ( 0.02 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 8 Seconds |
Done | 308.maple.seems.ok | mult_div_sinh_cosh_tanh diffeq.mxt | mult_div_sinh_cosh_tanh maple results | OK |
| 2016-08-26T16:57:37-05:00 | Maple | mult_lin_c | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) * 2.0 ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 8 Seconds |
Done | 308.maple.seems.ok | mult_lin_c diffeq.mxt | mult_lin_c maple results | OK |
| 2016-08-26T16:57:46-05:00 | Maple | mult_lin_lin | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) * ( 0.2 * x + 0.3 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 11 Seconds |
Done | 308.maple.seems.ok | mult_lin_lin diffeq.mxt | mult_lin_lin maple results | OK |
| 2016-08-26T16:57:58-05:00 | Maple | mult_lin_sin | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) * sin ( x ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 15 Seconds |
Done | 308.maple.seems.ok | mult_lin_sin diffeq.mxt | mult_lin_sin maple results | OK |
| 2016-08-26T16:58:14-05:00 | Maple | mult | diff ( y , x , 1 ) = x * x ; | 0.1 | 10 | 10 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 9900 | 24 Seconds |
Done | 308.maple.seems.ok | mult diffeq.mxt | mult maple results | OK |
| 2016-08-26T16:58:39-05:00 | Maple | mult_sin_c | diff ( y , x , 1 ) = sin ( x ) * 2.0 ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4900 | 19 Seconds |
Done | 308.maple.seems.ok | mult_sin_c diffeq.mxt | mult_sin_c maple results | OK |
| 2016-08-26T16:58:59-05:00 | Maple | mult_sin_lin | diff ( y , x , 1 ) = sin ( x ) * ( 0.2 * x + 0.3 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 15 Seconds |
Done | 308.maple.seems.ok | mult_sin_lin diffeq.mxt | mult_sin_lin maple results | OK |
| 2016-08-26T16:59:15-05:00 | Maple | mult_sin_sin | diff ( y , x , 1 ) = sin ( x ) * sin ( x ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | mult_sin_sin diffeq.mxt | mult_sin_sin maple results | PROBLEM - False Singularity |
| 2016-08-26T16:59:16-05:00 | Maple | nonlinear1 | diff ( y , x , 1 ) = y * y ; | 0 | 0.5 | 0.5 | 0.001 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 500 | 1 Seconds |
Done | 308.maple.seems.ok | nonlinear1 diffeq.mxt | nonlinear1 maple results | OK |
| 2016-08-26T16:59:18-05:00 | Maple | nonlinear2 | diff ( y , x , 1 ) = y * y ; | 0 | 0.2 | 0.2 | 0.001 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 200 | 0 Seconds |
Done | 308.maple.seems.ok | nonlinear2 diffeq.mxt | nonlinear2 maple results | OK |
| 2016-08-26T16:59:19-05:00 | Maple | sing1 | diff ( y , x , 1 ) = neg ( 2.0 ) * x / ( x * x + 0.000001 ) / ( x * x + 0.000001 ) ; | -2 | -1.5 | -1.5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Complex Sing | 1.1e+100 | NONE | NONE | NONE | 500 | 3 Seconds |
Done | 308.maple.seems.ok | sing1 diffeq.mxt | sing1 maple results | OK |
| 2016-08-26T16:59:22-05:00 | Maple | sing2 | diff ( y , x , 1 ) = 1.0 / ( x * x + 1.0 ) ; | -2 | -1.5 | -1.5 | 0.001 | Impossible | 16 | 8 | 12 | 15 | 15 | NA | NA | 20 | Complex Sing | 1.1e+100 | NONE | NONE | NONE | 500 | 1 Seconds |
Done | 308.maple.seems.ok | sing2 diffeq.mxt | sing2 maple results | OK |
| 2016-08-26T16:59:24-05:00 | Maple | sing3 | diff ( y , x , 1 ) = neg ( 2.0 ) / x / x / x ; | -2 | -0.7 | -0.7 | 0.001 | Impossible | 16 | 8 | 12 | 15 | 15 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1300 | 4 Seconds |
Done | 308.maple.seems.ok | sing3 diffeq.mxt | sing3 maple results | OK |
| 2016-08-26T16:59:28-05:00 | Maple | sing4 | diff ( y , x , 1 ) = neg ( 2.0 ) * x / ( x * x + 1.0 ) / ( x * x + 1.0 ) ; | -2 | -1 | -1 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Complex Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 6 Seconds |
Done | 308.maple.seems.ok | sing4 diffeq.mxt | sing4 maple results | OK |
| 2016-08-26T16:59:34-05:00 | Maple | sing5 | diff ( y , x , 1 ) = neg ( 3.0 ) / x / x / x / x ; | -1 | -0.7 | -0.7 | 0.001 | Impossible | 32 | 8 | 13 | 15 | 15 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 300 | 1 Seconds |
Done | 308.maple.seems.ok | sing5 diffeq.mxt | sing5 maple results | OK |
| 2016-08-26T16:59:36-05:00 | Maple | sing6 | diff ( y , x , 1 ) = neg ( 2.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) ; | 2 | 3 | 3 | 0.001 | Impossible | 30 | 8 | 12 | 30 | 30 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 3 Seconds |
Done | 308.maple.seems.ok | sing6 diffeq.mxt | sing6 maple results | OK |
| 2016-08-26T16:59:39-05:00 | Maple | sing7 | diff ( y , x , 1 ) = neg ( 5.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) ; | 2 | 3 | 3 | 0.001 | Impossible | 64 | 8 | 12 | 17 | 17 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 5 Seconds |
Done | 308.maple.seems.ok | sing7 diffeq.mxt | sing7 maple results | OK |
| 2016-08-26T16:59:45-05:00 | Maple | sinh_sqrt | diff ( y , x , 1 ) = sinh ( sqrt ( 0.1 * x + 0.2 ) ) ; | 2 | 3 | 3 | 0.001 | Impossible | 32 | 8 | 12 | 5 | 5 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 21 Seconds |
Done | 308.maple.seems.ok | sinh_sqrt diffeq.mxt | sinh_sqrt maple results | Poor Accuracy |
| 2016-08-26T17:00:07-05:00 | Maple | sin | diff ( y , x , 1 ) = sin ( x ) ; | 0 | 1 | 1 | 0.001 | Impossible | 16 | 8 | 12 | 14 | 16 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 1000 | 3 Seconds |
Done | 308.maple.seems.ok | sin diffeq.mxt | sin maple results | OK |
| 2016-08-26T17:00:11-05:00 | Maple | sin_lg_h | diff ( y , x , 1 ) = sin ( x ) ; | 0 | 5 | 5 | 0.001 | Impossible | 16 | 8 | 12 | 14 | 15 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 5000 | 18 Seconds |
Done | 308.maple.seems.ok | sin_lg_h diffeq.mxt | sin_lg_h maple results | OK |
| 2016-08-26T17:00:30-05:00 | Maple | sin_sqrt_lin | diff ( y , x , 1 ) = sin ( sqrt ( 2.0 * x + 3.0 ) ) ; | 2 | 3 | 3 | 0.001 | Impossible | 32 | 8 | 12 | 5 | 5 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 21 Seconds |
Done | 308.maple.seems.ok | sin_sqrt_lin diffeq.mxt | sin_sqrt_lin maple results | Poor Accuracy & PROBLEM - found complex singularity instead of real - COULD BE RIGHT!!! |
| 2016-08-26T17:00:51-05:00 | Maple | sqrt | diff ( y , x , 1 ) = sqrt ( x ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | sqrt diffeq.mxt | sqrt maple results | OK |
| 2016-08-26T17:00:52-05:00 | Maple | sqrt_tone | diff ( y , x , 1 ) = sqrt ( x ) ; | 0.5 | 0.6 | 0.6 | 0.001 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | sqrt_tone diffeq.mxt | sqrt_tone maple results | OK |
| 2016-08-26T17:00:53-05:00 | Maple | sqrt_sqrt | diff ( y , x , 1 ) = sqrt ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0.1 | 0.5 | 0.5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 400 | 5 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt diffeq.mxt | sqrt_sqrt maple results | OK |
| 2016-08-26T17:00:59-05:00 | Maple | sqrt_sqrt_tone | diff ( y , x , 1 ) = sqrt ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0.5 | 1.5 | 1.5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 12 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt_tone diffeq.mxt | sqrt_sqrt_tone maple results | OK |
| 2016-08-26T17:01:12-05:00 | Maple | sqrt_sqrt_tzero | diff ( y , x , 1 ) = sqrt ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0 | 0.5 | 0.5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 500 | 6 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt_tzero diffeq.mxt | sqrt_sqrt_tzero maple results | OK |
| 2016-08-26T17:01:19-05:00 | Maple | sub_c_lin | diff ( y , x , 1 ) = 0.3 - ( 0.1 * x + 0.2 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 8 Seconds |
Done | 308.maple.seems.ok | sub_c_lin diffeq.mxt | sub_c_lin maple results | OK |
| 2016-08-26T17:01:28-05:00 | Maple | sub_c_sin | diff ( y , x , 1 ) = 1.0 - sin ( x ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4900 | 19 Seconds |
Done | 308.maple.seems.ok | sub_c_sin diffeq.mxt | sub_c_sin maple results | OK |
| 2016-08-26T17:01:48-05:00 | Maple | sub_full_lin | diff ( y , x , 1 ) = sin ( 0.3 * x + 0.1 ) - ( 0.1 * x + 0.2 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4900 | 19 Seconds |
Done | 308.maple.seems.ok | sub_full_lin diffeq.mxt | sub_full_lin maple results | OK |
| 2016-08-26T17:02:07-05:00 | Maple | sub_lin_c | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) - 0.3 ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 8 Seconds |
Done | 308.maple.seems.ok | sub_lin_c diffeq.mxt | sub_lin_c maple results | OK |
| 2016-08-26T17:02:16-05:00 | Maple | sub_lin_lin | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) - ( 0.3 * x + 0.1 ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 8 Seconds |
Done | 308.maple.seems.ok | sub_lin_lin diffeq.mxt | sub_lin_lin maple results | OK |
| 2016-08-26T17:02:26-05:00 | Maple | sub_lin_sin | diff ( y , x , 1 ) = ( 0.1 * x + 1.0 ) - sin ( x ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4900 | 19 Seconds |
Done | 308.maple.seems.ok | sub_lin_sin diffeq.mxt | sub_lin_sin maple results | OK |
| 2016-08-26T17:02:45-05:00 | Maple | sub | diff ( y , x , 1 ) = sin ( x ) - cos ( x ) ; | 0 | 10 | 10 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 10000 | 42 Seconds |
Done | 308.maple.seems.ok | sub diffeq.mxt | sub maple results | OK |
| 2016-08-26T17:03:29-05:00 | Maple | sub_sin_c | diff ( y , x , 1 ) = sin ( x ) - 1 , 0 ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4900 | 23 Seconds |
Done | 308.maple.seems.ok | sub_sin_c diffeq.mxt | sub_sin_c maple results | OK |
| 2016-08-26T17:03:53-05:00 | Maple | sub_sin_cos | diff ( y , x , 1 ) = neg ( sin ( x ) ) - cos ( x ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 4900 | 21 Seconds |
Done | 308.maple.seems.ok | sub_sin_cos diffeq.mxt | sub_sin_cos maple results | OK |
| 2016-08-26T17:04:15-05:00 | Maple | tanh_sqrt | diff ( y , x , 1 ) = tanh ( sqrt ( 2.0 * x + 3.0 ) ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 4900 | 1 Minutes 13 Seconds |
Done | 308.maple.seems.ok | tanh_sqrt diffeq.mxt | tanh_sqrt maple results | ?? |
| 2016-08-26T17:05:28-05:00 | Maple | tan_sqrt | diff ( y , x , 1 ) = ( 1.0 + ( tan ( sqrt ( 2.0 * x + 1.0 ) ) * tan ( sqrt ( 2.0 * x + 1.0 ) ) ) ) / sqrt ( 2.0 * x + 1.0 ) ; | 1.4 | 2.1 | 2.1 | 0.001 | Impossible | 32 | 8 | 11 | 3 | 3 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 700 | 42 Seconds |
Done | 308.maple.seems.ok | tan_sqrt diffeq.mxt | tan_sqrt maple results | PROBLEM - Singularity not accurate |
| 2016-08-26T17:06:11-05:00 | Maple | tan_sqrt_lin | diff ( y , x , 1 ) = tan ( sqrt ( 2.0 * x + 3.0 ) ) ; | 0.1 | 5 | 5 | 0.001 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 4900 | 2 Minutes 6 Seconds |
Done | 308.maple.seems.ok | tan_sqrt_lin diffeq.mxt | tan_sqrt_lin maple results | PROBLEM - Singularity not accurate |
| 2016-08-26T17:08:18-05:00 | Maple | tan | diff ( y , x , 1 ) = tan ( x ) ; | 0.1 | 1.5 | 1.5 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1400 | 12 Seconds |
Done | 308.maple.seems.ok | tan diffeq.mxt | tan maple results | OK |
| 2016-08-26T17:08:31-05:00 | Maple | div_c_lin_back | diff ( y , x , 1 ) = 2.0 / ( 0.2 * x + 0.3 ) ; | 3.1 | 2.5 | 2.5 | -0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 600 | 1 Seconds |
1 Seconds |
308.maple.seems.ok | div_c_lin_back diffeq.mxt | div_c_lin_back maple results | PROBLEM - missing singularity |
| 2016-08-26T17:08:33-05:00 | Maple | sin_back | diff ( y , x , 1 ) = sin ( x ) ; | -0.1 | -1 | -1 | -0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 900 | 4 Seconds |
4 Seconds |
308.maple.seems.ok | sin_back diffeq.mxt | sin_back maple results | OK |
| 2016-08-26T17:08:37-05:00 | Maple | sing1_back | diff ( y , x , 1 ) = neg ( 2.0 ) * x / ( x * x + 0.000001 ) / ( x * x + 0.000001 ) ; | -1.5 | -2 | -2 | -0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 20 | Complex Sing | 1.1e+100 | NONE | NONE | NONE | 500 | 2 Seconds |
2 Seconds |
308.maple.seems.ok | sing1_back diffeq.mxt | sing1_back maple results | OK |
| 2016-08-26T17:08:40-05:00 | Maple | sing2_back | diff ( y , x , 1 ) = 1.0 / ( x * x + 1.0 ) ; | -1.5 | -2 | -2 | -0.001 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 20 | Complex Sing | 1.1e+100 | NONE | NONE | NONE | 500 | 1 Seconds |
1 Seconds |
308.maple.seems.ok | sing2_back diffeq.mxt | sing2_back maple results | OK |
| 2016-08-26T17:08:42-05:00 | Maple | sing3_back | diff ( y , x , 1 ) = neg ( 2.0 ) / x / x / x ; | -0.7 | -2 | -2 | -0.001 | Impossible | 32 | 8 | 11 | 14 | 14 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1300 | 5 Seconds |
5 Seconds |
308.maple.seems.ok | sing3_back diffeq.mxt | sing3_back maple results | Poor Accuracy |
| 2016-08-26T17:08:47-05:00 | Maple | sing4_back | diff ( y , x , 1 ) = neg ( 2.0 ) * x / ( x * x + 1.0 ) / ( x * x + 1.0 ) ; | -1 | -2 | -2 | -0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | Complex Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 10 Seconds |
10 Seconds |
308.maple.seems.ok | sing4_back diffeq.mxt | sing4_back maple results | OK |
| 2016-08-26T17:08:58-05:00 | Maple | sing5_back | diff ( y , x , 1 ) = neg ( 3.0 ) / x / x / x / x ; | -0.7 | -1 | -1 | -0.001 | Impossible | 32 | 8 | 12 | 14 | 14 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 300 | 1 Seconds |
1 Seconds |
308.maple.seems.ok | sing5_back diffeq.mxt | sing5_back maple results | Poor Accuracy |
| 2016-08-26T17:08:59-05:00 | Maple | sing6_back | diff ( y , x , 1 ) = neg ( 2.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) ; | 3 | 2 | 2 | -0.001 | Impossible | 30 | 8 | 12 | 18 | 18 | NA | NA | 20 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 4 Seconds |
4 Seconds |
308.maple.seems.ok | sing6_back diffeq.mxt | sing6_back maple results | OK |
| 2016-08-26T17:09:04-05:00 | Maple | sing7_back | diff ( y , x , 1 ) = neg ( 5.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) ; | 3 | 2 | 2 | -0.001 | Impossible | 64 | 8 | 11 | 16 | 16 | NA | NA | 30 | Real Sing | 1.1e+100 | NONE | NONE | NONE | 1000 | 12 Seconds |
12 Seconds |
308.maple.seems.ok | sing7_back diffeq.mxt | sing7_back maple results | OK |