Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 10.5min)

sample3.2min (30.9%)

Results
1.3min373107×256valid
14.8s72516×256infinite
5.5s10470×1024valid
1.2min7845×8192exit
3.1s7012×512valid
1.7s6503×256unsamplable
4.1s4452×512infinite
1.1s1915×2048valid
622.0ms1131×4096valid
112.0ms486×256invalid
82.0ms78×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 47.7s, 38.0% of total-time
Operation ival-mult, time spent: 21.8s, 17.0% of total-time
Operation ival-add, time spent: 11.6s, 9.0% of total-time
Operation ival-div, time spent: 9.0s, 7.0% of total-time
Operation ival-sub, time spent: 8.7s, 7.0% of total-time
Operation ival-pow, time spent: 6.8s, 5.0% of total-time
Operation ival-log, time spent: 3.4s, 3.0% of total-time
Operation ival-exp, time spent: 2.8s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-asin, time spent: 1.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival->, time spent: 859.0ms, 1.0% of total-time
Operation ival-<=, time spent: 674.0ms, 1.0% of total-time
Operation ival-pi, time spent: 633.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 622.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 581.0ms, 0.0% of total-time
Operation ival-neg, time spent: 542.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 256.0ms, 0.0% of total-time
Operation ival->=, time spent: 187.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 131.0ms, 0.0% of total-time
Operation ival-and, time spent: 107.0ms, 0.0% of total-time
Bogosity

localize2.2min (21.2%)

Compiler

Compiled 45741 to 25455 computations (44.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 18.5s, 20.0% of total-time
Operation ival-pow, time spent: 11.3s, 12.0% of total-time
Operation composed, time spent: 10.4s, 11.0% of total-time
Operation ival-add, time spent: 9.7s, 10.0% of total-time
Operation ival-asin, time spent: 8.8s, 9.0% of total-time
Operation ival-div, time spent: 7.2s, 8.0% of total-time
Operation ival-log, time spent: 6.6s, 7.0% of total-time
Operation ival-sub, time spent: 5.9s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 4.0% of total-time
Operation ival-exp, time spent: 2.4s, 3.0% of total-time
Operation const, time spent: 2.3s, 2.0% of total-time
Operation ival-acos, time spent: 2.3s, 2.0% of total-time
Operation ival-sin, time spent: 1.3s, 1.0% of total-time
Operation ival-cos, time spent: 1.1s, 1.0% of total-time
Operation ival-atan2, time spent: 659.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 629.0ms, 1.0% of total-time
Operation ival-neg, time spent: 302.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 78.0ms, 0.0% of total-time
Operation ival-pi, time spent: 59.0ms, 0.0% of total-time
Operation ival-e, time spent: 30.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 28.0ms, 0.0% of total-time

eval1.0min (9.9%)

Compiler

Compiled 2829916 to 1769201 computations (37.5% saved)

simplify50.3s (8%)

Algorithm
224×egg-herbie
Rules
123932×fma-define
99083×fma-neg
87016×distribute-lft-in
86540×associate-*r*
86016×*-commutative
Stop Event
57×saturated
162×node limit
30×fuel
5×unsound
27×done
Counts
65972 → 61624
Compiler

Compiled 9273 to 5679 computations (38.8% saved)

soundness42.3s (6.7%)

Rules
107091×fma-define
88362×fma-neg
73662×associate-*r*
64060×distribute-lft-in
58103×*-commutative
Stop Event
21×saturated
169×node limit
6×unsound
Compiler

Compiled 29593 to 17085 computations (42.3% saved)

preprocess36.4s (5.8%)

Algorithm
57×egg-herbie
Rules
40033×fma-neg
38663×fma-define
19396×unsub-neg
17401×distribute-lft-in
16736×sub-neg
Stop Event
32×saturated
25×node limit
Compiler

Compiled 42621 to 22608 computations (47% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.9s
Operation ival-mult, time spent: 2.6s, 24.0% of total-time
Operation ival-add, time spent: 2.1s, 19.0% of total-time
Operation ival-div, time spent: 1.8s, 17.0% of total-time
Operation ival-sub, time spent: 1.5s, 14.0% of total-time
Operation ival-log, time spent: 623.0ms, 6.0% of total-time
Operation const, time spent: 468.0ms, 4.0% of total-time
Operation ival-pow, time spent: 351.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 316.0ms, 3.0% of total-time
Operation ival-exp, time spent: 267.0ms, 2.0% of total-time
Operation ival-asin, time spent: 231.0ms, 2.0% of total-time
Operation composed, time spent: 216.0ms, 2.0% of total-time
Operation ival-sin, time spent: 102.0ms, 1.0% of total-time
Operation ival-cos, time spent: 99.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 76.0ms, 1.0% of total-time
Operation ival-neg, time spent: 39.0ms, 0.0% of total-time
Operation ival-pi, time spent: 29.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time

rewrite34.4s (5.5%)

Algorithm
167×batch-egg-rewrite
Rules
117868×log1p-expm1-u
90661×expm1-log1p-u
53953×prod-diff
52998×log-prod
42300×unpow-prod-down
Stop Event
163×node limit
4×unsound
Counts
1296 → 40351

regimes25.9s (4.1%)

Counts
6128 → 677
Calls

132 calls:

4.0s
y.im
3.1s
y.re
2.8s
x.re
2.5s
x.im
1.8s
im
Compiler

Compiled 5874 to 3944 computations (32.9% saved)

prune22.9s (3.6%)

Counts
86549 → 2701
Compiler

Compiled 122467 to 84357 computations (31.1% saved)

series11.7s (1.9%)

Counts
1296 → 25621
Calls

6537 calls:

TimeVariablePointExpression
221.0ms
y.re
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
218.0ms
rand
@inf
(* 1/3 (* rand (sqrt (- a 1/3))))
191.0ms
im
@-inf
(log (sqrt (pow (exp (sin im)) (exp re))))
153.0ms
x.im
@0
(sin (+ (* (log (neg x.re)) y.im) (* (atan2 x.im x.re) y.re)))
146.0ms
x.re
@0
(pow (exp y.im) (atan2 x.im x.re))

bsearch10.6s (1.7%)

Algorithm
308×binary-search
32×left-value
Stop Event
15×predicate-same
293×narrow-enough
Results
6.2s26261×256valid
1.3s5869×256infinite
1.0s1175×512infinite
189.0ms335×512valid
90.0ms290×1024valid
182.0ms258×2048valid
28.0ms56×4096valid
13.0ms12×1024infinite
Compiler

Compiled 62275 to 42968 computations (31% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
Operation ival-mult, time spent: 2.4s, 47.0% of total-time
Operation ival-add, time spent: 624.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 387.0ms, 8.0% of total-time
Operation ival-log, time spent: 309.0ms, 6.0% of total-time
Operation ival-div, time spent: 274.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 241.0ms, 5.0% of total-time
Operation ival-sin, time spent: 241.0ms, 5.0% of total-time
Operation ival-sub, time spent: 209.0ms, 4.0% of total-time
Operation ival-exp, time spent: 146.0ms, 3.0% of total-time
Operation ival-cos, time spent: 113.0ms, 2.0% of total-time
Operation const, time spent: 87.0ms, 2.0% of total-time
Operation ival-asin, time spent: 59.0ms, 1.0% of total-time
Operation ival-neg, time spent: 12.0ms, 0.0% of total-time
Operation ival-pi, time spent: 9.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 4.0ms, 0.0% of total-time

analyze4.3s (0.7%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%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 1558 to 1007 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
Operation ival-mult, time spent: 744.0ms, 28.0% of total-time
Operation ival-add, time spent: 392.0ms, 15.0% of total-time
Operation ival-log, time spent: 284.0ms, 11.0% of total-time
Operation ival-sub, time spent: 235.0ms, 9.0% of total-time
Operation ival-atan2, time spent: 233.0ms, 9.0% of total-time
Operation ival-div, time spent: 218.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 163.0ms, 6.0% of total-time
Operation ival-pow, time spent: 77.0ms, 3.0% of total-time
Operation ival-exp, time spent: 67.0ms, 3.0% of total-time
Operation ival-sin, time spent: 62.0ms, 2.0% of total-time
Operation const, time spent: 60.0ms, 2.0% of total-time
Operation ival-cos, time spent: 41.0ms, 2.0% of total-time
Operation ival-pi, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 14.0ms, 1.0% of total-time
Operation ival-<=, time spent: 12.0ms, 0.0% of total-time
Operation ival-neg, time spent: 6.0ms, 0.0% of total-time
Operation ival-and, time spent: 2.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time

end21.0ms (0%)

Profiling

Loading profile data...