Herbie run
| Date: | Saturday, April 26th, 2025 |
|---|---|
| Commit: | 45de6ef9 on artem-rules-updates |
| 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: | 140 556.5 MB |
Time bar (total: 2.3min)
| 25.5s | 44 362× | 2 | valid |
| 16.3s | 97 244× | 1 | valid |
| 14.0s | 147 567× | 0 | invalid |
| 10.2s | 5 761× | 5 | exit |
| 6.0s | 85 965× | 0 | valid |
| 3.6s | 3 594× | 3 | valid |
| 359.0ms | 4 308× | 0 | exit |
| 151.0ms | 1 023× | 1 | exit |
| 138.0ms | 129× | 4 | exit |
| 4.0ms | 3× | 4 | valid |
ival-tan: 11.7s (18.8% of total)ival-pow: 10.7s (17.3% of total)adjust: 6.3s (10.2% of total)ival-cos: 4.6s (7.4% of total)ival-log: 4.1s (6.7% of total)ival-sin: 3.8s (6.1% of total)ival-mult!: 3.4s (5.4% of total)ival-div!: 2.7s (4.3% of total)ival-sub!: 2.3s (3.8% of total)ival-exp: 2.0s (3.3% of total)ival-fabs: 1.8s (2.9% of total)ival-sqrt: 1.7s (2.7% of total)ival-expm1: 1.7s (2.7% of total)ival-add!: 1.6s (2.5% of total)ival-log1p: 1.1s (1.8% of total)ival-atan: 497.0ms (0.8% of total)ival-<: 495.0ms (0.8% of total)ival-<=: 421.0ms (0.7% of total)ival-cbrt: 363.0ms (0.6% of total)ival-and: 325.0ms (0.5% of total)ival-neg: 319.0ms (0.5% of total)ival-assert: 69.0ms (0.1% of total)ival-fmin: 66.0ms (0.1% of total)ival->: 1.0ms (0% of total)exact: 0.0ms (0% of total)| 240× | iter-limit |
| 104× | node-limit |
| 23× | fuel |
| 5× | done |
Compiled 2 971 to 1 803 computations (39.3% saved)
Compiled 552 424 to 186 591 computations (66.2% saved)
| 26× | node-limit |
| 2× | saturated |
Compiled 5 635 to 4 058 computations (28% saved)
486 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 47.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))) (neg (- (exp (/ (log x) n)) 1)) (- (exp (/ (log x) n)) 1) (/ (log x) n) (- (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)) |
| 44.0ms | x | @ | -inf | ((- (sqrt (+ x 1)) (sqrt x)) (/ (+ (* (/ 1 (sqrt x)) -1/8) (+ (* (sqrt (/ 1 (* (* x x) x))) 1/16) (* 1/2 (sqrt x)))) x) (+ (* (/ 1 (sqrt x)) -1/8) (+ (* (sqrt (/ 1 (* (* x x) x))) 1/16) (* 1/2 (sqrt x)))) (/ 1 (sqrt x)) 1 (sqrt x) x -1/8 (+ (* (sqrt (/ 1 (* (* x x) x))) 1/16) (* 1/2 (sqrt x))) (sqrt (/ 1 (* (* x x) x))) (/ 1 (* (* x x) x)) (* (* x x) x) (* x x) 1/16 (* 1/2 (sqrt x)) 1/2 (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ x 1)) (- (sqrt (+ x 1)) (sqrt x)) (sqrt (+ x 1)) (+ x 1) (- (sqrt (+ x 1)) (sqrt x)) (* (/ 1 (sqrt x)) 1/2) (- (sqrt (+ x 1)) (sqrt x)) (/ (+ (* (/ 1 (sqrt x)) -1/8) (* 1/2 (sqrt x))) x) (+ (* (/ 1 (sqrt x)) -1/8) (* 1/2 (sqrt x)))) |
| 41.0ms | n | @ | 0 | ((- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) (- (* (+ n 1) (log (+ n 1))) (* n (log n))) (* (+ n 1) (log (+ n 1))) (+ n 1) n 1 (log (+ n 1)) (* n (log n)) (log n)) |
| 40.0ms | x | @ | -inf | ((- (cbrt (+ x 1)) (cbrt x)) (* (pow x -2/3) 1/3) (pow x -2/3) x -2/3 1/3 (- (cbrt (+ x 1)) (cbrt x)) (neg (- (exp (* (log x) 1/3)) 1)) (- (exp (* (log x) 1/3)) 1) (* (log x) 1/3) (log x) (- (pow (- x -1) 1/3) (cbrt x)) (pow (- x -1) 1/3) (- x -1) -1 (cbrt x) (- (cbrt (- (/ (* x x) (- x 1)) (/ 1 (- x 1)))) (cbrt x)) (cbrt (- (/ (* x x) (- x 1)) (/ 1 (- x 1)))) (- (/ (* x x) (- x 1)) (/ 1 (- x 1))) (/ (* x x) (- x 1)) (* x x) (- x 1) 1 (/ 1 (- x 1)) (/ (- (- x -1) x) (+ (pow (- x -1) 2/3) (+ (pow x 2/3) (cbrt (* (- x -1) x))))) (- (- x -1) x) (+ (pow (- x -1) 2/3) (+ (pow x 2/3) (cbrt (* (- x -1) x)))) (pow (- x -1) 2/3) 2/3 (+ (pow x 2/3) (cbrt (* (- x -1) x))) (pow x 2/3) (cbrt (* (- x -1) x)) (* (- x -1) x)) |
| 37.0ms | x | @ | 0 | ((- (cbrt (+ x 1)) (cbrt x)) (* (pow x -2/3) 1/3) (pow x -2/3) x -2/3 1/3 (- (cbrt (+ x 1)) (cbrt x)) (neg (- (exp (* (log x) 1/3)) 1)) (- (exp (* (log x) 1/3)) 1) (* (log x) 1/3) (log x) (- (pow (- x -1) 1/3) (cbrt x)) (pow (- x -1) 1/3) (- x -1) -1 (cbrt x) (- (cbrt (- (/ (* x x) (- x 1)) (/ 1 (- x 1)))) (cbrt x)) (cbrt (- (/ (* x x) (- x 1)) (/ 1 (- x 1)))) (- (/ (* x x) (- x 1)) (/ 1 (- x 1))) (/ (* x x) (- x 1)) (* x x) (- x 1) 1 (/ 1 (- x 1)) (/ (- (- x -1) x) (+ (pow (- x -1) 2/3) (+ (pow x 2/3) (cbrt (* (- x -1) x))))) (- (- x -1) x) (+ (pow (- x -1) 2/3) (+ (pow x 2/3) (cbrt (* (- x -1) x)))) (pow (- x -1) 2/3) 2/3 (+ (pow x 2/3) (cbrt (* (- x -1) x))) (pow x 2/3) (cbrt (* (- x -1) x)) (* (- x -1) x)) |
43 calls:
| 833.0ms | x |
| 284.0ms | eps |
| 132.0ms | b |
| 126.0ms | b_2 |
| 99.0ms | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
Compiled 1 633 to 1 803 computations (-10.4% saved)
Compiled 67 335 to 51 581 computations (23.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)
| 128× | binary-search |
| 2× | left-value |
| 122× | narrow-enough |
| 6× | predicate-same |
| 370.0ms | 6 041× | 0 | valid |
| 161.0ms | 548× | 2 | valid |
| 148.0ms | 1 538× | 0 | invalid |
| 126.0ms | 838× | 1 | valid |
| 5.0ms | 61× | 0 | exit |
| 2.0ms | 13× | 3 | valid |
| 0.0ms | 1× | 1 | exit |
Compiled 33 348 to 34 647 computations (-3.9% saved)
ival-mult!: 155.0ms (28.1% of total)adjust: 84.0ms (15.2% of total)ival-pow: 71.0ms (12.9% of total)ival-sqrt: 62.0ms (11.2% of total)ival-div!: 62.0ms (11.2% of total)ival-sub!: 33.0ms (6% of total)ival-neg: 33.0ms (6% of total)ival-cos: 19.0ms (3.4% of total)ival-add!: 16.0ms (2.9% of total)ival-expm1: 6.0ms (1.1% of total)ival-cbrt: 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...