
| Date: | Thursday, September 5th, 2024 |
|---|---|
| Commit: | 9205cc88 on zane-concrete-values |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024249 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 1.5hr)
| 8.6min | 3 903 853× | 0 | valid |
| 2.6min | 428 115× | 1 | valid |
| 2.2min | 30 216× | 5 | exit |
| 1.2min | 127 989× | 2 | valid |
| 52.6s | 319 646× | 0 | invalid |
| 12.7s | 14 148× | 3 | valid |
| 8.5s | 50 007× | 0 | exit |
| 6.6s | 25 378× | 1 | invalid |
| 6.1s | 24 945× | 1 | exit |
| 942.0ms | 127× | 3 | exit |
| 863.0ms | 502× | 4 | exit |
| 509.0ms | 1 345× | 2 | invalid |
| 327.0ms | 42× | 4 | valid |
| 49.0ms | 21× | 2 | exit |
ival-mult: 2.4min (19.1% of total)ival-sin: 1.6min (12.5% of total)ival-sub: 1.3min (10.4% of total)ival-div: 1.0min (8.3% of total)const: 53.4s (7.1% of total)ival-add: 48.8s (6.5% of total)ival-pow: 45.2s (6% of total)adjust: 31.9s (4.2% of total)ival-cos: 30.6s (4.1% of total)ival-tan: 23.4s (3.1% of total)ival-log: 22.7s (3% of total)ival-exp: 21.7s (2.9% of total)ival-sqrt: 20.0s (2.7% of total)ival-<=: 15.0s (2% of total)ival-pow2: 11.8s (1.6% of total)ival-hypot: 4.7s (0.6% of total)ival-fabs: 4.6s (0.6% of total)ival-neg: 4.5s (0.6% of total)exact: 3.4s (0.5% of total)ival-true: 3.0s (0.4% of total)ival-<: 2.9s (0.4% of total)ival-acos: 2.8s (0.4% of total)ival-expm1: 2.7s (0.4% of total)ival-and: 2.6s (0.3% of total)ival-pi: 2.5s (0.3% of total)ival-atan2: 1.9s (0.3% of total)ival-assert: 1.9s (0.3% of total)ival-asin: 1.7s (0.2% of total)ival-log1p: 1.4s (0.2% of total)ival->: 1.2s (0.2% of total)ival-atan: 998.0ms (0.1% of total)ival-sinh: 934.0ms (0.1% of total)ival-floor: 900.0ms (0.1% of total)ival-fmod: 767.0ms (0.1% of total)ival-==: 686.0ms (0.1% of total)ival-cbrt: 589.0ms (0.1% of total)ival-fmin: 487.0ms (0.1% of total)ival-asinh: 423.0ms (0.1% of total)ival-if: 392.0ms (0.1% of total)ival-fmax: 353.0ms (0% of total)ival-acosh: 312.0ms (0% of total)ival->=: 294.0ms (0% of total)ival-log2: 267.0ms (0% of total)ival-cosh: 265.0ms (0% of total)ival-atanh: 148.0ms (0% of total)ival-tanh: 109.0ms (0% of total)ival-or: 37.0ms (0% of total)| 18 940 180× | lower-fma.f32 |
| 18 936 908× | lower-fma.f64 |
| 10 679 906× | lower-*.f32 |
| 10 671 036× | lower-*.f64 |
| 5 537 260× | lower-/.f32 |
| 3 434× | iter limit |
| 2 247× | node limit |
| 355× | fuel |
| 186× | done |
| 46× | saturated |
| 13× | unsound |
Compiled 356 958 to 180 135 computations (49.5% saved)
| 4 411× | egg-herbie |
| 31 621 640× | lower-fma.f32 |
| 31 615 086× | lower-fma.f64 |
| 12 783 706× | lower-*.f32 |
| 12 768 316× | lower-*.f64 |
| 7 317 430× | lower-+.f32 |
| 5 769× | iter limit |
| 2 741× | node limit |
| 1 707× | saturated |
| 5× | unsound |
Compiled 101 591 622 to 5 198 524 computations (94.9% saved)
| 9 775 290× | lower-fma.f32 |
| 9 768 756× | lower-fma.f64 |
| 8 121 786× | lower-*.f32 |
| 8 106 684× | lower-*.f64 |
| 6 726 456× | lower-/.f32 |
| 3 977× | iter limit |
| 1 875× | node limit |
| 47× | saturated |
| 38× | unsound |
| 2.1min | 395 341× | 0 | valid |
| 57.6s | 58 083× | 1 | valid |
| 29.7s | 20 230× | 2 | valid |
| 11.4s | 1 752× | 5 | exit |
| 7.5s | 14 593× | 0 | invalid |
| 4.5s | 2 145× | 3 | valid |
| 1.5s | 186× | 3 | exit |
| 901.0ms | 480× | 1 | invalid |
| 815.0ms | 1 111× | 1 | exit |
| 677.0ms | 62× | 4 | exit |
| 408.0ms | 1 181× | 0 | exit |
| 139.0ms | 33× | 4 | valid |
| 126.0ms | 163× | 2 | exit |
Compiled 574 638 to 59 446 computations (89.7% saved)
ival-mult: 44.6s (25.3% of total)ival-div: 23.2s (13.1% of total)ival-add: 16.8s (9.5% of total)adjust: 12.1s (6.9% of total)ival-cos: 10.1s (5.7% of total)ival-sin: 9.9s (5.6% of total)ival-sub: 9.6s (5.4% of total)ival-pow: 7.3s (4.2% of total)const: 6.4s (3.6% of total)ival-tan: 5.1s (2.9% of total)ival-sqrt: 5.0s (2.8% of total)ival-log: 4.5s (2.6% of total)ival-acos: 4.3s (2.4% of total)ival-pow2: 3.9s (2.2% of total)ival-exp: 3.3s (1.9% of total)ival-neg: 2.7s (1.5% of total)ival-hypot: 1.2s (0.7% of total)ival-log1p: 911.0ms (0.5% of total)exact: 667.0ms (0.4% of total)ival-pi: 554.0ms (0.3% of total)ival-asin: 542.0ms (0.3% of total)ival-atan2: 454.0ms (0.3% of total)ival-true: 414.0ms (0.2% of total)ival-fabs: 336.0ms (0.2% of total)ival-atan: 287.0ms (0.2% of total)ival-cosh: 287.0ms (0.2% of total)ival-cbrt: 277.0ms (0.2% of total)ival-if: 244.0ms (0.1% of total)ival-assert: 243.0ms (0.1% of total)ival-expm1: 242.0ms (0.1% of total)ival-sinh: 234.0ms (0.1% of total)ival->: 155.0ms (0.1% of total)ival-tanh: 153.0ms (0.1% of total)ival-floor: 150.0ms (0.1% of total)ival-fmax: 124.0ms (0.1% of total)ival-log2: 106.0ms (0.1% of total)ival-fmod: 98.0ms (0.1% of total)ival-copysign: 62.0ms (0% of total)ival->=: 22.0ms (0% of total)ival-e: 14.0ms (0% of total)ival-<: 4.0ms (0% of total)1 223 calls:
| 19.8s | x |
| 13.0s | y |
| 9.3s | z |
| 8.1s | t |
| 6.6s | a |
Compiled 128 851 to 125 826 computations (2.3% saved)
Compiled 2 310 510 to 1 173 144 computations (49.2% saved)
15990 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 535.0ms | x | @ | 0 | ((* (pow x -1/2) x) (- (* (* 2 (* (pow x -1/2) x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (* (pow x -1/2) x)) (cos (- y (/ (* z t) 3)))) (* 2 (* (pow x -1/2) x)) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* -3 b)) (* -3 b) (- (* (* 2 (sqrt x)) (+ (* (sin (* 1/3 (* t z))) (sin y)) (* (cos (* -1/3 (* t z))) (cos y)))) (/ a (* b 3))) (+ (* (/ -1/3 b) a) (* (* (sqrt x) 2) (cos (* (* z t) -1/3)))) (/ -1/3 b) (* (* (sqrt x) 2) (cos (* (* z t) -1/3))) (/ 1/3 (pow (* t z) -1)) (- y (/ 1/3 (pow (* t z) -1))) (- (* (* 2 (sqrt x)) (cos (- y (/ 1/3 (pow (* t z) -1))))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ 1/3 (pow (* t z) -1))))) (- (* (* 2 (sqrt x)) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))))) (/ a (* b 3))) (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))) (* (* 2 (sqrt x)) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))))) (* 2 (sqrt x)) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (cos (* (* z t) -1/3)) (* (* z t) -1/3) (cos (- y (/ 1/3 (pow (* t z) -1)))) (pow (* t z) -1) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z))))))) (log (* t z)) (pow (exp -1) (neg (log (* t z)))) (* 1/3 (pow (exp -1) (neg (log (* t z)))))) |
| 434.0ms | y | @ | 0 | ((/ -1 (/ 1 (* (log (/ y x)) x))) (* (log (/ y x)) x) (log (/ y x)) (/ y x) (/ (log (/ y x)) (/ -1 x)) (/ -1 x) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (neg x) (+ (* (* (log x) 2) x) (* (neg x) (log (* y x)))) (* (log x) 2) (log x) (* (neg x) (log (* y x))) (+ (log (/ y (* (neg x) x))) (log (neg x))) (log (/ y (* (neg x) x))) (/ y (* (neg x) x)) (/ 1 (* (log (/ y x)) x)) (log (neg y)) (neg y) (log (* y x)) (* y x) (* (neg x) x)) |
| 400.0ms | y | @ | -inf | ((+ (* x (* (- y 1) z)) x) (* x (* (- y 1) z)) (* (- y 1) z) (* z y) (+ (* (* (- y 1) z) x) x) (* (- y 1) z) (neg z) (* x (- 1 (* (- 1 y) z))) (- 1 (* (- 1 y) z)) (* y z) (/ (* x z) (/ 1 (- y 1))) (* x (- 1 (* (- 1 y) z))) (* x z) (/ 1 (- y 1)) (/ (* x (- y 1)) (- (* (* x (- y 1)) z) x)) (- (* (* x (- y 1)) z) x) (+ (* (* (* (* x (- y 1)) z) z) (/ (* x (- y 1)) (- (* (* x (- y 1)) z) x))) (neg (* x (/ x (- (* (* x (- y 1)) z) x))))) (* (* (* x (- y 1)) z) z) (* x (/ x (- (* (* x (- y 1)) z) x))) (* (* x (- y 1)) z)) |
| 393.0ms | x | @ | -inf | ((+ (* x (* (- y 1) z)) x) (* x (* (- y 1) z)) (* (- y 1) z) (* z y) (+ (* (* (- y 1) z) x) x) (* (- y 1) z) (neg z) (* x (- 1 (* (- 1 y) z))) (- 1 (* (- 1 y) z)) (* y z) (/ (* x z) (/ 1 (- y 1))) (* x (- 1 (* (- 1 y) z))) (* x z) (/ 1 (- y 1)) (/ (* x (- y 1)) (- (* (* x (- y 1)) z) x)) (- (* (* x (- y 1)) z) x) (+ (* (* (* (* x (- y 1)) z) z) (/ (* x (- y 1)) (- (* (* x (- y 1)) z) x))) (neg (* x (/ x (- (* (* x (- y 1)) z) x))))) (* (* (* x (- y 1)) z) z) (* x (/ x (- (* (* x (- y 1)) z) x))) (* (* x (- y 1)) z)) |
| 324.0ms | t | @ | inf | ((* (pow x -1/2) x) (- (* (* 2 (* (pow x -1/2) x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (* (* 2 (* (pow x -1/2) x)) (cos (- y (/ (* z t) 3)))) (* 2 (* (pow x -1/2) x)) (- (* (* 2 (sqrt x)) (cos (- y (/ (* z t) 3)))) (/ a (* b 3))) (/ a (* -3 b)) (* -3 b) (- (* (* 2 (sqrt x)) (+ (* (sin (* 1/3 (* t z))) (sin y)) (* (cos (* -1/3 (* t z))) (cos y)))) (/ a (* b 3))) (+ (* (/ -1/3 b) a) (* (* (sqrt x) 2) (cos (* (* z t) -1/3)))) (/ -1/3 b) (* (* (sqrt x) 2) (cos (* (* z t) -1/3))) (/ 1/3 (pow (* t z) -1)) (- y (/ 1/3 (pow (* t z) -1))) (- (* (* 2 (sqrt x)) (cos (- y (/ 1/3 (pow (* t z) -1))))) (/ a (* b 3))) (* (* 2 (sqrt x)) (cos (- y (/ 1/3 (pow (* t z) -1))))) (- (* (* 2 (sqrt x)) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))))) (/ a (* b 3))) (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))) (* (* 2 (sqrt x)) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z)))))))) (* 2 (sqrt x)) (cos (- y (/ (* z t) 3))) (/ a (* b 3)) (cos (* (* z t) -1/3)) (* (* z t) -1/3) (cos (- y (/ 1/3 (pow (* t z) -1)))) (pow (* t z) -1) (cos (- y (* 1/3 (pow (exp -1) (neg (log (* t z))))))) (log (* t z)) (pow (exp -1) (neg (log (* t z)))) (* 1/3 (pow (exp -1) (neg (log (* t z)))))) |
| 541× | egg-herbie |
| 2 114 316× | lower-fma.f32 |
| 2 114 314× | lower-fma.f64 |
| 551 626× | lower-*.f32 |
| 549 662× | lower-*.f64 |
| 388 394× | unsub-neg |
| 1 078× | iter limit |
| 743× | saturated |
| 343× | node limit |
Compiled 468 127 to 150 234 computations (67.9% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 8931 | 57 |
sqrt.f64 | #f | oflow-rescue | 5276 | 0 |
log.f64 | #f | sensitivity | 3449 | 4 |
cos.f64 | #f | sensitivity | 3277 | 1 |
+.f64 | #f | cancellation | 3084 | 123 |
/.f64 | #f | o/n | 2082 | 0 |
sin.f64 | #f | sensitivity | 1968 | 2 |
/.f64 | #f | o/o | 1755 | 0 |
-.f64 | #f | nan-rescue | 1397 | 0 |
log.f32 | #f | sensitivity | 1157 | 65 |
*.f64 | #f | n*o | 1114 | 0 |
/.f64 | #f | u/u | 1011 | 0 |
/.f64 | #f | n/o | 966 | 0 |
sqrt.f64 | #f | uflow-rescue | 927 | 0 |
+.f64 | #f | nan-rescue | 778 | 0 |
/.f64 | #f | u/n | 696 | 0 |
sqrt.f32 | #f | oflow-rescue | 533 | 0 |
acos.f64 | #f | sensitivity | 527 | 2 |
*.f64 | #f | n*u | 494 | 0 |
pow.f64 | #f | sensitivity | 419 | 47 |
tan.f64 | #f | sensitivity | 405 | 0 |
-.f32 | #f | cancellation | 396 | 28 |
/.f64 | #f | n/u | 318 | 0 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 217 | 0 |
exp.f64 | #f | sensitivity | 208 | 24 |
tan.f32 | (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) | cancellation | 193 | 12 |
*.f64 | #f | u*o | 192 | 0 |
cos.f32 | #f | sensitivity | 191 | 15 |
cos.f64 | #f | oflow-rescue | 182 | 0 |
pow.f64 | #f | oflow-rescue | 134 | 0 |
*.f64 | #f | o*u | 132 | 0 |
asin.f64 | #f | sensitivity | 127 | 0 |
/.f32 | #f | o/n | 122 | 0 |
log.f64 | #f | oflow-rescue | 88 | 0 |
pow.f64 | #f | uflow-rescue | 74 | 0 |
cbrt.f64 | #f | oflow-rescue | 73 | 0 |
log.f64 | #f | uflow-rescue | 72 | 0 |
cbrt.f64 | #f | uflow-rescue | 38 | 0 |
exp.f32 | #f | sensitivity | 36 | 20 |
sin.f64 | #f | oflow-rescue | 35 | 0 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 33 | 0 |
| ↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 33 | |
/.f32 | #f | u/n | 30 | 0 |
sqrt.f32 | (sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))) | uflow-rescue | 13 | 0 |
| ↳ | (*.f32 sinTheta_O sinTheta_O) | underflow | 266 | |
| ↳ | (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))) | underflow | 13 | |
| ↳ | (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))) | underflow | 133 | |
| ↳ | (*.f32 eta eta) | underflow | 13 | |
/.f32 | #f | o/o | 8 | 0 |
/.f32 | (/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) | n/o | 6 | 0 |
| ↳ | (/.f32 sin2phi (*.f32 alphay alphay)) | overflow | 11 | |
| ↳ | (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))) | overflow | 11 | |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) | n*u | 4 | 0 |
log.f32 | #f | oflow-rescue | 2 | 0 |
sin.f32 | (sin.f32 (*.f32 (*.f32 x (PI.f32)) tau)) | cancellation | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 30813 | 1185 |
| - | 5856 | 100642 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 30813 | 260 | 925 |
| - | 5856 | 383 | 100259 |
| number | freq |
|---|---|
| 0 | 101827 |
| 1 | 30784 |
| 2 | 4776 |
| 3 | 625 |
| 4 | 308 |
| 5 | 100 |
| 6 | 47 |
| 7 | 18 |
| 8 | 5 |
| 9 | 5 |
| 10 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 338 | 4 | 1 |
| - | 12 | 4 | 182 |
| 25.8s | 234 258× | 0 | valid |
| 11.1s | 31 328× | 1 | valid |
| 6.5s | 10 120× | 2 | valid |
| 1.4s | 1 168× | 3 | valid |
| 13.0ms | 98× | 1 | exit |
| 10.0ms | 20× | 5 | exit |
Compiled 91 989 to 19 484 computations (78.8% saved)
ival-mult: 6.7s (21.7% of total)ival-div: 3.1s (9.9% of total)ival-add: 2.8s (9.2% of total)ival-sin: 2.5s (8.2% of total)ival-sub: 2.4s (7.7% of total)ival-log: 2.1s (6.9% of total)ival-cos: 2.1s (6.8% of total)adjust: 1.8s (5.9% of total)ival-tan: 1.2s (3.8% of total)ival-exp: 1.2s (3.8% of total)ival-sqrt: 1.0s (3.3% of total)const: 766.0ms (2.5% of total)ival-pow2: 687.0ms (2.2% of total)ival-pow: 521.0ms (1.7% of total)ival-hypot: 302.0ms (1% of total)ival-true: 242.0ms (0.8% of total)ival-neg: 198.0ms (0.6% of total)exact: 162.0ms (0.5% of total)ival-acos: 133.0ms (0.4% of total)ival-assert: 114.0ms (0.4% of total)ival-atan2: 109.0ms (0.4% of total)ival-pi: 107.0ms (0.3% of total)ival-asin: 104.0ms (0.3% of total)ival-log1p: 74.0ms (0.2% of total)ival-expm1: 69.0ms (0.2% of total)ival-atan: 66.0ms (0.2% of total)ival-fabs: 55.0ms (0.2% of total)ival-cbrt: 52.0ms (0.2% of total)ival-sinh: 43.0ms (0.1% of total)ival-floor: 37.0ms (0.1% of total)ival-fmod: 32.0ms (0.1% of total)ival-tanh: 21.0ms (0.1% of total)ival-if: 21.0ms (0.1% of total)ival-cosh: 18.0ms (0.1% of total)ival-fmax: 16.0ms (0.1% of total)ival-copysign: 12.0ms (0% of total)ival-log2: 12.0ms (0% of total)ival->=: 6.0ms (0% of total)ival->: 3.0ms (0% of total)ival-<: 1.0ms (0% of total)| 545× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 84.4% | 15.6% | 0% | 0% | 0% | 0 |
| 39.8% | 33.6% | 50.8% | 15.6% | 0% | 0% | 0% | 1 |
| 45.9% | 38.4% | 45.3% | 15.6% | 0% | 0.8% | 0% | 2 |
| 54.5% | 44.5% | 37.2% | 15.6% | 0% | 2.8% | 0% | 3 |
| 61.4% | 49.5% | 31.1% | 15.6% | 0% | 3.8% | 0% | 4 |
| 67.7% | 54.3% | 25.9% | 15.6% | 0% | 4.3% | 0% | 5 |
| 71.6% | 57.1% | 22.7% | 15.6% | 0% | 4.7% | 0% | 6 |
| 75.5% | 59.8% | 19.4% | 15.6% | 0% | 5.2% | 0% | 7 |
| 77.5% | 61.1% | 17.7% | 15.6% | 0% | 5.6% | 0% | 8 |
| 80.1% | 62.9% | 15.6% | 15.6% | 0% | 5.9% | 0% | 9 |
| 81.7% | 63.9% | 14.3% | 15.6% | 0% | 6.2% | 0% | 10 |
| 83.9% | 65.5% | 12.6% | 15.6% | 0% | 6.4% | 0% | 11 |
| 85% | 66.2% | 11.6% | 15.6% | 0% | 6.6% | 0% | 12 |
Compiled 12 518 to 7 841 computations (37.4% saved)
| 2 639× | binary-search |
| 2 231× | left-value |
| 2 541× | narrow-enough |
| 93× | predicate-same |
| 5× | predicate-failed |
| 27.2s | 184 390× | 0 | valid |
| 8.0s | 14 482× | 1 | valid |
| 821.0ms | 1 658× | 2 | valid |
| 817.0ms | 8 237× | 0 | invalid |
| 233.0ms | 190× | 3 | valid |
| 48.0ms | 161× | 1 | invalid |
| 45.0ms | 110× | 1 | exit |
| 2.0ms | 8× | 2 | invalid |
| 1.0ms | 13× | 0 | exit |
Compiled 540 840 to 560 539 computations (-3.6% saved)
ival-mult: 9.0s (33.2% of total)ival-sub: 3.8s (13.9% of total)ival-sin: 2.4s (9% of total)ival-div: 2.2s (8.3% of total)ival-cos: 2.1s (7.8% of total)ival-add: 2.1s (7.7% of total)ival-log: 794.0ms (2.9% of total)adjust: 712.0ms (2.6% of total)ival-pow2: 708.0ms (2.6% of total)const: 549.0ms (2% of total)ival-sqrt: 447.0ms (1.7% of total)ival-pow: 360.0ms (1.3% of total)ival-tan: 351.0ms (1.3% of total)ival-exp: 301.0ms (1.1% of total)ival-atan2: 280.0ms (1% of total)ival-hypot: 253.0ms (0.9% of total)ival-true: 156.0ms (0.6% of total)ival-neg: 153.0ms (0.6% of total)exact: 88.0ms (0.3% of total)ival-assert: 84.0ms (0.3% of total)ival-atan: 47.0ms (0.2% of total)ival-pi: 38.0ms (0.1% of total)ival-acos: 32.0ms (0.1% of total)ival-tanh: 22.0ms (0.1% of total)ival-fabs: 18.0ms (0.1% of total)ival-fmod: 18.0ms (0.1% of total)ival-asin: 16.0ms (0.1% of total)ival-cosh: 15.0ms (0.1% of total)ival-cbrt: 6.0ms (0% of total)ival-expm1: 5.0ms (0% of total)ival->=: 4.0ms (0% of total)ival-if: 4.0ms (0% of total)ival-log1p: 1.0ms (0% of total)ival-sinh: 1.0ms (0% of total)Loading profile data...