Herbie run
| Date: | Friday, May 16th, 2025 |
|---|---|
| Commit: | 7acd8706 on new-rules |
| Seed: | 2025136 |
| 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: | 138 144.4 MB |
Time bar (total: 2.4min)
| 26.2s | 44 827× | 2 | valid |
| 16.3s | 96 689× | 1 | valid |
| 15.5s | 147 527× | 0 | invalid |
| 10.1s | 5 933× | 5 | exit |
| 6.6s | 86 016× | 0 | valid |
| 3.1s | 3 632× | 3 | valid |
| 286.0ms | 4 280× | 0 | exit |
| 235.0ms | 143× | 4 | exit |
| 177.0ms | 1 058× | 1 | exit |
| 5.0ms | 4× | 4 | valid |
| 1.0ms | 1× | 2 | exit |
ival-tan: 14.2s (22.3% of total)ival-pow: 10.5s (16.5% of total)adjust: 6.3s (10% of total)ival-cos: 4.0s (6.3% of total)ival-sin: 3.9s (6.1% of total)ival-div!: 3.6s (5.7% of total)ival-mult!: 3.6s (5.6% of total)ival-log: 3.3s (5.2% of total)ival-sub!: 1.9s (3% of total)ival-exp: 1.8s (2.9% of total)ival-expm1: 1.8s (2.9% of total)ival-add!: 1.6s (2.6% of total)ival-log1p: 1.6s (2.5% of total)ival-sqrt: 1.5s (2.3% of total)ival-fabs: 1.4s (2.1% of total)ival-atan: 635.0ms (1% of total)ival-<: 443.0ms (0.7% of total)ival-<=: 403.0ms (0.6% of total)ival-cbrt: 331.0ms (0.5% of total)ival-and: 323.0ms (0.5% of total)ival-neg: 236.0ms (0.4% of total)ival-assert: 66.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)| 233× | iter-limit |
| 104× | node-limit |
| 21× | fuel |
| 7× | done |
Compiled 2 808 to 1 766 computations (37.1% saved)
Compiled 487 751 to 159 548 computations (67.3% saved)
| 28× | node-limit |
Compiled 5 284 to 3 887 computations (26.4% saved)
486 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 106.0ms | x | @ | inf | ((- (cbrt (+ x 1)) (cbrt x)) (* (* (/ -1 (cbrt x)) (/ -1 (cbrt x))) 1/3) (* (/ -1 (cbrt x)) (/ -1 (cbrt x))) (/ -1 (cbrt x)) -1 (cbrt x) x 1/3 (- (cbrt (+ x 1)) (cbrt x)) (/ 1/3 (cbrt (* x x))) (cbrt (* x x)) (* x x) (- (cbrt (+ x 1)) (cbrt x)) (/ 1/3 (pow (exp (log x)) 2/3)) (pow (exp (log x)) 2/3) (exp (log x)) (log x) 2/3 (- (exp (* (log (- x -1)) 1/3)) (cbrt x)) (exp (* (log (- x -1)) 1/3)) (* (log (- x -1)) 1/3) (log (- x -1)) (- x -1) (- (cbrt (+ x 1)) (cbrt x)) (* (+ (* (exp (log (pow x -5/3))) 1/3) (* (pow x -8/3) -1/9)) x) (+ (* (exp (log (pow x -5/3))) 1/3) (* (pow x -8/3) -1/9)) (exp (log (pow x -5/3))) (log (pow x -5/3)) (pow x -5/3) -5/3 (* (pow x -8/3) -1/9) (pow x -8/3) -8/3 -1/9) |
| 87.0ms | b | @ | -inf | ((/ (* (+ (sqrt (+ (* (* a -4) c) (* b b))) b) -1/2) a) (* (+ (sqrt (+ (* (* a -4) c) (* b b))) b) -1/2) (+ (sqrt (+ (* (* a -4) c) (* b b))) b) (sqrt (+ (* (* a -4) c) (* b b))) (+ (* (* a -4) c) (* b b)) (* a -4) a -4 c (* b b) b -1/2 (/ (/ (+ b (sqrt (+ (* (* -4 a) c) (* b b)))) -2) a) (/ (+ b (sqrt (+ (* (* -4 a) c) (* b b)))) -2) (neg b) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (* (* c (/ (sqrt (* (/ a c) -4)) a)) -1/2) (* (* 1/2 c) (sqrt (/ -4 (* c a)))) (* 1/2 c) 1/2 (sqrt (/ -4 (* c a))) (/ -4 (* c a)) (* c a) (/ (/ (+ b (sqrt (+ (* (* -4 a) c) (* b b)))) -2) a) (/ (+ b (sqrt (+ (* (* -4 a) c) (* b b)))) -2) (* (* -1/2 c) (sqrt (* (/ a c) -4))) (* -1/2 c) (sqrt (* (/ a c) -4)) (* (/ a c) -4) (/ a c) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (sqrt (- (* b b) (* 4 (* a c)))) (* (sqrt (* (/ c a) -4)) a) (sqrt (* (/ c a) -4)) (* (/ c a) -4) (/ c a) (* 2 a) 2) |
| 67.0ms | x | @ | 0 | ((- (/ (/ 1 x) (+ (/ 1 (sqrt x)) (/ 1 (sqrt (- x -1))))) (/ (/ 1 (* (sqrt (- x -1)) (sqrt (- x -1)))) (+ (/ 1 (sqrt x)) (/ 1 (sqrt (- x -1)))))) (* (pow x -3/2) 1/2) (pow x -3/2) x -3/2 1/2 (- (/ (sqrt x) x) (/ 1 (sqrt (+ x 1)))) (/ 1/2 (sqrt x)) (sqrt x) (- (/ (/ 1 x) (+ (/ 1 (sqrt x)) (/ 1 (sqrt (- x -1))))) (/ (/ 1 (* (sqrt (- x -1)) (sqrt (- x -1)))) (+ (/ 1 (sqrt x)) (/ 1 (sqrt (- x -1)))))) (* (* (/ 1 (* x x)) (sqrt x)) 1/2) (* (/ 1 (* x x)) (sqrt x)) (/ 1 (* x x)) 1 (* x x) (+ (* (/ 1 x) (sqrt x)) (neg (sqrt (/ 1 (- x -1))))) (/ 1 x) (neg (sqrt (/ 1 (- x -1)))) (sqrt (/ 1 (- x -1))) (/ 1 (- x -1)) (- x -1) -1 (/ (/ (- (- x -1) x) (+ (neg (sqrt (- x -1))) (neg (sqrt x)))) (* (sqrt x) (neg (sqrt (- x -1))))) (/ (- (- x -1) x) (+ (neg (sqrt (- x -1))) (neg (sqrt x)))) (- (- x -1) x) (+ (neg (sqrt (- x -1))) (neg (sqrt x))) (neg (sqrt (- x -1))) (sqrt (- x -1)) (neg (sqrt x)) (* (sqrt x) (neg (sqrt (- x -1))))) |
| 65.0ms | x | @ | 0 | ((- (cbrt (+ x 1)) (cbrt x)) (* (pow (cbrt x) -2) 1/3) (pow (cbrt x) -2) (cbrt x) x -2 1/3 (- (cbrt (+ x 1)) (cbrt x)) (/ 1/3 (pow x 2/3)) (pow x 2/3) 2/3 (- (cbrt (- x -1)) (cbrt x)) (cbrt (- x -1)) (- x -1) -1 (- (/ 1 (pow (- x -1) -1/3)) (pow x 1/3)) (/ 1 (pow (- x -1) -1/3)) 1 (pow (- x -1) -1/3) -1/3 (pow x 1/3) (- (cbrt (+ x 1)) (cbrt x)) (* (+ (* (exp (* (log (pow x 5/3)) -1)) 1/3) (* (pow x -8/3) -1/9)) x) (+ (* (exp (* (log (pow x 5/3)) -1)) 1/3) (* (pow x -8/3) -1/9)) (exp (* (log (pow x 5/3)) -1)) (* (log (pow x 5/3)) -1) (log (pow x 5/3)) (pow x 5/3) 5/3 (* (pow x -8/3) -1/9) (pow x -8/3) -8/3 -1/9) |
| 59.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)) 0 (- (cbrt (+ x 1)) (pow x 1/3)) (cbrt (+ x 1)) (+ x 1) 1 (pow x 1/3) (- (cbrt (+ x 1)) (cbrt x)) (* (+ (* (pow x -5/3) 1/3) (* (pow x -8/3) -1/9)) x) (+ (* (pow x -5/3) 1/3) (* (pow x -8/3) -1/9)) (pow x -5/3) -5/3 (* (pow x -8/3) -1/9) (pow x -8/3) -8/3 -1/9 (/ (- (- x -1) x) (+ (pow (- x -1) 2/3) (+ (pow x 2/3) (cbrt (* (- x -1) x))))) (- (- x -1) x) (- x -1) -1 (+ (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:
| 1.0s | x |
| 429.0ms | eps |
| 317.0ms | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
| 182.0ms | (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) |
| 143.0ms | b |
Compiled 1 721 to 1 884 computations (-9.5% saved)
Compiled 62 349 to 50 368 computations (19.2% saved)
| 126× | binary-search |
| 9× | left-value |
| 118× | narrow-enough |
| 8× | predicate-same |
| 387.0ms | 5 625× | 0 | valid |
| 203.0ms | 612× | 2 | valid |
| 197.0ms | 1 702× | 1 | valid |
| 91.0ms | 1 558× | 0 | invalid |
| 5.0ms | 68× | 0 | exit |
| 3.0ms | 13× | 3 | valid |
Compiled 35 098 to 35 234 computations (-0.4% saved)
ival-sqrt: 123.0ms (19% of total)ival-pow: 117.0ms (18.1% of total)ival-mult!: 97.0ms (15% of total)ival-div!: 94.0ms (14.5% of total)adjust: 71.0ms (11% of total)ival-add!: 37.0ms (5.7% of total)ival-sub!: 37.0ms (5.7% of total)ival-neg: 32.0ms (4.9% of total)ival-cbrt: 23.0ms (3.6% of total)ival-cos: 12.0ms (1.9% of total)ival-expm1: 2.0ms (0.3% of total)ival-log1p: 1.0ms (0.2% of total)ival-log: 1.0ms (0.2% of total)| 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)
Loading profile data...