| 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 |
|---|
| 2020-05-25T23:17:41-05:00 | Maple | add_c_lin | diff ( y , x , 1 ) = 0.3 + ( 0.1 * x + 0.2 ) ; | 0.1 | 1 | 1 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 900 | 0 Seconds |
Done | 310 | add_c_lin diffeq.mxt | add_c_lin maple results | OK |
| 2020-05-25T23:17:44-05:00 | Maple | add_c_sin | diff ( y , x , 1 ) = 1.0 + sin ( x ) ; | -0.5 | 5 | 0.0693584 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 4.49578e-07 | NONE | 69924 | 2 Minutes 59 Seconds |
28 Minutes 58 Seconds |
310 | add_c_sin diffeq.mxt | add_c_sin maple results | False singularity in three term test |
| 2020-05-25T23:20:45-05:00 | Maple | add_full_lin | diff ( y , x , 1 ) = sin ( 0.3 * x + 0.1 ) + ( 0.1 * x + 0.2 ) ; | 1 | 5 | 4.96751 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00245403 | NONE | 68820 | 3 Minutes 0 Seconds |
3 Minutes 1 Seconds |
310 | add_full_lin diffeq.mxt | add_full_lin maple results | False singularity in three term test |
| 2020-05-25T23:23:46-05:00 | Maple | add_lin_c | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) + 0.3 ; | -5 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 10 Seconds |
Done | 310 | add_lin_c diffeq.mxt | add_lin_c maple results | OK |
| 2020-05-25T23:23:57-05:00 | Maple | add_lin_full | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) + sin ( 0.3 * x + 0.1 ) ; | -5 | 5 | -0.267946 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00333377 | NONE | 70120 | 2 Minutes 59 Seconds |
6 Minutes 20 Seconds |
310 | add_lin_full diffeq.mxt | add_lin_full maple results | Naturally has problem passing zero (RE) - Also False singularity in three term test |
| 2020-05-25T23:26:58-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 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 10 Seconds |
Done | 310 | add_lin_lin diffeq.mxt | add_lin_lin maple results | Naturally has problem passing zero (RE) |
| 2020-05-25T23:27:09-05:00 | Maple | add | diff ( y , x , 1 ) = sin ( x ) + sin ( x ) ; | -5 | 5 | -4.64881 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238981 | NONE | 63928 | 2 Minutes 59 Seconds |
1 Hours 25 Minutes 25 Seconds |
310 | add diffeq.mxt | add maple results | Naturally has problem passing zero (RE) - Also False singularity in three term test |
| 2020-05-25T23:30:08-05:00 | Maple | add_sin_c | diff ( y , x , 1 ) = sin ( x ) + 1.0 ; | -5 | 5 | -4.64369 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238981 | NONE | 69050 | 3 Minutes 0 Seconds |
1 Hours 24 Minutes 11 Seconds |
310 | add_sin_c diffeq.mxt | add_sin_c maple results | False singularity in three term test |
| 2020-05-25T23:33:09-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 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 10 Seconds |
Done | 310 | add_sub_sin_c_cos_c_tan_c diffeq.mxt | add_sub_sin_c_cos_c_tan_c maple results | Naturally has problem passing zero (RE) |
| 2020-05-25T23:33:20-05:00 | Maple | arccos_sqrt | diff ( y , x , 1 ) = arccos ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0 | 0.5 | 0.5 | 0.001 | Max H | 32 | 12 | 12 | 10 | 10 | NA | NA | 30 | Real Sing | 2 | NONE | NONE | NONE | 500 | 3 Seconds |
Done | 310 | arccos_sqrt diffeq.mxt | arccos_sqrt maple results | Real singularity missed |
| 2020-05-25T23:33:25-05:00 | Maple | arcsin_c_arccos_c_arctan_c | diff ( y , x , 1 ) = arcsin ( 0.1 ) + arccos ( 0.1 ) + arctan ( 0.1 ) ; | -5 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 10 Seconds |
Done | 310 | arcsin_c_arccos_c_arctan_c diffeq.mxt | arcsin_c_arccos_c_arctan_c maple results | Naturally has problem passing zero (RE) |
| 2020-05-25T23:33:36-05:00 | Maple | arcsin_sqrt | diff ( y , x , 1 ) = arcsin ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0 | 0.5 | 0.5 | 0.001 | Max H | 32 | 12 | 12 | 9 | 9 | NA | NA | 30 | Real Sing | 2 | NONE | NONE | NONE | 500 | 3 Seconds |
Done | 310 | arcsin_sqrt diffeq.mxt | arcsin_sqrt maple results | OK |
| 2020-05-25T23:33:40-05:00 | Maple | arctan_sqrt | diff ( y , x , 1 ) = arctan ( sqrt ( 0.1 * x + 0.2 ) ) ; | -1 | 0.5 | 0.5 | 0.001 | Max H | 32 | 12 | 12 | 9 | 9 | NA | NA | 40 | Real Sing | 1 | NONE | NONE | NONE | 1500 | 31 Seconds |
Done | 310 | arctan_sqrt diffeq.mxt | arctan_sqrt maple results | OK |
| 2020-05-25T23:34:13-05:00 | Maple | cosh_sqrt | diff ( y , x , 1 ) = cosh ( sqrt ( 0.1 * x + 0.2 ) ) ; | -1.9 | -1.8 | -1.8 | 0.001 | Max H | 32 | 12 | 13 | 7 | 7 | NA | NA | 30 | Real Sing | 0.1 | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 310 | cosh_sqrt diffeq.mxt | cosh_sqrt maple results | Real singularity missed |
| 2020-05-25T23:34:14-05:00 | Maple | cos | diff ( y , x , 1 ) = cos ( x ) ; | 0 | 5 | 1.62574 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000727085 | NONE | 70690 | 2 Minutes 59 Seconds |
9 Minutes 13 Seconds |
310 | cos diffeq.mxt | cos maple results | OK |
| 2020-05-25T23:37:15-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 | Max H | 32 | 12 | 13 | 4 | 4 | NA | NA | 30 | Real Sing | 0.1 | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 310 | cos_sqrt_lin diffeq.mxt | cos_sqrt_lin maple results | Poor accuracy - believe subtraction error (one place) and Real singularity missed |
| 2020-05-25T23:37:17-05:00 | Maple | diff0 | diff ( y , x , 1 ) = y ; | -5 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 14 Seconds |
Done | 310 | diff0 diffeq.mxt | diff0 maple results | OK |
| 2020-05-25T23:37:32-05:00 | Maple | diff2 | diff ( y , x , 3 ) = neg ( diff ( y , x , 1 ) ) ; | -1 | 1 | 0.0260774 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 5 | 5 | NA | NA | 40 | No Pole | NA | NONE | 0.00633983 | NONE | 33417 | 3 Minutes 0 Seconds |
5 Minutes 50 Seconds |
310 | diff2 diffeq.mxt | diff2 maple results | Naturally has problem passing zero (RE) and False singularity in three term test |
| 2020-05-25T23:40:33-05:00 | Maple | diff_A | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | -5 | -1 | -1 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4000 | 9 Seconds |
Done | 310 | diff_A diffeq.mxt | diff_A maple results | OK |
| 2020-05-25T23:40:44-05:00 | Maple | diff_B | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | 1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4000 | 9 Seconds |
Done | 310 | diff_B diffeq.mxt | diff_B maple results | OK |
| 2020-05-25T23:40:55-05:00 | Maple | diff | diff ( y , x , 2 ) = diff ( y , x , 1 ) ; | -5 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 24 Seconds |
Done | 310 | diff diffeq.mxt | diff maple results | OK |
| 2020-05-25T23:41:20-05:00 | Maple | div_c_exp | diff ( y , x , 1 ) = 2.0 / exp ( x ) ; | 1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 10 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4000 | 12 Seconds |
Done | 310 | div_c_exp diffeq.mxt | div_c_exp maple results | OK |
| 2020-05-25T23:41:34-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 4 | NONE | NONE | NONE | 600 | 0 Seconds |
Done | 310 | div_c_lin diffeq.mxt | div_c_lin maple results | Missing Real Singularity |
| 2020-05-25T23:41:35-05:00 | Maple | div_exp_exp | diff ( y , x , 1 ) = exp ( 0.1 * x ) / exp ( 0.2 * x ) ; | -5 | 5 | 5 | 0.001 | Max H | 32 | 12 | 11 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 32 Seconds |
Done | 310 | div_exp_exp diffeq.mxt | div_exp_exp maple results | OK |
| 2020-05-25T23:42:08-05:00 | Maple | div_lin_c | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) / 2.0 ; | -5 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 10 Seconds |
Done | 310 | div_lin_c diffeq.mxt | div_lin_c maple results | OK |
| 2020-05-25T23:42:19-05:00 | Maple | div_lin_exp | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) / exp ( x ) ; | 1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 10 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4000 | 12 Seconds |
Done | 310 | div_lin_exp diffeq.mxt | div_lin_exp maple results | OK |
| 2020-05-25T23:42:33-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 1.6 | NONE | 1.6 | NONE | 4900 | 8 Seconds |
Done | 310 | div_lin_lin diffeq.mxt | div_lin_lin maple results | OK |
| 2020-05-25T23:42:42-05:00 | Maple | div | diff ( y , x , 1 ) = sin ( x ) / cos ( x ) ; | 0 | 1.5 | 1.5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 0.0807963 | NONE | 0.0807963 | NONE | 1500 | 5 Seconds |
Done | 310 | div diffeq.mxt | div maple results | OK |
| 2020-05-25T23:42:48-05:00 | Maple | div_sin_c | diff ( y , x , 1 ) = sin ( x ) / 2.0 ; | -5 | 5 | -4.6445 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00238981 | NONE | 68245 | 2 Minutes 59 Seconds |
1 Hours 24 Minutes 22 Seconds |
310 | div_sin_c diffeq.mxt | div_sin_c maple results | False singularity in three term test |
| 2020-05-25T23:45:49-05:00 | Maple | exp_sqrt | diff ( y , x , 1 ) = exp ( sqrt ( 0.1 * x + 0.2 ) ) ; | 2 | 3 | 3 | 0.001 | Max H | 16 | 12 | 12 | 5 | 5 | NA | NA | 40 | Real Sing | 4 | NONE | NONE | NONE | 1000 | 6 Seconds |
Done | 310 | exp_sqrt diffeq.mxt | exp_sqrt maple results | Poor accuracy - believe subtraction error (one place) |
| 2020-05-25T23:45:56-05:00 | Maple | expt_c_c | diff ( y , x , 1 ) = expt ( 2.0 , 3.0 ) ; | -5 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 10000 | 10 Seconds |
Done | 310 | expt_c_c diffeq.mxt | expt_c_c maple results | OK |
| 2020-05-25T23:46:08-05:00 | Maple | expt_c_lin | diff ( y , x , 1 ) = expt ( 2.0 , ( 0.2 * x + 0.3 ) ) ; | 1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4000 | 6 Seconds |
Done | 310 | expt_c_lin diffeq.mxt | expt_c_lin maple results | OK |
| 2020-05-25T23:46:15-05:00 | Maple | expt_c_sin | diff ( y , x , 1 ) = expt ( 2.0 , sin ( x ) ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 18 Seconds |
Done | 310 | expt_c_sin diffeq.mxt | expt_c_sin maple results | OK |
| 2020-05-25T23:46:35-05:00 | Maple | expt_lin_c | diff ( y , x , 1 ) = expt ( ( 0.2 * x + 0.3 ) , 2.0 ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 6 Seconds |
Done | 310 | expt_lin_c diffeq.mxt | expt_lin_c maple results | OK |
| 2020-05-25T23:46:42-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 | Max H | 32 | 12 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 16 Seconds |
Done | 310 | expt_lin_lin diffeq.mxt | expt_lin_lin maple results | OK |
| 2020-05-25T23:47:00-05:00 | Maple | expt_lin_sin | diff ( y , x , 1 ) = expt ( ( 0.2 * x + 0.3 ) , sin ( x ) ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 24 Seconds |
Done | 310 | expt_lin_sin diffeq.mxt | expt_lin_sin maple results | OK |
| 2020-05-25T23:47:26-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 | Max H | 32 | 12 | 13 | 8 | 8 | NA | NA | 40 | Not Given | NA | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 310 | expt_sin_c diffeq.mxt | expt_sin_c maple results | OK |
| 2020-05-25T23:47:27-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 | Max H | 32 | 12 | 13 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 310 | expt_sin_lin diffeq.mxt | expt_sin_lin maple results | OK |
| 2020-05-25T23:47:29-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 | Max H | 32 | 12 | 12 | Unknown | Unknown | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 4900 | 34 Seconds |
Done | 310 | expt_sin_sin diffeq.mxt | expt_sin_sin maple results | OK |
| 2020-05-25T23:48:05-05:00 | Maple | h2sin | diff ( y , x , 2 ) = sin ( x ) ; | 0.1 | 5 | 1.61412 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 44858 | 3 Minutes 0 Seconds |
9 Minutes 42 Seconds |
310 | h2sin diffeq.mxt | h2sin maple results | False singularity in three term test |
| 2020-05-25T23:51:05-05:00 | Maple | h3sin | diff ( y , x , 3 ) = sin ( x ) ; | 0.1 | 1.5 | 1.5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.0804452 | NONE | 1400 | 7 Seconds |
Done | 310 | h3sin diffeq.mxt | h3sin maple results | False singularity in three term test |
| 2020-05-25T23:51:13-05:00 | Maple | h5h3 | diff ( y , x , 5 ) = neg ( diff ( y , x , 3 ) ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Max H | 64 | 12 | 13 | 64 | 64 | NA | NA | 40 | No Pole | NA | NONE | 0.0993347 | NONE | 100 | 0 Seconds |
Done | 310 | h5h3 diffeq.mxt | h5h3 maple results | False singularity in three term test |
| 2020-05-25T23:51:15-05:00 | Maple | lin_arccos | diff ( y , x , 1 ) = arccos ( 0.1 * x + 0.2 ) ; | -0.8 | 0.8 | 0.8 | 0.001 | Max H | 32 | 12 | 12 | 10 | 10 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 1600 | 4 Seconds |
Done | 310 | lin_arccos diffeq.mxt | lin_arccos maple results | OK |
| 2020-05-25T23:51:20-05:00 | Maple | lin_arcsin | diff ( y , x , 1 ) = arcsin ( 0.1 * x + 0.2 ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Max H | 32 | 12 | 13 | 11 | 11 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 100 | 0 Seconds |
Done | 310 | lin_arcsin diffeq.mxt | lin_arcsin maple results | OK |
| 2020-05-25T23:51:21-05:00 | Maple | lin_arctan | diff ( y , x , 1 ) = arctan ( 0.1 * x + 0.2 ) ; | -1 | -0.6 | -0.6 | 0.001 | Max H | 32 | 12 | 12 | 9 | 9 | NA | NA | 30 | Not Given | NA | NONE | NONE | NONE | 400 | 3 Seconds |
Done | 310 | lin_arctan diffeq.mxt | lin_arctan maple results | OK |
| 2020-05-25T23:51:26-05:00 | Maple | lin_cosh | diff ( y , x , 1 ) = cosh ( 2.0 * x + 3.0 ) ; | 0.1 | 2 | 2 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | 0.249999 | NONE | 1900 | 3 Seconds |
Done | 310 | lin_cosh diffeq.mxt | lin_cosh maple results | False singularity in three term test |
| 2020-05-25T23:51:30-05:00 | Maple | lin_exp | diff ( y , x , 1 ) = exp ( 0.1 * x + 0.2 ) ; | 1 | 10 | 10 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 9000 | 14 Seconds |
Done | 310 | lin_exp diffeq.mxt | lin_exp maple results | OK |
| 2020-05-25T23:51:46-05:00 | Maple | lin_ln | diff ( y , x , 1 ) = ln ( 0.1 * x + 0.2 ) ; | 20 | 30 | 30 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 22 | NONE | 22 | NONE | 10000 | 18 Seconds |
Done | 310 | lin_ln diffeq.mxt | lin_ln maple results | OK |
| 2020-05-25T23:52:05-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 10 Seconds |
Done | 310 | lin_sin_cos diffeq.mxt | lin_sin_cos maple results | OK |
| 2020-05-25T23:52:16-05:00 | Maple | lin_sinh | diff ( y , x , 1 ) = sinh ( 2.0 * x + 3.0 ) ; | 0.1 | 2 | 2 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.249999 | NONE | 1900 | 4 Seconds |
Done | 310 | lin_sinh diffeq.mxt | lin_sinh maple results | False singularity in three term test |
| 2020-05-25T23:52:22-05:00 | Maple | lin_tanh | diff ( y , x , 1 ) = tanh ( 3.0 * x + 1.0 ) ; | 1.1 | 2 | 2 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 900 | 4 Seconds |
Done | 310 | lin_tanh diffeq.mxt | lin_tanh maple results | OK |
| 2020-05-25T23:52:27-05:00 | Maple | lin_tan | diff ( y , x , 1 ) = tan ( 2.0 * x + 3.0 ) ; | -1 | -0.9 | -0.9 | 0.001 | Max H | 32 | 12 | 13 | 32 | 32 | NA | NA | 30 | Real Sing | 0.195398 | NONE | 0.195398 | NONE | 100 | 0 Seconds |
Done | 310 | lin_tan diffeq.mxt | lin_tan maple results | OK |
| 2020-05-25T23:52:28-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 5 Seconds |
Done | 310 | ln_c_exp_c_sqrt_c diffeq.mxt | ln_c_exp_c_sqrt_c maple results | OK |
| 2020-05-25T23:52:34-05:00 | Maple | ln_sqrt | diff ( y , x , 1 ) = ln ( sqrt ( 0.1 * x + 0.2 ) ) ; | 10 | 11 | 11 | 0.001 | Max H | 32 | 12 | 12 | 10 | 10 | NA | NA | 40 | Real Sing | 12 | NONE | NONE | NONE | 1000 | 7 Seconds |
Done | 310 | ln_sqrt diffeq.mxt | ln_sqrt maple results | Poor Accuracy and Missing Real Singularity |
| 2020-05-25T23:52:43-05:00 | Maple | mtest1 | diff ( y1 , x , 1 ) = neg ( y2 ) + 1.0 ; | 0.1 | 10 | 1.60314 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 33884 | 2 Minutes 59 Seconds |
19 Minutes 45 Seconds |
310 | mtest1 diffeq.mxt | mtest1 maple results | False singularity in three term test |
ditto | ditto | ditto | diff ( y2 , x , 1 ) = y1 - 1.0 ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 11 | 32 | 32 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2020-05-25T23:55:44-05:00 | Maple | mtest2 | diff ( y1 , x , 1 ) = neg ( y2 ) ; | 0.2 | 0.8 | 0.8 | 0.001 | Max H | 64 | 12 | 12 | 0 | 0 | NA | NA | 40 | No Pole | NA | NONE | NONE | NONE | 600 | 2 Seconds |
Done | 310 | mtest2 diffeq.mxt | mtest2 maple results | Poor Accuracy -- Possibly BAD TEST |
ditto | ditto | ditto | diff ( y2 , x , 1 ) = y1 ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 12 | 0 | 0 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2020-05-25T23:55:47-05:00 | Maple | mtest3 | diff ( y2 , x , 1 ) = neg ( y1 ) + 1.0 ; | 0.1 | 0.5 | 0.5 | 0.001 | Max H | 16 | 12 | 12 | 14 | 15 | NA | NA | 40 | No Pole | NA | NONE | 0.0993347 | NONE | 400 | 1 Seconds |
Done | 310 | mtest3 diffeq.mxt | mtest3 maple results | False singularity in three term test |
ditto | ditto | ditto | diff ( y1 , x , 1 ) = y2 - 1.0 ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 12 | 14 | 15 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2020-05-25T23:55:50-05:00 | Maple | mtest4 | diff ( y2 , x , 3 ) = neg ( cos ( x ) ) ; | 0.1 | 5 | 1.58426 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 14999 | 2 Minutes 59 Seconds |
9 Minutes 54 Seconds |
310 | mtest4 diffeq.mxt | mtest4 maple results | False singularity in three term test |
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 |
| 2020-05-25T23:58:51-05:00 | Maple | mtest5 | diff ( y1 , x , 1 ) = neg ( y2 ) ; | 0.5 | 5 | 5 | 0.001 | Max H | 32 | 12 | 11 | 15 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4500 | 22 Seconds |
Done | 310 | 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 | 15 | 32 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2020-05-25T23:59:14-05:00 | Maple | mtest6 | diff ( x1 , t , 1 ) = 4.0 * x2 - 2.0 * diff ( x2 , t , 1 ) - 2.0 * x1 ; | 1.5 | 8 | 8 | 0.001 | Max H | 64 | 12 | 11 | 1 | 1 | NA | NA | 40 | Not Given | NA | NONE | NONE | NONE | 6500 | 56 Seconds |
Done | 310 | mtest6 diffeq.mxt | mtest6 maple results | Poor Accuracy -- Possibly BAD TEST |
ditto | ditto | ditto | diff ( x2 , t , 2 ) = 3.0 * diff ( x2 , t , 1 ) - 2.0 * x2 - diff ( x1 , t , 2 ) - diff ( x1 , t , 1 ) + x1 ; | ditto | ditto | ditto | ditto | ditto | ditto | ditto | 11 | 1 | 1 | NA | NA | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto | ditto |
| 2020-05-26T00:00:13-05:00 | Maple | mtest7 | diff ( y2 , x , 5 ) = y1 ; | 0.1 | 0.7 | 0.7 | 0.001 | Max H | 64 | 12 | 12 | 64 | 64 | NA | NA | 40 | No Pole | NA | NONE | 0.0993347 | NONE | 600 | 11 Seconds |
Done | 310 | mtest7 diffeq.mxt | mtest7 maple results | False singularity in three term test |
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 |
| 2020-05-26T00:00:25-05:00 | Maple | mtest8 | diff ( y2 , x , 4 ) = y1 - 1.0 ; | 0.1 | 1.4 | 1.4 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.0993347 | NONE | 1300 | 18 Seconds |
Done | 310 | mtest8 diffeq.mxt | mtest8 maple results | False singularity in three term test |
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 |
| 2020-05-26T00:00:45-05:00 | Maple | mult2 | diff ( y , x , 1 ) = sin ( x ) * cos ( x ) ; | 0.1 | 1 | 0.785399 | 1e-11 | Min H (Pole) | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | 0.00499473 | NONE | 48370 | 3 Minutes 0 Seconds |
3 Minutes 56 Seconds |
310 | mult2 diffeq.mxt | mult2 maple results | False singularity in three term test |
| 2020-05-26T00:03:46-05:00 | Maple | mult_c_lin | diff ( y , x , 1 ) = 2.0 * ( 0.2 * x + 0.3 ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 5 Seconds |
Done | 310 | mult_c_lin diffeq.mxt | mult_c_lin maple results | OK |
| 2020-05-26T00:03:52-05:00 | Maple | mult_c_sin | diff ( y , x , 1 ) = 2.0 * sin ( x ) ; | 0.1 | 5 | 1.63759 | 1e-06 | Min H (Pole) | 32 | 12 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 68331 | 3 Minutes 0 Seconds |
9 Minutes 33 Seconds |
310 | mult_c_sin diffeq.mxt | mult_c_sin maple results | False singularity in three term test |
| 2020-05-26T00:06:53-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 5 Seconds |
Done | 310 | mult_div_sinh_cosh_tanh diffeq.mxt | mult_div_sinh_cosh_tanh maple results | OK |
| 2020-05-26T00:06:59-05:00 | Maple | mult_lin_c | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) * 2.0 ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 5 Seconds |
Done | 310 | mult_lin_c diffeq.mxt | mult_lin_c maple results | OK |
| 2020-05-26T00:07:05-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 6 Seconds |
Done | 310 | mult_lin_lin diffeq.mxt | mult_lin_lin maple results | OK |
| 2020-05-26T00:07:12-05:00 | Maple | mult_lin_sin | diff ( y , x , 1 ) = ( 0.2 * x + 0.3 ) * sin ( x ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 9 Seconds |
Done | 310 | mult_lin_sin diffeq.mxt | mult_lin_sin maple results | OK |
| 2020-05-26T00:07:22-05:00 | Maple | mult | diff ( y , x , 1 ) = x * x ; | 0.1 | 10 | 10 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 9900 | 12 Seconds |
Done | 310 | mult diffeq.mxt | mult maple results | OK |
| 2020-05-26T00:07:36-05:00 | Maple | mult_sin_c | diff ( y , x , 1 ) = sin ( x ) * 2.0 ; | 0.1 | 5 | 1.63666 | 1e-06 | Min H (Pole) | 32 | 12 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 67396 | 3 Minutes 0 Seconds |
9 Minutes 33 Seconds |
310 | mult_sin_c diffeq.mxt | mult_sin_c maple results | False singularity in three term test |
| 2020-05-26T00:10:36-05:00 | Maple | mult_sin_lin | diff ( y , x , 1 ) = sin ( x ) * ( 0.2 * x + 0.3 ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 9 Seconds |
Done | 310 | mult_sin_lin diffeq.mxt | mult_sin_lin maple results | OK |
| 2020-05-26T00:10:46-05:00 | Maple | mult_sin_sin | diff ( y , x , 1 ) = sin ( x ) * sin ( x ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Max H | 32 | 12 | 13 | 32 | 32 | NA | NA | 30 | No Pole | NA | NONE | 0.0973546 | NONE | 100 | 0 Seconds |
Done | 310 | mult_sin_sin diffeq.mxt | mult_sin_sin maple results | False singularity in three term test |
| 2020-05-26T00:10:48-05:00 | Maple | nonlinear1 | diff ( y , x , 1 ) = y * y ; | 0 | 0.5 | 0.5 | 0.001 | Max H | 32 | 12 | 13 | 32 | 32 | NA | NA | 20 | Real Sing | 0.51 | 0.51 | 0.51 | NONE | 500 | 0 Seconds |
Done | 310 | nonlinear1 diffeq.mxt | nonlinear1 maple results | OK |
| 2020-05-26T00:10:49-05:00 | Maple | nonlinear2 | diff ( y , x , 1 ) = y * y ; | 0 | 0.2 | 0.2 | 0.001 | Max H | 32 | 12 | 13 | 32 | 32 | NA | NA | 20 | Real Sing | 0.31 | 0.31 | 0.31 | NONE | 200 | 0 Seconds |
Done | 310 | nonlinear2 diffeq.mxt | nonlinear2 maple results | OK |
| 2020-05-26T00:10:51-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | Complex Sing | 1.51 | NONE | 1.51001 | 1.51 | 500 | 1 Seconds |
Done | 310 | sing1 diffeq.mxt | sing1 maple results | OK |
| 2020-05-26T00:10:53-05:00 | Maple | sing2 | diff ( y , x , 1 ) = 1.0 / ( x * x + 1.0 ) ; | -2 | -1.5 | -1.5 | 0.001 | Max H | 16 | 12 | 12 | 14 | 14 | NA | NA | 20 | Complex Sing | 1.8111 | NONE | NONE | 1.8111 | 500 | 0 Seconds |
Done | 310 | sing2 diffeq.mxt | sing2 maple results | OK |
| 2020-05-26T00:10:55-05:00 | Maple | sing3 | diff ( y , x , 1 ) = neg ( 2.0 ) / x / x / x ; | -2 | -0.7 | -0.7 | 0.001 | Max H | 16 | 12 | 12 | 14 | 15 | NA | NA | 20 | Real Sing | 0.71 | NONE | 0.71 | NONE | 1300 | 2 Seconds |
Done | 310 | sing3 diffeq.mxt | sing3 maple results | OK |
| 2020-05-26T00:10:58-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | Complex Sing | 1.4213 | NONE | NONE | 1.4213 | 1000 | 3 Seconds |
Done | 310 | sing4 diffeq.mxt | sing4 maple results | OK |
| 2020-05-26T00:11:02-05:00 | Maple | sing5 | diff ( y , x , 1 ) = neg ( 3.0 ) / x / x / x / x ; | -1 | -0.7 | -0.7 | 0.001 | Max H | 32 | 12 | 13 | 14 | 14 | NA | NA | 20 | Real Sing | 0.71 | NONE | 0.71 | NONE | 300 | 0 Seconds |
Done | 310 | sing5 diffeq.mxt | sing5 maple results | OK |
| 2020-05-26T00:11:04-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 | Max H | 30 | 12 | 12 | 30 | 30 | NA | NA | 20 | Real Sing | 3.01 | NONE | 3.01 | NONE | 1000 | 2 Seconds |
Done | 310 | sing6 diffeq.mxt | sing6 maple results | OK |
| 2020-05-26T00:11:07-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 | Max H | 64 | 12 | 12 | 64 | 64 | NA | NA | 20 | Real Sing | 3.01 | NONE | 3.01 | NONE | 1000 | 3 Seconds |
Done | 310 | sing7 diffeq.mxt | sing7 maple results | OK |
| 2020-05-26T00:11:11-05:00 | Maple | sinh_sqrt | diff ( y , x , 1 ) = sinh ( sqrt ( 0.1 * x + 0.2 ) ) ; | 2 | 3 | 3 | 0.001 | Max H | 32 | 12 | 12 | 5 | 5 | NA | NA | 40 | Real Sing | 4 | NONE | NONE | NONE | 1000 | 11 Seconds |
Done | 310 | sinh_sqrt diffeq.mxt | sinh_sqrt maple results | Poor Accuracy and Missing Real Singularity |
| 2020-05-26T00:11:23-05:00 | Maple | sin | diff ( y , x , 1 ) = sin ( x ) ; | 0 | 1 | 1.0001 | 9.99999e-05 | Pole | 16 | 12 | 12 | 13 | 13 | NA | NA | 40 | No Pole | NA | NONE | 0.00999933 | NONE | 9992 | 21 Seconds |
Done | 310 | sin diffeq.mxt | sin maple results | OK |
| 2020-05-26T00:11:45-05:00 | Maple | sin_lg_h | diff ( y , x , 1 ) = sin ( x ) ; | 0 | 5 | 5.001 | 1 | Min H (Pole) | 16 | 12 | 13 | 15 | 16 | NA | NA | 40 | No Pole | NA | NONE | 0.000999999 | NONE | 6 | 0 Seconds |
Done | 310 | sin_lg_h diffeq.mxt | sin_lg_h maple results | False singularity in three term test |
| 2020-05-26T00:11:46-05:00 | Maple | sin_sqrt_lin | diff ( y , x , 1 ) = sin ( sqrt ( 2.0 * x + 3.0 ) ) ; | 2 | 3 | 3 | 0.001 | Max H | 32 | 12 | 12 | 4 | 4 | NA | NA | 40 | Real Sing | 3.5 | NONE | NONE | NONE | 1000 | 11 Seconds |
Done | 310 | sin_sqrt_lin diffeq.mxt | sin_sqrt_lin maple results | Poor Accuracy And Missing Real Singularity |
| 2020-05-26T00:11:58-05:00 | Maple | sqrt | diff ( y , x , 1 ) = sqrt ( x ) ; | 0.1 | 0.2 | 0.2 | 0.001 | Max H | 32 | 12 | 13 | 32 | 32 | NA | NA | 40 | Real Sing | 0.1 | NONE | 0.1 | NONE | 100 | 0 Seconds |
Done | 310 | sqrt diffeq.mxt | sqrt maple results | OK |
| 2020-05-26T00:11:59-05:00 | Maple | sqrt_tone | diff ( y , x , 1 ) = sqrt ( x ) ; | 0.5 | 0.6 | 0.6 | 0.001 | Max H | 32 | 12 | 13 | 32 | 32 | NA | NA | 40 | Real Sing | 0.5 | NONE | 0.5 | NONE | 100 | 0 Seconds |
Done | 310 | sqrt_tone diffeq.mxt | sqrt_tone maple results | OK |
| 2020-05-26T00:12:01-05:00 | Maple | sqrt_sqrt | diff ( y , x , 1 ) = sqrt ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0.1 | 0.5 | 0.5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 2.1 | NONE | 2.1 | NONE | 400 | 2 Seconds |
Done | 310 | sqrt_sqrt diffeq.mxt | sqrt_sqrt maple results | OK |
| 2020-05-26T00:12:04-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 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 2.5 | NONE | 2.5 | NONE | 1000 | 7 Seconds |
Done | 310 | sqrt_sqrt_tone diffeq.mxt | sqrt_sqrt_tone maple results | OK |
| 2020-05-26T00:12:12-05:00 | Maple | sqrt_sqrt_tzero | diff ( y , x , 1 ) = sqrt ( sqrt ( 0.1 * x + 0.2 ) ) ; | 0 | 0.5 | 0.5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 2 | NONE | 2 | NONE | 500 | 3 Seconds |
Done | 310 | sqrt_sqrt_tzero diffeq.mxt | sqrt_sqrt_tzero maple results | OK |
| 2020-05-26T00:12:17-05:00 | Maple | sub_c_lin | diff ( y , x , 1 ) = 0.3 - ( 0.1 * x + 0.2 ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 5 Seconds |
Done | 310 | sub_c_lin diffeq.mxt | sub_c_lin maple results | OK |
| 2020-05-26T00:12:23-05:00 | Maple | sub_c_sin | diff ( y , x , 1 ) = 1.0 - sin ( x ) ; | 0.1 | 5 | 1.63801 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 68750 | 2 Minutes 59 Seconds |
9 Minutes 33 Seconds |
310 | sub_c_sin diffeq.mxt | sub_c_sin maple results | False singularity in three term test |
| 2020-05-26T00:15:23-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.96638 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00245403 | NONE | 68593 | 2 Minutes 59 Seconds |
3 Minutes 1 Seconds |
310 | sub_full_lin diffeq.mxt | sub_full_lin maple results | False singularity in three term test |
| 2020-05-26T00:18:24-05:00 | Maple | sub_lin_c | diff ( y , x , 1 ) = ( 0.1 * x + 0.2 ) - 0.3 ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 5 Seconds |
Done | 310 | sub_lin_c diffeq.mxt | sub_lin_c maple results | OK |
| 2020-05-26T00:18:30-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 | Max H | 32 | 12 | 12 | Unknown | 32 | NA | NA | 30 | No Pole | NA | NONE | NONE | NONE | 4900 | 5 Seconds |
Done | 310 | sub_lin_lin diffeq.mxt | sub_lin_lin maple results | OK |
| 2020-05-26T00:18:36-05:00 | Maple | sub_lin_sin | diff ( y , x , 1 ) = ( 0.1 * x + 1.0 ) - sin ( x ) ; | 0.1 | 5 | 1.63658 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 67318 | 3 Minutes 0 Seconds |
9 Minutes 34 Seconds |
310 | sub_lin_sin diffeq.mxt | sub_lin_sin maple results | False singularity in three term test |
| 2020-05-26T00:21:35-05:00 | Maple | sub | diff ( y , x , 1 ) = sin ( x ) - cos ( x ) ; | 0 | 10 | 0.849921 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00460196 | NONE | 65374 | 3 Minutes 0 Seconds |
35 Minutes 17 Seconds |
310 | sub diffeq.mxt | sub maple results | False singularity in three term test |
| 2020-05-26T00:24:35-05:00 | Maple | sub_sin_c | diff ( y , x , 1 ) = sin ( x ) - 1 , 0 ; | 0.1 | 5 | 1.62794 | 1e-06 | Min H (Pole) | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.000781447 | NONE | 58683 | 3 Minutes 0 Seconds |
9 Minutes 37 Seconds |
310 | sub_sin_c diffeq.mxt | sub_sin_c maple results | False singularity in three term test |
| 2020-05-26T00:27:36-05:00 | Maple | sub_sin_cos | diff ( y , x , 1 ) = neg ( sin ( x ) ) - cos ( x ) ; | 0.1 | 5 | 0.849404 | 1e-06 | Min H (Pole) | 32 | 12 | 10 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.00460196 | NONE | 64757 | 3 Minutes 0 Seconds |
19 Minutes 36 Seconds |
310 | sub_sin_cos diffeq.mxt | sub_sin_cos maple results | False singularity in three term test |
| 2020-05-26T00:30:37-05:00 | Maple | tanh_sqrt | diff ( y , x , 1 ) = tanh ( sqrt ( 2.0 * x + 3.0 ) ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | Unknown | NA | NA | 30 | Real Sing | 1.6 | NONE | NONE | NONE | 4900 | 39 Seconds |
Done | 310 | tanh_sqrt diffeq.mxt | tanh_sqrt maple results | Missing Real Singularity |
| 2020-05-26T00:31:18-05:00 | Maple | tan_sqrt | diff ( y , x , 1 ) = ( 1.0 + ( tan ( sqrt ( 2.0 * x + 1.0 ) ) * tan ( sqrt ( 2.0 * x + 1.0 ) ) ) ) / sqrt ( 2.0 * x + 1.0 ) ; | 1.4 | 2.1 | 2.1 | 0.001 | Max H | 32 | 12 | 11 | 3 | 3 | NA | NA | 40 | Real Sing | 3.4 | NONE | NONE | NONE | 700 | 21 Seconds |
Done | 310 | tan_sqrt diffeq.mxt | tan_sqrt maple results | Missing Real Singularity |
| 2020-05-26T00:31:41-05:00 | Maple | tan_sqrt_lin | diff ( y , x , 1 ) = tan ( sqrt ( 2.0 * x + 3.0 ) ) ; | 0.1 | 5 | 5 | 0.001 | Max H | 32 | 12 | 12 | Unknown | Unknown | NA | NA | 40 | Real Sing | 1.6 | NONE | NONE | NONE | 4900 | 1 Minutes 7 Seconds |
Done | 310 | tan_sqrt_lin diffeq.mxt | tan_sqrt_lin maple results | Missing Real Singularity |
| 2020-05-26T00:32:49-05:00 | Maple | tan | diff ( y , x , 1 ) = tan ( x ) ; | 0.1 | 1.5 | 1.5 | 0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | Real Sing | 0.0807963 | NONE | 0.0807963 | NONE | 1400 | 7 Seconds |
Done | 310 | tan diffeq.mxt | tan maple results | OK |
| 2020-05-26T00:32:57-05:00 | Maple | div_c_lin_back | diff ( y , x , 1 ) = 2.0 / ( 0.2 * x + 0.3 ) ; | 3.1 | 2.5 | 2.5 | -0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 30 | Real Sing | 4.001 | NONE | NONE | NONE | 600 | 1 Seconds |
1 Seconds |
310 | div_c_lin_back diffeq.mxt | div_c_lin_back maple results | Missing Real Singularity |
| 2020-05-26T00:32:59-05:00 | Maple | sin_back | diff ( y , x , 1 ) = sin ( x ) ; | -0.1 | -1 | -1 | -0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 40 | No Pole | NA | NONE | 0.100315 | NONE | 900 | 2 Seconds |
2 Seconds |
310 | sin_back diffeq.mxt | sin_back maple results | False singularity in three term test |
| 2020-05-26T00:33:03-05:00 | Maple | sing1_back | diff ( y , x , 1 ) = neg ( 2.0 ) * x / ( x * x + 0.000001 ) / ( x * x + 0.000001 ) ; | -1.5 | -2 | -2 | -0.001 | Max H | 32 | 12 | 12 | 32 | 32 | NA | NA | 20 | Complex Sing | 1.501 | NONE | 1.50101 | 1.501 | 500 | 1 Seconds |
1 Seconds |
310 | sing1_back diffeq.mxt | sing1_back maple results | OK |
| 2020-05-26T00:33:05-05:00 | Maple | sing2_back | diff ( y , x , 1 ) = 1.0 / ( x * x + 1.0 ) ; | -1.5 | -2 | -2 | -0.001 | Max H | 32 | 12 | 13 | 32 | 32 | NA | NA | 20 | Complex Sing | 1.80361 | NONE | NONE | 1.80361 | 500 | 1 Seconds |
1 Seconds |
310 | sing2_back diffeq.mxt | sing2_back maple results | OK |
| 2020-05-26T00:33:07-05:00 | Maple | sing3_back | diff ( y , x , 1 ) = neg ( 2.0 ) / x / x / x ; | -0.7 | -2 | -2 | -0.001 | Max H | 32 | 12 | 11 | 14 | 14 | NA | NA | 20 | Real Sing | 0.701 | NONE | 0.701 | NONE | 1300 | 3 Seconds |
3 Seconds |
310 | sing3_back diffeq.mxt | sing3_back maple results | OK |
| 2020-05-26T00:33:12-05:00 | Maple | sing4_back | diff ( y , x , 1 ) = neg ( 2.0 ) * x / ( x * x + 1.0 ) / ( x * x + 1.0 ) ; | -1 | -2 | -2 | -0.001 | Max H | 32 | 12 | 11 | 32 | 32 | NA | NA | 40 | Complex Sing | 1.41492 | NONE | NONE | 1.41492 | 1000 | 6 Seconds |
6 Seconds |
310 | sing4_back diffeq.mxt | sing4_back maple results | OK |
| 2020-05-26T00:33:19-05:00 | Maple | sing5_back | diff ( y , x , 1 ) = neg ( 3.0 ) / x / x / x / x ; | -0.7 | -1 | -1 | -0.001 | Max H | 32 | 12 | 12 | 14 | 14 | NA | NA | 20 | Real Sing | 0.701 | NONE | 0.701 | NONE | 300 | 1 Seconds |
1 Seconds |
310 | sing5_back diffeq.mxt | sing5_back maple results | OK |
| 2020-05-26T00:33:21-05:00 | Maple | sing6_back | diff ( y , x , 1 ) = neg ( 2.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) ; | 3 | 2 | 2 | -0.001 | Max H | 30 | 12 | 12 | 30 | 30 | NA | NA | 20 | Real Sing | 3.001 | NONE | 3.001 | NONE | 1000 | 2 Seconds |
2 Seconds |
310 | sing6_back diffeq.mxt | sing6_back maple results | OK |
| 2020-05-26T00:33:25-05:00 | Maple | sing7_back | diff ( y , x , 1 ) = neg ( 5.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) / ( x - 6.0 ) ; | 3 | 2 | 2 | -0.001 | Max H | 64 | 12 | 11 | 16 | 16 | NA | NA | 30 | Real Sing | 3.001 | NONE | 3.001 | NONE | 1000 | 6 Seconds |
6 Seconds |
310 | sing7_back diffeq.mxt | sing7_back maple results | OK |