Record of Testing of Omnisode


ode.over(Overrides .ode files)
TimeLanguageOde FileEquationStartEndActual EndHH ReasonMachine DigitsDesired Correct DigitsEstimated Correct DigitsCorrect DigitsTermsType Sing GivenGiven Least SingRatio Least SingThree Term Least SingSix Term Least SingIterationsExecution TimeEstimated Total TimeLast Savediffeq programdiffeq resultsComment
2014-02-14T15:38:37-06:00Maplearccos_sqrtdiff ( y , x , 1 ) = arccos ( sqrt ( 0.1 * x + 0.2 ) ) ; 00.50.50.01Display Interval321012830Real Sing2NONE2.00022NONE500 Seconds Done 0264 arccos_sqrt diffeq.mxtarccos_sqrt maple resultsPoor Accuracy
2014-02-14T15:38:40-06:00Maplearccos_sqrt_sm_hdiff ( y , x , 1 ) = arccos ( sqrt ( 0.1 * x + 0.2 ) ) ; 00.50.0683521.00e-06Max H3210101730Real Sing2NONE2.00022NONE6835210 Minutes 0 Seconds 1 Hours 13 Minutes 8 Seconds 0264 arccos_sqrt_sm_h diffeq.mxtarccos_sqrt_sm_h maple resultsSmall H
2014-02-14T15:48:40-06:00Maplearcsin_sqrtdiff ( y , x , 1 ) = arcsin ( sqrt ( 0.1 * x + 0.2 ) ) ; 00.50.50.01Display Interval321012830Real Sing2NONE2.00022NONE500 Seconds Done 0264 arcsin_sqrt diffeq.mxtarcsin_sqrt maple resultsPoor Accuracy
2014-02-14T15:48:42-06:00Maplearcsin_sqrt_sm_hdiff ( y , x , 1 ) = arcsin ( sqrt ( 0.1 * x + 0.2 ) ) ; 00.50.0687791.00e-06Max H3210101630Real Sing2NONE2.00022NONE6877910 Minutes 0 Seconds 1 Hours 12 Minutes 41 Seconds 0264 arcsin_sqrt_sm_h diffeq.mxtarcsin_sqrt_sm_h maple resultsSmall H
2014-02-14T15:58:43-06:00Maplearctan_sqrtdiff ( y , x , 1 ) = arctan ( sqrt ( 0.1 * x + 0.2 ) ) ; -10.50.50.01Display Interval321011740Real Sing1NONE0.999943NONE1504 Seconds Done 0264 arctan_sqrt diffeq.mxtarctan_sqrt maple resultsPoor Accuracy
2014-02-14T15:58:48-06:00Maplearctan_sqrt_sm_hdiff ( y , x , 1 ) = arctan ( sqrt ( 0.1 * x + 0.2 ) ) ; -10.5-0.9773541.00e-06Max H3210101640Real Sing1NONE0.999943NONE2264610 Minutes 0 Seconds 11 Hours 2 Minutes 21 Seconds 0264 arctan_sqrt_sm_h diffeq.mxtarctan_sqrt_sm_h maple resultsSmall H
2014-02-14T16:08:49-06:00Maplecos_sqrt_lindiff ( y , x , 1 ) = cos ( sqrt ( 2.0 * x + 3.0 ) ) ; -1.4-1.3-1.35.00e-06Max H321011730Real Sing0.1NONE0.0996711NONE200002 Minutes 51 Seconds Done 0264 cos_sqrt_lin diffeq.mxtcos_sqrt_lin maple resultsPoor Accuracy
2014-02-14T16:11:42-06:00Maplecos_sqrt_lin_sm_hdiff ( y , x , 1 ) = cos ( sqrt ( 2.0 * x + 3.0 ) ) ; -1.4-1.3-1.399271.00e-08Max H3210133230Real Sing0.1NONENONENONE725889 Minutes 59 Seconds 22 Hours 57 Minutes 34 Seconds 0264 cos_sqrt_lin_sm_h diffeq.mxtcos_sqrt_lin_sm_h maple resultsSmall H
2014-02-14T16:21:43-06:00Maplediv_c_lindiff ( y , x , 1 ) = 2.0 / ( 0.2 * x + 0.3 ) ; 2.53.13.10.01Display Interval3210111430Real Sing4NONENONENONE600 Seconds Done 0264 div_c_lin diffeq.mxtdiv_c_lin maple resultsPROBLEM - Missing Singularity
2014-02-14T16:21:44-06:00Mapleexp_sqrtdiff ( y , x , 1 ) = exp ( sqrt ( 0.1 * x + 0.2 ) ) ; 2330.01Display Interval161011540Real Sing4NONE3.99831NONE1001 Seconds Done 0264 exp_sqrt diffeq.mxtexp_sqrt maple resultsPoor Accuracy
2014-02-14T16:21:45-06:00Mapleexp_sqrt_sm_hdiff ( y , x , 1 ) = exp ( sqrt ( 0.1 * x + 0.2 ) ) ; 232.006061.00e-07Max H3210133240Real Sing4NONE3.99831NONE606429 Minutes 59 Seconds 1 Days 3 Hours 28 Minutes 57 Seconds 0264 exp_sqrt_sm_h diffeq.mxtexp_sqrt_sm_h maple resultsSmall H
2014-02-14T16:31:46-06:00Mapleexpt_c_sin_newdiff ( y , x , 1 ) = expt ( 2.0 , sin ( x ) ) * cos ( x ) * ln ( 2.0 ) ; 1.411-0.01Display Interval321012430Not GivenNANONENONENONE400 Seconds 0 Seconds 0264 expt_c_sin_new diffeq.mxtexpt_c_sin_new maple resultsPoor Accuracy
2014-02-14T16:31:48-06:00Mapleexpt_c_sin_new_sm_hdiff ( y , x , 1 ) = expt ( 2.0 , sin ( x ) ) * cos ( x ) * ln ( 2.0 ) ; 1.411.39145-1.00e-07Max H3210133230Not GivenNANONENONENONE8545610 Minutes 0 Seconds 10 Minutes 0 Seconds 0264 expt_c_sin_new_sm_h diffeq.mxtexpt_c_sin_new_sm_h maple resultsSmall H
2014-02-14T16:41:49-06:00Mapleexpt_lin_lin_newdiff ( y , x , 1 ) = expt ( 2.0 * x + 1.0 , 3.0 * x + 2.0 ) * ( 3.0 * ln ( 2.0 * x + 1.0 ) + ( 2.0 * ( 3.0 * x + 2.0 ) ) / ( 2.0 * x + 1.0 ) ) ; 0.1110.01Display Interval321011630Not GivenNANONENONENONE900 Seconds Done 0264 expt_lin_lin_new diffeq.mxtexpt_lin_lin_new maple resultsPoor Accuracy
2014-02-14T16:41:50-06:00Mapleexpt_lin_lin_new_sm_hdiff ( y , x , 1 ) = expt ( 2.0 * x + 1.0 , 3.0 * x + 2.0 ) * ( 3.0 * ln ( 2.0 * x + 1.0 ) + ( 2.0 * ( 3.0 * x + 2.0 ) ) / ( 2.0 * x + 1.0 ) ) ; 0.110.1914271.00e-06Max H3210103030Not GivenNANONENONENONE914279 Minutes 59 Seconds 1 Hours 38 Minutes 26 Seconds 0264 expt_lin_lin_new_sm_h diffeq.mxtexpt_lin_lin_new_sm_h maple resultsSmall H
2014-02-14T16:51:51-06:00Mapleexpt_lin_sin_new_sm_hdiff ( y , x , 1 ) = expt ( 2.0 * x + 1.0 , sin ( x ) ) * ( cos ( x ) * ln ( 2.0 * x + 1.0 ) + ( 2.0 * sin ( x ) ) / ( 2.0 * x + 1.0 ) ) ; 0.110.1475611.00e-06Max H3210103030Not GivenNANONENONENONE475619 Minutes 59 Seconds 3 Hours 9 Minutes 13 Seconds 0264 expt_lin_sin_new_sm_h diffeq.mxtexpt_lin_sin_new_sm_h maple resultsPROBLEM - Missing Singularity - REDUCED H
2014-02-14T17:01:52-06:00Mapleexpt_sin_lin_new_sm_hdiff ( y , x , 1 ) = ( expt ( sin ( x ) , ( 2.0 * x + 1.0 ) ) ) * ( ( 2.0 * ln ( sin ( x ) ) ) + ( ( ( 2.0 * x + 1.0 ) * cos ( x ) ) / sin ( x ) ) ) ; 0.10.110.111.00e-06Max H3210123230Real Sing2.1NONE0.1NONE100002 Minutes 29 Seconds Done 0264 expt_sin_lin_new_sm_h diffeq.mxtexpt_sin_lin_new_sm_h maple resultsREDUCED H
2014-02-14T17:04:22-06:00Mapleexpt_sin_sin_new_sm_hdiff ( y , x , 1 ) = expt ( sin ( 2.0 * x + 3.0 ) , sin ( x + 1.0 ) ) * ( ( cos ( x + 1.0 ) * ln ( sin ( 2.0 * x + 3.0 ) ) ) + ( ( 2.0 * sin ( x + 1.0 ) * cos ( 2.0 * x + 3.0 ) ) / sin ( 2.0 * x + 3.0 ) ) ) ; 1.81.811.811.00e-06Max H3210123240Not GivenNANONE0.158407NONE100006 Minutes 11 Seconds Done 0264 expt_sin_sin_new_sm_h diffeq.mxtexpt_sin_sin_new_sm_h maple resultsREDUCED H
2014-02-14T17:10:34-06:00Maplelin_arccosdiff ( y , x , 1 ) = arccos ( 0.1 * x + 0.2 ) ; -0.80.80.80.01Display Interval321011930Not GivenNANONENONENONE1600 Seconds Done 0264 lin_arccos diffeq.mxtlin_arccos maple resultsPoor Accuracy
2014-02-14T17:10:36-06:00Maplelin_arccos_sm_hdiff ( y , x , 1 ) = arccos ( 0.1 * x + 0.2 ) ; -0.80.8-0.4917891.00e-06Max H3210101830Not GivenNANONENONENONE30821110 Minutes 0 Seconds 51 Minutes 54 Seconds 0264 lin_arccos_sm_h diffeq.mxtlin_arccos_sm_h maple resultsSmall H
2014-02-14T17:20:37-06:00Maplelin_arcsindiff ( y , x , 1 ) = arcsin ( 0.1 * x + 0.2 ) ; -0.80.80.80.01Display Interval321012930Not GivenNANONENONENONE1600 Seconds Done 0264 lin_arcsin diffeq.mxtlin_arcsin maple resultsPoor Accuracy
2014-02-14T17:20:38-06:00Maplelin_arcsin_sm_hdiff ( y , x , 1 ) = arcsin ( 0.1 * x + 0.2 ) ; -0.80.8-0.4785791.00e-06Max H3210101830Not GivenNANONENONENONE3214219 Minutes 59 Seconds 49 Minutes 46 Seconds 0264 lin_arcsin_sm_h diffeq.mxtlin_arcsin_sm_h maple resultsSmall H
2014-02-14T17:30:39-06:00Maplelin_arctandiff ( y , x , 1 ) = arctan ( 0.1 * x + 0.2 ) ; -1-0.6-0.60.01Display Interval321012730Not GivenNANONENONENONE400 Seconds Done 0264 lin_arctan diffeq.mxtlin_arctan maple resultsPoor Accuracy
2014-02-14T17:30:40-06:00Maplelin_arctan_sm_hdiff ( y , x , 1 ) = arctan ( 0.1 * x + 0.2 ) ; -1-0.6-0.9471131.00e-06Max H3210101630Not GivenNANONENONENONE528879 Minutes 59 Seconds 1 Hours 15 Minutes 37 Seconds 0264 lin_arctan_sm_h diffeq.mxtlin_arctan_sm_h maple resultsSmall H
2014-02-14T17:40:41-06:00Mapleln_sqrtdiff ( y , x , 1 ) = ln ( sqrt ( 0.1 * x + 0.2 ) ) ; 1011110.01Display Interval321012940Real Sing12NONE12.0123NONE1001 Seconds Done 0264 ln_sqrt diffeq.mxtln_sqrt maple resultsPoor Accuracy
2014-02-14T17:40:43-06:00Mapleln_sqrt_sm_hdiff ( y , x , 1 ) = ln ( sqrt ( 0.1 * x + 0.2 ) ) ; 101110.05821.00e-06Max H3210101840Real Sing12NONE12.0123NONE5823510 Minutes 0 Seconds 2 Hours 51 Minutes 42 Seconds 0264 ln_sqrt_sm_h diffeq.mxtln_sqrt_sm_h maple resultsSmall H
2014-02-14T17:50:44-06:00Maplemtest2diff ( y1 , x , 1 ) = m1 * y2 ; 0.20.60.60.01Display Interval641012330No PoleNANONENONENONE401 Seconds Done 0264 mtest2 diffeq.mxtmtest2 maple resultsPoor Accuracy -- BAD TEST??
dittodittodittodiff ( y2 , x , 1 ) = y1 ; dittodittodittodittodittodittoditto122dittodittodittodittodittodittodittodittodittodittodittodittoditto
2014-02-14T17:50:47-06:00Maplemtest2_sm_hdiff ( y1 , x , 1 ) = m1 * y2 ; 0.20.60.2178141.00e-06Max H641011530No PoleNANONENONENONE1781410 Minutes 0 Seconds 3 Hours 44 Minutes 31 Seconds 0264 mtest2_sm_h diffeq.mxtmtest2_sm_h maple resultsSmall H -- BAD TEST??
dittodittodittodiff ( y2 , x , 1 ) = y1 ; dittodittodittodittodittodittoditto113dittodittodittodittodittodittodittodittodittodittodittodittoditto
2014-02-14T18:00:48-06:00Maplemtest6_rev_sm_hdiff ( x2 , t , 2 ) = 3.0 * diff ( x2 , t , 1 ) - 2.0 * x2 - diff ( x1 , t , 2 ) - diff ( x1 , t , 1 ) + x1 ; 0.50.80.5143751.00e-06Max H641010830Not GivenNANONENONENONE1437510 Minutes 0 Seconds 3 Hours 28 Minutes 40 Seconds 0264 mtest6_rev_sm_h diffeq.mxtmtest6_rev_sm_h maple resultsREDUCED H -- BAD TEST??
dittodittodittodiff ( x1 , t , 1 ) = 4.0 * x2 - 2.0 * diff ( x2 , t , 1 ) - 2.0 * x1 ; dittodittodittodittodittodittoditto108dittodittodittodittodittodittodittodittodittodittodittodittoditto
2014-02-14T18:10:49-06:00Maplemtest6_sm_hdiff ( x1 , t , 1 ) = 4.0 * x2 - 2.0 * diff ( x2 , t , 1 ) - 2.0 * x1 ; 0.50.80.5140681.00e-06Max H641010830Not GivenNANONENONENONE140689 Minutes 59 Seconds 3 Hours 33 Minutes 13 Seconds 0264 mtest6_sm_h diffeq.mxtmtest6_sm_h maple resultsREDUCED H -- BAD TEST??
dittodittodittodiff ( x2 , t , 2 ) = 3.0 * diff ( x2 , t , 1 ) - 2.0 * x2 - diff ( x1 , t , 2 ) - diff ( x1 , t , 1 ) + x1 ; dittodittodittodittodittodittoditto108dittodittodittodittodittodittodittodittodittodittodittodittoditto
2014-02-14T18:20:50-06:00Maplemtest7_sm_hdiff ( y2 , x , 5 ) = y1 ; 00.50.50.01Display Interval321012330Not GivenNANONENONENONE503 Seconds Done 0264 mtest7_sm_h diffeq.mxtmtest7_sm_h maple resultsREDUCED H
dittodittodittodiff ( y1 , x , 1 ) = m1 * y2 ; dittodittodittodittodittodittoditto123dittodittodittodittodittodittodittodittodittodittodittodittoditto
2014-02-14T18:20:55-06:00Maplemult_sin_sindiff ( y , x , 1 ) = sin ( x ) * sin ( x ) ; 0.110.908221.0e-06Min H (Pole)3210103030No PoleNANONE0.00460186NONE1230209 Minutes 59 Seconds 11 Minutes 8 Seconds 0264 mult_sin_sin diffeq.mxtmult_sin_sin maple resultsPROBLEM - False Singularity
2014-02-14T18:30:56-06:00Maplesinh_sqrtdiff ( y , x , 1 ) = sinh ( sqrt ( 0.1 * x + 0.2 ) ) ; 2330.01Display Interval321012440Real Sing4NONE3.9997NONE1002 Seconds Done 0264 sinh_sqrt diffeq.mxtsinh_sqrt maple resultsPoor Accuracy
2014-02-14T18:30:59-06:00Maplesinh_sqrt_sm_hdiff ( y , x , 1 ) = sinh ( sqrt ( 0.1 * x + 0.2 ) ) ; 232.004181.00e-07Max H3210133240Real Sing4NONE3.9997NONE418439 Minutes 59 Seconds 1 Days 15 Hours 49 Minutes 45 Seconds 0264 sinh_sqrt_sm_h diffeq.mxtsinh_sqrt_sm_h maple resultsSmall H
2014-02-14T18:41:00-06:00Maplesin_sqrt_lindiff ( y , x , 1 ) = sin ( sqrt ( 2.0 * x + 3.0 ) ) ; 2330.01Display Interval321012440Real Sing3.5NONENONE3.999731001 Seconds Done 0264 sin_sqrt_lin diffeq.mxtsin_sqrt_lin maple resultsPoor Accuracy & PROBLEM - found complex singularity instead of real - COULD BE RIGHT!!!
2014-02-14T18:41:03-06:00Maplesin_sqrt_lin_sm_hdiff ( y , x , 1 ) = sin ( sqrt ( 2.0 * x + 3.0 ) ) ; 232.004241.00e-07Max H3210133240Real Sing3.5NONENONENONE424009 Minutes 59 Seconds 1 Days 15 Hours 18 Minutes 22 Seconds 0264 sin_sqrt_lin_sm_h diffeq.mxtsin_sqrt_lin_sm_h maple resultsSmall H
2014-02-14T18:51:03-06:00Mapletanh_sqrt_newdiff ( y , x , 1 ) = ( 1.0 - ( tanh ( sqrt ( 2.0 * x + 1.0 ) ) * tanh ( sqrt ( 2.0 * x + 1.0 ) ) ) ) / sqrt ( 2.0 * x + 1.0 ) ; 2330.0001Max H321010740Real Sing2.5NONE2.51062NONE100007 Minutes 23 Seconds Done 0264 tanh_sqrt_new diffeq.mxttanh_sqrt_new maple resultsPoor Accuracy
2014-02-14T18:58:28-06:00Mapletanh_sqrt_new_sm_hdiff ( y , x , 1 ) = ( 1.0 - ( tanh ( sqrt ( 2.0 * x + 1.0 ) ) * tanh ( sqrt ( 2.0 * x + 1.0 ) ) ) ) / sqrt ( 2.0 * x + 1.0 ) ; 232.001341.00e-07Max H3210123240Real Sing2.5NONENONENONE134399 Minutes 59 Seconds 5 Days 3 Hours 55 Minutes 38 Seconds 0264 tanh_sqrt_new_sm_h diffeq.mxttanh_sqrt_new_sm_h maple resultsSmall H
2014-02-14T19:08:29-06:00Mapletan_sqrt_lindiff ( y , x , 1 ) = tan ( sqrt ( 2.0 * x + 3.0 ) ) ; 0.1550.01Display Interval321011Unknown40Real Sing1.6NONE1.40629NONE49010 Seconds Done 0264 tan_sqrt_lin diffeq.mxttan_sqrt_lin maple resultsPROBLEM - Singularity not accurate
2014-02-14T19:08:40-06:00Maplediv_c_lin_backdiff ( y , x , 1 ) = 2.0 / ( 0.2 * x + 0.3 ) ; 3.12.52.5-0.01Display Interval3210121530Real Sing4.01NONENONENONE600 Seconds 0 Seconds 0264 div_c_lin_back diffeq.mxtdiv_c_lin_back maple resultsPROBLEM - missing singularity
2014-02-14T19:08:41-06:00Maplesing3_backdiff ( y , x , 1 ) = m1 * 2.0 / x / x / x ; -0.7-2-2-0.01Display Interval321011920Real Sing0.7NONE0.7NONE1300 Seconds 0 Seconds 0264 sing3_back diffeq.mxtsing3_back maple resultsPoor Accuracy
2014-02-14T19:08:43-06:00Maplesing3_back_sm_hdiff ( y , x , 1 ) = m1 * 2.0 / x / x / x ; -0.7-2-0.956391-1.00e-06Max H3210103220Real Sing0.7NONE0.7NONE2563919 Minutes 59 Seconds 10 Minutes 0 Seconds 0264 sing3_back_sm_h diffeq.mxtsing3_back_sm_h maple resultsSmall H
2014-02-14T19:18:43-06:00Maplesing5_backdiff ( y , x , 1 ) = m1 * 3.0 / x / x / x / x ; -0.7-1-1-0.01Display Interval321012920Real Sing0.7NONE0.7NONE300 Seconds 0 Seconds 0264 sing5_back diffeq.mxtsing5_back maple resultsPoor Accuracy
2014-02-14T19:18:44-06:00Maplesing5_back_sm_hdiff ( y , x , 1 ) = m1 * 3.0 / x / x / x / x ; -0.7-1-0.923784-1.00e-06Max H3210102920Real Sing0.7NONE0.7NONE22378410 Minutes 0 Seconds 10 Minutes 0 Seconds 0264 sing5_back_sm_h diffeq.mxtsing5_back_sm_h maple resultsSmall H
2014-02-14T19:28:45-06:00Mapletan_sqrt_newdiff ( 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.42.12.10.01Display Interval321011340Real Sing3.4NONENONENONE703 Seconds Done 0264 tan_sqrt_new diffeq.mxttan_sqrt_new maple resultsPoor Accuracy & PROBLEM - missing singularity
2014-02-14T19:28:49-06:00Mapletan_sqrt_new_sm_hdiff ( 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.42.11.41371.00e-06Max H321010840Real Sing3.4NONENONENONE1369910 Minutes 0 Seconds 8 Hours 30 Minutes 57 Seconds 0264 tan_sqrt_new_sm_h diffeq.mxttan_sqrt_new_sm_h maple resultsSmall H