Herbie run

Date:Friday, January 19th, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024019
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)

sample2.8min (26.4%)

Results
1.2min372804×body256valid
1.1min7631×body8192exit
13.0s72707×body256infinite
6.0s10496×body1024valid
3.8s4472×body512infinite
2.5s7056×body512valid
1.2s1959×body2048valid
1.1s5401×body256unsamplable
548.0ms1072×body4096valid
94.0ms76×body1024infinite
63.0ms519×body256invalid
Bogosity

localize2.0min (19%)

Compiler

Compiled 51277 to 29434 computations (42.6% saved)

soundness1.5min (14.6%)

Rules
217054×fma-def
153286×associate-*r*
112177×associate-*l*
105896×log-prod
101107×*-commutative
Stop Event
23×unsound
14×saturated
357×node limit
Compiler

Compiled 42197 to 24302 computations (42.4% saved)

eval1.1min (10.3%)

Compiler

Compiled 3015794 to 1931669 computations (35.9% saved)

simplify45.2s (7.1%)

Algorithm
223×egg-herbie
Rules
119775×fma-def
79702×associate-*r*
77725×log-prod
67711×*-commutative
67638×associate-*l*
Stop Event
9×unsound
58×saturated
20×done
37×fuel
156×node limit
Counts
64774 → 56498
Compiler

Compiled 11586 to 7107 computations (38.7% saved)

rewrite34.1s (5.4%)

Algorithm
166×batch-egg-rewrite
Rules
99097×log1p-expm1-u
75921×expm1-log1p-u
57853×expm1-udef
51966×log-prod
51562×log1p-udef
Stop Event
7×unsound
159×node limit
Counts
1270 → 40777

regimes32.9s (5.2%)

Counts
6808 → 763
Calls

132 calls:

4.6s
y.re
4.2s
y.im
3.9s
x.re
3.3s
x.im
1.8s
x
Compiler

Compiled 111607 to 61129 computations (45.2% saved)

prune25.2s (4%)

Counts
86251 → 2892
Compiler

Compiled 204311 to 143190 computations (29.9% saved)

preprocess24.6s (3.9%)

Algorithm
57×egg-herbie
Rules
62146×fma-def
21928×distribute-lft-in
21764×fma-neg
21538×distribute-rgt-in
20904×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 43696 to 23459 computations (46.3% saved)

bsearch11.4s (1.8%)

Algorithm
323×binary-search
51×left-value
Stop Event
312×narrow-enough
11×predicate-same
Results
6.7s30950×body256valid
2.1s2360×body512infinite
816.0ms4290×body256infinite
461.0ms597×body2048valid
180.0ms423×body512valid
137.0ms119×body4096valid
67.0ms219×body1024valid
58.0ms50×body1024infinite
Compiler

Compiled 78684 to 53187 computations (32.4% saved)

series10.3s (1.6%)

Counts
1270 → 23997
Calls

6459 calls:

TimeVariablePointExpression
267.0ms
x
@inf
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 x -3) (pow.f64 x -2)))) 1)
164.0ms
x.im
@inf
(cos.f64 (+.f64 (*.f64 y.im (log.f64 x.im)) (*.f64 y.re (atan2.f64 x.im x.re))))
158.0ms
base
@inf
(-.f64 (exp.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) 1)
142.0ms
re
@-inf
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))))
126.0ms
x.re
@0
(*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (hypot.f64 y.re y.im)))

analyze3.5s (0.5%)

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)

end19.0ms (0%)

Profiling

Loading profile data...