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