[next] [prev] [prev-tail] [tail] [up]
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
Mathematica: cpu = 0.753096 (sec), leaf count = 354 Solve[−13(a−b)2/3(2a+b)2/3(a+2b)2/3RootSum[#13(a−b)2/3(2a+b)2/3(a+2b)2/3−3#1a2−3#1ab−3#1b2+(a−b)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)3−3ab2h(x)3−2b3h(x)3)(a+b)33−#1)−#12(a−b)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])3−3ab2h(K[1])3−2b3h(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_a3a5b−3_a3a4b2−26_a3a3b3−3_a3a2b4+12_a3ab5+4_a3b6−27_aa6−81_aa5b−162_aa4b2−189_aa3b3−162_aa2b4−81_aab5−27_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+∫1/3((g(x))2a2+(g(x))2ab+(g(x))2b2−2g(x)f(x)a2−2g(x)f(x)ab−2g(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_a3a5b−3_a3a4b2−26_a3a3b3−3_a3a2b4+12_a3ab5+4_a3b6−27_aa6−81_aa5b−162_aa4b2−189_aa3b3−162_aa2b4−81_aab5−27_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+∫1/3((g(x))2a2+(g(x))2ab+(g(x))2b2−2g(x)f(x)a2−2g(x)f(x)ab−2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)a2b−3g(x)RootOf(−27∫_Z(a2+ab+b2)34_a3a6+12_a3a5b−3_a3a4b2−26_a3a3b3−3_a3a2b4+12_a3ab5+4_a3b6−27_aa6−81_aa5b−162_aa4b2−189_aa3b3−162_aa2b4−81_aab5−27_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+∫1/3((g(x))2a2+(g(x))2ab+(g(x))2b2−2g(x)f(x)a2−2g(x)f(x)ab−2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)ab2−2g(x)RootOf(−27∫_Z(a2+ab+b2)34_a3a6+12_a3a5b−3_a3a4b2−26_a3a3b3−3_a3a2b4+12_a3ab5+4_a3b6−27_aa6−81_aa5b−162_aa4b2−189_aa3b3−162_aa2b4−81_aab5−27_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+∫1/3((g(x))2a2+(g(x))2ab+(g(x))2b2−2g(x)f(x)a2−2g(x)f(x)ab−2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)b3−2f(x)RootOf(−27∫_Z(a2+ab+b2)34_a3a6+12_a3a5b−3_a3a4b2−26_a3a3b3−3_a3a2b4+12_a3ab5+4_a3b6−27_aa6−81_aa5b−162_aa4b2−189_aa3b3−162_aa2b4−81_aab5−27_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+∫1/3((g(x))2a2+(g(x))2ab+(g(x))2b2−2g(x)f(x)a2−2g(x)f(x)ab−2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)a3−3f(x)RootOf(−27∫_Z(a2+ab+b2)34_a3a6+12_a3a5b−3_a3a4b2−26_a3a3b3−3_a3a2b4+12_a3ab5+4_a3b6−27_aa6−81_aa5b−162_aa4b2−189_aa3b3−162_aa2b4−81_aab5−27_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+∫1/3((g(x))2a2+(g(x))2ab+(g(x))2b2−2g(x)f(x)a2−2g(x)f(x)ab−2g(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_a3a5b−3_a3a4b2−26_a3a3b3−3_a3a2b4+12_a3ab5+4_a3b6−27_aa6−81_aa5b−162_aa4b2−189_aa3b3−162_aa2b4−81_aab5−27_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+∫1/3((g(x))2a2+(g(x))2ab+(g(x))2b2−2g(x)f(x)a2−2g(x)f(x)ab−2g(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_a3a5b−3_a3a4b2−26_a3a3b3−3_a3a2b4+12_a3ab5+4_a3b6−27_aa6−81_aa5b−162_aa4b2−189_aa3b3−162_aa2b4−81_aab5−27_ab6+27a6+81a5b+162a4b2+189a3b3+162a2b4+81ab5+27b6d_a+∫1/3((g(x))2a2+(g(x))2ab+(g(x))2b2−2g(x)f(x)a2−2g(x)f(x)ab−2g(x)f(x)b2+(f(x))2a2+(f(x))2ab+b2(f(x))2)h(x)(a+b)2dx+_C1)b3−3a3g(x)−9a2g(x)b−9ag(x)b2−6b3g(x)−6a3f(x)−9a2f(x)b−9af(x)b2−3b3f(x))}
Sage: cpu = 2.588 (sec), leaf count = 0 [[(a2+ab+b2)log(3a2+3ab+3b2−3(a3+3a2b+3ab2+b3)(a2+ab−2b2)((2a+b)f(x)+(a+2b)g(x)a+b−3y(x))(((a2+ab+b2)f(x)3−3(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+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5D[0](f)(x)−5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)D[0](f)(x)+10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)2D[0](f)(x)−10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)3D[0](f)(x)+5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)4D[0](f)(x)−(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)5D[0](f)(x)−(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5D[0](g)(x)+5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)D[0](g)(x)−10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)2D[0](g)(x)+10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)3D[0](g)(x)−5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)4D[0](g)(x)+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)5D[0](g)(x))h(x)3a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6+((4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)6−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)2−20(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)4−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)6)h(x)2D[0](h)(x)a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)((4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)6−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)2−20(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)4−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)6)h(x)3)((2a3+3a2b−3ab2−2b3)f(x)3−3(2a3+3a2b−3ab2−2b3)f(x)2g(x)+3(2a3+3a2b−3ab2−2b3)f(x)g(x)2−(2a3+3a2b−3ab2−2b3)g(x)3)h(x))3(a2+ab)+(a2+ab+b2)log(−3a2−3ab−3b2−3(a3+3a2b+3ab2+b3)(2a2−ab−b2)((2a+b)f(x)+(a+2b)g(x)a+b−3y(x))(((a2+ab+b2)f(x)3−3(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+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5D[0](f)(x)−5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)D[0](f)(x)+10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)2D[0](f)(x)−10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)3D[0](f)(x)+5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)4D[0](f)(x)−(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)5D[0](f)(x)−(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5D[0](g)(x)+5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)D[0](g)(x)−10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)2D[0](g)(x)+10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)3D[0](g)(x)−5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)4D[0](g)(x)+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)5D[0](g)(x))h(x)3a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6+((4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)6−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)2−20(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)4−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)6)h(x)2D[0](h)(x)a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)((4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)6−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)2−20(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)4−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)6)h(x)3)((2a3+3a2b−3ab2−2b3)f(x)3−3(2a3+3a2b−3ab2−2b3)f(x)2g(x)+3(2a3+3a2b−3ab2−2b3)f(x)g(x)2−(2a3+3a2b−3ab2−2b3)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+b−3y(x))(((a2+ab+b2)f(x)3−3(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+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5D[0](f)(x)−5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)D[0](f)(x)+10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)2D[0](f)(x)−10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)3D[0](f)(x)+5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)4D[0](f)(x)−(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)5D[0](f)(x)−(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5D[0](g)(x)+5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)D[0](g)(x)−10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)2D[0](g)(x)+10(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)3D[0](g)(x)−5(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)4D[0](g)(x)+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)5D[0](g)(x))h(x)3a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6+((4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)6−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)2−20(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)4−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)6)h(x)2D[0](h)(x)a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6)((4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)6−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)2−20(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)4−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)6)h(x)3)((2a3+3a2b−3ab2−2b3)f(x)3−3(2a3+3a2b−3ab2−2b3)f(x)2g(x)+3(2a3+3a2b−3ab2−2b3)f(x)g(x)2−(2a3+3a2b−3ab2−2b3)g(x)3)h(x))3ab−∫((a2+ab+b2)f(x)3−3(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+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)6−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)5g(x)+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)4g(x)2−20(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)3g(x)3+15(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)2g(x)4−6(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)f(x)g(x)5+(4a6+12a5b−3a4b2−26a3b3−3a2b4+12ab5+4b6)g(x)6)h(x)3729(a6+6a5b+15a4b2+20a3b3+15a2b4+6ab5+b6))=c],abel]
[next] [prev] [prev-tail] [front] [up]