{"data":{"status":"fail","precision":"binary64","expression":"exp(x) - 1","patterns":[{"pattern":"expm1: exp(x) - 1","original":"exp(x) - 1","rewrite":"expm1(x)"}],"samples":{"total":48,"certified":48,"skippedDomain":0,"skippedUncertified":0,"skippedOutOfRange":0},"worstDigitsLost":11.9,"worst":[{"inputs":{"x":1e-12},"computed":"1.000088900582341e-12","reference":"1.0000000000005e-12","digitsLost":11.9},{"inputs":{"x":1.8001933328915447e-12},"computed":"1.8001156121272288e-12","reference":"1.8001933328931651e-12","digitsLost":11.6},{"inputs":{"x":5.8338793975521175e-12},"computed":"5.8337779051953476e-12","reference":"5.8338793975691345e-12","digitsLost":11.2},{"inputs":{"x":3.240696035787168e-12},"computed":"3.240741008880832e-12","reference":"3.240696035792419e-12","digitsLost":11.1},{"inputs":{"x":1.0502110796366665e-11},"computed":"1.0502043679139206e-11","reference":"1.0502110796421812e-11","digitsLost":10.8}],"suggestedExpression":"expm1(x)","suggestedWorstDigitsLost":0,"witnesses":[{"ruleId":"float.precision-loss","detail":"up to 11.9 of 15.9 digits lost at x=1e-12: computed 1.000088900582341e-12, exact 1.0000000000005e-12","path":"expression","expected":"at most 4 digits lost","actual":11.9},{"ruleId":"float.expm1","detail":"exp(x) - 1 cancels or overflows; rewrite as expm1(x)","path":"expression","actual":"exp(x) - 1","expected":"expm1(x)"}],"versions":{"engine":"float-stability/1","reference":"BigInt binary floats, 128 vs 256 bits, agreement 2^-24","rewrites":"Higham, Accuracy and Stability of Numerical Algorithms 2nd ed. (ch. 1); IEEE 754-2019 9.2 (expm1, log1p, hypot)"},"limits":["Inputs and literals are taken as the exact binary64 (or binary32) values; their decimal-to-binary rounding is not counted as error.","At most 200 grid points (fewer per variable with more variables); samples whose reference cannot be certified are skipped and counted.","Variables are gridded independently: cancellation that needs a relation between them (a close to b) is only seen if the grid happens to contain it.","Reference trig functions need |argument| < 1e15; exp needs |argument| < 1e9; binary32 mode rounds after every operator but uses the host libm for functions."],"deterministic":true},"_provenance":{"version":"writerslogic-provenance/1","issuer":"did:web:agents.writerslogic.com","verify":{"endpoint":"POST /api/v1/verify-provenance","did":"did:web:agents.writerslogic.com"},"manifest":{"format":"application/json","instance_id":"xmp:iid:94e9cf9a-473a-4c3a-aff2-8828ff47e1e3","claim_generator_info":[{"name":"WritersLogic x402 Agent Hub","version":"2.0.0"}],"title":"Floating-point stability of an expression over variable ranges","assertions":[{"label":"c2pa.actions.v2","data":{"actions":[{"action":"c2pa.created","when":"2026-11-06T01:30:29.256Z","softwareAgent":{"name":"writerslogic-agent-hub/float-stability","version":"2.0.0"},"digitalSourceType":"http://cv.iptc.org/newscodes/digitalsourcetype/algorithmicMedia","parameters":{"endpoint":"POST /api/v1/float-stability","inputDigest":{"alg":"sha256","hash":"bb1d0d55818381dc2a957adab570e920f2ec03f0bbe84d3d005e20501552b0a9","canonicalization":"JCS"}}}]}},{"label":"c2pa.hash.data","data":{"alg":"sha256","hash":"176cc450cbe0046aec7a325e78340419660b7554541cbed330f5ddcfe285e25c","name":"jcs-canonical-json(data)"}}]},"credential":{"@context":["https://www.w3.org/ns/credentials/v2"],"id":"urn:uuid:38ab2870-9bf1-4e92-8493-3587087784e9","type":["VerifiableCredential","AgentOutputCredential"],"issuer":"did:web:agents.writerslogic.com","validFrom":"2026-11-06T01:30:29.256Z","credentialSubject":{"id":"urn:sha256:176cc450cbe0046aec7a325e78340419660b7554541cbed330f5ddcfe285e25c","agent":"float-stability","endpoint":"POST /api/v1/float-stability","outputDigest":{"alg":"sha256","value":"176cc450cbe0046aec7a325e78340419660b7554541cbed330f5ddcfe285e25c","canonicalization":"JCS"},"inputDigest":{"alg":"sha256","value":"bb1d0d55818381dc2a957adab570e920f2ec03f0bbe84d3d005e20501552b0a9","canonicalization":"JCS"},"manifestDigest":{"alg":"sha256","value":"3bdb962e742deea1dac227c11c3319c30db76806076e18858c1982420ffb46cb","canonicalization":"JCS"},"ingredients":[],"payment":{"scheme":"api-key","network":"eip155:8453","payer":"sample"}},"proof":{"type":"DataIntegrityProof","cryptosuite":"eddsa-jcs-2022","created":"2026-11-06T01:30:29.256Z","verificationMethod":"did:web:agents.writerslogic.com#key-1","proofPurpose":"assertionMethod","proofValue":"z2EREYtahxhofgFBjRRtWzUtSQZnuXmRMst4bDNarWMkzxBzJoHesZxj9AGFdPDqit2LaztXi48hkvvekYwducrbu"}},"ethSignature":{"type":"EIP-191","signer":"did:pkh:eip155:8453:0x3DBd42560cA7a7E448A2c7DfC9E785526189411f","address":"0x3DBd42560cA7a7E448A2c7DfC9E785526189411f","message":"writerslogic-provenance:7a07bd924780f46ec859b5bae261fedd837e2cf86dbb85da3787f0c95bc23bef","signature":"0xc009ac4ad17162359883d560a29435f32b4a65f6e249a399c98a15cde32c61d005fcfd74af78b4832491cbb0d319c1af27a3ac452b7b8443be0ca7b923275f9c1b"}}}