Herbie run

Date:Monday, October 2nd, 2023
Commit:2a64fc33 on main
Hostname:nightly with Racket 8.6
Seed:2023275
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: 11.0min)

sample3.2min (29%)

Results
1.3min365260×body256valid
1.1min7756×body8192exit
15.2s64819×body256infinite
10.1s15905×body1024valid
6.0s8438×body1024infinite
3.6s8970×body512valid
2.0s3750×body512infinite
1.8s2245×body2048valid
920.0ms4495×body256invalid
760.0ms4360×body256unsamplable
598.0ms1083×body4096valid
144.0ms129×body2048infinite
Bogosity

localize1.7min (15.8%)

Compiler

Compiled 45549 to 25048 computations (45% saved)

soundness1.5min (14.1%)

Rules
292174×fma-def
173366×associate-*r*
156456×fma-neg
138976×associate-*l*
137896×distribute-lft-in
Stop Event
14×unsound
16×saturated
411×node limit
Compiler

Compiled 46621 to 29818 computations (36% saved)

eval1.3min (11.8%)

Compiler

Compiled 2611958 to 1560456 computations (40.3% saved)

simplify47.0s (7.1%)

Algorithm
227×egg-herbie
Rules
124488×fma-def
87312×associate-*r*
79858×log-prod
78318×fma-neg
74488×associate-*l*
Stop Event
7×unsound
57×saturated
19×done
38×fuel
163×node limit
Counts
61627 → 54384
Compiler

Compiled 11320 to 7353 computations (35% saved)

regimes39.8s (6%)

Counts
7165 → 815
Calls

132 calls:

3.9s
y.re
3.8s
im
3.7s
x
3.3s
y.im
2.7s
re
Compiler

Compiled 127801 to 78728 computations (38.4% saved)

prune34.0s (5.2%)

Counts
75663 → 2979
Compiler

Compiled 210945 to 147157 computations (30.2% saved)

rewrite27.6s (4.2%)

Algorithm
170×batch-egg-rewrite
Rules
110900×pow1
105644×add-exp-log
105424×log1p-expm1-u
105400×expm1-log1p-u
100240×add-log-exp
Stop Event
5×unsound
165×node limit
Counts
1291 → 37368

preprocess17.6s (2.7%)

Algorithm
57×egg-herbie
Rules
62588×fma-def
24052×fma-neg
20432×distribute-lft-in
19572×distribute-rgt-in
18676×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 27513 to 15428 computations (43.9% saved)

bsearch16.1s (2.4%)

Algorithm
372×binary-search
41×left-value
Stop Event
360×narrow-enough
12×predicate-same
Results
8.0s30448×body256valid
2.0s6749×body256infinite
2.0s2420×body1024infinite
1.2s1918×body1024valid
784.0ms1697×body512infinite
456.0ms1200×body512valid
198.0ms292×body2048valid
111.0ms72×body2048infinite
16.0ms20×body4096valid
Compiler

Compiled 79534 to 56460 computations (29% saved)

series9.5s (1.4%)

Counts
1291 → 24259
Calls

6348 calls:

TimeVariablePointExpression
176.0ms
re
@0
(pow.f64 (/.f64 (log.f64 base) (log.f64 (hypot.f64 re im))) -3)
176.0ms
x
@0
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
146.0ms
x
@0
(log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/2 (PI.f64) (*.f64 (asin.f64 (sqrt.f64 (+.f64 1/2 (*.f64 x -1/2)))) -2)))))
139.0ms
y.re
@0
(*.f64 (log.f64 (/.f64 -1 x.im)) (neg.f64 y.re))
135.0ms
u1
@0
(pow.f64 (*.f64 (log.f64 u1) -2) 3/2)

analyze2.1s (0.3%)

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...