Herbie run

Date:Saturday, August 26th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023238
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: 8.5min)

sample2.3min (27.2%)

Results
56.7s364754×body256valid
52.9s8009×body8192exit
9.8s65102×body256infinite
7.4s15991×body1024valid
4.4s8749×body1024infinite
2.4s8841×body512valid
1.1s3671×body512infinite
1.0s2234×body2048valid
799.0ms4842×body256invalid
524.0ms1143×body4096valid
506.0ms4407×body256unsamplable
261.0ms119×body2048infinite
Bogosity

localize1.6min (19.4%)

Compiler

Compiled 53411 to 29616 computations (44.6% saved)

eval1.1min (13.4%)

Compiler

Compiled 3399515 to 2082569 computations (38.7% saved)

soundness1.1min (12.7%)

Rules
262796×fma-def
156866×associate-*r*
139994×log-prod
134458×fma-neg
128266×associate-*l*
Stop Event
5×unsound
21×saturated
363×node limit
Compiler

Compiled 40587 to 24362 computations (40% saved)

simplify37.3s (7.3%)

Algorithm
283×egg-herbie
Rules
167846×fma-def
99498×associate-*r*
90820×log-prod
88790×fma-neg
88600×distribute-lft-in
Stop Event
3×unsound
84×saturated
21×done
36×fuel
196×node limit
Counts
64506 → 56140
Compiler

Compiled 11847 to 7386 computations (37.7% saved)

regimes27.2s (5.3%)

Counts
6671 → 855
Calls

132 calls:

3.7s
y.re
2.2s
x.re
2.2s
im
2.1s
x.im
2.1s
y.im
Compiler

Compiled 107196 to 60458 computations (43.6% saved)

prune24.3s (4.8%)

Counts
87416 → 3063
Compiler

Compiled 233265 to 164185 computations (29.6% saved)

rewrite19.0s (3.7%)

Algorithm
169×batch-egg-rewrite
Rules
112202×pow1
107072×add-exp-log
106842×log1p-expm1-u
106826×expm1-log1p-u
104780×add-log-exp
Stop Event
4×unsound
165×node limit
Counts
1378 → 38020

bsearch11.5s (2.3%)

Algorithm
425×binary-search
33×left-value
Stop Event
409×narrow-enough
16×predicate-same
Results
5.8s32693×body256valid
1.6s8311×body256infinite
1.4s2841×body1024infinite
692.0ms1593×body1024valid
510.0ms1207×body512infinite
318.0ms1158×body512valid
222.0ms444×body2048valid
123.0ms73×body2048infinite
84.0ms80×body4096valid
Compiler

Compiled 85993 to 59359 computations (31% saved)

preprocess10.4s (2%)

Algorithm
57×egg-herbie
Rules
55988×fma-def
22788×fma-neg
19448×distribute-lft-in
18620×distribute-rgt-in
16356×sub-neg
Stop Event
23×saturated
34×node limit
Compiler

Compiled 28710 to 15559 computations (45.8% saved)

series7.4s (1.5%)

Counts
1378 → 26429
Calls

6912 calls:

TimeVariablePointExpression
116.0ms
y.re
@inf
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 y.im (fma.f64 1/2 (/.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (neg.f64 (log.f64 (/.f64 -1 x.re))))))
112.0ms
y.re
@0
(*.f64 (log.f64 (fma.f64 -1/2 (/.f64 x.re (/.f64 x.im x.re)) (neg.f64 x.im))) y.re)
110.0ms
x
@0
(log.f64 (pow.f64 (exp.f64 (fabs.f64 x)) 3275911/10000000))
84.0ms
im
@0
(/.f64 (log.f64 im) (log.f64 10))
70.0ms
re
@0
(*.f64 (sin.f64 im) (/.f64 (-.f64 (*.f64 re re) (*.f64 (+.f64 1 (*.f64 1/2 (*.f64 re re))) (+.f64 1 (*.f64 1/2 (*.f64 re re))))) (-.f64 (-.f64 re 1) (*.f64 1/2 (*.f64 re re)))))

analyze2.0s (0.4%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.8%48.1%38.2%13.7%0%0%0%1
64.2%54.3%30.3%13.7%0%1.7%0%2
82%67.3%14.7%13.7%0%4.3%0%3
85.4%69.8%11.9%13.7%0%4.5%0%4
90%73.5%8.1%13.7%0%4.6%0%5
91.3%74.3%7.1%13.7%0%4.9%0%6
93.8%75.5%5%13.7%0%5.8%0%7
94.8%76.2%4.2%13.7%0%5.9%0%8
95.2%76.5%3.9%13.7%0%5.9%0%9
96.4%77.1%2.8%13.7%0%6.4%0%10
96.5%77.1%2.8%13.7%0%6.4%0%11
96.7%77.3%2.6%13.7%0%6.4%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

end11.0ms (0%)

Profiling

Loading profile data...