Herbie run

Date:Friday, August 18th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023230
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.6min)

sample2.3min (30.6%)

Results
56.1s365123×body256valid
54.3s7733×body8192exit
10.0s65052×body256infinite
7.1s16254×body1024valid
3.8s8240×body1024infinite
2.2s8745×body512valid
1.3s3716×body512infinite
1.1s2229×body2048valid
1.0s4525×body256invalid
456.0ms1083×body4096valid
418.0ms4051×body256unsamplable
300.0ms152×body2048infinite
Bogosity

localize1.2min (15.5%)

Compiler

Compiled 45755 to 24933 computations (45.5% saved)

soundness1.0min (13.4%)

Rules
270220×fma-def
155080×associate-*r*
133210×log-prod
129768×fma-neg
124032×associate-*l*
Stop Event
12×unsound
21×saturated
342×node limit
Compiler

Compiled 34359 to 19827 computations (42.3% saved)

eval49.6s (10.9%)

Compiler

Compiled 2728336 to 1626848 computations (40.4% saved)

simplify36.9s (8.1%)

Algorithm
275×egg-herbie
Rules
163534×fma-def
99252×associate-*r*
85884×fma-neg
84942×associate-*l*
80262×times-frac
Stop Event
5×unsound
84×saturated
22×done
35×fuel
186×node limit
Counts
60827 → 53863
Compiler

Compiled 11719 to 7126 computations (39.2% saved)

regimes25.3s (5.6%)

Counts
6244 → 854
Calls

132 calls:

2.7s
im
2.5s
x.im
2.3s
y.im
2.2s
y.re
1.8s
re
Compiler

Compiled 92212 to 52771 computations (42.8% saved)

prune21.0s (4.6%)

Counts
77379 → 2951
Compiler

Compiled 192843 to 133374 computations (30.8% saved)

rewrite19.0s (4.2%)

Algorithm
161×batch-egg-rewrite
Rules
106948×pow1
101904×add-exp-log
101684×log1p-expm1-u
101672×expm1-log1p-u
99518×add-log-exp
Stop Event
5×unsound
156×node limit
Counts
1254 → 37161

bsearch12.0s (2.6%)

Algorithm
430×binary-search
37×left-value
Stop Event
414×narrow-enough
16×predicate-same
Results
5.2s30834×body256valid
2.0s4379×body1024infinite
1.8s9918×body256infinite
923.0ms2191×body1024valid
513.0ms1782×body512infinite
312.0ms945×body512valid
179.0ms248×body2048valid
69.0ms150×body4096valid
49.0ms49×body2048infinite
Compiler

Compiled 87275 to 60314 computations (30.9% saved)

preprocess10.5s (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 28420 to 14949 computations (47.4% saved)

series7.3s (1.6%)

Counts
1254 → 23609
Calls

6234 calls:

TimeVariablePointExpression
264.0ms
x.re
@inf
(pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (atan2.f64 x.im x.re)) 2)) (cbrt.f64 (atan2.f64 x.im x.re))) y.im)
151.0ms
re
@inf
(log.f64 (pow.f64 base (atan2.f64 im re)))
138.0ms
base
@0
(log.f64 (/.f64 (log.f64 base) (atan2.f64 im re)))
92.0ms
y.im
@0
(*.f64 y.im (log.f64 (hypot.f64 x.im x.re)))
83.0ms
x.im
@0
(cos.f64 (+.f64 (*.f64 -1 (*.f64 y.im (log.f64 (/.f64 -1 x.re)))) (*.f64 y.re (atan2.f64 x.im x.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...