Forum: >>> Magnum BBS <<<

Re: what are these HUGE integers that giac generates for some integrals

From Nasser M. Abbasi@21:1/5 to Nasser M. Abbasi on Wed Jun 15 23:29:44 2022

On 6/15/2022 11:21 PM, Nasser M. Abbasi wrote:

Btw, the above integrals is from Rubi's test suite. Here is last years output:

<https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2021/test_cases/4_Trig_functions/4.1_Sine/4.1.2.2-g_cos-%5Ep-a+b_sin-%5Em-c+d_sin-%5En/rese158.htm#x162-1860003.158>

Opps. Wrong link. Here is the correct integral

<https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2021/test_cases/4_Trig_functions/4.1_Sine/4.1.1.2-g_cos-%5Ep-a+b_sin-%5Em/rese158.htm#x162-1860003.158>

I see that giac last year version (1.7 version) that it generated much
shorter output for this same integral (using sagemath interface)

----------------------------

integrate(cos(d*x+c)^5/(a+a*sin(d*x+c))^(1/2),x, algorithm="giac")

2/315*(107*a^4/sgn(tan(1/2*d*x + 1/2*c) + 1) + (315*a^4/sgn(tan(1/2*d*x + 1/2*c) + 1) + (324*a^4/sgn(tan(1/2*d
*x + 1/2*c) + 1) + (420*a^4/sgn(tan(1/2*d*x + 1/2*c) + 1) + (882*a^4/sgn(tan(1/2*d*x + 1/2*c) + 1) + (882*a^4/
sgn(tan(1/2*d*x + 1/2*c) + 1) + (420*a^4/sgn(tan(1/2*d*x + 1/2*c) + 1) + (324*a^4/sgn(tan(1/2*d*x + 1/2*c) + 1
) + (107*a^4*tan(1/2*d*x + 1/2*c)/sgn(tan(1/2*d*x + 1/2*c) + 1) + 315*a^4/sgn(tan(1/2*d*x + 1/2*c) + 1))*tan(1
/2*d*x + 1/2*c))*tan(1/2*d*x + 1/2*c))*tan(1/2*d*x + 1/2*c))*tan(1/2*d*x + 1/2*c))*tan(1/2*d*x + 1/2*c))*tan(1
/2*d*x + 1/2*c))*tan(1/2*d*x + 1/2*c))*tan(1/2*d*x + 1/2*c))/((a*tan(1/2*d*x + 1/2*c)^2 + a)^(9/2)*d)
--------------------------------

It is possible then this could be a new bug in giac. I will report it now
just in case.

--Nasser

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

Who's Online
Recent Visitors
- Ginger1
  Mon Sep 15 19:33:54 2025
  from London via SSH
- Bob Worm
  Mon Sep 15 15:42:34 2025
  from Wales, Uk via Telnet
- Gretchiie
  Mon Sep 15 05:16:29 2025
  from Derry, Nh via Telnet
- Fred Blogs
  Mon Sep 15 00:03:12 2025
  from Uk via SSH
- Plume
  Sun Sep 14 09:34:52 2025
  from Uk via Raw
- Gretchiie
  Sun Sep 14 06:07:30 2025
  from Derry, Nh via Telnet
- Thlc
  Sat Sep 13 17:11:34 2025
  from Rognac, France via Telnet
- Thlc
  Sat Sep 13 17:04:03 2025
  from Rognac, France via Telnet

System Info

Sysop:	Keyop
Location:	Huddersfield, West Yorkshire, UK
Users:	546
Nodes:	16 (2 / 14)
Uptime:	13:51:42
Calls:	10,389
Calls today:	4
Files:	14,061
Messages:	6,416,889
Posted today:	1

Re: what are these HUGE integers that giac generates for some integrals

Who's Online

Recent Visitors

System Info