Herbie run

Date:Saturday, December 16th, 2023
Commit:665878db on main
Hostname:nightly with Racket 8.6
Seed:2023350
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: 34.4min)

soundness6.8min (19.9%)

Rules
1225110×fma-def
629038×associate-*r*
553832×times-frac
536974×log-prod
499440×fma-neg
Stop Event
81×saturated
5×unsound
1531×node limit
Compiler

Compiled 106493 to 58994 computations (44.6% saved)

sample5.9min (17%)

Results
4.2min1820378×body256valid
52.9s342146×body256infinite
12.5s64235×body256invalid
12.3s26401×body1024valid
7.5s22230×body512valid
4.8s7674×body2048valid
1.7s1613×body8192exit
332.0ms1175×body512infinite
308.0ms839×body1024infinite
219.0ms723×body1024invalid
108.0ms581×body512invalid
17.0ms21×body4096valid
Bogosity

regimes4.9min (14.3%)

Counts
33335 → 5754
Calls

491 calls:

47.5s
z
47.5s
x
44.6s
y
28.3s
t
25.7s
a
Compiler

Compiled 380372 to 212138 computations (44.2% saved)

simplify3.2min (9.4%)

Algorithm
1067×egg-herbie
Rules
598718×fma-def
436060×log-prod
385810×associate-*r*
359410×times-frac
335138×associate-*l*
Stop Event
76×done
8×unsound
268×saturated
193×fuel
791×node limit
Counts
358839 → 264855
Compiler

Compiled 63856 to 39266 computations (38.5% saved)

localize3.1min (9%)

Compiler

Compiled 107827 to 47161 computations (56.3% saved)

eval2.8min (8.3%)

Compiler

Compiled 7796371 to 4146051 computations (46.8% saved)

rewrite2.0min (5.9%)

Algorithm
798×batch-egg-rewrite
Rules
499297×log1p-expm1-u
375442×expm1-log1p-u
297704×prod-diff
290652×expm1-udef
271052×log1p-udef
Stop Event
1×unsound
797×node limit
Counts
5468 → 210905

prune1.8min (5.3%)

Counts
338240 → 13105
Compiler

Compiled 696256 to 487004 computations (30.1% saved)

bsearch1.5min (4.5%)

Algorithm
3469×binary-search
262×left-value
Stop Event
3419×narrow-enough
50×predicate-same
Results
53.9s327853×body256valid
27.4s88938×body256infinite
1.2s2763×body1024valid
1.1s3685×body512valid
1.1s8018×body256invalid
83.0ms251×body2048valid
67.0ms33×body512infinite
20.0ms31×body512invalid
4.0ms12×body1024infinite
3.0ms12×body1024invalid
0.0ms1×body4096valid
Compiler

Compiled 753828 to 568645 computations (24.6% saved)

preprocess1.4min (4.1%)

Algorithm
269×egg-herbie
Rules
366494×fma-def
126856×fma-neg
120926×sub-neg
110364×unsub-neg
108576×div-sub
Stop Event
123×saturated
146×node limit
Compiler

Compiled 178770 to 90620 computations (49.3% saved)

series31.6s (1.5%)

Counts
5468 → 147934
Calls

38676 calls:

TimeVariablePointExpression
334.0ms
x
@0
(*.f64 x (log.f64 y))
241.0ms
y1
@inf
(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))) (*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0))))
231.0ms
y
@inf
(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
231.0ms
t
@-inf
(/.f64 (+.f64 (*.f64 t x) (*.f64 x y)) z)
203.0ms
y
@-inf
(cbrt.f64 (*.f64 y z))

analyze15.4s (0.7%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%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.2%0.1%0%5.6%0%8
84.4%79.3%14.7%0.1%0%5.9%0%9
86%80.5%13.1%0.1%0%6.2%0%10
88.5%82.9%10.7%0.1%0%6.2%0%11
89.6%83.7%9.7%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

end51.0ms (0%)

Profiling

Loading profile data...