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:1 782 042.5 MB

Time bar (total: 1.1hr)

rewrite41.5min (64.3%)

Memory
4 704.2MiB live, 998 818.0MiB allocated; 5.9min collecting garbage
Counts
17 759 → 1 024 801

series9.5min (14.7%)

Memory
3 683.5MiB live, 242 039.5MiB allocated; 1.1min collecting garbage
Counts
17 759 → 77 571
Calls

8955 calls:

TimeVariablePointExpression
403.0ms
z
@-inf
((- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (* -1 (* x (- (/ (log (+ 1 (* y (- (exp z) 1)))) (* t x)) 1))) -1 (* x (- (/ (log (+ 1 (* y (- (exp z) 1)))) (* t x)) 1)) x (- (/ (log (+ 1 (* y (- (exp z) 1)))) (* t x)) 1) (/ (log (+ 1 (* y (- (exp z) 1)))) (* t x)) (log (+ 1 (* y (- (exp z) 1)))) (* y (- (exp z) 1)) y (- (exp z) 1) z (* t x) t 1 (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (* -1 (* x (- (/ (log (- (+ 1 (* y (exp z))) y)) (* t x)) 1))) (* x (- (/ (log (- (+ 1 (* y (exp z))) y)) (* t x)) 1)) (- (/ (log (- (+ 1 (* y (exp z))) y)) (* t x)) 1) (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (/ (log (+ (- 1 y) (* y (exp z)))) t) (* z (+ (* 1/2 (/ (* z (+ y (* -1 (pow y 2)))) t)) (/ y t))) (* y (* z (+ (* 1/2 (/ z t)) (/ 1 t)))) (* z (+ (* 1/2 (/ z t)) (/ 1 t))) (+ (* 1/2 (/ z t)) (/ 1 t)) 1/2 (/ z t) (/ 1 t) (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (/ (log (+ (- 1 y) (* y (exp z)))) t) (* (+ (* (* t (* z 1/2)) (/ (- y (* y y)) t)) y) (/ z t)) (+ (* (* t (* z 1/2)) (/ (- y (* y y)) t)) y) (* t (* z 1/2)) (* z 1/2) (/ (- y (* y y)) t) (- y (* y y)) (* y y) (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (- (/ (* (log (+ (* (- (exp z) 1) y) 1)) (neg x)) (* t x)) (neg x)) (/ (* (log (+ (* (- (exp z) 1) y) 1)) (neg x)) (* t x)) (* (log (+ (* (- (exp z) 1) y) 1)) (neg x)) (log (+ (* (- (exp z) 1) y) 1)) (+ (* (- (exp z) 1) y) 1) (neg x))
244.0ms
t
@-inf
((+ (* (/ (log z) t) t) (+ (* (- a 1/2) (log t)) (- (log (+ x y)) t))) (/ (log z) t) (log z) z t (+ (* (- a 1/2) (log t)) (- (log (+ x y)) t)) (- a 1/2) a 1/2 (log t) (- (log (+ x y)) t) (log (+ x y)) (+ x y) x y (- (log (* (pow t (- a 1/2)) (* (+ x y) z))) t) (neg t) (- (+ (* (log t) (- a 1/2)) (log (+ x y))) (- t (log z))) (+ (* (log t) (- a 1/2)) (log (+ x y))) (log (+ x y)) (log x) (- t (log z)) (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (log (* (* (pow t (- a 1/2)) z) y)) t) (log (* (* (pow t (- a 1/2)) z) y)) (* (* (pow t (- a 1/2)) z) y) (* (pow t (- a 1/2)) z) (pow t (- a 1/2)) (+ (* (* (* (log t) (- a 1/2)) t) (/ 1 t)) (- (log (* (+ x y) z)) t)) (* (* (log t) (- a 1/2)) t) (* (log t) (- a 1/2)) (/ 1 t) 1 (- (log (* (+ x y) z)) t) (log (* (+ x y) z)) (* (+ x y) z))
201.0ms
x
@0
((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (* x (log y)) x (log y) y (* z (log (- 1 y))) z (log (- 1 y)) (- 1 y) 1 t)
199.0ms
x
@0
((/ (* x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b))) y) (* x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b))) x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b)) (- (+ (* y (log z)) (* (- t 1) (log a))) b) (+ (* y (log z)) (* (- t 1) (log a))) (* y (log z)) y (log z) z (* (- t 1) (log a)) (- t 1) t 1 (log a) a b)
191.0ms
z
@inf
((- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) x (/ (log (+ (- 1 y) (* y (exp z)))) t) (log (+ (- 1 y) (* y (exp z)))) (+ (- 1 y) (* y (exp z))) (- 1 y) 1 y (* y (exp z)) (exp z) z t)

sample5.3min (8.2%)

Memory
1 833.7MiB live, 179 703.8MiB allocated; 1.4min collecting garbage
Samples
2.9min2 144 532×0valid
24.6s69 702×1valid
10.4s63 493×0invalid
2.0s5 954×2valid
681.0ms1 191×5exit
558.0ms1 841×1invalid
175.0ms378×4exit
171.0ms672×3valid
19.0ms20×1exit
1.0ms4×4valid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-mult!: 34.0s (31.1% of total)
ival-div!: 13.2s (12.1% of total)
ival-sub!: 11.7s (10.7% of total)
ival-log: 11.3s (10.3% of total)
ival-add!: 9.6s (8.8% of total)
ival-sqrt: 7.3s (6.7% of total)
ival-sin: 5.7s (5.3% of total)
ival-cos: 4.8s (4.3% of total)
ival-exp: 4.1s (3.8% of total)
adjust: 4.1s (3.7% of total)
ival-cosh: 1.1s (1% of total)
ival-tan: 596.0ms (0.5% of total)
ival-acos: 569.0ms (0.5% of total)
ival-hypot: 443.0ms (0.4% of total)
ival-fabs: 325.0ms (0.3% of total)
ival-tanh: 243.0ms (0.2% of total)
ival-sinh: 224.0ms (0.2% of total)
Bogosity

eval4.1min (6.3%)

Memory
4 711.2MiB live, 180 574.3MiB allocated; 1.2min collecting garbage
Compiler

Compiled 11 705 486 to 3 949 943 computations (66.3% saved)

regimes1.2min (1.9%)

Memory
72.0MiB live, 56 926.7MiB allocated; 11.3s collecting garbage
Counts
30 365 → 4 146
Calls

507 calls:

9.0s
x
8.8s
y
6.3s
z
4.9s
t
3.6s
a
Compiler

Compiled 31 641 to 54 165 computations (-71.2% saved)

preprocess1.2min (1.8%)

Memory
-3 332.6MiB live, 40 403.6MiB allocated; 19.6s collecting garbage
Stop Event
254×node-limit
15×saturated
Compiler

Compiled 134 513 to 110 584 computations (17.8% saved)

prune53.1s (1.4%)

Memory
-473.7MiB live, 50 094.7MiB allocated; 11.6s collecting garbage
Counts
1 186 663 → 11 782
Compiler

Compiled 431 081 to 381 870 computations (11.4% saved)

bsearch31.9s (0.8%)

Memory
504.2MiB live, 19 310.3MiB allocated; 7.6s collecting garbage
Algorithm
1 485×binary-search
810×left-value
Stop Event
1 443×narrow-enough
42×predicate-same
Samples
16.4s121 682×0valid
1.2s3 524×1valid
283.0ms3 171×0invalid
11.0ms71×2valid
8.0ms33×1invalid
1.0ms3×3valid
Compiler

Compiled 571 549 to 580 420 computations (-1.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.5s
ival-mult!: 4.8s (50.7% of total)
ival-sub!: 1.1s (11.4% of total)
ival-add!: 786.0ms (8.2% of total)
ival-log: 675.0ms (7.1% of total)
ival-div!: 567.0ms (5.9% of total)
ival-cos: 552.0ms (5.8% of total)
ival-sin: 354.0ms (3.7% of total)
ival-sqrt: 253.0ms (2.7% of total)
ival-exp: 215.0ms (2.3% of total)
adjust: 208.0ms (2.2% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-sinh: 2.0ms (0% of total)
ival-cosh: 1.0ms (0% of total)
const: 0.0ms (0% of total)

analyze21.0s (0.5%)

Memory
-264.1MiB live, 13 322.2MiB allocated; 5.3s collecting garbage
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

derivations987.0ms (0%)

Memory
-228.2MiB live, 835.1MiB allocated; 199ms collecting garbage
Stop Event
153×fuel
116×done
Compiler

Compiled 25 874 to 16 872 computations (34.8% saved)

start13.0ms (0%)

Memory
11.5MiB live, 11.4MiB allocated; 0ms collecting garbage

end3.0ms (0%)

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

Profiling

Loading profile data...