Herbie run

Date:Wednesday, May 14th, 2025
Commit:79007786 on artem-rules-updates
Seed:2025134
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:205 039.1 MB

Time bar (total: 3.2min)

sample1.3min (39.5%)

Memory
1 002.9MiB live, 82 717.4MiB allocated; 32.3s collecting garbage
Samples
40.4s433 852×0valid
7.4s26 395×1valid
5.2s9 372×2valid
1.3s4 355×0invalid
990.0ms8 497×0exit
562.0ms985×3valid
Precisions
Click to see histograms. Total time spent on operations: 36.3s
ival-mult!: 10.9s (30.1% of total)
ival-exp: 3.7s (10.1% of total)
ival-add!: 3.4s (9.2% of total)
ival-hypot: 2.7s (7.5% of total)
ival-div!: 2.1s (5.9% of total)
ival-asin: 2.0s (5.4% of total)
ival-log: 1.9s (5.1% of total)
adjust: 1.8s (4.9% of total)
ival-cos: 1.7s (4.6% of total)
ival-sin: 1.1s (3.1% of total)
ival-sub!: 935.0ms (2.6% of total)
ival-atan2: 924.0ms (2.5% of total)
ival-sqrt: 738.0ms (2% of total)
ival-sinu: 523.0ms (1.4% of total)
ival-pow: 399.0ms (1.1% of total)
ival-acosh: 383.0ms (1.1% of total)
ival-fabs: 355.0ms (1% of total)
ival-neg: 274.0ms (0.8% of total)
ival-asinh: 265.0ms (0.7% of total)
ival-atanh: 227.0ms (0.6% of total)
ival-cosu: 95.0ms (0.3% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite44.1s (22.8%)

Memory
504.8MiB live, 39 720.9MiB allocated; 10.6s collecting garbage
Stop Event
274×iter-limit
201×saturated
170×node-limit
24×unsound
Counts
21 605 → 42 707

series15.4s (7.9%)

Memory
671.0MiB live, 17 625.0MiB allocated; 5.3s collecting garbage
Counts
4 864 → 16 741
Calls

1221 calls:

TimeVariablePointExpression
1.3s
re
@-inf
((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (* (log im) (/ 1 (log base))) (log im) im (/ 1 (log base)) 1 (log base) base (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (* (log re) (/ 1 (log base))) (log re) re (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log base) (log base))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log im) (log base)) (* (log base) (log base)) (* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ 1 (* (log base) (log base)))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log re) (log base)) (/ 1 (* (log base) (log base))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log base) (log base))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (neg (log (/ -1 im))) (log base)) (neg (log (/ -1 im))) (log (/ -1 im)) (/ -1 im) -1)
187.0ms
base
@-inf
((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log (fabs im)) (log base)) (log (fabs im)) (fabs im) im (log base) base (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log (fabs re)) (log base)) (log (fabs re)) (fabs re) re (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (* (neg (log (/ -1 re))) (/ 1 (log base))) (neg (log (/ -1 re))) (log (/ -1 re)) (/ -1 re) -1 (/ 1 (log base)) 1 (* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ 1 (* (log base) (log base)))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log im) (log base)) (log im) (/ 1 (* (log base) (log base))) (* (log base) (log base)) (* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ 1 (* (log base) (log base)))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (neg (log (/ -1 im))) (log base)) (neg (log (/ -1 im))) (log (/ -1 im)) (/ -1 im))
163.0ms
y.re
@0
((* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* x.re x.re) (* x.im x.im)) (* x.re x.re) x.re (* x.im x.im) x.im y.re (* (atan2 x.im x.re) y.im) (atan2 x.im x.re) y.im (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))
152.0ms
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))
150.0ms
u2
@inf
((+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2) (sqrt (* (log u1) -2)) (* (log u1) -2) (log u1) u1 -2 1/6 1/2 (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2))) 1/6) 1/2) (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2))) (cos (* u2 (+ (PI) (PI)))) (* u2 (+ (PI) (PI))) u2 (+ (PI) (PI)) (PI) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) (+ (* (* (* u2 u2) (* (* (PI) (PI)) (sqrt (* (log u1) -2)))) -1/3) (* (sqrt (* (log u1) -2)) 1/6)) (* (* u2 u2) (* (* (PI) (PI)) (sqrt (* (log u1) -2)))) (* u2 u2) (* (* (PI) (PI)) (sqrt (* (log u1) -2))) (* (PI) (PI)) -1/3 (* (sqrt (* (log u1) -2)) 1/6) (+ (* (* (/ 1 6) (pow (log (pow u1 -2)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (/ 1 6) (pow (log (pow u1 -2)) 1/2)) (cos (* (* 2 (PI)) u2))) (* (/ 1 6) (pow (log (pow u1 -2)) 1/2)) (/ 1 6) 1 6 (pow (log (pow u1 -2)) 1/2) (log (pow u1 -2)) (pow u1 -2) (cos (* (* 2 (PI)) u2)) (* (* 2 (PI)) u2) (* 2 (PI)) 2)

derivations14.7s (7.6%)

Memory
168.9MiB live, 12 309.5MiB allocated; 3.6s collecting garbage
Stop Event
32×fuel
25×done
Compiler

Compiled 7 087 to 3 861 computations (45.5% saved)

preprocess11.5s (6%)

Memory
-560.9MiB live, 12 629.7MiB allocated; 4.2s collecting garbage
Stop Event
48×node-limit
9×saturated
Compiler

Compiled 42 170 to 31 064 computations (26.3% saved)

regimes10.5s (5.4%)

Memory
-112.4MiB live, 13 942.4MiB allocated; 3.7s collecting garbage
Counts
5 877 → 717
Calls

132 calls:

979.0ms
x
595.0ms
im
577.0ms
y.re
371.0ms
re
333.0ms
x.re
Compiler

Compiled 11 149 to 9 160 computations (17.8% saved)

eval9.1s (4.7%)

Memory
69.9MiB live, 10 804.5MiB allocated; 4.0s collecting garbage
Compiler

Compiled 714 784 to 214 690 computations (70% saved)

prune5.2s (2.7%)

Memory
25.0MiB live, 6 305.5MiB allocated; 2.6s collecting garbage
Counts
43 152 → 2 336
Compiler

Compiled 144 439 to 103 600 computations (28.3% saved)

bsearch4.2s (2.2%)

Memory
52.5MiB live, 5 169.7MiB allocated; 1.1s collecting garbage
Algorithm
200×binary-search
151×left-value
Stop Event
196×narrow-enough
4×predicate-same
Samples
1.7s12 927×0valid
873.0ms1 998×1valid
54.0ms203×2valid
30.0ms120×3valid
Compiler

Compiled 90 617 to 76 099 computations (16% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult!: 472.0ms (25.5% of total)
ival-hypot: 321.0ms (17.3% of total)
ival-add!: 268.0ms (14.5% of total)
adjust: 154.0ms (8.3% of total)
ival-log: 149.0ms (8% of total)
ival-atan2: 129.0ms (7% of total)
ival-cos: 102.0ms (5.5% of total)
ival-sin: 99.0ms (5.3% of total)
ival-exp: 71.0ms (3.8% of total)
ival-sub!: 44.0ms (2.4% of total)
ival-div!: 29.0ms (1.6% of total)
ival-sqrt: 14.0ms (0.8% of total)
ival-fabs: 3.0ms (0.2% of total)
ival-neg: 1.0ms (0.1% of total)

analyze2.5s (1.3%)

Memory
158.7MiB live, 3 807.2MiB allocated; 894ms 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)

start18.0ms (0%)

Memory
-36.7MiB live, 6.1MiB allocated; 11ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...