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-04-24T20:03:32-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-04-24T20:03:35-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 | 20 Seconds |
Done | 308.maple.seems.ok | add_c_sin diffeq.mxt | add_c_sin maple results | OK |
2015-04-24T20:03:56-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 | 14 Seconds |
Done | 308.maple.seems.ok | add_full_lin diffeq.mxt | add_full_lin maple results | OK |
2015-04-24T20:04:11-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 | 16 Seconds |
Done | 308.maple.seems.ok | add_lin_c diffeq.mxt | add_lin_c maple results | OK |
2015-04-24T20:04:29-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 | 36 Seconds |
Done | 308.maple.seems.ok | add_lin_full diffeq.mxt | add_lin_full maple results | OK |
2015-04-24T20:05:06-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 | 16 Seconds |
Done | 308.maple.seems.ok | add_lin_lin diffeq.mxt | add_lin_lin maple results | OK |
2015-04-24T20:05:24-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 | 40 Seconds |
Done | 308.maple.seems.ok | add diffeq.mxt | add maple results | OK |
2015-04-24T20:06:05-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 | 36 Seconds |
Done | 308.maple.seems.ok | add_sin_c diffeq.mxt | add_sin_c maple results | OK |
2015-04-24T20:06:43-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 | 16 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-04-24T20:07:00-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 |
2015-04-24T20:07:02-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 | 18 Seconds |
Done | 308.maple.seems.ok | cos diffeq.mxt | cos maple results | OK |
2015-04-24T20:07:21-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 |
2015-04-24T20:07:23-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 | 24 Seconds |
Done | 308.maple.seems.ok | diff0 diffeq.mxt | diff0 maple results | OK |
2015-04-24T20:07:49-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 | 17 Seconds |
Done | 308.maple.seems.ok | diff2 diffeq.mxt | diff2 maple results | OK |
2015-04-24T20:08: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 | 17 Seconds |
Done | 308.maple.seems.ok | diff_A diffeq.mxt | diff_A maple results | OK |
2015-04-24T20:08:25-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 | 17 Seconds |
Done | 308.maple.seems.ok | diff_B diffeq.mxt | diff_B maple results | OK |
2015-04-24T20:08:43-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 | 42 Seconds |
Done | 308.maple.seems.ok | diff diffeq.mxt | diff maple results | OK |
2015-04-24T20:09:26-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 | 20 Seconds |
Done | 308.maple.seems.ok | div_c_exp diffeq.mxt | div_c_exp maple results | OK |
2015-04-24T20:09:47-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 |
2015-04-24T20:09:49-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 | 53 Seconds |
Done | 308.maple.seems.ok | div_exp_exp diffeq.mxt | div_exp_exp maple results | OK |
2015-04-24T20:10:43-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 | 16 Seconds |
Done | 308.maple.seems.ok | div_lin_c diffeq.mxt | div_lin_c maple results | OK |
2015-04-24T20:11:01-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 | 20 Seconds |
Done | 308.maple.seems.ok | div_lin_exp diffeq.mxt | div_lin_exp maple results | OK |
2015-04-24T20:11:23-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 | 12 Seconds |
Done | 308.maple.seems.ok | div_lin_lin diffeq.mxt | div_lin_lin maple results | OK |
2015-04-24T20:11:36-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 | 8 Seconds |
Done | 308.maple.seems.ok | div diffeq.mxt | div maple results | OK |
2015-04-24T20:11:46-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 | 37 Seconds |
Done | 308.maple.seems.ok | div_sin_c diffeq.mxt | div_sin_c maple results | OK |
2015-04-24T20:12:24-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 | 11 Seconds |
Done | 308.maple.seems.ok | exp_sqrt diffeq.mxt | exp_sqrt maple results | Poor Accuracy |
2015-04-24T20:12:36-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 | 16 Seconds |
Done | 308.maple.seems.ok | expt_c_c diffeq.mxt | expt_c_c maple results | OK |
2015-04-24T20:12:54-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 | 10 Seconds |
Done | 308.maple.seems.ok | expt_c_lin diffeq.mxt | expt_c_lin maple results | OK |
2015-04-24T20:13:06-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 | 30 Seconds |
Done | 308.maple.seems.ok | expt_c_sin diffeq.mxt | expt_c_sin maple results | OK |
2015-04-24T20:13:37-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 | 11 Seconds |
Done | 308.maple.seems.ok | expt_lin_c diffeq.mxt | expt_lin_c maple results | OK |
2015-04-24T20:13:50-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 | 28 Seconds |
Done | 308.maple.seems.ok | expt_lin_lin diffeq.mxt | expt_lin_lin maple results | OK |
2015-04-24T20:14:19-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-04-24T20:15:05-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-04-24T20:15:08-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 | 0 Seconds |
Done | 308.maple.seems.ok | expt_sin_lin diffeq.mxt | expt_sin_lin maple results | OK |
2015-04-24T20:15:09-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 0 Seconds |
Done | 308.maple.seems.ok | expt_sin_sin diffeq.mxt | expt_sin_sin maple results | OK |
2015-04-24T20:16:11-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 | 30 Seconds |
Done | 308.maple.seems.ok | h2sin diffeq.mxt | h2sin maple results | OK |
2015-04-24T20:16:42-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 |
2015-04-24T20:16:56-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 |
2015-04-24T20:16:59-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 |
2015-04-24T20:17:05-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 | 23 Seconds |
Done | 308.maple.seems.ok | lin_exp diffeq.mxt | lin_exp maple results | OK |
2015-04-24T20:17:29-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 | 27 Seconds |
Done | 308.maple.seems.ok | lin_ln diffeq.mxt | lin_ln maple results | OK |
2015-04-24T20:17:57-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 | 16 Seconds |
Done | 308.maple.seems.ok | lin_sin_cos diffeq.mxt | lin_sin_cos maple results | OK |
2015-04-24T20:18:14-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 |
2015-04-24T20:18:22-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-04-24T20:18:31-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 |
2015-04-24T20:18:32-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 | 8 Seconds |
Done | 308.maple.seems.ok | ln_c_exp_c_sqrt_c diffeq.mxt | ln_c_exp_c_sqrt_c maple results | OK |
2015-04-24T20:18:41-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 |
2015-04-24T20:18:56-05:00 | Maple | mtest1 | diff ( y1 , x , 1 ) = neg ( y2 ) + 1.0 ; | 0.1 | 10 | 2.377 | 0.001 | Impossible | 32 | 8 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 2277 | 3 Minutes 0 Seconds |
13 Minutes 2 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-04-24T20:21:57-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 | 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-04-24T20:22:28-05:00 | Maple | mtest4 | diff ( y2 , x , 3 ) = neg ( cos ( x ) ) ; | 0.1 | 5 | 1.567 | 0.001 | Impossible | 32 | 8 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 1467 | 3 Minutes 0 Seconds |
10 Minutes 1 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-04-24T20:25:29-05:00 | Maple | mtest5 | diff ( y1 , x , 1 ) = neg ( y2 ) ; | 0.5 | 5 | 4.13 | 0.001 | Impossible | 32 | 8 | 11 | 16 | 18 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 3630 | 3 Minutes 0 Seconds |
3 Minutes 43 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-04-24T20:28:30-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 23 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-04-24T20:29:55-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 39 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-04-24T20:32:36-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 |
2015-04-24T20:32:42-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 |
2015-04-24T20:32:51-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 | 18 Seconds |
Done | 308.maple.seems.ok | mult_c_sin diffeq.mxt | mult_c_sin maple results | OK |
2015-04-24T20:33:10-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 |
2015-04-24T20:33:19-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 |
2015-04-24T20:33:28-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 | 10 Seconds |
Done | 308.maple.seems.ok | mult_lin_lin diffeq.mxt | mult_lin_lin maple results | OK |
2015-04-24T20:33:40-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 | 14 Seconds |
Done | 308.maple.seems.ok | mult_lin_sin diffeq.mxt | mult_lin_sin maple results | OK |
2015-04-24T20:33:56-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 | 21 Seconds |
Done | 308.maple.seems.ok | mult diffeq.mxt | mult maple results | OK |
2015-04-24T20:34:19-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 | 18 Seconds |
Done | 308.maple.seems.ok | mult_sin_c diffeq.mxt | mult_sin_c maple results | OK |
2015-04-24T20:34:38-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 | 14 Seconds |
Done | 308.maple.seems.ok | mult_sin_lin diffeq.mxt | mult_sin_lin maple results | OK |
2015-04-24T20:34:54-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 |
2015-04-24T20:34:56-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 |
2015-04-24T20:34:58-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 |
2015-04-24T20:35:00-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 | 2 Seconds |
Done | 308.maple.seems.ok | sing1 diffeq.mxt | sing1 maple results | OK |
2015-04-24T20:35:03-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 |
2015-04-24T20:35:05-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 | 3 Seconds |
Done | 308.maple.seems.ok | sing3 diffeq.mxt | sing3 maple results | OK |
2015-04-24T20:35:10-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 | 5 Seconds |
Done | 308.maple.seems.ok | sing4 diffeq.mxt | sing4 maple results | OK |
2015-04-24T20:35:17-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 |
2015-04-24T20:35:19-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 |
2015-04-24T20:35:23-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 |
2015-04-24T20:35:29-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 | 20 Seconds |
Done | 308.maple.seems.ok | sinh_sqrt diffeq.mxt | sinh_sqrt maple results | Poor Accuracy |
2015-04-24T20:35:50-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 |
2015-04-24T20:35:54-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 | 17 Seconds |
Done | 308.maple.seems.ok | sin_lg_h diffeq.mxt | sin_lg_h maple results | OK |
2015-04-24T20:36:12-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 | 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-04-24T20:36:33-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 |
2015-04-24T20:36:36-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 |
2015-04-24T20:36:37-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 |
2015-04-24T20:36:43-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 |
2015-04-24T20:36:57-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 |
2015-04-24T20:37:04-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 |
2015-04-24T20:37:13-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 | 18 Seconds |
Done | 308.maple.seems.ok | sub_c_sin diffeq.mxt | sub_c_sin maple results | OK |
2015-04-24T20:37:32-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 | 18 Seconds |
Done | 308.maple.seems.ok | sub_full_lin diffeq.mxt | sub_full_lin maple results | OK |
2015-04-24T20:37:51-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 |
2015-04-24T20:38:01-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 |
2015-04-24T20:38:10-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 | 18 Seconds |
Done | 308.maple.seems.ok | sub_lin_sin diffeq.mxt | sub_lin_sin maple results | OK |
2015-04-24T20:38:29-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 | 40 Seconds |
Done | 308.maple.seems.ok | sub diffeq.mxt | sub maple results | OK |
2015-04-24T20:39:10-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 | 22 Seconds |
Done | 308.maple.seems.ok | sub_sin_c diffeq.mxt | sub_sin_c maple results | OK |
2015-04-24T20:39:33-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 | 20 Seconds |
Done | 308.maple.seems.ok | sub_sin_cos diffeq.mxt | sub_sin_cos maple results | OK |
2015-04-24T20:39:54-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 10 Seconds |
Done | 308.maple.seems.ok | tanh_sqrt diffeq.mxt | tanh_sqrt maple results | ?? |
2015-04-24T20:41:05-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 1 Seconds |
Done | 308.maple.seems.ok | tan_sqrt_lin diffeq.mxt | tan_sqrt_lin maple results | PROBLEM - Singularity not accurate |
2015-04-24T20:43:08-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 |