Learning from reduce?



This one came up on anther list as an example to try out in reduce:

solve(log(sin(x+3))^5 = 8,x);

Maxima returns [] to that, whereas reduce gives this beauty:


                             3/5
                            2   *cos((2*pi)/5)
                           e
{x=2*arbint(5)*pi + asin(-----------------------) - 3,
                            3/5
                           2   *sin((2*pi)/5)*i
                          e

                             3/5
                            2   *cos((2*pi)/5)
                           e
 x=2*arbint(5)*pi - asin(-----------------------) + pi - 3,
                            3/5
                           2   *sin((2*pi)/5)*i
                          e

                                          1
 x=2*arbint(4)*pi + asin(------------------------------------) - 3,
                            3/5              3/5
                           2   *cos(pi/5) + 2   *sin(pi/5)*i
                          e

                                          1
 x=2*arbint(4)*pi - asin(------------------------------------) + pi - 3,
                            3/5              3/5
                           2   *cos(pi/5) + 2   *sin(pi/5)*i
                          e

                            3/5
                           2   *sin(pi/5)*i
                          e
 x=2*arbint(3)*pi + asin(-------------------) - 3,
                             3/5
                            2   *cos(pi/5)
                           e

                            3/5
                           2   *sin(pi/5)*i
                          e
 x=2*arbint(3)*pi - asin(-------------------) + pi - 3,
                             3/5
                            2   *cos(pi/5)
                           e

                           3/5                  3/5
                          2   *cos((2*pi)/5) + 2   *sin((2*pi)/5)*i
 x=2*arbint(2)*pi + asin(e                                         ) - 3,

                           3/5                  3/5
                          2   *cos((2*pi)/5) + 2   *sin((2*pi)/5)*i
 x=2*arbint(2)*pi - asin(e                                         ) + pi - 3,

                           3/5
                          2
 x=2*arbint(1)*pi + asin(e    ) - 3,

                           3/5
                          2
 x=2*arbint(1)*pi - asin(e    ) + pi - 3}


Do any of maxima's addons let it solve a log(trig())?

Would it take much effort to make solve() handle such constructs?

(My upgrade from 5.22.1 to 5.23.2 will probably occur tonight (lots of
upgrades this weekend).  Perhaps .23 does better?)

-JimC
-- 
James Cloos <cloos at jhcloos.com>         OpenPGP: 1024D/ED7DAEA6