File: tdirtysimplify.reference

package info (click to toggle)
sollya 8.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 17,592 kB
  • sloc: ansic: 124,655; yacc: 7,543; lex: 2,440; makefile: 888; cpp: 77
file content (12 lines) | stat: -rw-r--r-- 1,331 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
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.
Warning: For at least 1 of the constants previously displayed in decimal, rounding has happened.
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.
Warning: For at least 1 of the constants previously displayed in decimal, rounding has happened.
13 / 17 - 19 / 368 has been simplified (with possible rounding) to 0.71307544757033248081841432225063938618925831202047.
Warning: For at least 1 of the constants previously displayed in decimal, rounding has happened.
(x + 1)^5 + exp(3) - ((x + 1)^log10(100000) + exp(3 + 9.332636185032188789900895447238171696170914463717e-302)) has been simplified (with possible rounding) to -1.87451008685141322632813967166943711581873450244236e-300.
Warning: For at least 2 of the constants previously displayed in decimal, rounding has happened.
(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.