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:233 778.9 MB

Time bar (total: 3.2min)

sample1.2min (37.3%)

Memory
1 049.9MiB live, 89 524.7MiB allocated; 30.1s collecting garbage
Samples
38.7s434 023×0valid
7.3s26 323×1valid
4.1s9 299×2valid
1.1s4 474×0invalid
832.0ms8 442×0exit
386.0ms960×3valid
Precisions
Click to see histograms. Total time spent on operations: 34.2s
ival-mult!: 10.1s (29.4% of total)
ival-exp: 4.1s (12% of total)
ival-hypot: 2.7s (8% of total)
ival-add!: 2.6s (7.6% of total)
ival-div!: 2.0s (5.9% of total)
adjust: 1.7s (5.1% of total)
ival-log: 1.7s (4.8% of total)
ival-sin: 1.5s (4.5% of total)
ival-asin: 1.5s (4.4% of total)
ival-sub!: 1.3s (3.8% of total)
ival-cos: 1.1s (3.3% of total)
ival-atan2: 836.0ms (2.4% of total)
ival-sqrt: 693.0ms (2% of total)
ival-atanh: 403.0ms (1.2% of total)
ival-sinu: 395.0ms (1.2% of total)
ival-asinh: 346.0ms (1% of total)
ival-fabs: 297.0ms (0.9% of total)
ival-pow: 284.0ms (0.8% of total)
ival-neg: 255.0ms (0.7% of total)
ival-acosh: 238.0ms (0.7% of total)
ival-cosu: 98.0ms (0.3% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite44.8s (23.1%)

Memory
1 079.5MiB live, 49 432.7MiB allocated; 16.2s collecting garbage
Stop Event
461×iter-limit
178×node-limit
16×unsound
4×saturated
Counts
23 224 → 60 677

series19.1s (9.9%)

Memory
510.5MiB live, 21 587.8MiB allocated; 11.1s collecting garbage
Counts
5 138 → 18 086
Calls

1206 calls:

TimeVariablePointExpression
1.0s
re
@0
((/ (neg (log (sqrt (+ (* re re) (* im im))))) (log 1/10)) (neg (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im)))) (log im) im (log 1/10) 1/10 (/ (neg (log (sqrt (+ (* re re) (* im im))))) (log 1/10)) (neg (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im)))) (log re) re (/ (neg (log (sqrt (+ (* re re) (* im im))))) (log 1/10)) (neg (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (neg im) (/ (neg (log (sqrt (+ (* re re) (* im im))))) (log 1/10)) (neg (log (sqrt (+ (* re re) (* im im))))) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (neg re) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im) (log 10) 10)
1.0s
im
@inf
((/ (atan2 im re) (log 10)) (atan2 im re) im re (log 10) 10)
1.0s
x
@0
((copysign (asinh (fabs x)) x) (asinh (fabs x)) (fabs x) x (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (log x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (neg x) (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (sqrt (+ (* x x) 1)) 1 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x) (log (+ (fabs x) (sqrt (+ (* x x) 1)))) (+ (fabs x) (sqrt (+ (* x x) 1))) (* (+ (/ (fabs x) x) 1) x) (+ (/ (fabs x) x) 1) (/ (fabs x) x))
1.0s
u2
@inf
((+ (* (* (* (cos (* (+ (PI) (PI)) u2)) (sqrt 2)) 1/6) (sqrt (neg (log u1)))) 1/2) (* (* (cos (* (+ (PI) (PI)) u2)) (sqrt 2)) 1/6) (* (cos (* (+ (PI) (PI)) u2)) (sqrt 2)) (cos (* (+ (PI) (PI)) u2)) (* (+ (PI) (PI)) u2) (+ (PI) (PI)) (PI) u2 (sqrt 2) 2 1/6 (sqrt (neg (log u1))) (neg (log u1)) (log u1) u1 1/2 (+ (* (* (* (cos (* u2 (+ (PI) (PI)))) 1/6) (sqrt 2)) (sqrt (neg (log u1)))) 1/2) (* (* (cos (* u2 (+ (PI) (PI)))) 1/6) (sqrt 2)) (* (cos (* u2 (+ (PI) (PI)))) 1/6) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (/ 1 (pow (* (log u1) -2) -1/2)) 1/6) 1/2) (/ 1 (pow (* (log u1) -2) -1/2)) 1 (pow (* (log u1) -2) -1/2) (* (log u1) -2) -2 -1/2 (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (/ (- (pow (* (sqrt (* (log u1) -2)) 1/6) 2) 1/4) (- (* (sqrt (* (log u1) -2)) 1/6) 1/2)) (- (pow (* (sqrt (* (log u1) -2)) 1/6) 2) 1/4) (pow (* (sqrt (* (log u1) -2)) 1/6) 2) (* (sqrt (* (log u1) -2)) 1/6) (sqrt (* (log u1) -2)) 1/4 (- (* (sqrt (* (log u1) -2)) 1/6) 1/2) (+ (* (* (* (cos (* u2 (+ (PI) (PI)))) 1/6) (/ 2 (sqrt 2))) (sqrt (neg (log u1)))) 1/2) (* (* (cos (* u2 (+ (PI) (PI)))) 1/6) (/ 2 (sqrt 2))) (* (cos (* u2 (+ (PI) (PI)))) 1/6) (cos (* u2 (+ (PI) (PI)))) (* u2 (+ (PI) (PI))) (/ 2 (sqrt 2)))
813.0ms
im
@-inf
((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (* (atan2 im re) (/ 1 (log base))) (atan2 im re) im re (/ 1 (log base)) 1 (log base) base (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (exp (log (log base)))) (exp (log (log base))) (log (log base)) (/ (exp (* (log (* (log base) (atan2 im re))) 1)) (* (log base) (log base))) (exp (* (log (* (log base) (atan2 im re))) 1)) (* (log (* (log base) (atan2 im re))) 1) (log (* (log base) (atan2 im re))) (* (log base) (atan2 im re)) (* (log base) (log base)) (/ (+ (* (log base) (* (atan2 im re) (* (log base) (log base)))) 0) (pow (log base) 4)) (+ (* (log base) (* (atan2 im re) (* (log base) (log base)))) 0) (* (atan2 im re) (* (log base) (log base))) 0 (pow (log base) 4) 4 (/ (+ (* (/ (* (log base) (atan2 im re)) (log base)) (* (log base) (log base))) (* (log base) 0)) (pow (log base) 3)) (+ (* (/ (* (log base) (atan2 im re)) (log base)) (* (log base) (log base))) (* (log base) 0)) (/ (* (log base) (atan2 im re)) (log base)) (* (log base) 0) (pow (log base) 3) 3)

derivations14.2s (7.3%)

Memory
-295.2MiB live, 12 303.2MiB allocated; 4.5s collecting garbage
Stop Event
34×fuel
23×done
Compiler

Compiled 7 877 to 3 873 computations (50.8% saved)

eval11.5s (6%)

Memory
-192.6MiB live, 17 181.5MiB allocated; 5.5s collecting garbage
Compiler

Compiled 1 313 682 to 317 940 computations (75.8% saved)

regimes11.2s (5.8%)

Memory
-198.4MiB live, 16 192.9MiB allocated; 3.8s collecting garbage
Counts
6 325 → 693
Calls

132 calls:

680.0ms
x
614.0ms
re
410.0ms
(fabs.f64 x)
398.0ms
x.re
397.0ms
im
Compiler

Compiled 12 901 to 9 946 computations (22.9% saved)

preprocess10.6s (5.5%)

Memory
-378.4MiB live, 12 407.5MiB allocated; 2.6s collecting garbage
Stop Event
48×node-limit
9×saturated
Compiler

Compiled 41 934 to 29 420 computations (29.8% saved)

prune5.0s (2.6%)

Memory
19.5MiB live, 8 502.9MiB allocated; 1.6s collecting garbage
Counts
60 763 → 2 748
Compiler

Compiled 172 558 to 119 249 computations (30.9% saved)

bsearch2.5s (1.3%)

Memory
63.3MiB live, 3 517.2MiB allocated; 630ms collecting garbage
Algorithm
165×binary-search
158×left-value
Stop Event
161×narrow-enough
4×predicate-same
Samples
1.0s11 093×0valid
462.0ms1 234×1valid
34.0ms99×2valid
9.0ms38×3valid
Compiler

Compiled 81 427 to 67 934 computations (16.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult!: 334.0ms (29.7% of total)
ival-log: 150.0ms (13.3% of total)
ival-hypot: 143.0ms (12.7% of total)
ival-add!: 101.0ms (9% of total)
ival-exp: 93.0ms (8.3% of total)
ival-sin: 89.0ms (7.9% of total)
adjust: 65.0ms (5.8% of total)
ival-atan2: 51.0ms (4.5% of total)
ival-cos: 34.0ms (3% of total)
ival-div!: 26.0ms (2.3% of total)
ival-sub!: 25.0ms (2.2% of total)
ival-sqrt: 10.0ms (0.9% of total)
ival-fabs: 3.0ms (0.3% of total)

analyze2.2s (1.2%)

Memory
138.4MiB live, 3 121.0MiB allocated; 669ms collecting garbage
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 816 computations (45.5% saved)

start3.0ms (0%)

Memory
6.6MiB live, 6.5MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
1.2MiB live, 1.1MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...