| 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-01T21:30:28-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 |
| 2015-05-01T21:30:31-05:00 | Maple | add_c_sin | diff ( y , x , 1 ) = 1.0 + sin ( x ) ; | -0.5 | 5 | 0.0389954 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 4.49578e-07 | NONE | 39561 | 3 Minutes 0 Seconds |
30 Minutes 36 Seconds |
308.maple.seems.ok | add_c_sin diffeq.mxt | add_c_sin maple results | OK |
| 2015-05-01T21:33:31-05:00 | Maple | add_full_lin | diff ( y , x , 1 ) = sin ( 0.3 * x + 0.1 ) + ( 0.1 * x + 0.2 ) ; | 1 | 5 | 4.93714 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00245403 | NONE | 38452 | 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-01T21:36:32-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 |
| 2015-05-01T21:36: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.298718 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00333377 | NONE | 39348 | 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-01T21:39:53-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 | 18 Seconds |
Done | 308.maple.seems.ok | add_lin_lin diffeq.mxt | add_lin_lin maple results | OK |
| 2015-05-01T21:40:12-05:00 | Maple | add | diff ( y , x , 1 ) = sin ( x ) + sin ( x ) ; | -5 | 5 | -4.67659 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238981 | NONE | 36151 | 2 Minutes 59 Seconds |
1 Hours 32 Minutes 45 Seconds |
308.maple.seems.ok | add diffeq.mxt | add maple results | OK |
| 2015-05-01T21:43:13-05:00 | Maple | add_sin_c | diff ( y , x , 1 ) = sin ( x ) + 1.0 ; | -5 | 5 | -4.67431 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238981 | NONE | 38434 | 2 Minutes 59 Seconds |
1 Hours 32 Minutes 6 Seconds |
308.maple.seems.ok | add_sin_c diffeq.mxt | add_sin_c maple results | OK |
| 2015-05-01T21:46:14-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 | 18 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-01T21:46: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 | 0.1 | NONE | NONE | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | cosh_sqrt diffeq.mxt | cosh_sqrt maple results | OK |
| 2015-05-01T21:46:35-05:00 | Maple | cos | diff ( y , x , 1 ) = cos ( x ) ; | 0 | 5 | 1.59486 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000727085 | NONE | 39804 | 2 Minutes 59 Seconds |
9 Minutes 24 Seconds |
308.maple.seems.ok | cos diffeq.mxt | cos maple results | OK |
| 2015-05-01T21:49:36-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 | 0.1 | NONE | NONE | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | cos_sqrt_lin diffeq.mxt | cos_sqrt_lin maple results | Poor Accuracy |
| 2015-05-01T21:49:38-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 | 27 Seconds |
Done | 308.maple.seems.ok | diff0 diffeq.mxt | diff0 maple results | OK |
| 2015-05-01T21:50:06-05:00 | Maple | diff2 | diff ( y , x , 3 ) = neg ( diff ( y , x , 1 ) ) ; | -1 | 1 | 0.0105294 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 6 | 6 | NA | NA | 40 | No Pole | NA | NONE | 0.00633983 | NONE | 17869 | 3 Minutes 0 Seconds |
5 Minutes 56 Seconds |
308.maple.seems.ok | diff2 diffeq.mxt | diff2 maple results | OK |
| 2015-05-01T21:53:07-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 |
| 2015-05-01T21:53:26-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 |
| 2015-05-01T21:53:45-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 | 46 Seconds |
Done | 308.maple.seems.ok | diff diffeq.mxt | diff maple results | OK |
| 2015-05-01T21:54:32-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 |
| 2015-05-01T21:54:56-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 | 4 | NONE | NONE | NONE | 600 | 1 Seconds |
Done | 308.maple.seems.ok | div_c_lin diffeq.mxt | div_c_lin maple results | PROBLEM - Missing Singularity |
| 2015-05-01T21:54:58-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 | 57 Seconds |
Done | 308.maple.seems.ok | div_exp_exp diffeq.mxt | div_exp_exp maple results | OK |
| 2015-05-01T21:55:56-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 | 18 Seconds |
Done | 308.maple.seems.ok | div_lin_c diffeq.mxt | div_lin_c maple results | OK |
| 2015-05-01T21:56:16-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 | 22 Seconds |
Done | 308.maple.seems.ok | div_lin_exp diffeq.mxt | div_lin_exp maple results | OK |
| 2015-05-01T21:56:39-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.6 | NONE | 1.6 | NONE | 4900 | 15 Seconds |
Done | 308.maple.seems.ok | div_lin_lin diffeq.mxt | div_lin_lin maple results | OK |
| 2015-05-01T21:56:55-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 | 0.0807963 | NONE | 0.0807963 | NONE | 1500 | 10 Seconds |
Done | 308.maple.seems.ok | div diffeq.mxt | div maple results | OK |
| 2015-05-01T21:57:07-05:00 | Maple | div_sin_c | diff ( y , x , 1 ) = sin ( x ) / 2.0 ; | -5 | 5 | -4.67732 | 1e-06 | Min H (Pole) | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238981 | NONE | 35425 | 3 Minutes 0 Seconds |
1 Hours 32 Minutes 58 Seconds |
308.maple.seems.ok | div_sin_c diffeq.mxt | div_sin_c maple results | OK |
| 2015-05-01T22:00:08-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 | 4 | NONE | NONE | NONE | 1000 | 11 Seconds |
Done | 308.maple.seems.ok | exp_sqrt diffeq.mxt | exp_sqrt maple results | Poor Accuracy |
| 2015-05-01T22:00:20-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 |
| 2015-05-01T22:00:39-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 | 12 Seconds |
Done | 308.maple.seems.ok | expt_c_lin diffeq.mxt | expt_c_lin maple results | OK |
| 2015-05-01T22:00: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 | 32 Seconds |
Done | 308.maple.seems.ok | expt_c_sin diffeq.mxt | expt_c_sin maple results | OK |
| 2015-05-01T22:01:25-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 |
| 2015-05-01T22:01: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 |
| 2015-05-01T22:02:10-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 | 44 Seconds |
Done | 308.maple.seems.ok | expt_lin_sin diffeq.mxt | expt_lin_sin maple results | OK |
| 2015-05-01T22:02: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 |
| 2015-05-01T22:02: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.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 |
| 2015-05-01T22:02: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.001 | Impossible | 32 | 8 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 1 Minutes 2 Seconds |
Done | 308.maple.seems.ok | expt_sin_sin diffeq.mxt | expt_sin_sin maple results | OK |
| 2015-05-01T22:04:03-05:00 | Maple | h2sin | diff ( y , x , 2 ) = sin ( x ) ; | 0.1 | 5 | 1.59421 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 24952 | 2 Minutes 59 Seconds |
9 Minutes 50 Seconds |
308.maple.seems.ok | h2sin diffeq.mxt | h2sin maple results | OK |
| 2015-05-01T22:07:04-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 | 0.0804452 | NONE | 1400 | 14 Seconds |
Done | 308.maple.seems.ok | h3sin diffeq.mxt | h3sin maple results | OK |
| 2015-05-01T22:07:19-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 | 0.0993347 | NONE | 100 | 1 Seconds |
Done | 308.maple.seems.ok | h5h3 diffeq.mxt | h5h3 maple results | OK |
| 2015-05-01T22:07:21-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 | 0.249999 | NONE | 1900 | 6 Seconds |
Done | 308.maple.seems.ok | lin_cosh diffeq.mxt | lin_cosh maple results | OK |
| 2015-05-01T22:07:29-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 | 26 Seconds |
Done | 308.maple.seems.ok | lin_exp diffeq.mxt | lin_exp maple results | OK |
| 2015-05-01T22:07:56-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 | 22 | NONE | 22 | NONE | 10000 | 32 Seconds |
Done | 308.maple.seems.ok | lin_ln diffeq.mxt | lin_ln maple results | OK |
| 2015-05-01T22:08:30-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 | 18 Seconds |
Done | 308.maple.seems.ok | lin_sin_cos diffeq.mxt | lin_sin_cos maple results | OK |
| 2015-05-01T22:08:49-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 | 0.249999 | NONE | 1900 | 8 Seconds |
Done | 308.maple.seems.ok | lin_sinh diffeq.mxt | lin_sinh maple results | OK |
| 2015-05-01T22:08:58-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 | 7 Seconds |
Done | 308.maple.seems.ok | lin_tanh diffeq.mxt | lin_tanh maple results | OK |
| 2015-05-01T22:09:07-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 | 0.195398 | NONE | 0.195398 | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | lin_tan diffeq.mxt | lin_tan maple results | OK |
| 2015-05-01T22:09:08-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 |
| 2015-05-01T22:09:18-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 | 12 | NONE | NONE | NONE | 1000 | 14 Seconds |
Done | 308.maple.seems.ok | ln_sqrt diffeq.mxt | ln_sqrt maple results | Poor Accuracy |
| 2015-05-01T22:09:34-05:00 | Maple | mtest1 | diff ( y1 , x , 1 ) = neg ( y2 ) + 1.0 ; | 0.1 | 10 | 1.5715 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 2242 | 3 Minutes 0 Seconds |
20 Minutes 11 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-01T22:12:35-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 | 0.0993347 | NONE | 400 | 29 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 |
| 2015-05-01T22:13:06-05:00 | Maple | mtest4 | diff ( y2 , x , 3 ) = neg ( cos ( x ) ) ; | 0.1 | 5 | 1.56365 | 0.000793479 | Pole | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.0107955 | NONE | 1464 | 3 Minutes 0 Seconds |
10 Minutes 2 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 | 10 | 32 | 32 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2015-05-01T22:16:07-05:00 | Maple | mtest5 | diff ( y1 , x , 1 ) = neg ( y2 ) ; | 0.5 | 5 | 4.114 | 0.001 | Impossible | 32 | 8 | 11 | 16 | 18 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 3614 | 3 Minutes 0 Seconds |
3 Minutes 44 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 |
| 2015-05-01T22:19:08-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 | 0.0993347 | NONE | 600 | 1 Minutes 24 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-01T22:20:34-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 | 0.0993347 | NONE | 1300 | 2 Minutes 40 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-01T22:23:16-05:00 | Maple | mult2 | diff ( y , x , 1 ) = sin ( x ) * cos ( x ) ; | 0.1 | 1 | 0.785398 | 1e-11 | Min H (Pole) | 32 | 8 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | 0.00499473 | NONE | 26941 | 3 Minutes 0 Seconds |
3 Minutes 56 Seconds |
308.maple.seems.ok | mult2 diffeq.mxt | mult2 maple results | OK |
| 2015-05-01T22:26:17-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 | 9 Seconds |
Done | 308.maple.seems.ok | mult_c_lin diffeq.mxt | mult_c_lin maple results | OK |
| 2015-05-01T22:26:27-05:00 | Maple | mult_c_sin | diff ( y , x , 1 ) = 2.0 * sin ( x ) ; | 0.1 | 5 | 1.6075 | 1e-06 | Min H (Pole) | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 38238 | 2 Minutes 59 Seconds |
9 Minutes 45 Seconds |
308.maple.seems.ok | mult_c_sin diffeq.mxt | mult_c_sin maple results | OK |
| 2015-05-01T22:29: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 | 9 Seconds |
Done | 308.maple.seems.ok | mult_div_sinh_cosh_tanh diffeq.mxt | mult_div_sinh_cosh_tanh maple results | OK |
| 2015-05-01T22:29:38-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 | 9 Seconds |
Done | 308.maple.seems.ok | mult_lin_c diffeq.mxt | mult_lin_c maple results | OK |
| 2015-05-01T22:29:48-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 |
| 2015-05-01T22:30:00-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 | 17 Seconds |
Done | 308.maple.seems.ok | mult_lin_sin diffeq.mxt | mult_lin_sin maple results | OK |
| 2015-05-01T22:30:19-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 | 23 Seconds |
Done | 308.maple.seems.ok | mult diffeq.mxt | mult maple results | OK |
| 2015-05-01T22:30:43-05:00 | Maple | mult_sin_c | diff ( y , x , 1 ) = sin ( x ) * 2.0 ; | 0.1 | 5 | 1.60753 | 1e-06 | Min H (Pole) | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 38268 | 2 Minutes 59 Seconds |
9 Minutes 45 Seconds |
308.maple.seems.ok | mult_sin_c diffeq.mxt | mult_sin_c maple results | OK |
| 2015-05-01T22:33:44-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 | 17 Seconds |
Done | 308.maple.seems.ok | mult_sin_lin diffeq.mxt | mult_sin_lin maple results | OK |
| 2015-05-01T22:34:02-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 | 0.0973546 | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | mult_sin_sin diffeq.mxt | mult_sin_sin maple results | PROBLEM - False Singularity |
| 2015-05-01T22:34:04-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 | 0.51 | 0.51 | 0.51 | NONE | 500 | 1 Seconds |
Done | 308.maple.seems.ok | nonlinear1 diffeq.mxt | nonlinear1 maple results | OK |
| 2015-05-01T22:34:06-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 | 0.31 | 0.31 | 0.31 | NONE | 200 | 0 Seconds |
Done | 308.maple.seems.ok | nonlinear2 diffeq.mxt | nonlinear2 maple results | OK |
| 2015-05-01T22:34:08-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.51 | NONE | 1.51001 | 1.51 | 500 | 3 Seconds |
Done | 308.maple.seems.ok | sing1 diffeq.mxt | sing1 maple results | OK |
| 2015-05-01T22:34:12-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.8111 | NONE | NONE | 1.8111 | 500 | 1 Seconds |
Done | 308.maple.seems.ok | sing2 diffeq.mxt | sing2 maple results | OK |
| 2015-05-01T22:34:15-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 | 0.71 | NONE | 0.71 | NONE | 1300 | 4 Seconds |
Done | 308.maple.seems.ok | sing3 diffeq.mxt | sing3 maple results | OK |
| 2015-05-01T22:34:20-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.4213 | NONE | NONE | 1.4213 | 1000 | 6 Seconds |
Done | 308.maple.seems.ok | sing4 diffeq.mxt | sing4 maple results | OK |
| 2015-05-01T22:34:27-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 | 0.71 | NONE | 0.71 | NONE | 300 | 1 Seconds |
Done | 308.maple.seems.ok | sing5 diffeq.mxt | sing5 maple results | OK |
| 2015-05-01T22:34:29-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 | 3.01 | NONE | 3.01 | NONE | 1000 | 3 Seconds |
Done | 308.maple.seems.ok | sing6 diffeq.mxt | sing6 maple results | OK |
| 2015-05-01T22:34:34-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 | 3.01 | NONE | 3.01 | NONE | 1000 | 5 Seconds |
Done | 308.maple.seems.ok | sing7 diffeq.mxt | sing7 maple results | OK |
| 2015-05-01T22:34:40-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 | 4 | NONE | NONE | NONE | 1000 | 20 Seconds |
Done | 308.maple.seems.ok | sinh_sqrt diffeq.mxt | sinh_sqrt maple results | Poor Accuracy |
| 2015-05-01T22:35:02-05:00 | Maple | sin | diff ( y , x , 1 ) = sin ( x ) ; | 0 | 1 | 1.0001 | 9.99999e-05 | Pole | 16 | 8 | 12 | 13 | 13 | NA | NA | 40 | No Pole | NA | NONE | 0.00999933 | NONE | 9992 | 38 Seconds |
Done | 308.maple.seems.ok | sin diffeq.mxt | sin maple results | OK |
| 2015-05-01T22:35:41-05:00 | Maple | sin_lg_h | diff ( y , x , 1 ) = sin ( x ) ; | 0 | 5 | 5.001 | 1 | Min H (Pole) | 16 | 8 | 13 | 16 | 16 | NA | NA | 40 | No Pole | NA | NONE | 0.000999999 | NONE | 6 | 0 Seconds |
Done | 308.maple.seems.ok | sin_lg_h diffeq.mxt | sin_lg_h maple results | OK |
| 2015-05-01T22:35:41-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 | 3.5 | NONE | NONE | NONE | 1000 | 20 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-01T22:36:03-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 | 0.1 | NONE | 0.1 | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | sqrt diffeq.mxt | sqrt maple results | OK |
| 2015-05-01T22:36:05-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 | 0.5 | NONE | 0.5 | NONE | 100 | 0 Seconds |
Done | 308.maple.seems.ok | sqrt_tone diffeq.mxt | sqrt_tone maple results | OK |
| 2015-05-01T22:36:06-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 | 2.1 | NONE | 2.1 | NONE | 400 | 5 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt diffeq.mxt | sqrt_sqrt maple results | OK |
| 2015-05-01T22:36:13-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 | 2.5 | NONE | 2.5 | NONE | 1000 | 13 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt_tone diffeq.mxt | sqrt_sqrt_tone maple results | OK |
| 2015-05-01T22:36:27-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 | 2 | NONE | 2 | NONE | 500 | 6 Seconds |
Done | 308.maple.seems.ok | sqrt_sqrt_tzero diffeq.mxt | sqrt_sqrt_tzero maple results | OK |
| 2015-05-01T22:36:35-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 | 9 Seconds |
Done | 308.maple.seems.ok | sub_c_lin diffeq.mxt | sub_c_lin maple results | OK |
| 2015-05-01T22:36:45-05:00 | Maple | sub_c_sin | diff ( y , x , 1 ) = 1.0 - sin ( x ) ; | 0.1 | 5 | 1.60766 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 38399 | 2 Minutes 59 Seconds |
9 Minutes 44 Seconds |
308.maple.seems.ok | sub_c_sin diffeq.mxt | sub_c_sin maple results | OK |
| 2015-05-01T22:39: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 | 4.93648 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00245403 | NONE | 38689 | 2 Minutes 59 Seconds |
3 Minutes 2 Seconds |
308.maple.seems.ok | sub_full_lin diffeq.mxt | sub_full_lin maple results | OK |
| 2015-05-01T22:42:48-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 | 9 Seconds |
Done | 308.maple.seems.ok | sub_lin_c diffeq.mxt | sub_lin_c maple results | OK |
| 2015-05-01T22:42:59-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 | 9 Seconds |
Done | 308.maple.seems.ok | sub_lin_lin diffeq.mxt | sub_lin_lin maple results | OK |
| 2015-05-01T22:43:09-05:00 | Maple | sub_lin_sin | diff ( y , x , 1 ) = ( 0.1 * x + 1.0 ) - sin ( x ) ; | 0.1 | 5 | 1.60774 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 38478 | 3 Minutes 0 Seconds |
9 Minutes 44 Seconds |
308.maple.seems.ok | sub_lin_sin diffeq.mxt | sub_lin_sin maple results | OK |
| 2015-05-01T22:46:10-05:00 | Maple | sub | diff ( y , x , 1 ) = sin ( x ) - cos ( x ) ; | 0 | 10 | 0.820823 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00460196 | NONE | 36276 | 2 Minutes 59 Seconds |
36 Minutes 32 Seconds |
308.maple.seems.ok | sub diffeq.mxt | sub maple results | OK |
| 2015-05-01T22:49:13-05:00 | Maple | sub_sin_c | diff ( y , x , 1 ) = sin ( x ) - 1 , 0 ; | 0.1 | 5 | 1.60212 | 1e-06 | Min H (Pole) | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 32860 | 3 Minutes 0 Seconds |
9 Minutes 47 Seconds |
308.maple.seems.ok | sub_sin_c diffeq.mxt | sub_sin_c maple results | OK |
| 2015-05-01T22:52:14-05:00 | Maple | sub_sin_cos | diff ( y , x , 1 ) = neg ( sin ( x ) ) - cos ( x ) ; | 0.1 | 5 | 0.820797 | 1e-06 | Min H (Pole) | 32 | 8 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00460196 | NONE | 36150 | 2 Minutes 59 Seconds |
20 Minutes 23 Seconds |
308.maple.seems.ok | sub_sin_cos diffeq.mxt | sub_sin_cos maple results | OK |
| 2015-05-01T22:55: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.6 | NONE | NONE | NONE | 4900 | 1 Minutes 11 Seconds |
Done | 308.maple.seems.ok | tanh_sqrt diffeq.mxt | tanh_sqrt maple results | ?? |
| 2015-05-01T22:56:27-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.6 | NONE | NONE | NONE | 4900 | 2 Minutes 3 Seconds |
Done | 308.maple.seems.ok | tan_sqrt_lin diffeq.mxt | tan_sqrt_lin maple results | PROBLEM - Singularity not accurate |
| 2015-05-01T22:58:32-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 | 0.0807963 | NONE | 0.0807963 | NONE | 1400 | 13 Seconds |
Done | 308.maple.seems.ok | tan diffeq.mxt | tan maple results | OK |