1 // For testing the integral function
16 "integral(x^2+x)-(1/2*x^2+1/3*x^3)",
24 "integral(A+B,X)-(A*X+B*X)",
36 "integral(exp(A*X),X)-exp(A*X)/A",
40 "integral(log(X),X)-X*log(X)+X",
44 "integral(3^X*log(3),X)",
48 "integral(1/(3+x^2),x)-3^(-1/2)*arctan(3^(-1/2)*x)",
52 "integral(1/(a-x^2),x)-a^(-1/2)*arctanh(a^(-1/2)*x)",
56 "integral(1/sqrt(a-x^2),x)-arcsin(a^(-1/2)*x)",
60 "integral(1/sqrt(a+x^2),x)-(log(x+(a+x^2)^(1/2)))",
64 "integral(1/(a+b*x),x)-(log(a+b*x)/b)",
68 "integral(1/(A+B*X)^2,X)+1/B*1/(A+B*X)",
72 "integral(1/(a+b*x)^3,x)+1/2*1/b*(a+b*x)^(-2)",
76 "integral(X/(A+B*X),X)+A*B^(-2)*log(A+B*X)-X/B",
80 "integral(X/(A+B*X)^2,X)-1/B^2*(log(A+B*X)+A/(A+B*X))",
84 "integral(X^2/(A+B*X),X)-1/B^2*(1/2*(A+B*X)^2-2*A*(A+B*X)+A^2*log(A+B*X))",
88 "integral(X^2/(A+B*X)^2,X)-1/B^3*(A+B*X-2*A*log(A+B*X)-A^2/(A+B*X))",
92 "integral(X^2/(A+B*X)^3,X)-1/B^3*(log(A+B*X)+2*A/(A+B*X)-1/2*A^2/(A+B*X)^2)",
96 "integral(1/X*1/(A+B*X),X)+1/A*log((A+B*X)/X)",
100 "integral(1/X*1/(A+B*X)^2,X)-1/A*1/(A+B*X)+1/A^2*log((A+B*X)/X)",
104 "integral(1/X*1/(A+B*X)^3,X)-1/A^3*(1/2*((2*A+B*X)/(A+B*X))^2+log(X/(A+B*X)))",
108 "integral(1/X^2*1/(A+B*X),X)+1/(A*X)-B/A^2*log((A+B*X)/X)",
112 "integral(1/X^3*1/(A+B*X),X)-(2*B*X-A)/(2*A^2*X^2)-B^2/A^3*log(X/(A+B*X))",
116 "integral(1/X^2*1/(A+B*X)^2,X)+(A+2*B*X)/(A^2*X*(A+B*X))-2*B/A^3*log((A+B*X)/X)",
120 "integral(1/(2+3*X^2),X)-1/sqrt(6)*arctan(1/2*X*sqrt(6))",
122 "integral(1/(-2-3*X^2),X)-1/sqrt(6)*arctan(-1/2*X*sqrt(6))",
126 "integral(1/(2-3*X^2),X)-1/2*1/sqrt(6)*log((2+X*sqrt(6))/(2-X*sqrt(6)))",
128 "integral(1/(-2+3*X^2),X)-1/2*1/sqrt(6)*log((-2+X*sqrt(6))/(-2-X*sqrt(6)))",
132 "integral(X/(A+B*X^2),X)-1/2*1/B*log(A+B*X^2)",
136 "integral(X^2/(A+B*X^2),X)-X/B+A/B*integral(1/(A+B*X^2),X)",
140 "integral(1/(A+B*X^2)^2,X)-X/(2*A*(A+B*X^2))-1/2*1/A*integral(1/(A+B*X^2),X)",
144 "integral(1/X*1/(A+B*X^2),X)-1/2*1/A*log(X^2/(A+B*X^2))",
148 "integral(1/X^2*1/(A+B*X^2),X)+1/(A*X)+B/A*integral(1/(A+B*X^2),X)",
152 "integral(1/(A+B*X^3),X)-1/3*1/A*(A/B)^(1/3)*(1/2*log(((A/B)^(1/3)+X)^3/(A+B*X^3))+sqrt(3)*arctan((2*X-(A/B)^(1/3))*(A/B)^(-1/3)/sqrt(3)))",
156 "integral(X^2/(A+B*X^3),X)-1/3*1/B*log(A+B*X^3)",
160 "integral(1/(2+3*X^4),X)-1/2*1/2*(2/3/4)^(1/4)*(1/2*log((X^2+2*(2/3/4)^(1/4)*X+2*(2/3/4)^(1/2))/(X^2-2*(2/3/4)^(1/4)*X+2*(2/3/4)^(1/2)))+arctan(2*(2/3/4)^(1/4)*X/(2*(2/3/4)^(1/2)-X^2)))",
164 "integral(1/(2-3*X^4),X)-1/2*(2/3)^(1/4)/2*(1/2*log((X+(2/3)^(1/4))/(X-(2/3)^(1/4)))+arctan(X*(2/3)^(-1/4)))",
168 "integral(X/(2+3*X^4),X)-1/2*1/3*1/sqrt(2/3)*arctan(X^2/sqrt(2/3))",
172 "integral(X/(2-3*X^4),X)+1/4*1/3*sqrt(3/2)*log((X^2-sqrt(2/3))/(X^2+sqrt(2/3)))",
176 "integral(X^2/(2+3*X^4),X)-1/4*1/3*(2/3/4)^(-1/4)*(1/2*log((X^2-2*(2/3/4)^(1/4)*X+2*sqrt(2/3/4))/(X^2+2*(2/3/4)^(1/4)*X+2*sqrt(2/3/4)))+arctan(2*(2/3/4)^(1/4)*X/(2*sqrt(2/3/4)-X^2)))",
180 "integral(X^2/(2-3*X^4),X)+1/4*1/3*(2/3)^(-1/4)*(log((X-(2/3)^(1/4))/(X+(2/3)^(1/4)))+2*arctan(X*(2/3)^(-1/4)))",
184 "integral(X^3/(A+B*X^4),X)-1/4*1/B*log(A+B*X^4)",
188 "integral(sqrt(A+B*X),X)-2/3/B*sqrt((A+B*X)^3)",
192 "integral(X*sqrt(A+B*X),X)+2*(2*A-3*B*X)*sqrt((A+B*X)^3)/15*B^(-2)",
196 "integral(X^2*sqrt(A+B*X),X)-2*(8*A^2-12*A*B*X+15*B^2*X^2)*sqrt((A+B*X)^3)/105*B^(-3)",
200 "integral(sqrt(A+B*X)/X,X)-2*sqrt(A+B*X)-A*integral(1/X*1/sqrt(A+B*X),X)",
204 "integral(sqrt(A+B*X)/X^2,X)+sqrt(A+B*X)/X-B/2*integral(1/X*1/sqrt(A+B*X),X)",
208 "integral(1/sqrt(A+B*X),X)-2*sqrt(A+B*X)/B",
212 "integral(X/sqrt(A+B*X),X)+2/3*(2*A-B*X)*sqrt(A+B*X)/B^2",
216 "integral(X^2/sqrt(A+B*X),X)-2/15*(8*A^2-4*A*B*X+3*B^2*X^2)*sqrt(A+B*X)/B^3",
220 "integral(1/X*1/sqrt(2+B*X),X)-1/sqrt(2)*log((sqrt(2+B*X)-sqrt(2))/(sqrt(2+B*X)+sqrt(2)))",
224 "integral(1/X*1/sqrt(-2+B*X),X)-2/sqrt(2)*arctan(sqrt((-2+B*X)/2))",
228 "integral(1/X^2*1/sqrt(A+B*X),X)+sqrt(A+B*X)/A/X+1/2*B/A*integral(1/X*1/sqrt(A+B*X),X)",
232 "integral(sqrt(X^2+A),X)-1/2*(X*sqrt(X^2+A)+A*log(X+sqrt(X^2+A)))",
236 "integral(1/sqrt(X^2+A),X)-log(X+sqrt(X^2+A))",
240 "integral(1/X*1/sqrt(X^2-2),X)-arcsec(X/sqrt(2))/sqrt(2)",
244 "integral(1/X*1/sqrt(X^2+2),X)+1/sqrt(2)*log((sqrt(2)+sqrt(X^2+2))/X)",
248 "integral(sqrt(X^2+2)/X,X)-sqrt(X^2+2)+sqrt(2)*log((sqrt(2)+sqrt(X^2+2))/X)",
252 "integral(sqrt(X^2-2)/X,X)-sqrt(X^2-2)+sqrt(2)*arcsec(X/sqrt(2))",
256 "integral(X/sqrt(X^2+A),X)-sqrt(X^2+A)",
260 "integral(X*sqrt(X^2+A),X)-1/3*sqrt((X^2+A)^3)",
264 "integral(sqrt((X^2+A)^3),X)-1/4*(X*sqrt((X^2+A)^3)+3/2*A*X*sqrt(X^2+A)+3/2*A^2*log(X+sqrt(X^2+A)))",
266 // "integral(sqrt((X^2-A)^3),X)-1/4*(X*sqrt((X^2-A)^3)-3/2*A*X*sqrt(X^2-A)+3/2*A^2*log(X+sqrt(X^2-A)))",
270 "integral(1/sqrt((X^2+A)^3),X)-X/A/sqrt(X^2+A)",
274 "integral(X/sqrt((X^2+A)^3),X)+1/sqrt(X^2+A)",
278 "integral(X*sqrt((X^2+A)^3),X)-1/5*sqrt((X^2+A)^5)",
282 "integral(X^2*sqrt(X^2+A),X)-1/4*X*sqrt((X^2+A)^3)+1/8*A*X*sqrt(X^2+A)+1/8*A^2*log(X+sqrt(X^2+A))",
286 "integral(X^3*sqrt(X^2+7),X)-(1/5*X^2-2/15*7)*sqrt((X^2+7)^3)",
290 "integral(X^3*sqrt(X^2-7),X)-(sqrt((X^2-7)^5)/5+7*sqrt((X^2-7)^3)/3)",
294 "integral(X^2/sqrt(X^2+A),X)-1/2*X*sqrt(X^2+A)+1/2*A*log(X+sqrt(X^2+A))",
298 "integral(X^3/sqrt(X^2+A),X)-1/3*sqrt((X^2+A)^3)+A*sqrt(X^2+A)",
302 "integral(1/X^2*1/sqrt(X^2+A),X)+sqrt(X^2+A)/A/X",
306 "integral(1/X^3*1/sqrt(X^2+2),X)+1/2*sqrt(X^2+2)/2/X^2-1/2*log((sqrt(2)+sqrt(X^2+2))/X)/(sqrt(2)^3)",
310 "integral(1/X^3*1/sqrt(X^2-2),X)-1/2*sqrt(X^2-2)/2/X^2-1/2*1/(2^(3/2))*arcsec(X/(2^(1/2)))",
314 "integral(X^2*sqrt((X^2+2^2)^3),X)"
315 "-1/6*X*sqrt((X^2+2^2)^5)"
316 "+1/24*(2^2)*X*sqrt((X^2+2^2)^3)"
317 "+1/16*(2^4)X*sqrt(X^2+2^2)"
318 "+1/16*(2^6)*log(X+sqrt(X^2+2^2))",
322 "integral(X^2*sqrt((X^2-2^2)^3),X)"
323 "-1/6*X*sqrt((X^2-2^2)^5)"
324 "-1/24*(2^2)*X*sqrt((X^2-2^2)^3)"
325 "+1/16*(2^4)X*sqrt(X^2-2^2)"
326 "-1/16*(2^6)*log(X+sqrt(X^2-2^2))",
330 "integral(X^3*sqrt((X^2+7^2)^3),X)"
331 "-1/7*sqrt((X^2+7^2)^7)"
332 "+1/5*(7^2)*sqrt((X^2+7^2)^5)",
336 "integral(X^3*sqrt((X^2-7^2)^3),X)"
337 "-1/7*sqrt((X^2-7^2)^7)"
338 "-1/5*(7^2)*sqrt((X^2-7^2)^5)",
342 "simplify(integral(1/(X-A)/sqrt(X^2-A^2),X)+sqrt(X^2-A^2)/A/(X-A))",
344 "simplify(1/(X-A)/sqrt(X^2-A^2)-d(integral(1/(X-A)/sqrt(X^2-A^2),X),X))",
348 "integral(1/(X+A)/sqrt(X^2-A^2),X)-sqrt(X^2-A^2)/A/(X+A)",
350 "simplify(1/(X+A)/sqrt(X^2-A^2)-d(integral(1/(X+A)/sqrt(X^2-A^2),X),X))",
354 "integral(sqrt(7-X^2),X)-1/2*(X*sqrt(7-X^2)+7*arcsin(X/sqrt(7)))",
358 "integral(1/sqrt(7-X^2),X)-arcsin(X/sqrt(7))",
362 "integral(1/X*1/sqrt(7-X^2),X)+1/sqrt(7)*log((sqrt(7)+sqrt(7-X^2))/X)",
366 "integral(sqrt(7-X^2)/X,X)"
367 "-sqrt(7-X^2)+sqrt(7)*log((sqrt(7)+sqrt(7-X^2))/X)",
371 "integral(X/sqrt(A-X^2),X)"
376 "integral(X*sqrt(A-X^2),X)"
377 "+1/3*sqrt((A-X^2)^3)",
381 "integral(X^2*sqrt(7-X^2),X)"
382 "+1/4*X*sqrt((7-X^2)^3)"
383 "-7/8*(X*sqrt(7-X^2)+7*arcsin(X/sqrt(7)))",
387 "integral(X^3*sqrt(7-X^2),X)"
388 "-(-1/5*X^2-2/15*7)*sqrt((7-X^2)^3)",
392 "integral(X^2/sqrt(7-X^2),X)"
394 "-7/2*arcsin(X/sqrt(7))",
398 "integral(1/X^2*1/sqrt(7-X^2),X)"
403 "integral(sqrt(7-X^2)/X^2,X)"
405 "+arcsin(X/sqrt(7))",
409 "integral(sqrt(7-X^2)/X^3,X)"
410 "+1/2*sqrt(7-X^2)/X^2"
411 "-1/2*log((sqrt(7)+sqrt(7-X^2))/X)/sqrt(7)",
415 "integral(sqrt(7-X^2)/X^4,X)"
416 "+1/3*sqrt((7-X^2)^3)/7/X^3",
420 "integral(sqrt(7*X^2+C),X)-X*sqrt(7*X^2+C)/2-C*log(X*sqrt(7)+sqrt(7*X^2+C))/2/sqrt(7)",
424 "integral(sqrt(-7*X^2+C),X)-X*sqrt(-7*X^2+C)/2-C*arcsin(X*sqrt(7/C))/2/sqrt(7)",
428 "integral(sin(A*X),X)+cos(A*X)/A",
432 "integral(cos(A*X),X)-sin(A*X)/A",
436 "integral(tan(A*X),X)+log(cos(A*X))/A",
440 "integral(1/tan(A*X),X)-log(sin(A*X))/A",
444 "integral(1/cos(A*X),X)-log(tan(pi/4+A*X/2))/A",
448 "integral(1/sin(A*X),X)-log(tan(A*X/2))/A",
452 "integral(sin(A*X)^2,X)-X/2+sin(2*A*X)/(4*A)",
456 "integral(sin(A*X)^3,X)+cos(A*X)*(sin(A*X)^2+2)/(3*A)",
460 "integral(sin(A*X)^4,X)-3/8*X+sin(2*A*X)/(4*A)-sin(4*A*X)/(32*A)",
464 "integral(cos(A*X)^2,X)-X/2-sin(2*A*X)/(4*A)",
468 "integral(cos(A*X)^3,X)-sin(A*X)*(cos(A*X)^2+2)/(3*A)",
472 "integral(cos(A*X)^4,X)-3/8*X-sin(2*A*X)/(4*A)-sin(4*A*X)/(32*A)",
476 "integral((1/sin(A*X))^2,X)+1/A*1/tan(A*X)",
480 "integral((1/cos(A*X))^2,X)-tan(A*X)/A",
484 "integral(sin(A*X)*cos(A*X),X)-sin(A*X)^2/(2*A)",
488 "integral(sin(A*X)^2*cos(A*X)^2,X)+sin(4*A*X)/(32*A)-X/8",
492 "integral(sin(A*X)/cos(A*X)/cos(A*X),X)-1/(A*cos(A*X))",
496 "integral(sin(A*X)^2/cos(A*X),X)+sin(A*X)/A-log(tan(pi/4+A*X/2))/A",
500 "integral(cos(A*X)/sin(A*X)^2,X)+1/(A*sin(A*X))",
504 "integral(1/sin(A*X)/cos(A*X),X)-log(tan(A*X))/A",
508 "integral(1/sin(A*X)/cos(A*X)^2,X)-(1/cos(A*X)+log(tan(A*X/2)))/A",
512 "integral(1/sin(A*X)^2/cos(A*X),X)-(log(tan(pi/4+A*X/2))-1/sin(A*X))/A",
516 "integral(1/sin(A*X)^2/cos(A*X)^2,X)+2/(A*tan(2*A*X))",
520 "integral(sin(A+B*X),X)+cos(A+B*X)/B",
524 "integral(cos(A+B*X),X)-sin(A+B*X)/B",
528 "integral(1/(1+sin(A*X)),X)+tan(pi/4-A*X/2)/A",
532 "integral(1/(B+B*sin(A*X)),X)+tan(pi/4-A*X/2)/A/B",
536 "integral(1/(1-sin(A*X)),X)-tan(pi/4+A*X/2)/A",
540 "integral(1/(B-B*sin(A*X)),X)-tan(pi/4+A*X/2)/A/B",
544 "integral(1/(1+cos(A*X)),X)-tan(A*X/2)/A",
548 "integral(1/(1-cos(A*X)),X)+1/(A*tan(A*X/2))",
552 "integral(1/(A+B*sin(X)),X)-1/sqrt(B^2-A^2)*log((A*tan(X/2)+B-sqrt(B^2-A^2))/(A*tan(X/2)+B+sqrt(B^2-A^2)))",
556 "integral(1/(A+B*cos(X)),X)-1/sqrt(B^2-A^2)*log((sqrt(B^2-A^2)*tan(X/2)+A+B)/(sqrt(B^2-A^2)*tan(X/2)-A-B))",
560 "x*sin(A*x)-d(integral(x*sin(A*x)))",
564 "x^2*sin(A*x)-d(integral(x^2*sin(A*x)))",
568 "x*cos(A*x)-d(integral(x*cos(A*x)))",
572 "x^2*cos(A*x)-d(integral(x^2*cos(A*x)))",
576 "integral(arcsin(A*X),X)-X*arcsin(A*X)-sqrt(1-A^2*X^2)/A",
580 "integral(arccos(A*X),X)-X*arccos(A*X)-sqrt(1-A^2*X^2)/A",
584 "integral(arctan(A*X),X)-X*arctan(A*X)+log(1+A^2*X^2)/(2*A)",
588 "integral(log(X),X)-X*log(X)+X",
592 "integral(log(A*X),X)-X*log(A*X)+X",
596 "integral(X*log(X),X)-1/2*X^2*log(X)+1/4*X^2",
600 "integral(X*log(A*X),X)-1/2*X^2*log(A*X)+1/4*X^2",
604 "integral(X^2*log(A*X),X)-1/3*X^3*log(A*X)+X^3/9",
608 "integral(log(X)^2,X)-X*log(X)^2+2*X*log(X)-2*X",
612 "integral(1/X*1/log(A*X),X)-log(log(A*X))",
616 "integral(log(A*X+B),X)-(A*X+B)*log(A*X+B)/A+X",
620 "integral(log(A*X+B)/X^2,X)-A*log(X)/B+(A*X+B)*log(A*X+B)/B/X",
624 "integral(sinh(X),X)-cosh(X)",
628 "integral(cosh(X),X)-sinh(X)",
632 "integral(tanh(X),X)-log(cosh(X))",
636 "integral(X*sinh(X),X)-X*cosh(X)+sinh(X)",
640 "integral(X*cosh(X),X)-X*sinh(X)+cosh(X)",
644 "integral(sinh(X)^2,X)-sinh(2*X)/4+X/2",
648 "integral(tanh(X)^2,X)-X+tanh(X)",
652 "integral(cosh(X)^2,X)-sinh(2*X)/4-X/2",
655 // test integral(exp(a*x^2))
657 "integral(exp(a*x^2))+i*sqrt(pi)*erf(i*sqrt(a)*x)/sqrt(a)/2",
660 "integral(exp(-x^2))-sqrt(pi)*erf(x)/2",
663 "integral(exp(-3*x^2))-sqrt(pi/3)*erf(sqrt(3)*x)/2",
666 "integral(1/x*1/(a+log(x)),x)-log(a+log(x))",
669 "integral(exp(a*x+b*x))",
670 "exp((a+b)*x)/(a+b)",
672 "integral(x*exp(a*x))",
673 "-exp(a*x)/(a^2)+x*exp(a*x)/a",
677 "integral(x*exp(a*x+b))",
678 "-exp(a*x+b)/(a^2)+x*exp(a*x+b)/a",
682 "integral(x*exp(-a*x+b))",
683 "-exp(-a*x+b)/(a^2)-x*exp(-a*x+b)/a",
687 "integral(x^2*exp(a*x))",
688 "2*exp(a*x)/(a^3)-2*x*exp(a*x)/(a^2)+x^2*exp(a*x)/a",
692 "integral(x^2*exp(a*x+b))",
693 "2*exp(a*x+b)/(a^3)-2*x*exp(a*x+b)/(a^2)+x^2*exp(a*x+b)/a",
697 "integral(x^3*exp(a*x))",
698 "-6*exp(a*x)/(a^4)+6*x*exp(a*x)/(a^3)-3*x^2*exp(a*x)/(a^2)+x^3*exp(a*x)/a",
702 "integral(x^3*exp(a*x+b))",
703 "-6*exp(a*x+b)/(a^4)+6*x*exp(a*x+b)/(a^3)-3*x^2*exp(a*x+b)/(a^2)+x^3*exp(a*x+b)/a",
707 "integral(sqrt(a*x^2+b))",
708 "Stop: integral: sorry, could not find a solution",
710 "integral(x^2*(1-x^2)^(3/2))-(x*sqrt(1-x^2)*(-8*x^4+14*x^2-3)+3*arcsin(x))/48",
713 "integral(x^4*(1-x^2)^(3/2))-(-x*sqrt(1-x^2)*(16*x^6-24*x^4+2*x^2+3)+3*arcsin(x))/128",
716 "integral(x^2*(1-x^2)^(5/2))-(x*sqrt(1-x^2)*(48*x^6-136*x^4+118*x^2-15)+15*arcsin(x))/384",
723 test(__FILE__
, s
, sizeof s
/ sizeof (char *));