File: tdirtysimplify.reference

package info (click to toggle)
sollya 6.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 13,376 kB
  • ctags: 5,132
  • sloc: ansic: 120,010; yacc: 8,738; lex: 2,494; makefile: 854; cpp: 76
file content (8 lines) | stat: -rw-r--r-- 943 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
 
x + 2 - (x + 2) has been simplified (with possible rounding) to 0.
asin(exp(x + 2 - (x + 2))) has been simplified (with possible rounding) to 1.57079632679489661923132169163975144209858469968754.
exp(x) - 1 - expm1(x) has been simplified (with possible rounding) to 0.
1 + 1.0000000000000000250590918352087596856961468077037e-300 has been simplified (with possible rounding) to 1.
13 / 17 - 19 / 368 has been simplified (with possible rounding) to 0.71307544757033248081841432225063938618925831202047.
(x + 1)^5 + exp(3) - ((x + 1)^log10(100000) + exp(3 + 9.332636185032188789900895447238171696170914463717e-302)) has been simplified (with possible rounding) to -1.87451008685141322632813967166943711581873450244236e-300.
(x + 1)^5 + exp(3) - ((x + 1)^5 + exp(3)) has been simplified (with possible rounding) to 0.
-log(13) / log(17) + x * (sin((pi) / 3) - sqrt(3) / 2) + log2(13) / log2(17) has been simplified (with possible rounding) to 0.