Herbie run

Date:Tuesday, June 3rd, 2025
Commit:89281e69 on sound-4k-nodes
Seed:2025154
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:168 034.2 MB

Time bar (total: 2.3min)

sample1.5min (65.8%)

Memory
810.9MiB live, 103 212.5MiB allocated; 36.2s collecting garbage
Samples
24.9s44 761×2valid
16.4s96 825×1valid
15.0s146 424×0invalid
10.5s6 038×5exit
6.8s86 044×0valid
2.5s3 534×3valid
445.0ms4 266×0exit
163.0ms1 100×1exit
122.0ms140×4exit
5.0ms2×3exit
4.0ms4×4valid
1.0ms1×2exit
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-tan: 11.5s (18.5% of total)
ival-pow: 10.6s (16.9% of total)
adjust: 6.4s (10.3% of total)
ival-mult!: 4.9s (7.9% of total)
ival-cos: 4.3s (7% of total)
ival-div!: 3.7s (5.9% of total)
ival-log: 3.6s (5.7% of total)
ival-sin: 3.0s (4.8% of total)
ival-exp: 2.5s (4.1% of total)
ival-expm1: 1.9s (3.1% of total)
ival-add!: 1.9s (3% of total)
ival-sub!: 1.7s (2.7% of total)
ival-fabs: 1.3s (2.1% of total)
ival-sqrt: 1.2s (2% of total)
ival-log1p: 1.2s (1.9% of total)
ival-<: 511.0ms (0.8% of total)
ival-cbrt: 511.0ms (0.8% of total)
ival-<=: 455.0ms (0.7% of total)
ival-atan: 362.0ms (0.6% of total)
ival-and: 326.0ms (0.5% of total)
ival-neg: 319.0ms (0.5% of total)
ival-fmin: 80.0ms (0.1% of total)
ival-assert: 66.0ms (0.1% of total)
ival->: 2.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

rewrite17.2s (12.2%)

Memory
-622.0MiB live, 19 601.3MiB allocated; 6.8s collecting garbage
Stop Event
212×iter-limit
106×node-limit
Counts
2 522 → 95 662

eval11.1s (7.9%)

Memory
660.6MiB live, 17 752.6MiB allocated; 3.7s collecting garbage
Compiler

Compiled 1 083 851 to 350 432 computations (67.7% saved)

series5.2s (3.7%)

Memory
268.5MiB live, 7 879.9MiB allocated; 1.2s collecting garbage
Stop Event
106×iter-limit
Counts
2 522 → 8 409
Calls

495 calls:

TimeVariablePointExpression
101.0ms
n
@0
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (neg (log (/ x (- x -1)))) n) (neg (log (/ x (- x -1)))) (log (/ x (- x -1))) (/ x (- x -1)) x (- x -1) -1 n (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (/ 1 (* n x)) 1 (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (* (/ 1 x) (- x -1))) n) (log (* (/ 1 x) (- x -1))) (* (/ 1 x) (- x -1)) (/ 1 x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (+ (log (+ 1 x)) (* 1/2 (/ (pow (log (+ 1 x)) 2) n))) (+ (log x) (* 1/2 (/ (pow (log x) 2) n)))) n) (/ (+ 1 (* -1 (/ (log (/ 1 x)) n))) (* n x)) (+ 1 (* -1 (/ (log (/ 1 x)) n))) (* -1 (/ (log (/ 1 x)) n)) (/ (log (/ 1 x)) n) (log (/ 1 x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (/ (* (exp (* -1 (/ (log (/ 1 x)) n))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n)))) x)) x) (+ (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (/ (* (exp (* -1 (/ (log (/ 1 x)) n))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n)))) x)) (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (exp (* -1 (/ (log (/ 1 x)) n))))
77.0ms
n
@0
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (+ (log (+ 1 x)) (* 1/2 (/ (pow (log (+ 1 x)) 2) n))) (+ (log x) (* 1/2 (/ (pow (log x) 2) n)))) n) (- (+ (log (+ 1 x)) (* 1/2 (/ (pow (log (+ 1 x)) 2) n))) (+ (log x) (* 1/2 (/ (pow (log x) 2) n)))) (+ (log (+ 1 x)) (* 1/2 (/ (pow (log (+ 1 x)) 2) n))) (log (+ 1 x)) (+ 1 x) 1 x (* 1/2 (/ (pow (log (+ 1 x)) 2) n)) 1/2 (/ (pow (log (+ 1 x)) 2) n) (pow (log (+ 1 x)) 2) 2 n (+ (log x) (* 1/2 (/ (pow (log x) 2) n))) (log x) (* 1/2 (/ (pow (log x) 2) n)) (/ (pow (log x) 2) n) (pow (log x) 2) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ 1 (/ x n)) (/ x n) (pow x (/ 1 n)) (/ 1 n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ x 1) (pow x (/ 1 n)) (+ 1 (/ (log x) n)) (/ (log x) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (/ (* (exp (* -1 (/ (log (/ 1 x)) n))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n)))) x)) x) (+ (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (/ (* (exp (* -1 (/ (log (/ 1 x)) n))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n)))) x)) (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (exp (* -1 (/ (log (/ 1 x)) n))) (* -1 (/ (log (/ 1 x)) n)) -1 (/ (log (/ 1 x)) n) (log (/ 1 x)) (/ 1 x) (/ (* (exp (* -1 (/ (log (/ 1 x)) n))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n)))) x) (* (exp (* -1 (/ (log (/ 1 x)) n))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n)))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n))) (* 1/2 (/ 1 (pow n 2))) (/ 1 (pow n 2)) (pow n 2) (* 1/2 (/ 1 n)))
71.0ms
x
@0
((- (cbrt (+ x 1)) (cbrt x)) (+ (* -1/9 (pow x -5/3)) (exp (* (log (* (pow x 2/3) 3)) -1))) -1/9 (pow x -5/3) x -5/3 (exp (* (log (* (pow x 2/3) 3)) -1)) (* (log (* (pow x 2/3) 3)) -1) (log (* (pow x 2/3) 3)) (* (pow x 2/3) 3) (pow x 2/3) 2/3 3 -1 (- (cbrt (+ x 1)) (cbrt x)) (* (* (pow x -5/3) 1/3) x) (* (pow x -5/3) 1/3) 1/3 (- (cbrt (- x -1)) (cbrt x)) (cbrt (- x -1)) (+ 1 (* x (+ 1/3 (* -1/9 x)))) 1 (* x (+ 1/3 (* -1/9 x))) (+ 1/3 (* -1/9 x)) (* -1/9 x) (cbrt x) (- (cbrt (+ x 1)) (cbrt x)) (* x (* (+ (* 1/3 (pow x 1)) -1/9) (pow x -8/3))) (* (+ (* 1/3 (pow x 1)) -1/9) (pow x -8/3)) (+ (* 1/3 (pow x 1)) -1/9) (pow x 1) (pow x -8/3) -8/3 (+ (* (cbrt (* (- x -1) 4)) (cbrt 1/4)) (neg (cbrt x))) (cbrt (* (- x -1) 4)) (* (- x -1) 4) (- x -1) 4 (cbrt 1/4) 1/4 (neg (cbrt x)))
69.0ms
n
@inf
((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (neg (log (/ x (- x -1)))) n) (neg (log (/ x (- x -1)))) (log (/ x (- x -1))) (/ x (- x -1)) x (- x -1) -1 n (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (/ 1 (* n x)) 1 (* n x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (* (/ 1 x) (- x -1))) n) (log (* (/ 1 x) (- x -1))) (* (/ 1 x) (- x -1)) (/ 1 x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (+ (log (+ 1 x)) (* 1/2 (/ (pow (log (+ 1 x)) 2) n))) (+ (log x) (* 1/2 (/ (pow (log x) 2) n)))) n) (/ (+ 1 (* -1 (/ (log (/ 1 x)) n))) (* n x)) (+ 1 (* -1 (/ (log (/ 1 x)) n))) (* -1 (/ (log (/ 1 x)) n)) (/ (log (/ 1 x)) n) (log (/ 1 x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (/ (* (exp (* -1 (/ (log (/ 1 x)) n))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n)))) x)) x) (+ (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (/ (* (exp (* -1 (/ (log (/ 1 x)) n))) (- (* 1/2 (/ 1 (pow n 2))) (* 1/2 (/ 1 n)))) x)) (/ (exp (* -1 (/ (log (/ 1 x)) n))) n) (exp (* -1 (/ (log (/ 1 x)) n))))
59.0ms
x
@0
((- (cbrt (+ x 1)) (cbrt x)) (/ 1/3 (pow x 2/3)) 1/3 (pow x 2/3) x 2/3 (- (cbrt (+ x 1)) (cbrt x)) 0 (- (cbrt (- x -1)) (cbrt x)) (cbrt (- x -1)) (- x -1) -1 (cbrt x) (- (cbrt (+ x 1)) (cbrt x)) (* x (- (* 1/3 (/ 1 (pow x 5/3))) (* 1/9 (/ 1 (pow x 8/3))))) (- (* 1/3 (/ 1 (pow x 5/3))) (* 1/9 (/ 1 (pow x 8/3)))) (* 1/3 (/ 1 (pow x 5/3))) (/ 1 (pow x 5/3)) 1 (pow x 5/3) 5/3 (* 1/9 (/ 1 (pow x 8/3))) 1/9 (/ 1 (pow x 8/3)) (pow x 8/3) 8/3 (- (* (cbrt (/ (+ (* 2 x) 2) 4)) (cbrt 2)) (cbrt x)) (* (cbrt (/ (+ (* 2 x) 2) 4)) (cbrt 2)) (cbrt (/ (+ (* 2 x) 2) 4)) (/ (+ (* 2 x) 2) 4) (+ (* 2 x) 2) 2 4 (cbrt 2))

prune3.2s (2.3%)

Memory
-236.8MiB live, 5 116.4MiB allocated; 824ms collecting garbage
Counts
86 916 → 1 661
Compiler

Compiled 56 830 to 46 890 computations (17.5% saved)

preprocess3.2s (2.3%)

Memory
150.1MiB live, 4 466.2MiB allocated; 1.3s collecting garbage
Stop Event
28×node-limit
Compiler

Compiled 5 519 to 4 322 computations (21.7% saved)

regimes2.8s (2%)

Memory
164.9MiB live, 4 198.8MiB allocated; 636ms collecting garbage
Counts
3 747 → 276
Calls

43 calls:

857.0ms
x
360.0ms
eps
135.0ms
b
117.0ms
(-.f64 (cbrt.f64 (+.f64 x #s(literal 1 binary64))) (cbrt.f64 x))
117.0ms
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
Compiler

Compiled 1 532 to 1 627 computations (-6.2% saved)

derivations2.2s (1.6%)

Memory
-208.8MiB live, 2 150.3MiB allocated; 325ms collecting garbage
Stop Event
22×fuel
6×done
Compiler

Compiled 2 335 to 1 511 computations (35.3% saved)

analyze2.0s (1.4%)

Memory
126.4MiB live, 2 007.3MiB allocated; 1.2s collecting garbage
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch1.2s (0.9%)

Memory
105.4MiB live, 1 646.6MiB allocated; 309ms collecting garbage
Algorithm
77×binary-search
23×left-value
Stop Event
76×narrow-enough
1×predicate-same
Samples
342.0ms4 219×0valid
183.0ms377×2valid
118.0ms963×1valid
91.0ms1 317×0invalid
2.0ms9×3valid
1.0ms15×0exit
Compiler

Compiled 22 374 to 23 141 computations (-3.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 460.0ms
ival-mult!: 98.0ms (21.3% of total)
ival-pow: 88.0ms (19.1% of total)
ival-div!: 63.0ms (13.7% of total)
ival-sqrt: 52.0ms (11.3% of total)
adjust: 40.0ms (8.7% of total)
ival-neg: 38.0ms (8.3% of total)
ival-add!: 31.0ms (6.7% of total)
ival-sub!: 24.0ms (5.2% of total)
ival-cos: 16.0ms (3.5% of total)
ival-cbrt: 3.0ms (0.7% of total)
ival-log1p: 3.0ms (0.7% of total)
ival-log: 2.0ms (0.4% of total)
ival-expm1: 1.0ms (0.2% of total)

start1.0ms (0%)

Memory
1.8MiB live, 1.8MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...