Herbie run

Date:Friday, October 6th, 2023
Commit:f10612bf on report-tolerance
Hostname:nightly with Racket 8.6
Seed:2023279
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.1min (28.3%)

Results
1.3min365820×body256valid
1.1min7543×body8192exit
16.3s64363×body256infinite
10.1s16032×body1024valid
6.1s8147×body1024infinite
3.4s9090×body512valid
1.8s2252×body2048valid
1.7s3715×body512infinite
1.1s4794×body256invalid
825.0ms1043×body4096valid
527.0ms4055×body256unsamplable
175.0ms132×body2048infinite
Bogosity

localize2.2min (20%)

Compiler

Compiled 47084 to 26092 computations (44.6% saved)

eval1.3min (12.2%)

Compiler

Compiled 2923356 to 1793250 computations (38.7% saved)

soundness1.2min (11.1%)

Rules
237894×fma-def
145176×associate-*r*
129528×fma-neg
125678×log-prod
110462×associate-*l*
Stop Event
10×unsound
15×saturated
337×node limit
Compiler

Compiled 42273 to 25764 computations (39.1% saved)

simplify42.5s (6.5%)

Algorithm
209×egg-herbie
Rules
115510×fma-def
78438×associate-*r*
76594×log-prod
68828×associate-*l*
66616×fma-neg
Stop Event
4×unsound
57×saturated
22×done
35×fuel
148×node limit
Counts
59545 → 50189
Compiler

Compiled 12260 to 7679 computations (37.4% saved)

regimes39.3s (6%)

Counts
6856 → 812
Calls

128 calls:

6.1s
y.re
5.0s
y.im
4.4s
x.im
3.1s
im
2.6s
x.re
Compiler

Compiled 119066 to 74436 computations (37.5% saved)

prune31.4s (4.8%)

Counts
79233 → 2854
Compiler

Compiled 220722 to 156006 computations (29.3% saved)

rewrite26.8s (4.1%)

Algorithm
152×batch-egg-rewrite
Rules
98516×pow1
94100×add-exp-log
93890×log1p-expm1-u
93874×expm1-log1p-u
90346×add-log-exp
Stop Event
4×unsound
148×node limit
Counts
1220 → 36407

preprocess18.7s (2.8%)

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 29487 to 15928 computations (46% saved)

bsearch15.2s (2.3%)

Algorithm
390×binary-search
48×left-value
Stop Event
379×narrow-enough
11×predicate-same
Results
7.6s32426×body256valid
2.7s2812×body1024infinite
1.4s5986×body256infinite
1.0s1556×body512infinite
728.0ms1361×body1024valid
323.0ms896×body512valid
147.0ms76×body2048infinite
42.0ms81×body2048valid
13.0ms22×body4096valid
Compiler

Compiled 87034 to 60496 computations (30.5% saved)

series9.6s (1.5%)

Counts
1220 → 23138
Calls

6183 calls:

TimeVariablePointExpression
333.0ms
re
@0
(pow.f64 (/.f64 1 (cbrt.f64 (/.f64 (log.f64 base) (atan2.f64 im re)))) 3)
198.0ms
base
@inf
(exp.f64 (neg.f64 (log.f64 (log.f64 base))))
159.0ms
x
@-inf
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
157.0ms
x
@0
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
151.0ms
x.re
@inf
(sin.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (pow.f64 (cbrt.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im)))) 3)))

analyze3.1s (0.5%)

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)

end15.0ms (0%)

Profiling

Loading profile data...