3.51   ODE No. 51

ddxy(x)(y(x)f(x))(y(x)g(x))(y(x)af(x)+bg(x)a+b)h(x)(ddxf(x))(y(x)g(x))f(x)g(x)(ddxg(x))(y(x)f(x))g(x)f(x)=0

  1. Problem in Latex
  2. Mathematica input
  3. Maple input

Mathematica: cpu = 0.753096 (sec), leaf count = 354 Solve[13(ab)2/3(2a+b)2/3(a+2b)2/3RootSum[#13(ab)2/3(2a+b)2/3(a+2b)2/33#1a23#1ab3#1b2+(ab)2/3(2a+b)2/3(a+2b)2/3&,log(2af(x)h(x)ag(x)h(x)bf(x)h(x)2bg(x)h(x)a+b+3h(x)y(x)(f(x)g(x))3(2a3h(x)3+3a2bh(x)33ab2h(x)32b3h(x)3)(a+b)33#1)#12(ab)2/3(2a+b)2/3(a+2b)2/3+a2+ab+b2&]=1x((f(K[1])g(K[1]))3(2a3h(K[1])3+3a2bh(K[1])33ab2h(K[1])32b3h(K[1])3)(a+b)3)2/39h(K[1])dK[1]+c1,y(x)]

Maple: cpu = 0.156 (sec), leaf count = 2348 {y(x)=19a3+18a2b+18ab2+9b3(2g(x)RootOf(27_Z(a2+ab+b2)34_a3a6+12_a3a5b3_a3a4b226_a3a3b33_a3a2b4+12_a3ab5+4_a3b627_aa681_aa5b162_aa4b2189_aa3b3162_aa2b481_aab527_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+1/3((g(x))2a2+(g(x))2ab+(g(x))2b22g(x)f(x)a22g(x)f(x)ab2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)a3+3g(x)RootOf(27_Z(a2+ab+b2)34_a3a6+12_a3a5b3_a3a4b226_a3a3b33_a3a2b4+12_a3ab5+4_a3b627_aa681_aa5b162_aa4b2189_aa3b3162_aa2b481_aab527_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+1/3((g(x))2a2+(g(x))2ab+(g(x))2b22g(x)f(x)a22g(x)f(x)ab2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)a2b3g(x)RootOf(27_Z(a2+ab+b2)34_a3a6+12_a3a5b3_a3a4b226_a3a3b33_a3a2b4+12_a3ab5+4_a3b627_aa681_aa5b162_aa4b2189_aa3b3162_aa2b481_aab527_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+1/3((g(x))2a2+(g(x))2ab+(g(x))2b22g(x)f(x)a22g(x)f(x)ab2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)ab22g(x)RootOf(27_Z(a2+ab+b2)34_a3a6+12_a3a5b3_a3a4b226_a3a3b33_a3a2b4+12_a3ab5+4_a3b627_aa681_aa5b162_aa4b2189_aa3b3162_aa2b481_aab527_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+1/3((g(x))2a2+(g(x))2ab+(g(x))2b22g(x)f(x)a22g(x)f(x)ab2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)b32f(x)RootOf(27_Z(a2+ab+b2)34_a3a6+12_a3a5b3_a3a4b226_a3a3b33_a3a2b4+12_a3ab5+4_a3b627_aa681_aa5b162_aa4b2189_aa3b3162_aa2b481_aab527_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+1/3((g(x))2a2+(g(x))2ab+(g(x))2b22g(x)f(x)a22g(x)f(x)ab2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)a33f(x)RootOf(27_Z(a2+ab+b2)34_a3a6+12_a3a5b3_a3a4b226_a3a3b33_a3a2b4+12_a3ab5+4_a3b627_aa681_aa5b162_aa4b2189_aa3b3162_aa2b481_aab527_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+1/3((g(x))2a2+(g(x))2ab+(g(x))2b22g(x)f(x)a22g(x)f(x)ab2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)a2b+3f(x)RootOf(27_Z(a2+ab+b2)34_a3a6+12_a3a5b3_a3a4b226_a3a3b33_a3a2b4+12_a3ab5+4_a3b627_aa681_aa5b162_aa4b2189_aa3b3162_aa2b481_aab527_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+1/3((g(x))2a2+(g(x))2ab+(g(x))2b22g(x)f(x)a22g(x)f(x)ab2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)ab2+2f(x)RootOf(27_Z(a2+ab+b2)34_a3a6+12_a3a5b3_a3a4b226_a3a3b33_a3a2b4+12_a3ab5+4_a3b627_aa681_aa5b162_aa4b2189_aa3b3162_aa2b481_aab527_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+1/3((g(x))2a2+(g(x))2ab+(g(x))2b22g(x)f(x)a22g(x)f(x)ab2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)b33a3g(x)9a2g(x)b9ag(x)b26b3g(x)6a3f(x)9a2f(x)b9af(x)b23b3f(x))}

Sage: cpu = 2.588 (sec), leaf count = 0 [[(a2+ab+b2)log(3a2+3ab+3b23(a3+3a2b+3ab2+b3)(a2+ab2b2)((2a+b)f(x)+(a+2b)g(x)a+b3y(x))(((a2+ab+b2)f(x)33(a2+ab+b2)f(x)2g(x)+3(a2+ab+b2)f(x)g(x)2(a2+ab+b2)g(x)3)h(x)2+6(a2+2ab+b2)h(x)D[0](f)(x)6(a2+2ab+b2)h(x)D[0](g)(x)+3((a2+2ab+b2)f(x)(a2+2ab+b2)g(x))D[0](h)(x)((a2+2ab+b2)f(x)(a2+2ab+b2)g(x))h(x)3(a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)(2((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5D[0](f)(x)5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)D[0](f)(x)+10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)2D[0](f)(x)10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)3D[0](f)(x)+5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)4D[0](f)(x)(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)5D[0](f)(x)(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5D[0](g)(x)+5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)D[0](g)(x)10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)2D[0](g)(x)+10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)3D[0](g)(x)5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)4D[0](g)(x)+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)5D[0](g)(x))h(x)3a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6+((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)66(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)220(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)46(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)6)h(x)2D[0](h)(x)a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)66(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)220(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)46(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)6)h(x)3)((2a3+3a2b3ab22b3)f(x)33(2a3+3a2b3ab22b3)f(x)2g(x)+3(2a3+3a2b3ab22b3)f(x)g(x)2(2a3+3a2b3ab22b3)g(x)3)h(x))3(a2+ab)+(a2+ab+b2)log(3a23ab3b23(a3+3a2b+3ab2+b3)(2a2abb2)((2a+b)f(x)+(a+2b)g(x)a+b3y(x))(((a2+ab+b2)f(x)33(a2+ab+b2)f(x)2g(x)+3(a2+ab+b2)f(x)g(x)2(a2+ab+b2)g(x)3)h(x)2+6(a2+2ab+b2)h(x)D[0](f)(x)6(a2+2ab+b2)h(x)D[0](g)(x)+3((a2+2ab+b2)f(x)(a2+2ab+b2)g(x))D[0](h)(x)((a2+2ab+b2)f(x)(a2+2ab+b2)g(x))h(x)3(a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)(2((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5D[0](f)(x)5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)D[0](f)(x)+10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)2D[0](f)(x)10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)3D[0](f)(x)+5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)4D[0](f)(x)(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)5D[0](f)(x)(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5D[0](g)(x)+5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)D[0](g)(x)10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)2D[0](g)(x)+10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)3D[0](g)(x)5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)4D[0](g)(x)+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)5D[0](g)(x))h(x)3a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6+((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)66(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)220(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)46(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)6)h(x)2D[0](h)(x)a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)66(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)220(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)46(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)6)h(x)3)((2a3+3a2b3ab22b3)f(x)33(2a3+3a2b3ab22b3)f(x)2g(x)+3(2a3+3a2b3ab22b3)f(x)g(x)2(2a3+3a2b3ab22b3)g(x)3)h(x))3(ab+b2)(a2+ab+b2)log(3a2+3ab+3b2+3(a3+3a2b+3ab2+b3)(2a2+5ab+2b2)((2a+b)f(x)+(a+2b)g(x)a+b3y(x))(((a2+ab+b2)f(x)33(a2+ab+b2)f(x)2g(x)+3(a2+ab+b2)f(x)g(x)2(a2+ab+b2)g(x)3)h(x)2+6(a2+2ab+b2)h(x)D[0](f)(x)6(a2+2ab+b2)h(x)D[0](g)(x)+3((a2+2ab+b2)f(x)(a2+2ab+b2)g(x))D[0](h)(x)((a2+2ab+b2)f(x)(a2+2ab+b2)g(x))h(x)3(a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)(2((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5D[0](f)(x)5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)D[0](f)(x)+10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)2D[0](f)(x)10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)3D[0](f)(x)+5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)4D[0](f)(x)(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)5D[0](f)(x)(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5D[0](g)(x)+5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)D[0](g)(x)10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)2D[0](g)(x)+10(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)3D[0](g)(x)5(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)4D[0](g)(x)+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)5D[0](g)(x))h(x)3a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6+((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)66(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)220(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)46(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)6)h(x)2D[0](h)(x)a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)66(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)220(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)46(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)6)h(x)3)((2a3+3a2b3ab22b3)f(x)33(2a3+3a2b3ab22b3)f(x)2g(x)+3(2a3+3a2b3ab22b3)f(x)g(x)2(2a3+3a2b3ab22b3)g(x)3)h(x))3ab((a2+ab+b2)f(x)33(a2+ab+b2)f(x)2g(x)+3(a2+ab+b2)f(x)g(x)2(a2+ab+b2)g(x)3)h(x)2+6(a2+2ab+b2)h(x)D[0](f)(x)6(a2+2ab+b2)h(x)D[0](g)(x)+3((a2+2ab+b2)f(x)(a2+2ab+b2)g(x))D[0](h)(x)3((a2+2ab+b2)f(x)(a2+2ab+b2)g(x))h(x)dx+13log(((4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)66(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)4g(x)220(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)2g(x)46(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b3a4b226a3b33a2b4+12ab5+4b6)g(x)6)h(x)3729(a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6))=c],abel]