There's a strange thing happening when substituting in giac 1.7.0-25:
Code : Tout sélectionner
s:=subs(ln(1+x1^2)-x2,[x1=-sqrt((sqrt(2*(sqrt(17)-1))-2)/2),x2=(-sqrt(17)+1)/2])
However, the command
Code : Tout sélectionner
im(s)
Code : Tout sélectionner
(1-i)*pi/2
Code : Tout sélectionner
im(normal(s))
Code : Tout sélectionner
pi/2