Herbie run

Date:Monday, June 2nd, 2025
Commit:c64524ab on sound-egglog
Seed:2025153
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:proofsgenerate:egglog
default
Memory:413 027.8 MB

Time bar (total: 11.9min)

rewrite6.8min (57.3%)

Memory
1 292.1MiB live, 219 866.2MiB allocated; 1.2min collecting garbage
Counts
4 963 → 259 259

series2.4min (20%)

Memory
266.5MiB live, 71 329.9MiB allocated; 28.2s collecting garbage
Counts
4 963 → 17 264
Calls

1218 calls:

TimeVariablePointExpression
730.0ms
im
@inf
((/ (log (sqrt (+ (* re re) (* im im)))) (log 10)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) re im (log 10) 10 (/ (log (sqrt (+ (* re re) (* im im)))) (log 10)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (* -1 im) -1 (/ (log (sqrt (+ (* re re) (* im im)))) (log 10)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (* -1 re) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10)) (log (sqrt (+ (* re re) (* im im)))) (* -1 (log (/ -1 re))) (log (/ -1 re)) (/ -1 re) (/ (log (sqrt (+ (* re re) (* im im)))) (log 10)) (log (sqrt (+ (* re re) (* im im)))) (* -1 (log (/ 1 im))) (log (/ 1 im)) (/ 1 im) 1)
547.0ms
x
@-inf
((log (/ x (log x))) (/ x (log x)) x (log x))
119.0ms
base
@-inf
((/ (+ (* (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 (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) re im (log base) base (* (atan2 im re) 0) 0 (* (log base) (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (* -1 (/ (log (/ -1 im)) (log base))) (* (/ 1 (log base)) (log (neg im))) (/ 1 (log base)) 1 (log (neg im)) (neg im) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (* (log (* -1 im)) (log base)) (* (log base) (log base))) (* (log (* -1 im)) (log base)) (log (* -1 im)) (* -1 im) -1 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (* -1 re) (+ (* (log base) (log base)) (* 0 0)) (* 0 0) (* (/ (* (log base) (log base)) (* (log base) (* (log base) (log base)))) (log (sqrt (+ (* re re) (* im im))))) (/ (* (log base) (log base)) (* (log base) (* (log base) (log base)))) (* (log base) (* (log base) (log base))) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im))
106.0ms
base
@0
((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (atan2 im re) (log base)) (atan2 im re) im re (log base) base (* (log (sqrt (+ (* re re) (* im im)))) 0) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (* im im) 0 (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0))
106.0ms
base
@0
((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) re im (log base) base (* (atan2 im re) 0) (atan2 im re) 0 (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (* -1 (/ (log (/ -1 im)) (log base))) -1 (/ (log (/ -1 im)) (log base)) (log (/ -1 im)) (/ -1 im) (* (/ (log base) (* (log base) (log base))) (log (sqrt (+ (* re re) (* im im))))) (/ (log base) (* (log base) (log base))) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* im im) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* -1 (* (log base) (log (/ 1 im)))) (* (log base) (log (/ 1 im))) (log (/ 1 im)) (/ 1 im) 1 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (* -1 (/ (log (sqrt (+ (pow im 2) (pow re 2)))) (log (/ 1 base)))) (/ (log (sqrt (+ (pow im 2) (pow re 2)))) (log (/ 1 base))) (log (sqrt (+ (pow im 2) (pow re 2)))) (sqrt (+ (pow im 2) (pow re 2))) (+ (pow im 2) (pow re 2)) (pow im 2) 2 (pow re 2) (log (/ 1 base)) (/ 1 base))

sample1.2min (10.2%)

Memory
412.2MiB live, 46 373.3MiB allocated; 21.9s collecting garbage
Samples
37.0s433 973×0valid
8.8s26 315×1valid
4.3s9 419×2valid
1.2s4 379×0invalid
1.1s9 598×0exit
295.0ms930×3valid
Precisions
Click to see histograms. Total time spent on operations: 36.1s
ival-mult!: 9.6s (26.6% of total)
ival-exp: 3.8s (10.4% of total)
ival-hypot: 3.4s (9.5% of total)
ival-add!: 2.3s (6.3% of total)
ival-div!: 2.1s (5.8% of total)
ival-asin: 1.7s (4.7% of total)
ival-log: 1.6s (4.4% of total)
adjust: 1.6s (4.3% of total)
ival-sin: 1.4s (4% of total)
ival-neg: 1.3s (3.6% of total)
ival-fabs: 1.2s (3.4% of total)
ival-cos: 1.1s (3.1% of total)
ival-sub!: 1.0s (2.8% of total)
ival-pow: 956.0ms (2.6% of total)
ival-atan2: 904.0ms (2.5% of total)
ival-sqrt: 641.0ms (1.8% of total)
ival-sinu: 542.0ms (1.5% of total)
ival-asinh: 431.0ms (1.2% of total)
ival-acosh: 255.0ms (0.7% of total)
ival-atanh: 222.0ms (0.6% of total)
ival-cosu: 153.0ms (0.4% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

eval54.5s (7.6%)

Memory
727.5MiB live, 47 434.7MiB allocated; 19.7s collecting garbage
Compiler

Compiled 3 974 837 to 1 169 273 computations (70.6% saved)

prune10.8s (1.5%)

Memory
-253.8MiB live, 11 722.2MiB allocated; 3.4s collecting garbage
Counts
295 569 → 2 355
Compiler

Compiled 138 522 to 103 665 computations (25.2% saved)

preprocess10.5s (1.5%)

Memory
-268.9MiB live, 6 639.5MiB allocated; 1.9s collecting garbage
Stop Event
48×node-limit
9×saturated
Compiler

Compiled 31 296 to 23 441 computations (25.1% saved)

regimes8.2s (1.1%)

Memory
-47.5MiB live, 6 381.2MiB allocated; 1.1s collecting garbage
Counts
5 879 → 583
Calls

131 calls:

562.0ms
im
370.0ms
re
365.0ms
x.re
360.0ms
x.im
357.0ms
x
Compiler

Compiled 10 568 to 8 355 computations (20.9% saved)

analyze2.7s (0.4%)

Memory
-130.2MiB live, 2 056.9MiB allocated; 628ms 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)

bsearch2.6s (0.4%)

Memory
43.7MiB live, 1 090.3MiB allocated; 262ms collecting garbage
Algorithm
159×binary-search
101×left-value
Stop Event
150×narrow-enough
9×predicate-same
Samples
1.1s10 099×0valid
417.0ms1 175×1valid
26.0ms121×2valid
23.0ms77×3valid
Compiler

Compiled 65 348 to 55 319 computations (15.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult!: 438.0ms (40.3% of total)
ival-hypot: 202.0ms (18.6% of total)
ival-log: 88.0ms (8.1% of total)
ival-sin: 69.0ms (6.4% of total)
adjust: 51.0ms (4.7% of total)
ival-add!: 45.0ms (4.1% of total)
ival-exp: 42.0ms (3.9% of total)
ival-atan2: 41.0ms (3.8% of total)
ival-sub!: 32.0ms (2.9% of total)
ival-sqrt: 27.0ms (2.5% of total)
ival-div!: 26.0ms (2.4% of total)
ival-cos: 22.0ms (2% of total)
ival-fabs: 1.0ms (0.1% of total)
ival-neg: 1.0ms (0.1% of total)

derivations167.0ms (0%)

Memory
-5.1MiB live, 129.3MiB allocated; 21ms collecting garbage
Stop Event
34×fuel
22×done
Compiler

Compiled 6 184 to 3 516 computations (43.1% saved)

start4.0ms (0%)

Memory
3.9MiB live, 3.8MiB allocated; 0ms collecting garbage

end1.0ms (0%)

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

Profiling

Loading profile data...