Re: -- An exact simplification challenge - 54 (elementary functions'

Vladimir Bondarenko schrieb:
> Hello computer algebra Warrior the Earthling,
....

> 
> Pi + 2 I (2 ArcCot[1/2 + (-1)^(3/4)] + Log[(Root[73 + 112 #1 +
> 146 #1^2 + 48 #1^3 + 9 #1^4 &, 3]  Root[9 + 60 #1 + 182 #1^2 +
> 188 #1^3 + 73 #1^4 &,1]^(1 + I))/Root[81 - 324 #1 - 666 #1^2 +
> 1980 #1^3 + 5329 #1^4 &, 3]^I])
....

let's call this expression "expr". Then:

In[2]:=
expr//RootReduce//ExpToTrig//FullSimplify
Out[2]=
0
In[3]:=
$Version
Out[3]=
5.1 for Microsoft Windows (October 25, 2004)