Herbie run

Date:Tuesday, July 18th, 2023
Commit:6cb26432 on main
Hostname:nightly with Racket 8.6
Seed:2023199
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: 7.9min)

sample2.3min (29.5%)

Results
57.2s364940×body256valid
52.1s7688×body8192exit
10.1s65043×body256infinite
7.2s16159×body1024valid
4.6s8379×body1024infinite
3.0s8830×body512valid
1.5s3750×body512infinite
1.2s2269×body2048valid
833.0ms4527×body256invalid
621.0ms4624×body256unsamplable
438.0ms1095×body4096valid
201.0ms146×body2048infinite
Bogosity

localize1.5min (18.6%)

Compiler

Compiled 48281 to 26863 computations (44.4% saved)

soundness1.1min (13.4%)

Rules
244978×fma-def
155874×associate-*r*
132492×log-prod
126150×times-frac
123294×associate-*l*
Stop Event
10×unsound
21×saturated
371×node limit
Compiler

Compiled 43469 to 25854 computations (40.5% saved)

eval54.7s (11.6%)

Compiler

Compiled 2964358 to 1808955 computations (39% saved)

simplify34.0s (7.2%)

Algorithm
274×egg-herbie
Rules
159284×fma-def
92544×associate-*r*
88330×times-frac
86244×fma-neg
79578×log-prod
Stop Event
3×unsound
84×saturated
22×done
35×fuel
187×node limit
Counts
57540 → 51716
Compiler

Compiled 11146 to 7191 computations (35.5% saved)

regimes24.6s (5.2%)

Counts
6288 → 813
Calls

130 calls:

2.6s
im
2.4s
y.re
2.3s
x.im
1.8s
y.im
1.8s
x.re
Compiler

Compiled 96847 to 57408 computations (40.7% saved)

prune20.6s (4.4%)

Counts
82218 → 2926
Compiler

Compiled 206851 to 143818 computations (30.5% saved)

rewrite17.9s (3.8%)

Algorithm
160×batch-egg-rewrite
Rules
102802×pow1
98110×add-exp-log
97860×log1p-expm1-u
97850×expm1-log1p-u
92928×add-log-exp
Stop Event
4×unsound
156×node limit
Counts
1226 → 34913

preprocess10.7s (2.3%)

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 27454 to 15343 computations (44.1% saved)

bsearch10.6s (2.2%)

Algorithm
394×binary-search
34×left-value
Stop Event
383×narrow-enough
11×predicate-same
Results
4.8s29948×body256valid
1.5s3068×body1024infinite
1.3s9193×body256infinite
970.0ms2030×body1024valid
542.0ms1869×body512infinite
443.0ms1111×body512valid
78.0ms206×body2048valid
23.0ms22×body2048infinite
22.0ms57×body4096valid
Compiler

Compiled 82292 to 57897 computations (29.6% saved)

series7.2s (1.5%)

Counts
1226 → 22570
Calls

6048 calls:

TimeVariablePointExpression
137.0ms
x
@inf
(*.f64 -2 (*.f64 wj x))
94.0ms
x
@inf
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -5))) 1)
80.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
79.0ms
im
@0
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (pow.f64 im 3) -1/6))))
75.0ms
x.re
@0
(sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.im)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))

analyze1.9s (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)

end8.0ms (0%)

Profiling

Loading profile data...