| 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 |
|---|
| 2015-05-02T21:03:39-05:00 | Maple | add_c_lin | diff ( y , x , 1 ) = 0.3 + ( 0.1 * x + 0.2 ) ; | 0.1 | 1 | 1 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 180 | 0 Seconds |
Done | 308.maple.seems.ok | add_c_lin diffeq.mxt | add_c_lin maple results | OK |
| 2015-05-02T21:03:40-05:00 | Maple | add_c_sin | diff ( y , x , 1 ) = 1.0 + sin ( x ) ; | -0.5 | 5 | 0.0388912 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 1.59055e-07 | NONE | 39072 | 3 Minutes 0 Seconds |
30 Minutes 37 Seconds |
308.maple.seems.ok | add_c_sin diffeq.mxt | add_c_sin maple results | OK |
| 2015-05-02T21:06:41-05:00 | Maple | add_full_lin | diff ( y , x , 1 ) = sin ( 0.3 * x + 0.1 ) + ( 0.1 * x + 0.2 ) ; | 1 | 5 | 4.93888 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00249418 | NONE | 37086 | 2 Minutes 59 Seconds |
3 Minutes 2 Seconds |
308.maple.seems.ok | add_full_lin diffeq.mxt | add_full_lin maple results | OK |
| 2015-05-02T21:09:47-05:00 | Maple | add_lin_c | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) + 0.3 ; | -5 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 2000 | 4 Seconds |
Done | 308.maple.seems.ok | add_lin_c diffeq.mxt | add_lin_c maple results | OK |
| 2015-05-02T21:09:52-05:00 | Maple | add_lin_full | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) + sin ( 0.3 * x + 0.1 ) ; | -5 | 5 | -0.295718 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00333382 | NONE | 38630 | 3 Minutes 0 Seconds |
6 Minutes 22 Seconds |
308.maple.seems.ok | add_lin_full diffeq.mxt | add_lin_full maple results | OK |
| 2015-05-02T21:12:54-05:00 | Maple | add_lin_lin | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) + ( 0.3 * x + 0.1 ) ; | -5 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 2000 | 4 Seconds |
Done | 308.maple.seems.ok | add_lin_lin diffeq.mxt | add_lin_lin maple results | OK |
| 2015-05-02T21:12:59-05:00 | Maple | add | diff ( y , x , 1 ) = sin ( x ) + sin ( x ) ; | -5 | 5 | -4.67889 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238962 | NONE | 33638 | 2 Minutes 59 Seconds |
1 Hours 33 Minutes 25 Seconds |
308.maple.seems.ok | add diffeq.mxt | add maple results | OK |
| 2015-05-02T21:16:09-05:00 | Maple | add_sin_c | diff ( y , x , 1 ) = sin ( x ) + 1.0 ; | -5 | 5 | -4.67542 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238962 | NONE | 37107 | 2 Minutes 59 Seconds |
1 Hours 32 Minutes 25 Seconds |
308.maple.seems.ok | add_sin_c diffeq.mxt | add_sin_c maple results | OK |
| 2015-05-02T21:19:53-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.005 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 2000 | 4 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 |
| 2015-05-02T21:20:03-05:00 | Maple | cosh_sqrt | diff ( y , x , 1 ) = cosh ( sqrt ( 0.1 * x + 0.2 ) ) ; | -1.9 | -1.8 | -1.8 | 0.005 | Impossible | 32 | 8 | 13 | 7 | 7 | NA | NA | 30 | Real Sing | 0.1 | NONE | NONE | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | cosh_sqrt diffeq.mxt | cosh_sqrt maple results | OK |
| 2015-05-02T21:20:04-05:00 | Maple | cos | diff ( y , x , 1 ) = cos ( x ) ; | 0 | 5 | 1.60636 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000804238 | NONE | 38760 | 2 Minutes 59 Seconds |
9 Minutes 20 Seconds |
308.maple.seems.ok | cos diffeq.mxt | cos maple results | OK |
| 2015-05-02T21:23:05-05:00 | Maple | cos_sqrt_lin | diff ( y , x , 1 ) = cos ( sqrt ( 2.0 * x + 3.0 ) ) ; | -1.4 | -1.3 | -1.3 | 0.005 | Impossible | 32 | 8 | 13 | 4 | 4 | NA | NA | 30 | Real Sing | 0.1 | NONE | NONE | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | cos_sqrt_lin diffeq.mxt | cos_sqrt_lin maple results | Poor Accuracy |
| 2015-05-02T21:23:06-05:00 | Maple | diff0 | diff ( y , x , 1 ) = y ; | -5 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 2000 | 6 Seconds |
Done | 308.maple.seems.ok | diff0 diffeq.mxt | diff0 maple results | OK |
| 2015-05-02T21:23:13-05:00 | Maple | diff2 | diff ( y , x , 3 ) = neg ( diff ( y , x , 1 ) ) ; | -1 | 1 | -0.0142724 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 6 | 6 | NA | NA | 40 | No Pole | NA | NONE | 0.00175399 | NONE | 17681 | 3 Minutes 0 Seconds |
6 Minutes 5 Seconds |
308.maple.seems.ok | diff2 diffeq.mxt | diff2 maple results | OK |
| 2015-05-02T21:26:14-05:00 | Maple | diff_A | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | -5 | -1 | -1 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 800 | 4 Seconds |
Done | 308.maple.seems.ok | diff_A diffeq.mxt | diff_A maple results | OK |
| 2015-05-02T21:26:19-05:00 | Maple | diff_B | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | 1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 800 | 4 Seconds |
Done | 308.maple.seems.ok | diff_B diffeq.mxt | diff_B maple results | OK |
| 2015-05-02T21:26:24-05:00 | Maple | diff | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | -5 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 2000 | 10 Seconds |
Done | 308.maple.seems.ok | diff diffeq.mxt | diff maple results | OK |
| 2015-05-02T21:26:35-05:00 | Maple | div_c_exp | diff ( y , x , 1 ) = 2.0 / exp ( x ) ; | 1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 800 | 4 Seconds |
Done | 308.maple.seems.ok | div_c_exp diffeq.mxt | div_c_exp maple results | OK |
| 2015-05-02T21:26:41-05:00 | Maple | div_c_lin | diff ( y , x , 1 ) = 2.0 / ( 0.2 * x + 0.3 ) ; | 2.5 | 3.1 | 3.1 | 0.005 | Impossible | 32 | 8 | 12 | 16 | 16 | NA | NA | 30 | Real Sing | 4 | NONE | NONE | NONE | 120 | 0 Seconds |
Done | 308.maple.seems.ok | div_c_lin diffeq.mxt | div_c_lin maple results | PROBLEM - Missing Singularity |
| 2015-05-02T21:26:42-05:00 | Maple | div_exp_exp | diff ( y , x , 1 ) = exp ( 0.1 * x ) / exp ( 0.2 * x ) ; | -5 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 2000 | 12 Seconds |
Done | 308.maple.seems.ok | div_exp_exp diffeq.mxt | div_exp_exp maple results | OK |
| 2015-05-02T21:26:56-05:00 | Maple | div_lin_c | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) / 2.0 ; | -5 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 2000 | 4 Seconds |
Done | 308.maple.seems.ok | div_lin_c diffeq.mxt | div_lin_c maple results | OK |
| 2015-05-02T21:27:01-05:00 | Maple | div_lin_exp | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) / exp ( x ) ; | 1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 800 | 4 Seconds |
Done | 308.maple.seems.ok | div_lin_exp diffeq.mxt | div_lin_exp maple results | OK |
| 2015-05-02T21:27:07-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.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 1.6 | NONE | 1.6 | NONE | 980 | 3 Seconds |
Done | 308.maple.seems.ok | div_lin_lin diffeq.mxt | div_lin_lin maple results | OK |
| 2015-05-02T21:27:11-05:00 | Maple | div | diff ( y , x , 1 ) = sin ( x ) / cos ( x ) ; | 0 | 1.5 | 1.5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 0.0807963 | NONE | 0.0807963 | NONE | 300 | 2 Seconds |
Done | 308.maple.seems.ok | div diffeq.mxt | div maple results | OK |
| 2015-05-02T21:27:14-05:00 | Maple | div_sin_c | diff ( y , x , 1 ) = sin ( x ) / 2.0 ; | -5 | 5 | -4.67459 | 1e-06 | Min H (Pole) | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238962 | NONE | 37942 | 2 Minutes 59 Seconds |
1 Hours 32 Minutes 10 Seconds |
308.maple.seems.ok | div_sin_c diffeq.mxt | div_sin_c maple results | OK |
| 2015-05-02T21:30:15-05:00 | Maple | exp_sqrt | diff ( y , x , 1 ) = exp ( sqrt ( 0.1 * x + 0.2 ) ) ; | 2 | 3 | 3 | 0.005 | Impossible | 16 | 8 | 12 | 5 | 5 | NA | NA | 40 | Real Sing | 4 | NONE | NONE | NONE | 200 | 2 Seconds |
Done | 308.maple.seems.ok | exp_sqrt diffeq.mxt | exp_sqrt maple results | Poor Accuracy |
| 2015-05-02T21:30:19-05:00 | Maple | expt_c_c | diff ( y , x , 1 ) = expt ( 2.0 , 3.0 ) ; | -5 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 2000 | 4 Seconds |
Done | 308.maple.seems.ok | expt_c_c diffeq.mxt | expt_c_c maple results | OK |
| 2015-05-02T21:30:24-05:00 | Maple | expt_c_lin | diff ( y , x , 1 ) = expt ( 2.0 , ( 0.2 * x + 0.3 ) ) ; | 1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 800 | 2 Seconds |
Done | 308.maple.seems.ok | expt_c_lin diffeq.mxt | expt_c_lin maple results | OK |
| 2015-05-02T21:30:28-05:00 | Maple | expt_c_sin | diff ( y , x , 1 ) = expt ( 2.0 , sin ( x ) ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 980 | 7 Seconds |
Done | 308.maple.seems.ok | expt_c_sin diffeq.mxt | expt_c_sin maple results | OK |
| 2015-05-02T21:30:35-05:00 | Maple | expt_lin_c | diff ( y , x , 1 ) = expt ( ( 0.2 * x + 0.3 ) , 2.0 ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 3 Seconds |
Done | 308.maple.seems.ok | expt_lin_c diffeq.mxt | expt_lin_c maple results | OK |
| 2015-05-02T21:30: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.005 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 980 | 6 Seconds |
Done | 308.maple.seems.ok | expt_lin_lin diffeq.mxt | expt_lin_lin maple results | OK |
| 2015-05-02T21:30:47-05:00 | Maple | expt_lin_sin | diff ( y , x , 1 ) = expt ( ( 0.2 * x + 0.3 ) , sin ( x ) ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 980 | 9 Seconds |
Done | 308.maple.seems.ok | expt_lin_sin diffeq.mxt | expt_lin_sin maple results | OK |
| 2015-05-02T21:30:57-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.005 | Impossible | 32 | 8 | 13 | 7 | 7 | NA | NA | 40 | Not Given | NA | NONE | NONE | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | expt_sin_c diffeq.mxt | expt_sin_c maple results | OK |
| 2015-05-02T21:30:58-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.005 | Impossible | 32 | 8 | 13 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | expt_sin_lin diffeq.mxt | expt_sin_lin maple results | OK |
| 2015-05-02T21:30:59-05:00 | Maple | expt_sin_sin | diff ( y , x , 1 ) = expt ( sin ( 0.1 * x ) , sin ( 0.2 * x ) ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 980 | 13 Seconds |
Done | 308.maple.seems.ok | expt_sin_sin diffeq.mxt | expt_sin_sin maple results | OK |
| 2015-05-02T21:31:13-05:00 | Maple | h2sin | diff ( y , x , 2 ) = sin ( x ) ; | 0.1 | 5 | 1.5952 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000752737 | NONE | 24775 | 2 Minutes 59 Seconds |
9 Minutes 49 Seconds |
308.maple.seems.ok | h2sin diffeq.mxt | h2sin maple results | OK |
| 2015-05-02T21:34:14-05:00 | Maple | h3sin | diff ( y , x , 3 ) = sin ( x ) ; | 0.1 | 1.5 | 1.5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.0804452 | NONE | 280 | 3 Seconds |
Done | 308.maple.seems.ok | h3sin diffeq.mxt | h3sin maple results | OK |
| 2015-05-02T21:34:18-05:00 | Maple | h5h3 | diff ( y , x , 5 ) = neg ( diff ( y , x , 3 ) ) ; | 0.1 | 0.2 | 0.2 | 0.005 | Impossible | 64 | 8 | 13 | 64 | 64 | NA | NA | 40 | No Pole | NA | NONE | 0.0993347 | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | h5h3 diffeq.mxt | h5h3 maple results | OK |
| 2015-05-02T21:34:19-05:00 | Maple | lin_cosh | diff ( y , x , 1 ) = cosh ( 2.0 * x + 3.0 ) ; | 0.1 | 2 | 2 | 0.005 | Impossible | 32 | 8 | 12 | 16 | 16 | NA | NA | 30 | No Pole | NA | NONE | 0.249999 | NONE | 380 | 1 Seconds |
Done | 308.maple.seems.ok | lin_cosh diffeq.mxt | lin_cosh maple results | OK |
| 2015-05-02T21:34:21-05:00 | Maple | lin_exp | diff ( y , x , 1 ) = exp ( 0.1 * x + 0.2 ) ; | 1 | 10 | 10 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 1800 | 6 Seconds |
Done | 308.maple.seems.ok | lin_exp diffeq.mxt | lin_exp maple results | OK |
| 2015-05-02T21:34:29-05:00 | Maple | lin_ln | diff ( y , x , 1 ) = ln ( 0.1 * x + 0.2 ) ; | 20 | 30 | 30 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 22 | NONE | 22 | NONE | 2000 | 7 Seconds |
Done | 308.maple.seems.ok | lin_ln diffeq.mxt | lin_ln maple results | OK |
| 2015-05-02T21:34:37-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.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 4 Seconds |
Done | 308.maple.seems.ok | lin_sin_cos diffeq.mxt | lin_sin_cos maple results | OK |
| 2015-05-02T21:34:42-05:00 | Maple | lin_sinh | diff ( y , x , 1 ) = sinh ( 2.0 * x + 3.0 ) ; | 0.1 | 2 | 2 | 0.005 | Impossible | 32 | 8 | 12 | 16 | 16 | NA | NA | 40 | No Pole | NA | NONE | 0.249999 | NONE | 380 | 1 Seconds |
Done | 308.maple.seems.ok | lin_sinh diffeq.mxt | lin_sinh maple results | OK |
| 2015-05-02T21:34:45-05:00 | Maple | lin_tanh | diff ( y , x , 1 ) = tanh ( 3.0 * x + 1.0 ) ; | 1.1 | 2 | 2 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 180 | 1 Seconds |
Done | 308.maple.seems.ok | lin_tanh diffeq.mxt | lin_tanh maple results | OK |
| 2015-05-02T21:34:48-05:00 | Maple | lin_tan | diff ( y , x , 1 ) = tan ( 2.0 * x + 3.0 ) ; | -1 | -0.9 | -0.9 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 30 | Real Sing | 0.195398 | NONE | 0.195398 | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | lin_tan diffeq.mxt | lin_tan maple results | OK |
| 2015-05-02T21:34:49-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.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 2 Seconds |
Done | 308.maple.seems.ok | ln_c_exp_c_sqrt_c diffeq.mxt | ln_c_exp_c_sqrt_c maple results | OK |
| 2015-05-02T21:34:52-05:00 | Maple | ln_sqrt | diff ( y , x , 1 ) = ln ( sqrt ( 0.1 * x + 0.2 ) ) ; | 10 | 11 | 11 | 0.005 | Impossible | 32 | 8 | 12 | 9 | 9 | NA | NA | 40 | Real Sing | 12 | NONE | NONE | NONE | 200 | 3 Seconds |
Done | 308.maple.seems.ok | ln_sqrt diffeq.mxt | ln_sqrt maple results | Poor Accuracy |
| 2015-05-02T21:34:56-05:00 | Maple | mtest1 | diff ( y1 , x , 1 ) = neg ( y2 ) + 1.0 ; | 0.1 | 10 | 1.57263 | 1e-06 | Min H (Pole) | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000752737 | NONE | 2212 | 3 Minutes 0 Seconds |
20 Minutes 10 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 |
| 2015-05-02T21:37:57-05:00 | Maple | mtest3 | diff ( y2 , x , 1 ) = neg ( y1 ) + 1.0 ; | 0.1 | 0.5 | 0.5 | 0.005 | Impossible | 16 | 8 | 12 | 15 | 16 | NA | NA | 40 | No Pole | NA | NONE | 0.0993347 | NONE | 80 | 6 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 | 16 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2015-05-02T21:38:04-05:00 | Maple | mtest4 | diff ( y2 , x , 3 ) = neg ( cos ( x ) ) ; | 0.1 | 5 | 1.57186 | 1e-06 | Min H (Pole) | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000752737 | NONE | 1434 | 3 Minutes 0 Seconds |
9 Minutes 59 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 | 9 | 32 | 32 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2015-05-02T21:41:05-05:00 | Maple | mtest5 | diff ( y1 , x , 1 ) = neg ( y2 ) ; | 0.5 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 11 | 12 | 15 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 900 | 46 Seconds |
Done | 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 | 12 | 15 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2015-05-02T21:41:53-05:00 | Maple | mtest7 | diff ( y2 , x , 5 ) = y1 ; | 0.1 | 0.7 | 0.7 | 0.005 | Impossible | 64 | 8 | 12 | 64 | 64 | NA | NA | 40 | No Pole | NA | NONE | 0.0993347 | NONE | 120 | 17 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 |
| 2015-05-02T21:42:11-05:00 | Maple | mtest8 | diff ( y2 , x , 4 ) = y1 - 1.0 ; | 0.1 | 1.4 | 1.4 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.0993347 | NONE | 260 | 33 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 |
| 2015-05-02T21:42:45-05:00 | Maple | mult2 | diff ( y , x , 1 ) = sin ( x ) * cos ( x ) ; | 0.1 | 1 | 0.785398 | 1e-11 | Min H (Pole) | 32 | 8 | 13 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | 0.00498292 | NONE | 26818 | 3 Minutes 0 Seconds |
3 Minutes 56 Seconds |
308.maple.seems.ok | mult2 diffeq.mxt | mult2 maple results | OK |
| 2015-05-02T21:45:46-05:00 | Maple | mult_c_lin | diff ( y , x , 1 ) = 2.0 * ( 0.2 * x + 0.3 ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 2 Seconds |
Done | 308.maple.seems.ok | mult_c_lin diffeq.mxt | mult_c_lin maple results | OK |
| 2015-05-02T21:45:50-05:00 | Maple | mult_c_sin | diff ( y , x , 1 ) = 2.0 * sin ( x ) ; | 0.1 | 5 | 1.60826 | 1e-06 | Min H (Pole) | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000752737 | NONE | 37841 | 3 Minutes 0 Seconds |
9 Minutes 44 Seconds |
308.maple.seems.ok | mult_c_sin diffeq.mxt | mult_c_sin maple results | OK |
| 2015-05-02T21:48:51-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.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 2 Seconds |
Done | 308.maple.seems.ok | mult_div_sinh_cosh_tanh diffeq.mxt | mult_div_sinh_cosh_tanh maple results | OK |
| 2015-05-02T21:48:54-05:00 | Maple | mult_lin_c | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) * 2.0 ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 2 Seconds |
Done | 308.maple.seems.ok | mult_lin_c diffeq.mxt | mult_lin_c maple results | OK |
| 2015-05-02T21:48:57-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.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 2 Seconds |
Done | 308.maple.seems.ok | mult_lin_lin diffeq.mxt | mult_lin_lin maple results | OK |
| 2015-05-02T21:49:01-05:00 | Maple | mult_lin_sin | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) * sin ( x ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 3 Seconds |
Done | 308.maple.seems.ok | mult_lin_sin diffeq.mxt | mult_lin_sin maple results | OK |
| 2015-05-02T21:49:06-05:00 | Maple | mult | diff ( y , x , 1 ) = x * x ; | 0.1 | 10 | 10 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 1980 | 5 Seconds |
Done | 308.maple.seems.ok | mult diffeq.mxt | mult maple results | OK |
| 2015-05-02T21:49:12-05:00 | Maple | mult_sin_c | diff ( y , x , 1 ) = sin ( x ) * 2.0 ; | 0.1 | 5 | 1.60816 | 1e-06 | Min H (Pole) | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000752737 | NONE | 37737 | 3 Minutes 0 Seconds |
9 Minutes 44 Seconds |
308.maple.seems.ok | mult_sin_c diffeq.mxt | mult_sin_c maple results | OK |
| 2015-05-02T21:52:13-05:00 | Maple | mult_sin_lin | diff ( y , x , 1 ) = sin ( x ) * ( 0.2 * x + 0.3 ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 4 Seconds |
Done | 308.maple.seems.ok | mult_sin_lin diffeq.mxt | mult_sin_lin maple results | OK |
| 2015-05-02T21:52:18-05:00 | Maple | mult_sin_sin | diff ( y , x , 1 ) = sin ( x ) * sin ( x ) ; | 0.1 | 0.2 | 0.2 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | 0.0973546 | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | mult_sin_sin diffeq.mxt | mult_sin_sin maple results | PROBLEM - False Singularity |
| 2015-05-02T21:52:19-05:00 | Maple | nonlinear1 | diff ( y , x , 1 ) = y * y ; | 0 | 0.5 | 0.5 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 20 | Real Sing | 0.51 | 0.51 | 0.51 | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | nonlinear1 diffeq.mxt | nonlinear1 maple results | OK |
| 2015-05-02T21:52:21-05:00 | Maple | nonlinear2 | diff ( y , x , 1 ) = y * y ; | 0 | 0.2 | 0.2 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 20 | Real Sing | 0.31 | 0.31 | 0.31 | NONE | 40 | 0 Seconds |
Done | 308.maple.seems.ok | nonlinear2 diffeq.mxt | nonlinear2 maple results | OK |
| 2015-05-02T21:52:22-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.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Complex Sing | 1.51 | NONE | NONE | 1.51 | 100 | 0 Seconds |
Done | 308.maple.seems.ok | sing1 diffeq.mxt | sing1 maple results | OK |
| 2015-05-02T21:52:23-05:00 | Maple | sing2 | diff ( y , x , 1 ) = 1.0 / ( x * x + 1.0 ) ; | -2 | -1.5 | -1.5 | 0.005 | Impossible | 16 | 8 | 13 | 15 | 16 | NA | NA | 20 | Complex Sing | 1.8111 | NONE | NONE | 1.8111 | 100 | 0 Seconds |
Done | 308.maple.seems.ok | sing2 diffeq.mxt | sing2 maple results | OK |
| 2015-05-02T21:52:25-05:00 | Maple | sing3 | diff ( y , x , 1 ) = neg ( 2.0 ) / x / x / x ; | -2 | -0.7 | -0.7 | 0.005 | Impossible | 16 | 8 | 13 | 12 | 12 | NA | NA | 20 | Real Sing | 0.71 | NONE | 0.71 | NONE | 260 | 1 Seconds |
Done | 308.maple.seems.ok | sing3 diffeq.mxt | sing3 maple results | OK |
| 2015-05-02T21:52:27-05:00 | Maple | sing4 | diff ( y , x , 1 ) = neg ( 2.0 ) * x / ( x * x + 1.0 ) / ( x * x + 1.0 ) ; | -2 | -1 | -1 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | Complex Sing | 1.4213 | NONE | NONE | 1.4213 | 200 | 1 Seconds |
Done | 308.maple.seems.ok | sing4 diffeq.mxt | sing4 maple results | OK |
| 2015-05-02T21:52:29-05:00 | Maple | sing5 | diff ( y , x , 1 ) = neg ( 3.0 ) / x / x / x / x ; | -1 | -0.7 | -0.7 | 0.005 | Impossible | 32 | 8 | 13 | 11 | 11 | NA | NA | 20 | Real Sing | 0.71 | NONE | 0.71 | NONE | 60 | 0 Seconds |
Done | 308.maple.seems.ok | sing5 diffeq.mxt | sing5 maple results | OK |
| 2015-05-02T21:52:30-05:00 | Maple | sing6 | diff ( y , x , 1 ) = neg ( 2.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) ; | 2 | 3 | 3 | 0.005 | Impossible | 30 | 8 | 13 | 15 | 15 | NA | NA | 20 | Real Sing | 3.01 | NONE | 3.01 | NONE | 200 | 0 Seconds |
Done | 308.maple.seems.ok | sing6 diffeq.mxt | sing6 maple results | OK |
| 2015-05-02T21:52:32-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.005 | Impossible | 64 | 8 | 12 | 13 | 13 | NA | NA | 20 | Real Sing | 3.01 | NONE | 3.01 | NONE | 200 | 1 Seconds |
Done | 308.maple.seems.ok | sing7 diffeq.mxt | sing7 maple results | OK |
| 2015-05-02T21:52:34-05:00 | Maple | sinh_sqrt | diff ( y , x , 1 ) = sinh ( sqrt ( 0.1 * x + 0.2 ) ) ; | 2 | 3 | 3 | 0.005 | Impossible | 32 | 8 | 12 | 5 | 5 | NA | NA | 40 | Real Sing | 4 | NONE | NONE | NONE | 200 | 4 Seconds |
Done | 308.maple.seems.ok | sinh_sqrt diffeq.mxt | sinh_sqrt maple results | Poor Accuracy |
| 2015-05-02T21:52:40-05:00 | Maple | sin | diff ( y , x , 1 ) = sin ( x ) ; | 0 | 1 | 1.00048 | 0.000499992 | Pole | 50 | 8 | 12 | 50 | 50 | NA | NA | 40 | No Pole | NA | NONE | 0.00999925 | NONE | 1992 | 9 Seconds |
Done | 308.maple.seems.ok | sin diffeq.mxt | sin maple results | OK |
| 2015-05-02T21:52:50-05:00 | Maple | sin_lg_h | diff ( y , x , 1 ) = sin ( x ) ; | 0 | 5 | 5.005 | 1 | Min H (Pole) | 16 | 8 | 13 | 16 | 16 | NA | NA | 40 | No Pole | NA | NONE | 0.00499992 | NONE | 6 | 0 Seconds |
Done | 308.maple.seems.ok | sin_lg_h diffeq.mxt | sin_lg_h maple results | OK |
| 2015-05-02T21:52:51-05:00 | Maple | sin_sqrt_lin | diff ( y , x , 1 ) = sin ( sqrt ( 2.0 * x + 3.0 ) ) ; | 2 | 3 | 3 | 0.005 | Impossible | 32 | 8 | 12 | 4 | 4 | NA | NA | 40 | Real Sing | 3.5 | NONE | NONE | NONE | 200 | 4 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!!! |
| 2015-05-02T21:52:56-05:00 | Maple | sqrt | diff ( y , x , 1 ) = sqrt ( x ) ; | 0.1 | 0.2 | 0.2 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 40 | Real Sing | 0.1 | NONE | 0.1 | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | sqrt diffeq.mxt | sqrt maple results | OK |
| 2015-05-02T21:52:57-05:00 | Maple | sqrt_tone | diff ( y , x , 1 ) = sqrt ( x ) ; | 0.5 | 0.6 | 0.6 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 40 | Real Sing | 0.5 | NONE | 0.5 | NONE | 20 | 0 Seconds |
Done | 308.maple.seems.ok | sqrt_tone diffeq.mxt | sqrt_tone maple results | OK |
| 2015-05-02T21:52:58-05:00 | Maple | sqrt_sqrt | diff ( y , x , 1 ) = sqrt ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0.1 | 0.5 | 0.5 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 40 | Real Sing | 2.1 | NONE | 2.1 | NONE | 80 | 1 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt diffeq.mxt | sqrt_sqrt maple results | OK |
| 2015-05-02T21:53:00-05:00 | Maple | sqrt_sqrt_tone | diff ( y , x , 1 ) = sqrt ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0.5 | 1.5 | 1.5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 2.5 | NONE | 2.5 | NONE | 200 | 2 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt_tone diffeq.mxt | sqrt_sqrt_tone maple results | OK |
| 2015-05-02T21:53:04-05:00 | Maple | sqrt_sqrt_tzero | diff ( y , x , 1 ) = sqrt ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0 | 0.5 | 0.5 | 0.005 | Impossible | 32 | 8 | 13 | 32 | 32 | NA | NA | 40 | Real Sing | 2 | NONE | 2 | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt_tzero diffeq.mxt | sqrt_sqrt_tzero maple results | OK |
| 2015-05-02T21:53:06-05:00 | Maple | sub_c_lin | diff ( y , x , 1 ) = 0.3 - ( 0.1 * x + 0.2 ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 2 Seconds |
Done | 308.maple.seems.ok | sub_c_lin diffeq.mxt | sub_c_lin maple results | OK |
| 2015-05-02T21:53:09-05:00 | Maple | sub_c_sin | diff ( y , x , 1 ) = 1.0 - sin ( x ) ; | 0.1 | 5 | 1.60847 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000752737 | NONE | 38048 | 3 Minutes 0 Seconds |
9 Minutes 44 Seconds |
308.maple.seems.ok | sub_c_sin diffeq.mxt | sub_c_sin maple results | OK |
| 2015-05-02T21:56:12-05:00 | Maple | sub_full_lin | diff ( y , x , 1 ) = sin ( 0.3 * x + 0.1 ) - ( 0.1 * x + 0.2 ) ; | 0.1 | 5 | 4.93967 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00249418 | NONE | 38055 | 3 Minutes 0 Seconds |
3 Minutes 2 Seconds |
308.maple.seems.ok | sub_full_lin diffeq.mxt | sub_full_lin maple results | OK |
| 2015-05-02T21:59:12-05:00 | Maple | sub_lin_c | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) - 0.3 ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 2 Seconds |
Done | 308.maple.seems.ok | sub_lin_c diffeq.mxt | sub_lin_c maple results | OK |
| 2015-05-02T21:59: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.005 | Impossible | 32 | 8 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 980 | 2 Seconds |
Done | 308.maple.seems.ok | sub_lin_lin diffeq.mxt | sub_lin_lin maple results | OK |
| 2015-05-02T21:59:19-05:00 | Maple | sub_lin_sin | diff ( y , x , 1 ) = ( 0.1 * x + 1.0 ) - sin ( x ) ; | 0.1 | 5 | 1.60871 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000752737 | NONE | 38285 | 2 Minutes 59 Seconds |
9 Minutes 44 Seconds |
308.maple.seems.ok | sub_lin_sin diffeq.mxt | sub_lin_sin maple results | OK |
| 2015-05-02T22:02:20-05:00 | Maple | sub | diff ( y , x , 1 ) = sin ( x ) - cos ( x ) ; | 0 | 10 | 0.821518 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00460201 | NONE | 36358 | 2 Minutes 59 Seconds |
36 Minutes 30 Seconds |
308.maple.seems.ok | sub diffeq.mxt | sub maple results | OK |
| 2015-05-02T22:05:21-05:00 | Maple | sub_sin_c | diff ( y , x , 1 ) = sin ( x ) - 1 , 0 ; | 0.1 | 5 | 1.60297 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000752737 | NONE | 32553 | 3 Minutes 0 Seconds |
9 Minutes 46 Seconds |
308.maple.seems.ok | sub_sin_c diffeq.mxt | sub_sin_c maple results | OK |
| 2015-05-02T22:08:22-05:00 | Maple | sub_sin_cos | diff ( y , x , 1 ) = neg ( sin ( x ) ) - cos ( x ) ; | 0.1 | 5 | 0.820931 | 1e-06 | Min H (Pole) | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00460201 | NONE | 35751 | 3 Minutes 0 Seconds |
20 Minutes 23 Seconds |
308.maple.seems.ok | sub_sin_cos diffeq.mxt | sub_sin_cos maple results | OK |
| 2015-05-02T22:11:24-05:00 | Maple | tanh_sqrt | diff ( y , x , 1 ) = tanh ( sqrt ( 2.0 * x + 3.0 ) ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Real Sing | 1.6 | NONE | NONE | NONE | 980 | 15 Seconds |
Done | 308.maple.seems.ok | tanh_sqrt diffeq.mxt | tanh_sqrt maple results | ?? |
| 2015-05-02T22:11:40-05:00 | Maple | tan_sqrt_lin | diff ( y , x , 1 ) = tan ( sqrt ( 2.0 * x + 3.0 ) ) ; | 0.1 | 5 | 5 | 0.005 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 40 | Real Sing | 1.6 | NONE | NONE | NONE | 980 | 25 Seconds |
Done | 308.maple.seems.ok | tan_sqrt_lin diffeq.mxt | tan_sqrt_lin maple results | PROBLEM - Singularity not accurate |
| 2015-05-02T22:12:06-05:00 | Maple | tan | diff ( y , x , 1 ) = tan ( x ) ; | 0.1 | 1.5 | 1.5 | 0.005 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 0.0807963 | NONE | 0.0807963 | NONE | 280 | 2 Seconds |
Done | 308.maple.seems.ok | tan diffeq.mxt | tan maple results | OK |