Herbie run

Date:Friday, May 2nd, 2025
Commit:4dfb3dd9 on main
Seed:2025122
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:195 294.7 MB

Time bar (total: 2.8min)

sample1.1min (41.2%)

Memory
961.5MiB live, 79 269.1MiB allocated; 29.4s collecting garbage
Samples
28.2s224 448×0valid
7.8s65 713×0invalid
7.0s23 510×1valid
3.3s14 528×1invalid
2.9s9 871×2valid
2.6s6 349×3valid
178.0ms594×2invalid
32.0ms240×0exit
5.0ms14×4valid
4.0ms2×3exit
1.0ms2×5exit
Precisions
Click to see histograms. Total time spent on operations: 36.5s
ival-mult!: 9.5s (26% of total)
ival-div!: 4.5s (12.4% of total)
ival-sqrt: 2.9s (7.9% of total)
adjust: 2.6s (7.1% of total)
ival-pow2: 2.5s (6.9% of total)
ival-exp: 2.4s (6.7% of total)
ival-sub!: 2.1s (5.8% of total)
ival-sin: 2.1s (5.7% of total)
ival-pow: 2.1s (5.7% of total)
ival-add!: 1.3s (3.7% of total)
ival-cos: 1.0s (2.8% of total)
ival-tan: 883.0ms (2.4% of total)
ival-neg: 611.0ms (1.7% of total)
ival-acos: 578.0ms (1.6% of total)
ival-hypot: 357.0ms (1% of total)
ival-log: 294.0ms (0.8% of total)
ival-tanu: 234.0ms (0.6% of total)
ival-asin: 225.0ms (0.6% of total)
ival-atan: 154.0ms (0.4% of total)
ival-fabs: 46.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)
ival-and: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

rewrite27.5s (16.5%)

Memory
292.7MiB live, 29 283.3MiB allocated; 7.6s collecting garbage
Stop Event
301×iter-limit
122×node-limit
6×unsound
Counts
28 758 → 46 660

regimes14.5s (8.7%)

Memory
59.2MiB live, 18 510.2MiB allocated; 4.8s collecting garbage
Counts
9 346 → 676
Calls

156 calls:

760.0ms
EDonor
751.0ms
l
531.0ms
k
515.0ms
x
499.0ms
F
Compiler

Compiled 9 836 to 11 193 computations (-13.8% saved)

series14.4s (8.7%)

Memory
236.2MiB live, 17 225.4MiB allocated; 5.5s collecting garbage
Counts
4 513 → 24 245
Calls

1200 calls:

TimeVariablePointExpression
473.0ms
l
@-inf
((asin (sqrt (/ (- 1 (pow (/ Om Omc) 2)) (+ 1 (* 2 (pow (/ t l) 2)))))) (sqrt (/ (- 1 (pow (/ Om Omc) 2)) (+ 1 (* 2 (pow (/ t l) 2))))) (/ (- 1 (pow (/ Om Omc) 2)) (+ 1 (* 2 (pow (/ t l) 2)))) (- 1 (pow (/ Om Omc) 2)) 1 (pow (/ Om Omc) 2) (/ Om Omc) Om Omc 2 (+ 1 (* 2 (pow (/ t l) 2))) (* 2 (pow (/ t l) 2)) (pow (/ t l) 2) (/ t l) t l)
466.0ms
kx
@-inf
((sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (/ 1 2) 1 2 (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))) (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))) (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))) (pow (/ (* 2 l) Om) 2) (/ (* 2 l) Om) (* 2 l) l Om (+ (pow (sin kx) 2) (pow (sin ky) 2)) (pow (sin kx) 2) (sin kx) kx (pow (sin ky) 2) (sin ky) ky)
450.0ms
th
@inf
((* (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin th)) (/ (sin ky) (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2)))) (sin ky) ky (sqrt (+ (pow (sin kx) 2) (pow (sin ky) 2))) (+ (pow (sin kx) 2) (pow (sin ky) 2)) (pow (sin kx) 2) (sin kx) kx 2 (pow (sin ky) 2) (sin th) th)
342.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) 4 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) f) (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) (* (/ (PI) (* (PI) 1/2)) 0) (/ (PI) (* (PI) 1/2)) 0 (/ 2 (* (PI) 1/2)) (neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4)) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (* (/ 1 (PI)) 4) (/ 1 (PI)))
188.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) 4 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) f) (+ (* (* (/ (PI) (* (PI) 1/2)) 0) f) (/ 2 (* (PI) 1/2))) (* (/ (PI) (* (PI) 1/2)) 0) (/ (PI) (* (PI) 1/2)) 0 (/ 2 (* (PI) 1/2)) (neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (* (/ 1 (PI)) 4)) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (* (/ 1 (PI)) 4) (/ 1 (PI)))

analyze9.3s (5.6%)

Memory
-51.1MiB live, 9 732.4MiB allocated; 5.0s collecting garbage
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.6%43%1.8%0%10.6%0%9
52.1%45.5%41.8%1.8%0%11%0%10
53.9%46.7%40%1.8%0%11.5%0%11
55.6%47.9%38.2%1.8%0%12.1%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

derivations9.2s (5.6%)

Memory
105.5MiB live, 8 671.8MiB allocated; 1.6s collecting garbage
Stop Event
32×fuel
Compiler

Compiled 6 786 to 3 845 computations (43.3% saved)

preprocess8.0s (4.8%)

Memory
-145.9MiB live, 10 956.8MiB allocated; 2.0s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 96 580 to 73 768 computations (23.6% saved)

eval7.2s (4.3%)

Memory
376.9MiB live, 10 968.1MiB allocated; 2.3s collecting garbage
Compiler

Compiled 1 031 668 to 256 096 computations (75.2% saved)

prune4.3s (2.6%)

Memory
-76.2MiB live, 6 790.3MiB allocated; 1.2s collecting garbage
Counts
45 891 → 2 847
Compiler

Compiled 166 860 to 135 768 computations (18.6% saved)

bsearch3.2s (1.9%)

Memory
30.0MiB live, 3 884.0MiB allocated; 825ms collecting garbage
Algorithm
193×binary-search
162×left-value
Stop Event
184×narrow-enough
9×predicate-same
Samples
1.5s12 386×0valid
135.0ms1 388×0invalid
105.0ms538×1valid
60.0ms88×3valid
31.0ms76×2valid
10.0ms1×2invalid
5.0ms32×1invalid
1.0ms1×5exit
Compiler

Compiled 85 944 to 82 959 computations (3.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult!: 261.0ms (20.1% of total)
ival-div!: 138.0ms (10.6% of total)
ival-sin: 134.0ms (10.3% of total)
ival-pow2: 108.0ms (8.3% of total)
ival-pow: 108.0ms (8.3% of total)
ival-sub!: 104.0ms (8% of total)
adjust: 88.0ms (6.8% of total)
ival-tan: 87.0ms (6.7% of total)
ival-sqrt: 80.0ms (6.2% of total)
ival-add!: 76.0ms (5.8% of total)
ival-neg: 35.0ms (2.7% of total)
ival-exp: 33.0ms (2.5% of total)
ival-cos: 19.0ms (1.5% of total)
ival-hypot: 15.0ms (1.2% of total)
ival-tanu: 9.0ms (0.7% of total)
ival-fabs: 3.0ms (0.2% of total)
ival-atan: 1.0ms (0.1% of total)
ival-log: 1.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

start1.0ms (0%)

Memory
2.9MiB live, 2.8MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...