Unable to evaluate or differentiate expressions of trigonometric functions

[jackmaney]

Hi guys,thank you for using Hilbert.
You need to execute "postulate zfc_analysis" if you wanna do real analysis.

Enjoy! -> postulate zfc_analysis
success! :)
Enjoy! -> (sin(1))^2 + (cos(1))^2
I'm so sorry, something wrong. Please feel free to report this.
Enjoy! -> sin(1)
sin( 1 )
Enjoy! -> sin(1.0)
sin( 1.0 )
Enjoy! ->

[jackmaney]

Oh boy...

Hi guys,thank you for using Hilbert.
You need to execute "postulate zfc_analysis" if you wanna do real analysis.

Enjoy! -> postulate zfc_analysis
success! :)
Enjoy! -> d/dx ( sin(x) )^2 + ( cos(x) )^2
( ( 2cos( x ) )sin( x ) ) + ( ( sin( x ) - 2 )cos( x ) )
Enjoy! ->

This is completely incorrect. The answer produced above simplifies to 3*sin(x)*cos(x) - 2*cos(x), which is clearly not the correct answer (namely zero).

[gogotanaka]

@jackmaney thank you for reporting. your thought is totally correct. I need to find solution to the root of the problem.