Herbie run
| Date: | Friday, April 11th, 2025 |
|---|---|
| Commit: | 4f21fd8d on chassis-platforms-cleanup |
| Seed: | 2025101 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs default |
| Memory: | 139 802.3 MB |
Time bar (total: 2.3min)
| 25.7s | 44 550× | 2 | valid |
| 16.9s | 96 775× | 1 | valid |
| 15.1s | 145 970× | 0 | invalid |
| 10.3s | 5 785× | 5 | exit |
| 6.4s | 86 244× | 0 | valid |
| 2.5s | 3 595× | 3 | valid |
| 305.0ms | 4 047× | 0 | exit |
| 176.0ms | 1 106× | 1 | exit |
| 151.0ms | 137× | 4 | exit |
| 6.0ms | 2× | 2 | exit |
| 5.0ms | 4× | 4 | valid |
ival-tan: 12.5s (19.6% of total)ival-pow: 10.4s (16.3% of total)adjust: 6.0s (9.4% of total)ival-mult!: 4.6s (7.1% of total)ival-cos: 4.5s (7% of total)ival-log: 3.9s (6.2% of total)ival-sin: 3.0s (4.6% of total)ival-div!: 2.8s (4.4% of total)ival-exp: 2.6s (4.1% of total)ival-add!: 2.2s (3.4% of total)ival-sub!: 2.1s (3.3% of total)ival-expm1: 2.1s (3.2% of total)ival-log1p: 1.4s (2.2% of total)ival-sqrt: 1.4s (2.1% of total)ival-fabs: 1.3s (2.1% of total)ival-<: 1.2s (1.9% of total)ival-atan: 475.0ms (0.7% of total)ival-<=: 389.0ms (0.6% of total)ival-and: 350.0ms (0.5% of total)ival-cbrt: 339.0ms (0.5% of total)ival-neg: 274.0ms (0.4% of total)ival-assert: 72.0ms (0.1% of total)ival-fmin: 60.0ms (0.1% of total)ival->: 1.0ms (0% of total)exact: 0.0ms (0% of total)| 244× | iter-limit |
| 98× | node-limit |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 4253 | 30 |
log.f64 | #f | sensitivity | 768 | 0 |
/.f64 | #f | u/u | 419 | 0 |
sqrt.f64 | #f | oflow-rescue | 414 | 0 |
+.f64 | #f | cancellation | 333 | 0 |
/.f64 | #f | u/n | 114 | 0 |
pow.f64 | (pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n)) | sensitivity | 57 | 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 | 28 | 0 |
| ↳ | (*.f64 b eps) | underflow | 125 | |
| ↳ | (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) | underflow | 130 | |
| ↳ | (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)) | underflow | 125 | |
| ↳ | (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))) | underflow | 232 | |
| ↳ | (*.f64 a eps) | underflow | 130 | |
sqrt.f64 | #f | uflow-rescue | 26 | 0 |
-.f64 | #f | nan-rescue | 15 | 0 |
/.f64 | (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x)) | n/o | 4 | 0 |
| ↳ | (*.f64 x x) | overflow | 57 | |
exp.f64 | #f | sensitivity | 2 | 1 |
cos.f64 | (cos.f64 (+.f64 x eps)) | sensitivity | 1 | 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 | 1 | 0 |
| ↳ | (exp.f64 (*.f64 #s(literal 2 binary64) x)) | overflow | 1 | |
| ↳ | (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) | overflow | 1 | |
| ↳ | (exp.f64 x) | overflow | 1 | |
| ↳ | (-.f64 (exp.f64 x) #s(literal 1 binary64)) | overflow | 1 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5225 | 15 |
| - | 153 | 1775 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5225 | 13 | 2 |
| - | 153 | 17 | 1758 |
| number | freq |
|---|---|
| 0 | 1790 |
| 1 | 4560 |
| 2 | 643 |
| 3 | 111 |
| 4 | 64 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 28 | 0 | 0 |
| - | 0 | 0 | 0 |
| 1.4s | 2 834× | 2 | valid |
| 1.1s | 6 060× | 1 | valid |
| 450.0ms | 5 232× | 0 | valid |
| 125.0ms | 210× | 3 | valid |
Compiled 2 154 to 763 computations (64.6% saved)
ival-tan: 744.0ms (30.4% of total)adjust: 260.0ms (10.6% of total)ival-log: 231.0ms (9.4% of total)ival-cos: 184.0ms (7.5% of total)ival-div!: 170.0ms (6.9% of total)ival-exp: 154.0ms (6.3% of total)ival-sin: 131.0ms (5.3% of total)ival-pow: 117.0ms (4.8% of total)ival-sub!: 83.0ms (3.4% of total)ival-mult!: 81.0ms (3.3% of total)ival-sqrt: 75.0ms (3.1% of total)ival-expm1: 64.0ms (2.6% of total)ival-log1p: 58.0ms (2.4% of total)ival-add!: 51.0ms (2.1% of total)ival-atan: 20.0ms (0.8% of total)ival-cbrt: 16.0ms (0.7% of total)ival-neg: 12.0ms (0.5% of total)468 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 93.0ms | N | @ | 0 | ((- (log (+ N 1)) (log N)) (log (+ N 1)) (+ N 1) N 1 (log N)) |
| 73.0ms | n | @ | 0 | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (+ (* (/ (pow (log (+ 1 x)) 2) n) 1/2) (log (+ 1 x))) (+ (* (/ (pow (log x) 2) n) 1/2) (log x))) n) (- (+ (* (/ (pow (log (+ 1 x)) 2) n) 1/2) (log (+ 1 x))) (+ (* (/ (pow (log x) 2) n) 1/2) (log x))) (+ (* (/ (pow (log (+ 1 x)) 2) n) 1/2) (log (+ 1 x))) (/ (pow (log (+ 1 x)) 2) n) (pow (log (+ 1 x)) 2) (log (+ 1 x)) x 2 n 1/2 (+ (* (/ (pow (log x) 2) n) 1/2) (log x)) (/ (pow (log x) 2) n) (pow (log x) 2) (log x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (pow (* n x) -1) (* n x) -1 (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (+ 1 x) 1 (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (* (pow n -2) 1/2) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (* (pow n -2) 1/2) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) (/ (exp (neg (/ (neg (log x)) n))) n) (exp (neg (/ (neg (log x)) n))) (neg (/ (neg (log x)) n)) (/ (neg (log x)) n) (neg (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n)) (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n) (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n)) (+ (* -1 (/ (+ (* 1/24 (/ (pow (log x) 4) n)) (* 1/6 (pow (log x) 3))) (* n n))) (* -1/2 (/ (pow (log x) 2) n))) (/ (+ (* 1/24 (/ (pow (log x) 4) n)) (* 1/6 (pow (log x) 3))) (* n n)) (+ (* 1/24 (/ (pow (log x) 4) n)) (* 1/6 (pow (log x) 3))) 1/24 (/ (pow (log x) 4) n) (pow (log x) 4) 4 (* 1/6 (pow (log x) 3)) 1/6 (pow (log x) 3) 3 (* n n) (* -1/2 (/ (pow (log x) 2) n)) -1/2) |
| 68.0ms | n | @ | inf | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n)) (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n) (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n)) (log (+ 1 x)) x (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n) (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4)) (pow (log (+ 1 x)) 4) 4 (pow (log x) 4) (log x) n (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) 3 (pow (log x) 3) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)) (pow (log (+ 1 x)) 2) 2 (pow (log x) 2) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) 1 (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (exp (/ (log (+ 1 x)) n)) (pow x (/ 1 n)) (/ 1 n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (/ (- 1 (* 1/2 (pow x -1))) x) (- 1 (* 1/2 (pow x -1))) (* 1/2 (pow x -1)) (pow x -1) (/ (- (pow (pow (+ 1 x) (pow n -1)) 2) (pow (pow x (pow n -1)) 2)) (+ (pow (+ 1 x) (pow n -1)) (pow x (pow n -1)))) (- (pow (pow (+ 1 x) (pow n -1)) 2) (pow (pow x (pow n -1)) 2)) (pow (pow (+ 1 x) (pow n -1)) 2) (pow (+ 1 x) (pow n -1)) (+ 1 x) (pow n -1) (pow (pow x (pow n -1)) 2) (pow x (pow n -1)) (+ (pow (+ 1 x) (pow n -1)) (pow x (pow n -1)))) |
| 65.0ms | a | @ | -inf | ((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (/ (+ b a) a) b) (/ (+ (/ a b) 1) a) (+ (/ a b) 1) (/ a b) a b 1 (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (exp (neg (log a))) (neg (log a)) (log a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (exp (neg (log b))) (neg (log b)) (log b) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ b a) (* b a)) (+ b a) (* b a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (pow (exp -1) (log a)) (exp -1) -1) |
| 50.0ms | x | @ | inf | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n)) (/ (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) n) (+ (* -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n))) (log x)) -1 (+ (log (+ 1 x)) (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n)) (log (+ 1 x)) x (/ (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) n) (+ (* (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) -1) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)))) (/ (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) n) (+ (* (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) -1) (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)))) (/ (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) n) (* 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4))) 1/24 (- (pow (log (+ 1 x)) 4) (pow (log x) 4)) (pow (log (+ 1 x)) 4) 4 (pow (log x) 4) (log x) n (* -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3))) -1/6 (- (pow (log (+ 1 x)) 3) (pow (log x) 3)) (pow (log (+ 1 x)) 3) 3 (pow (log x) 3) (* 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2))) 1/2 (- (pow (log (+ 1 x)) 2) (pow (log x) 2)) (pow (log (+ 1 x)) 2) 2 (pow (log x) 2) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) 1 (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (exp (/ (log (+ 1 x)) n)) (pow x (/ 1 n)) (/ 1 n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (/ (- 1 (* 1/2 (pow x -1))) x) (- 1 (* 1/2 (pow x -1))) (* 1/2 (pow x -1)) (pow x -1) (/ (- (pow (pow (+ 1 x) (pow n -1)) 2) (pow (pow x (pow n -1)) 2)) (+ (pow (+ 1 x) (pow n -1)) (pow x (pow n -1)))) (- (pow (pow (+ 1 x) (pow n -1)) 2) (pow (pow x (pow n -1)) 2)) (pow (pow (+ 1 x) (pow n -1)) 2) (pow (+ 1 x) (pow n -1)) (+ 1 x) (pow n -1) (pow (pow x (pow n -1)) 2) (pow x (pow n -1)) (+ (pow (+ 1 x) (pow n -1)) (pow x (pow n -1)))) |
| 18× | fuel |
| 10× | done |
Compiled 8 438 to 1 641 computations (80.6% saved)
Compiled 1 250 576 to 139 441 computations (88.8% saved)
| 26× | node-limit |
| 2× | saturated |
Compiled 19 254 to 4 980 computations (74.1% saved)
43 calls:
| 447.0ms | x |
| 296.0ms | eps |
| 116.0ms | b |
| 106.0ms | b_2 |
| 98.0ms | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
Compiled 1 748 to 1 671 computations (4.4% 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)
Compiled 74 603 to 37 550 computations (49.7% saved)
| 91× | binary-search |
| 21× | left-value |
| 91× | narrow-enough |
| 313.0ms | 4 397× | 0 | valid |
| 165.0ms | 1 238× | 1 | valid |
| 137.0ms | 656× | 2 | valid |
| 74.0ms | 1 067× | 0 | invalid |
| 6.0ms | 29× | 3 | valid |
| 3.0ms | 44× | 0 | exit |
| 0.0ms | 2× | 1 | exit |
Compiled 34 396 to 26 164 computations (23.9% saved)
ival-mult!: 134.0ms (27.1% of total)ival-pow: 73.0ms (14.8% of total)ival-sqrt: 59.0ms (12% of total)adjust: 52.0ms (10.5% of total)ival-div!: 52.0ms (10.5% of total)ival-sub!: 51.0ms (10.3% of total)ival-neg: 37.0ms (7.5% of total)ival-add!: 16.0ms (3.2% of total)ival-exp: 5.0ms (1% of total)ival-cos: 5.0ms (1% of total)ival-atan: 4.0ms (0.8% of total)ival-cbrt: 3.0ms (0.6% of total)ival-expm1: 2.0ms (0.4% of total)Loading profile data...