
| Date: | Friday, November 22nd, 2024 |
|---|---|
| Commit: | 97e637cb on bhargav-double-double |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024327 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 4.3min)
| 29.4s | 41 168× | 2 | valid |
| 24.3s | 145 546× | 0 | invalid |
| 19.0s | 92 399× | 1 | valid |
| 9.9s | 5 007× | 5 | exit |
| 8.6s | 94 656× | 0 | valid |
| 1.8s | 2 943× | 3 | valid |
| 465.0ms | 2 372× | 1 | exit |
| 422.0ms | 4 207× | 0 | exit |
| 32.0ms | 7× | 4 | exit |
| 5.0ms | 4× | 2 | exit |
| 2.0ms | 2× | 4 | valid |
| 0.0ms | 1× | 3 | exit |
ival-tan: 12.8s (16.4% of total)ival-pow: 10.2s (13% of total)adjust: 6.1s (7.8% of total)ival-mult: 6.0s (7.6% of total)const: 5.0s (6.4% of total)ival-div: 4.0s (5.1% of total)ival-cos: 4.0s (5.1% of total)ival-sub: 3.9s (5% of total)ival-sin: 3.8s (4.9% of total)ival-add: 3.3s (4.3% of total)ival-log: 3.2s (4.1% of total)ival-fabs: 2.6s (3.3% of total)ival-exp: 2.2s (2.8% of total)ival-<=: 2.1s (2.7% of total)ival-expm1: 2.0s (2.5% of total)ival-<: 1.3s (1.7% of total)ival-log1p: 1.3s (1.6% of total)ival-sqrt: 1.2s (1.6% of total)ival-and: 640.0ms (0.8% of total)ival-atan: 613.0ms (0.8% of total)ival-fmin: 468.0ms (0.6% of total)exact: 369.0ms (0.5% of total)ival-cbrt: 320.0ms (0.4% of total)ival->: 305.0ms (0.4% of total)ival-neg: 280.0ms (0.4% of total)ival-assert: 158.0ms (0.2% of total)ival-true: 78.0ms (0.1% of total)| 246× | egg-herbie |
| 327× | iter limit |
| 166× | node limit |
| 80× | saturated |
| 186× | iter limit |
| 120× | node limit |
| 22× | fuel |
| 6× | done |
| 2× | saturated |
Compiled 13 382 to 5 942 computations (55.6% saved)
| 223× | iter limit |
| 109× | node limit |
| 6.3s | 10 836× | 1 | valid |
| 6.3s | 5 146× | 2 | valid |
| 3.7s | 10 724× | 0 | valid |
| 630.0ms | 348× | 3 | valid |
| 253.0ms | 750× | 0 | invalid |
| 32.0ms | 15× | 5 | exit |
| 29.0ms | 82× | 0 | exit |
| 3.0ms | 3× | 4 | valid |
Compiled 47 406 to 6 781 computations (85.7% saved)
ival-mult: 2.4s (17.7% of total)ival-tan: 1.7s (12.5% of total)adjust: 1.5s (11.2% of total)ival-div: 1.5s (11% of total)ival-add: 1.3s (9.7% of total)ival-sub: 716.0ms (5.3% of total)ival-pow: 666.0ms (4.9% of total)ival-cos: 561.0ms (4.1% of total)const: 559.0ms (4.1% of total)ival-sin: 538.0ms (3.9% of total)ival-log: 471.0ms (3.5% of total)ival-exp: 454.0ms (3.3% of total)ival-sqrt: 321.0ms (2.4% of total)ival-neg: 178.0ms (1.3% of total)ival-log1p: 176.0ms (1.3% of total)ival-pow2: 129.0ms (0.9% of total)ival-cbrt: 97.0ms (0.7% of total)ival-cosh: 92.0ms (0.7% of total)ival-expm1: 74.0ms (0.5% of total)exact: 52.0ms (0.4% of total)ival-true: 25.0ms (0.2% of total)ival-atan: 20.0ms (0.1% of total)ival-atan2: 17.0ms (0.1% of total)ival-assert: 12.0ms (0.1% of total)ival-hypot: 12.0ms (0.1% of total)ival-fabs: 1.0ms (0% of total)Compiled 2 700 776 to 278 186 computations (89.7% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 5327 | 24 |
log.f64 | #f | sensitivity | 766 | 1 |
+.f64 | #f | cancellation | 689 | 1 |
sqrt.f64 | #f | oflow-rescue | 374 | 0 |
/.f64 | #f | u/n | 365 | 0 |
/.f64 | #f | u/u | 163 | 0 |
pow.f64 | (pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n)) | sensitivity | 37 | 0 |
sqrt.f64 | #f | uflow-rescue | 32 | 0 |
/.f64 | (/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))) | n/u | 25 | 0 |
| ↳ | (*.f64 b eps) | underflow | 154 | |
| ↳ | (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) | underflow | 139 | |
| ↳ | (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)) | underflow | 154 | |
| ↳ | (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))) | underflow | 235 | |
| ↳ | (*.f64 a eps) | underflow | 139 | |
-.f64 | #f | nan-rescue | 18 | 0 |
cos.f64 | (cos.f64 (+.f64 x eps)) | sensitivity | 3 | 0 |
/.f64 | (/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64))) | o/o | 3 | 0 |
| ↳ | (exp.f64 (*.f64 #s(literal 2 binary64) x)) | overflow | 3 | |
| ↳ | (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) | overflow | 3 | |
| ↳ | (exp.f64 x) | overflow | 3 | |
| ↳ | (-.f64 (exp.f64 x) #s(literal 1 binary64)) | overflow | 3 | |
tan.f64 | (tan.f64 (+.f64 x eps)) | sensitivity | 3 | 0 |
sin.f64 | (sin.f64 (+.f64 x eps)) | sensitivity | 2 | 1 |
exp.f64 | (exp.f64 (neg.f64 x)) | sensitivity | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5158 | 49 |
| - | 844 | 1117 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5158 | 8 | 41 |
| - | 844 | 17 | 1100 |
| number | freq |
|---|---|
| 0 | 1166 |
| 1 | 4828 |
| 2 | 760 |
| 3 | 196 |
| 4 | 218 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 28 | 0 | 0 |
| - | 0 | 0 | 0 |
| 1.6s | 2 536× | 2 | valid |
| 1.3s | 5 916× | 1 | valid |
| 520.0ms | 5 732× | 0 | valid |
| 92.0ms | 150× | 3 | valid |
| 2.0ms | 2× | 4 | valid |
Compiled 3 914 to 1 430 computations (63.5% saved)
ival-tan: 904.0ms (30.3% of total)ival-div: 277.0ms (9.3% of total)adjust: 274.0ms (9.2% of total)ival-cos: 219.0ms (7.3% of total)ival-sin: 212.0ms (7.1% of total)ival-log: 192.0ms (6.4% of total)ival-sub: 147.0ms (4.9% of total)ival-add: 139.0ms (4.7% of total)ival-mult: 137.0ms (4.6% of total)ival-exp: 134.0ms (4.5% of total)ival-pow: 126.0ms (4.2% of total)ival-log1p: 63.0ms (2.1% of total)ival-sqrt: 57.0ms (1.9% of total)ival-cbrt: 25.0ms (0.8% of total)ival-expm1: 24.0ms (0.8% of total)ival-atan: 19.0ms (0.6% of total)ival-true: 14.0ms (0.5% of total)ival-neg: 12.0ms (0.4% of total)exact: 9.0ms (0.3% of total)ival-assert: 6.0ms (0.2% of total)43 calls:
| 1.0s | x |
| 417.0ms | eps |
| 207.0ms | b |
| 187.0ms | (/.f64 #s(literal 1 binary64) n) |
| 172.0ms | (/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))) |
Compiled 1 966 to 1 856 computations (5.6% saved)
| 28× | egg-herbie |
| 56× | iter limit |
| 50× | saturated |
| 6× | node limit |
Compiled 17 718 to 4 979 computations (71.9% saved)
507 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 291.0ms | eps | @ | 0 | ((log (/ (- 1 eps) (+ 1 eps))) (* (+ (* (+ (* (+ (* -2/7 (* eps eps)) -2/5) (* eps eps)) -2/3) (* eps eps)) -2) eps) (* (- (- -2/7 (/ 2/5 (* eps eps))) (/ (+ (/ (/ 2 eps) eps) 2/3) (pow eps 4))) (pow eps 7)) (- (- -2/7 (/ 2/5 (* eps eps))) (/ (+ (/ (/ 2 eps) eps) 2/3) (pow eps 4))) (+ (* (* -2/3 (* eps eps)) eps) (* -2 eps)) (log (/ (- 1 eps) (+ 1 eps))) (* -2/3 (* eps eps)) (* eps eps) (+ (* (* (* (+ (* (+ (* (* eps eps) -2/7) -2/5) (* eps eps)) -2/3) eps) eps) eps) (* -2 eps)) (log (/ (- 1 eps) (+ 1 eps))) (* (* (+ (* (+ (* (* eps eps) -2/7) -2/5) (* eps eps)) -2/3) eps) eps) (* (+ (* (+ (* (* eps eps) -2/7) -2/5) (* eps eps)) -2/3) eps) (+ (* (+ (* (+ (* (* -2/7 eps) eps) -2/5) (pow eps 4)) -2) eps) (* (pow eps 3) -2/3)) (log (/ (- 1 eps) (+ 1 eps))) (+ (* (+ (* (* -2/7 eps) eps) -2/5) (pow eps 4)) -2) (+ (* (* -2/7 eps) eps) -2/5) (/ 2/5 (* eps eps)) (/ (/ 2 eps) eps) (/ (+ (/ (/ 2 eps) eps) 2/3) (pow eps 4)) (* -2 eps) (+ (* (+ (* (* eps eps) -2/7) -2/5) (* eps eps)) -2/3) (* -2/7 eps) (* (pow eps 3) -2/3)) |
| 135.0ms | a | @ | inf | ((- (exp (* (+ a b) eps)) 1) (- (exp (* a eps)) 1) (- (exp (* b eps)) 1) (* eps (- (exp (* (+ a b) eps)) 1)) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1)))) |
| 93.0ms | N | @ | -inf | ((- (log (+ N 1)) (log N)) (/ (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1) N) (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1) (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) (- (log (+ N 1)) (log N)) (/ 1 N) (/ (/ N (+ 1 N)) 1) (neg (log (/ (/ N (+ 1 N)) 1))) (log (/ (/ N (+ 1 N)) 1)) (/ N (+ 1 N)) (pow (pow (- (pow (log (+ 1 N)) 3) (pow (log N) 3)) -1) -1) (* (pow (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2)) -1) (pow (pow (- (pow (log (+ 1 N)) 3) (pow (log N) 3)) -1) -1)) (pow (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2)) -1) (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2)) (/ (- (* (pow (log (+ 1 N)) 3) (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2))) (* (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2)) (pow (log N) 3))) (pow (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2)) 2)) (- (* (pow (log (+ 1 N)) 3) (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2))) (* (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2)) (pow (log N) 3))) (* (pow (log (+ 1 N)) 3) (+ (* (+ (log N) (log (+ 1 N))) (log N)) (pow (log (+ 1 N)) 2))) (pow (log (+ 1 N)) 3) (/ (- (/ 1/4 N) 1/3) N) (- (/ 1/4 N) 1/3) (+ 1 N) (- (pow (log (+ 1 N)) 3) (pow (log N) 3)) (pow (log N) 3) (pow (log (+ 1 N)) 2)) |
| 92.0ms | x | @ | inf | ((+ (* (+ (* (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (/ (sin x) (cos x))) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x)))) eps) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2))))) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (- (tan (+ x eps)) (tan x)) (- (tan (+ x eps)) (tan x)) (/ (sin eps) (cos eps)) (sin eps) (cos eps) (- (+ eps x) x) (/ (/ (sin (- (+ eps x) x)) (cos (+ eps x))) (cos x)) (/ (sin (- (+ eps x) x)) (cos (+ eps x))) (sin (- (+ eps x) x)) (- (tan (+ x eps)) (tan x)) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) eps) eps) (/ (pow (sin x) 2) (pow (cos x) 2)) (pow (sin x) 2) (+ (* (neg (sin x)) (+ (* (neg (tan eps)) (tan x)) 1)) (* (+ (tan eps) (tan x)) (cos x))) (neg (sin x)) (sin x) (+ (* (neg (tan eps)) (tan x)) 1) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x))) (+ (* (+ (* (+ (* (+ (* (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2)))) (/ (sin x) (cos x))) (* 1/3 (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x)))) eps) (- -1/6 (- (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) 1/6) (+ (* (/ (pow (sin x) 2) (pow (cos x) 2)) -1/2) -1/2)) (/ (+ (* (sin x) (sin x)) (/ (pow (sin x) 4) (pow (cos x) 2))) (pow (cos x) 2))))) eps) (/ (+ (/ (pow (sin x) 3) (pow (cos x) 2)) (sin x)) (cos x))) eps) (/ (pow (sin x) 2) (pow (cos x) 2))) (cos (+ eps x)) (cos x) (pow (cos x) 2) (* (+ (tan eps) (tan x)) (cos x)) (/ (+ (* (neg (sin x)) (+ (* (neg (tan eps)) (tan x)) 1)) (* (+ (tan eps) (tan x)) (cos x))) (* (+ (* (neg (tan eps)) (tan x)) 1) (cos x))) (+ (tan eps) (tan x))) |
| 56.0ms | n | @ | -inf | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (pow x (- (/ 1 n) 1)) n) (pow x (- (/ 1 n) 1)) (- (/ 1 n) 1) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow x (pow n -1)) (* n x) (/ (pow x (pow n -1)) (* n x)) (+ (* (/ (- (/ 1/3 x) 1/2) n) n) x) (/ (/ (+ (* (/ (- (/ 1/3 x) 1/2) n) n) x) (* n x)) x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (+ (/ (/ (- (* 1 n) (* (/ x (/ 1/3 n)) 1/2)) (* (/ x (/ 1/3 n)) n)) x) (/ 1 n)) (/ (- (* 1 n) (* (/ x (/ 1/3 n)) 1/2)) (* (/ x (/ 1/3 n)) n)) (/ x (/ 1/3 n)) (/ (/ (- (* 1 n) (* (/ x (/ 1/3 n)) 1/2)) (* (/ x (/ 1/3 n)) n)) x) (* (neg (- (log (+ 1 x)) (log x))) (/ -1 n)) (neg (- (log (+ 1 x)) (log x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (- (log (+ 1 x)) (log x)) (/ (+ (* (/ (- (/ 1/3 x) 1/2) n) n) x) (* n x)) (/ (- (log (+ 1 x)) (log x)) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ 1/3 n) (log x)) |
Compiled 114 267 to 57 415 computations (49.8% saved)
| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 61.1% | 38.9% | 0% | 0% | 0% | 0 |
| 7.4% | 4.5% | 56.6% | 38.9% | 0% | 0% | 0% | 1 |
| 22.3% | 13.6% | 47.5% | 38.9% | 0% | 0% | 0% | 2 |
| 40.2% | 23.5% | 34.9% | 38.9% | 0% | 2.7% | 0% | 3 |
| 53.4% | 31.1% | 27.2% | 38.9% | 0% | 2.8% | 0% | 4 |
| 63% | 36.3% | 21.3% | 38.9% | 0% | 3.6% | 0% | 5 |
| 65.9% | 37.5% | 19.4% | 38.9% | 0% | 4.2% | 0% | 6 |
| 70.4% | 38.8% | 16.3% | 38.9% | 0% | 6% | 0% | 7 |
| 73.6% | 40.2% | 14.4% | 38.9% | 0% | 6.5% | 0% | 8 |
| 76.3% | 40.9% | 12.7% | 38.9% | 0% | 7.5% | 0% | 9 |
| 78.4% | 41.4% | 11.4% | 38.9% | 0% | 8.3% | 0% | 10 |
| 81.1% | 42.4% | 9.9% | 38.9% | 0% | 8.8% | 0% | 11 |
| 82.3% | 42.7% | 9.2% | 38.9% | 0% | 9.3% | 0% | 12 |
Compiled 483 to 337 computations (30.2% saved)
| 72× | binary-search |
| 24× | left-value |
| 64× | narrow-enough |
| 8× | predicate-same |
| 288.0ms | 3 497× | 0 | valid |
| 255.0ms | 566× | 2 | valid |
| 149.0ms | 758× | 1 | valid |
| 53.0ms | 711× | 0 | invalid |
| 17.0ms | 139× | 0 | exit |
| 3.0ms | 11× | 3 | valid |
Compiled 24 885 to 19 039 computations (23.5% saved)
ival-pow: 168.0ms (31% of total)ival-mult: 85.0ms (15.7% of total)ival-div: 56.0ms (10.3% of total)ival-sub: 55.0ms (10.2% of total)adjust: 46.0ms (8.5% of total)ival-add: 34.0ms (6.3% of total)ival-sqrt: 32.0ms (5.9% of total)ival-cos: 21.0ms (3.9% of total)ival-neg: 21.0ms (3.9% of total)ival-sin: 7.0ms (1.3% of total)ival-true: 5.0ms (0.9% of total)ival-assert: 3.0ms (0.6% of total)ival-log: 3.0ms (0.6% of total)exact: 3.0ms (0.6% of total)ival-cbrt: 2.0ms (0.4% of total)ival-expm1: 2.0ms (0.4% of total)ival-log1p: 1.0ms (0.2% of total)Loading profile data...