Herbie run
| Date: | Saturday, April 26th, 2025 |
|---|---|
| Commit: | af246fab on time-nightly |
| Seed: | 2025116 |
| 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: | 120 478.5 MB |
Time bar (total: 2.3min)
| 26.2s | 44 362× | 2 | valid |
| 15.6s | 97 244× | 1 | valid |
| 15.0s | 147 567× | 0 | invalid |
| 10.4s | 5 761× | 5 | exit |
| 6.3s | 85 965× | 0 | valid |
| 3.0s | 3 594× | 3 | valid |
| 664.0ms | 4 308× | 0 | exit |
| 237.0ms | 1 023× | 1 | exit |
| 96.0ms | 129× | 4 | exit |
| 4.0ms | 3× | 4 | valid |
ival-tan: 12.5s (19.9% of total)ival-pow: 10.9s (17.3% of total)adjust: 6.6s (10.5% of total)ival-mult!: 4.3s (6.8% of total)ival-cos: 3.9s (6.3% of total)ival-log: 3.7s (5.9% of total)ival-sin: 3.3s (5.2% of total)ival-div!: 3.0s (4.8% of total)ival-sub!: 2.1s (3.3% of total)ival-expm1: 1.9s (3% of total)ival-exp: 1.8s (2.9% of total)ival-add!: 1.7s (2.6% of total)ival-log1p: 1.5s (2.4% of total)ival-sqrt: 1.3s (2.1% of total)ival-fabs: 1.3s (2.1% of total)ival-<: 1.1s (1.7% of total)ival-atan: 446.0ms (0.7% of total)ival-<=: 355.0ms (0.6% of total)ival-cbrt: 340.0ms (0.5% of total)ival-and: 326.0ms (0.5% of total)ival-neg: 279.0ms (0.4% of total)ival-fmin: 65.0ms (0.1% of total)ival-assert: 62.0ms (0.1% of total)ival->: 1.0ms (0% of total)exact: 0.0ms (0% of total)| 261× | iter-limit |
| 104× | node-limit |
| 23× | fuel |
| 5× | done |
Compiled 3 039 to 1 843 computations (39.4% saved)
Compiled 465 148 to 148 216 computations (68.1% saved)
486 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 123.0ms | n | @ | 0 | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (neg (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n)) (/ (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) n) (+ (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (log x)) (+ (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (neg (log (+ 1 x)))) (neg (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n)) (/ (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) n) (* 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x)))) 1/2 (- (* (log (+ 1 x)) (log (+ 1 x))) (* (log x) (log x))) (* (log (+ 1 x)) (log (+ 1 x))) (log (+ 1 x)) (+ 1 x) 1 x (* (log x) (log x)) (log x) n (neg (log (+ 1 x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (/ 1 n) (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ (/ x n) 1) (/ x n) (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x)) (/ (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)) (/ (- (/ 1/2 (* n n)) (/ 1/2 n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n)) (/ 1/2 (* n n)) (* n n) (/ 1/2 n) (/ (exp (neg (/ (neg (log x)) n))) n)) |
| 97.0ms | x | @ | 0 | ((- (cbrt (+ x 1)) (cbrt x)) (/ (+ (* (pow x -2/3) 5/81) (+ (* (pow x 4/3) 1/3) (* -1/9 (cbrt x)))) (* x x)) (+ (* (pow x -5/3) -1/9) (+ (* (pow x -8/3) 5/81) (* (pow x -2/3) 1/3))) (pow x -5/3) x -5/3 -1/9 (+ (* (pow x -8/3) 5/81) (* (pow x -2/3) 1/3)) (pow x -8/3) -8/3 5/81 (* (pow x -2/3) 1/3) (pow x -2/3) -2/3 1/3 (- (cbrt (+ x 1)) (pow x 1/3)) (cbrt (+ x 1)) 1 (pow x 1/3) (- (cbrt (+ x 1)) (cbrt x)) (* (cbrt (/ 1 (* x x))) 1/3) (cbrt (/ 1 (* x x))) (/ 1 (* x x)) (* x x) (- (cbrt (+ x 1)) (cbrt x)) (* (pow (exp (log x)) -2/3) 1/3) (pow (exp (log x)) -2/3) (exp (log x)) (log x) (- (cbrt (+ x 1)) (cbrt x)) (/ (+ (* (exp (* (log x) 4/3)) 1/3) (* -1/9 (cbrt x))) (* x x)) (+ (* (exp (* (log x) 4/3)) 1/3) (* -1/9 (cbrt x))) (exp (* (log x) 4/3)) (* (log x) 4/3) 4/3 (* -1/9 (cbrt x)) (cbrt x)) |
| 63.0ms | n | @ | 0 | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (/ (log x) n)) (* n x)) (exp (/ (log x) n)) (/ (log x) n) (log x) x n (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (/ 1 (* n x)) 1 (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (+ x (neg (log x))) (neg (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (neg (/ (neg (log x)) n))) (* n x)) (/ (+ (/ (log x) (* n x)) (/ 1 x)) n) (+ (/ (log x) (* n x)) (/ 1 x)) (/ (log x) (* n x)) (/ 1 x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (exp (neg (/ (neg (log x)) n))) (/ (/ (- (* (/ 1/2 (* n n)) (/ 1/2 (* n n))) (* (/ 1/2 n) (/ 1/2 n))) (+ (/ 1/2 (* n n)) (/ 1/2 n))) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) x) (+ (* (exp (neg (/ (neg (log x)) n))) (/ (/ (- (* (/ 1/2 (* n n)) (/ 1/2 (* n n))) (* (/ 1/2 n) (/ 1/2 n))) (+ (/ 1/2 (* n n)) (/ 1/2 n))) x)) (/ (exp (neg (/ (neg (log x)) n))) n)) (exp (neg (/ (neg (log x)) n))) (/ (/ (- (* (/ 1/2 (* n n)) (/ 1/2 (* n n))) (* (/ 1/2 n) (/ 1/2 n))) (+ (/ 1/2 (* n n)) (/ 1/2 n))) x) (/ (- (* (/ 1/2 (* n n)) (/ 1/2 (* n n))) (* (/ 1/2 n) (/ 1/2 n))) (+ (/ 1/2 (* n n)) (/ 1/2 n))) (- (* (/ 1/2 (* n n)) (/ 1/2 (* n n))) (* (/ 1/2 n) (/ 1/2 n))) (* (/ 1/2 (* n n)) (/ 1/2 (* n n))) (/ 1/2 (* n n)) 1/2 (* n n) (* (/ 1/2 n) (/ 1/2 n)) (/ 1/2 n) (+ (/ 1/2 (* n n)) (/ 1/2 n)) (/ (exp (neg (/ (neg (log x)) n))) n)) |
| 61.0ms | x | @ | inf | ((- (tan (+ x eps)) (tan x)) (* (- (+ (* (- (* (- (- (* (neg eps) (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)))) 1/6) (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))))))) eps) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) eps) 1) (neg (pow (tan x) 2))) eps) (- (+ (* (- (* (- (- (* (neg eps) (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)))) 1/6) (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))))))) eps) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) eps) 1) (neg (pow (tan x) 2))) (+ (* (- (* (- (- (* (neg eps) (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)))) 1/6) (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))))))) eps) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) eps) 1) (- (* (- (- (* (neg eps) (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)))) 1/6) (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))))))) eps) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)))) (* (- (- (* (neg eps) (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)))) 1/6) (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))))))) eps) (- (- (* (neg eps) (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)))) 1/6) (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))))))) (- (* (neg eps) (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)))) 1/6) (* (neg eps) (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)))) (neg eps) eps (+ (* (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) -1/2) (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x))) (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x)) (* (- 1 (neg (pow (tan x) 2))) (sin x)) (- 1 (neg (pow (tan x) 2))) 1 (neg (pow (tan x) 2)) (pow (tan x) 2) (tan x) x 2 (sin x) (cos x) -1/2 (/ (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (cos x)) (+ (* (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (sin x)) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x)))) (+ (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) 1/6) (+ (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))))) (+ (* (- 1 (neg (pow (tan x) 2))) -1/2) (* (pow (tan x) 2) 1/6)) (* (pow (tan x) 2) 1/6) 1/6 (neg (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))))) (* (- 1/2 (* 1/2 (cos (* 2 x)))) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x)))))) (- 1/2 (* 1/2 (cos (* 2 x)))) 1/2 (* 1/2 (cos (* 2 x))) (cos (* 2 x)) (* 2 x) (/ (- 1 (neg (pow (tan x) 2))) (+ 1/2 (* 1/2 (cos (* 2 x))))) (+ 1/2 (* 1/2 (cos (* 2 x)))) (* 1/6 (* (- 1 (neg (pow (tan x) 2))) (sin x))) (neg (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x))) (- (tan (+ x eps)) (tan x)) (tan eps) (- (tan (+ x eps)) (tan x)) (tan (+ x eps)) (+ x eps) (tan x) (* (+ (* (+ (* 2/15 (* x x)) 1/3) (* x x)) 1) x) (+ (* (+ (* 2/15 (* x x)) 1/3) (* x x)) 1) (+ (* 2/15 (* x x)) 1/3) 2/15 (* x x) 1/3 (- (tan (+ x eps)) (tan (+ (+ x (PI)) (PI)))) (tan (+ (+ x (PI)) (PI))) (+ (+ x (PI)) (PI)) (+ x (PI)) (PI) (- (tan (+ x eps)) (tan x)) (* (- (+ (* eps (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x))) 1) (neg (pow (tan x) 2))) eps) (- (+ (* eps (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x))) 1) (neg (pow (tan x) 2))) (+ (* eps (/ (* (- 1 (neg (pow (tan x) 2))) (sin x)) (cos x))) 1)) |
| 59.0ms | x | @ | -inf | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) x 1 (/ 1 n) n (pow x (/ 1 n))) |
| 26× | node-limit |
| 2× | saturated |
Compiled 5 395 to 3 802 computations (29.5% saved)
43 calls:
| 659.0ms | x |
| 279.0ms | eps |
| 172.0ms | (-.f64 (pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n)) (pow.f64 x (/.f64 #s(literal 1 binary64) n))) |
| 146.0ms | (/.f64 #s(literal 1 binary64) n) |
| 114.0ms | a |
Compiled 1 675 to 1 825 computations (-9% 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 59 114 to 46 095 computations (22% saved)
| 106× | binary-search |
| 25× | left-value |
| 104× | narrow-enough |
| 2× | predicate-same |
| 480.0ms | 6 386× | 0 | valid |
| 164.0ms | 569× | 2 | valid |
| 113.0ms | 936× | 1 | valid |
| 94.0ms | 1 583× | 0 | invalid |
| 5.0ms | 57× | 0 | exit |
| 3.0ms | 13× | 3 | valid |
| 0.0ms | 1× | 1 | exit |
Compiled 31 528 to 32 521 computations (-3.1% saved)
ival-mult!: 133.0ms (24.3% of total)ival-pow: 116.0ms (21.2% of total)ival-sqrt: 60.0ms (11% of total)ival-div!: 56.0ms (10.2% of total)adjust: 51.0ms (9.3% of total)ival-neg: 49.0ms (8.9% of total)ival-sub!: 33.0ms (6% of total)ival-add!: 17.0ms (3.1% of total)ival-cos: 16.0ms (2.9% of total)ival-cbrt: 6.0ms (1.1% of total)ival-expm1: 5.0ms (0.9% of total)ival-exp: 3.0ms (0.5% of total)ival-log1p: 1.0ms (0.2% of total)ival-log: 1.0ms (0.2% of total)Loading profile data...