Date: | Saturday, July 13th, 2024 |
---|---|
Commit: | 798ab808 on main |
Hostname: | nightly with Racket 8.11.1 |
Seed: | 2024195 |
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: 3.8hr)
1 980× | batch-egg-rewrite |
10 500 688× | accelerator-lowering-fma.f32 |
10 500 688× | accelerator-lowering-fma.f64 |
8 031 512× | *-lowering-*.f32 |
8 031 512× | *-lowering-*.f64 |
6 667 570× | /-lowering-/.f32 |
2 093× | iter limit |
1 899× | node limit |
70× | saturated |
31× | unsound |
4 495× | egg-herbie |
32 071 524× | accelerator-lowering-fma.f32 |
32 071 524× | accelerator-lowering-fma.f64 |
12 892 842× | *-lowering-*.f32 |
12 892 842× | *-lowering-*.f64 |
7 220 660× | +-lowering-+.f32 |
3 919× | iter limit |
2 725× | node limit |
1 809× | saturated |
3× | unsound |
30.2min | 439 128× | 1 | valid |
7.3min | 3 884 280× | 0 | valid |
1.2min | 32 722× | 5 | exit |
1.2min | 132 713× | 2 | valid |
58.9s | 317 676× | 0 | invalid |
13.4s | 14 895× | 3 | valid |
7.4s | 28 272× | 1 | invalid |
6.9s | 49 399× | 0 | exit |
5.3s | 20 158× | 1 | exit |
886.0ms | 604× | 4 | exit |
488.0ms | 1 404× | 2 | invalid |
365.0ms | 127× | 3 | exit |
295.0ms | 1 209× | 2 | exit |
108.0ms | 45× | 4 | valid |
const
: 28.4min (74.5% of total)ival-mult
: 2.1min (5.4% of total)ival-div
: 1.1min (2.9% of total)ival-sin
: 53.5s (2.3% of total)ival-add
: 48.7s (2.1% of total)ival-sub
: 41.4s (1.8% of total)ival-pow
: 40.6s (1.8% of total)ival-cos
: 32.3s (1.4% of total)ival-log
: 23.0s (1% of total)ival-exp
: 21.2s (0.9% of total)adjust
: 20.8s (0.9% of total)ival-tan
: 19.2s (0.8% of total)ival-sqrt
: 16.5s (0.7% of total)ival-pow2
: 13.7s (0.6% of total)ival-<=
: 11.9s (0.5% of total)ival-neg
: 6.1s (0.3% of total)ival-fabs
: 5.3s (0.2% of total)ival-hypot
: 4.2s (0.2% of total)exact
: 3.8s (0.2% of total)ival-<
: 2.9s (0.1% of total)ival-true
: 2.8s (0.1% of total)ival-pi
: 2.7s (0.1% of total)ival-and
: 2.6s (0.1% of total)ival-assert
: 1.9s (0.1% of total)ival-expm1
: 1.9s (0.1% of total)ival-atan2
: 1.8s (0.1% of total)ival-acos
: 1.8s (0.1% of total)ival-asin
: 1.7s (0.1% of total)ival-atan
: 1.3s (0.1% of total)ival-log1p
: 1.2s (0.1% of total)ival-fmod
: 1.1s (0% of total)ival->
: 949.0ms (0% of total)ival-sinh
: 941.0ms (0% of total)ival-floor
: 851.0ms (0% of total)ival-fmin
: 718.0ms (0% of total)ival->=
: 671.0ms (0% of total)ival-cbrt
: 573.0ms (0% of total)ival-if
: 513.0ms (0% of total)ival-fmax
: 434.0ms (0% of total)ival-==
: 392.0ms (0% of total)ival-acosh
: 309.0ms (0% of total)ival-cosh
: 280.0ms (0% of total)ival-log2
: 280.0ms (0% of total)ival-asinh
: 209.0ms (0% of total)ival-atanh
: 153.0ms (0% of total)ival-tanh
: 131.0ms (0% of total)ival-or
: 26.0ms (0% of total)20 297 838× | accelerator-lowering-fma.f32 |
20 297 838× | accelerator-lowering-fma.f64 |
11 231 006× | *-lowering-*.f32 |
11 231 006× | *-lowering-*.f64 |
6 017 112× | /-lowering-/.f32 |
2 506× | iter limit |
2 389× | node limit |
380× | fuel |
157× | done |
35× | saturated |
13× | unsound |
Compiled 359 946 to 173 853 computations (51.7% saved)
Compiled 2 307 651 to 1 065 340 computations (53.8% saved)
Compiled 131 093 614 to 5 657 863 computations (95.7% saved)
1.8min | 415 684× | 0 | valid |
1.5min | 46 525× | 1 | valid |
37.5s | 18 800× | 2 | valid |
7.6s | 18 249× | 0 | invalid |
5.2s | 1 262× | 5 | exit |
3.3s | 2 012× | 3 | valid |
1.4s | 394× | 4 | exit |
1.1s | 131× | 3 | exit |
937.0ms | 536× | 1 | invalid |
591.0ms | 1 500× | 1 | exit |
498.0ms | 1 300× | 0 | exit |
372.0ms | 119× | 3 | invalid |
174.0ms | 91× | 2 | invalid |
103.0ms | 268× | 2 | exit |
19.0ms | 9× | 4 | valid |
Compiled 467 122 to 53 228 computations (88.6% saved)
ival-mult
: 40.9s (23.4% of total)ival-add
: 29.1s (16.6% of total)ival-sub
: 20.9s (12% of total)adjust
: 19.8s (11.3% of total)ival-div
: 17.2s (9.8% of total)ival-cos
: 8.1s (4.6% of total)ival-sin
: 7.2s (4.1% of total)const
: 6.6s (3.8% of total)ival-sqrt
: 4.7s (2.7% of total)ival-log
: 3.6s (2% of total)ival-tan
: 2.9s (1.7% of total)ival-pow
: 2.6s (1.5% of total)ival-pow2
: 2.0s (1.2% of total)ival-exp
: 1.8s (1.1% of total)ival-neg
: 835.0ms (0.5% of total)exact
: 757.0ms (0.4% of total)ival-pi
: 520.0ms (0.3% of total)ival-asin
: 516.0ms (0.3% of total)ival-acos
: 489.0ms (0.3% of total)ival-atan2
: 478.0ms (0.3% of total)ival-true
: 421.0ms (0.2% of total)ival-log1p
: 416.0ms (0.2% of total)ival-fabs
: 362.0ms (0.2% of total)ival-hypot
: 338.0ms (0.2% of total)ival-fmod
: 260.0ms (0.1% of total)ival-sinh
: 236.0ms (0.1% of total)ival-atan
: 212.0ms (0.1% of total)ival-assert
: 207.0ms (0.1% of total)ival-fmax
: 170.0ms (0.1% of total)ival-cbrt
: 164.0ms (0.1% of total)ival-if
: 160.0ms (0.1% of total)ival-cosh
: 105.0ms (0.1% of total)ival-log2
: 100.0ms (0.1% of total)ival-expm1
: 97.0ms (0.1% of total)ival-floor
: 88.0ms (0.1% of total)ival-copysign
: 77.0ms (0% of total)ival-e
: 54.0ms (0% of total)ival-tanh
: 40.0ms (0% of total)ival->=
: 27.0ms (0% of total)ival->
: 16.0ms (0% of total)ival-<
: 7.0ms (0% of total)1 210 calls:
29.7s | x |
19.0s | y |
10.9s | z |
9.9s | (exp.f64 (*.f64 y y)) |
7.7s | t |
Compiled 204 458 to 133 626 computations (34.6% saved)
1 082× | egg-herbie |
2 132 582× | accelerator-lowering-fma.f32 |
2 132 582× | accelerator-lowering-fma.f64 |
560 210× | *-lowering-*.f32 |
560 210× | *-lowering-*.f64 |
393 540× | unsub-neg |
738× | saturated |
538× | iter limit |
347× | node limit |
Compiled 429 350 to 128 962 computations (70% saved)
Operator | Subexpression | Explanation | Count | |
---|---|---|---|---|
-.f64 | #f | cancellation | 8848 | 42 |
sqrt.f64 | #f | oflow-rescue | 5280 | 0 |
log.f64 | #f | sensitivity | 3433 | 6 |
cos.f64 | #f | sensitivity | 3288 | 4 |
+.f64 | #f | cancellation | 3165 | 106 |
/.f64 | #f | o/n | 2002 | 0 |
sin.f64 | #f | sensitivity | 1945 | 3 |
/.f64 | #f | o/o | 1846 | 0 |
-.f64 | #f | nan-rescue | 1336 | 0 |
*.f64 | #f | n*o | 1154 | 0 |
log.f32 | #f | sensitivity | 1148 | 85 |
/.f64 | #f | u/u | 1035 | 0 |
sqrt.f64 | #f | uflow-rescue | 991 | 0 |
/.f64 | #f | n/o | 984 | 0 |
+.f64 | #f | nan-rescue | 852 | 0 |
/.f64 | #f | u/n | 730 | 0 |
sqrt.f32 | #f | oflow-rescue | 530 | 0 |
acos.f64 | #f | sensitivity | 529 | 5 |
*.f64 | #f | n*u | 474 | 0 |
pow.f64 | #f | sensitivity | 415 | 37 |
-.f32 | #f | cancellation | 368 | 36 |
/.f64 | #f | n/u | 296 | 0 |
tan.f64 | #f | sensitivity | 227 | 0 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 223 | 0 |
exp.f64 | #f | sensitivity | 204 | 23 |
*.f64 | #f | u*o | 193 | 0 |
cos.f32 | #f | sensitivity | 192 | 6 |
tan.f32 | (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) | cancellation | 191 | 11 |
cos.f64 | #f | oflow-rescue | 183 | 0 |
pow.f64 | #f | oflow-rescue | 176 | 0 |
*.f64 | #f | o*u | 140 | 0 |
/.f32 | #f | o/n | 130 | 0 |
asin.f64 | #f | sensitivity | 116 | 4 |
log.f64 | #f | oflow-rescue | 100 | 0 |
cbrt.f64 | #f | oflow-rescue | 96 | 0 |
log.f64 | #f | uflow-rescue | 83 | 0 |
pow.f64 | #f | uflow-rescue | 64 | 0 |
cbrt.f64 | #f | uflow-rescue | 52 | 0 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 36 | 0 |
↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 36 | |
sin.f64 | (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 36 | 0 |
↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 36 | |
exp.f32 | #f | sensitivity | 31 | 15 |
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 | 284 | |
↳ | (-.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 | 142 | |
↳ | (*.f32 eta eta) | underflow | 13 | |
/.f32 | #f | u/n | 12 | 0 |
/.f32 | #f | o/o | 10 | 0 |
/.f32 | #f | n/o | 9 | 0 |
log.f32 | #f | oflow-rescue | 6 | 0 |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) | n*u | 2 | 0 |
*.f32 | (*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta)) | n*o | 1 | 0 |
Predicted + | Predicted - | |
---|---|---|
+ | 30532 | 1174 |
- | 5903 | 100887 |
Predicted + | Predicted Maybe | Predicted - | |
---|---|---|---|
+ | 30532 | 231 | 943 |
- | 5903 | 404 | 100483 |
number | freq |
---|---|
0 | 102061 |
1 | 30499 |
2 | 4861 |
3 | 619 |
4 | 287 |
5 | 94 |
6 | 45 |
7 | 17 |
8 | 8 |
9 | 4 |
10 | 1 |
Predicted + | Predicted Maybe | Predicted - | |
---|---|---|---|
+ | 341 | 3 | 3 |
- | 10 | 2 | 182 |
24.4s | 233 472× | 0 | valid |
11.5s | 31 538× | 1 | valid |
6.5s | 10 612× | 2 | valid |
1.1s | 1 246× | 3 | valid |
13.0ms | 104× | 1 | exit |
9.0ms | 18× | 5 | exit |
6.0ms | 2× | 4 | valid |
Compiled 106 150 to 25 462 computations (76% saved)
ival-mult
: 6.6s (22.5% of total)ival-div
: 2.9s (10% of total)ival-add
: 2.7s (9.2% of total)ival-sin
: 2.5s (8.7% of total)ival-sub
: 2.3s (7.7% of total)ival-cos
: 1.9s (6.6% of total)ival-log
: 1.6s (5.4% of total)adjust
: 1.3s (4.4% of total)ival-tan
: 1.2s (4.3% of total)ival-sqrt
: 958.0ms (3.3% of total)ival-pow
: 931.0ms (3.2% of total)ival-exp
: 874.0ms (3% of total)const
: 689.0ms (2.4% of total)ival-pow2
: 562.0ms (1.9% of total)ival-neg
: 273.0ms (0.9% of total)ival-hypot
: 248.0ms (0.9% of total)ival-true
: 240.0ms (0.8% of total)exact
: 192.0ms (0.7% of total)ival-assert
: 125.0ms (0.4% of total)ival-acos
: 115.0ms (0.4% of total)ival-cbrt
: 103.0ms (0.4% of total)ival-atan2
: 100.0ms (0.3% of total)ival-fabs
: 93.0ms (0.3% of total)ival-asin
: 93.0ms (0.3% of total)ival-pi
: 86.0ms (0.3% of total)ival-log1p
: 84.0ms (0.3% of total)ival-atan
: 67.0ms (0.2% of total)ival-cosh
: 61.0ms (0.2% of total)ival-fmod
: 53.0ms (0.2% of total)ival-sinh
: 51.0ms (0.2% of total)ival->=
: 50.0ms (0.2% of total)ival-floor
: 40.0ms (0.1% of total)ival-expm1
: 31.0ms (0.1% of total)ival-if
: 28.0ms (0.1% of total)ival-fmax
: 17.0ms (0.1% of total)ival-log2
: 14.0ms (0% of total)ival-copysign
: 11.0ms (0% of total)ival-tanh
: 6.0ms (0% of total)ival->
: 3.0ms (0% of total)ival-<
: 1.0ms (0% of total)106980 calls:
Time | Variable | Point | Expression | |
---|---|---|---|---|
509.0ms | dY.u | @ | inf | (pow (fmax (+ (pow (+ (* (floor w) dX.u) 0) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))) 1/4) |
446.0ms | x | @ | 0 | (/ (- (* 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) 3))) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1))) |
386.0ms | h | @ | -inf | (/ (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* dY.v (floor h)) 2))) (+ (* (+ (* dX.u dY.v) (- 0 (* dX.v dY.u))) (* (floor w) (floor h))) 0)) |
378.0ms | b | @ | inf | (* (log (/ (cos (+ b a)) (* r (sin b)))) -1) |
300.0ms | h | @ | inf | (* (log (fmax (+ (pow (* (floor w) dX.u) 2) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor d) dX.w) 2))) (+ (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2)) (pow (* (floor d) dY.w) 2)))) 1/2) |
2 694× | binary-search |
2 258× | left-value |
2 621× | narrow-enough |
73× | predicate-same |
43.8s | 299 636× | 0 | valid |
11.3s | 25 304× | 1 | valid |
2.0s | 5 332× | 2 | valid |
1.5s | 15 408× | 0 | invalid |
196.0ms | 413× | 3 | valid |
41.0ms | 194× | 1 | invalid |
29.0ms | 1× | 3 | exit |
28.0ms | 77× | 1 | exit |
10.0ms | 131× | 0 | exit |
1.0ms | 1× | 5 | exit |
1.0ms | 3× | 4 | valid |
Compiled 701 840 to 496 962 computations (29.2% saved)
ival-mult
: 14.0s (32.3% of total)ival-sub
: 5.2s (12.1% of total)ival-add
: 4.4s (10.2% of total)ival-div
: 3.7s (8.5% of total)ival-cos
: 3.6s (8.4% of total)ival-sin
: 3.3s (7.7% of total)const
: 1.3s (3.1% of total)ival-log
: 1.3s (2.9% of total)ival-pow
: 1.2s (2.9% of total)adjust
: 847.0ms (2% of total)ival-sqrt
: 731.0ms (1.7% of total)ival-pow2
: 706.0ms (1.6% of total)ival-exp
: 480.0ms (1.1% of total)ival-hypot
: 354.0ms (0.8% of total)ival-neg
: 344.0ms (0.8% of total)ival-tan
: 323.0ms (0.7% of total)ival-atan2
: 256.0ms (0.6% of total)ival-true
: 253.0ms (0.6% of total)exact
: 178.0ms (0.4% of total)ival-acos
: 174.0ms (0.4% of total)ival-assert
: 134.0ms (0.3% of total)ival-atan
: 94.0ms (0.2% of total)ival-cosh
: 56.0ms (0.1% of total)ival-asin
: 48.0ms (0.1% of total)ival-pi
: 42.0ms (0.1% of total)ival-fabs
: 30.0ms (0.1% of total)ival-fmod
: 25.0ms (0.1% of total)ival->=
: 21.0ms (0% of total)ival-if
: 17.0ms (0% of total)ival-expm1
: 10.0ms (0% of total)ival-tanh
: 4.0ms (0% of total)ival-log1p
: 3.0ms (0% of total)ival-copysign
: 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 512 to 7 841 computations (37.3% saved)
Loading profile data...