Herbie run

Date:Wednesday, July 19th, 2023
Commit:bd6d1628 on memory-leak
Hostname:nightly with Racket 8.6
Seed:2023200
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.8min)

sample2.3min (29.5%)

Results
56.9s366259×body256valid
52.4s7753×body8192exit
9.5s64036×body256infinite
7.6s16018×body1024valid
3.9s8229×body1024infinite
2.4s8778×body512valid
1.8s3839×body512infinite
1.0s2232×body2048valid
698.0ms4698×body256invalid
569.0ms4504×body256unsamplable
430.0ms1082×body4096valid
121.0ms131×body2048infinite
Bogosity

localize1.3min (16.3%)

Compiler

Compiled 48028 to 26672 computations (44.5% saved)

soundness59.2s (12.6%)

Rules
233950×fma-def
130800×fma-neg
126308×associate-*r*
107298×log-prod
106226×associate-*l*
Stop Event
7×unsound
20×saturated
331×node limit
Compiler

Compiled 36815 to 22811 computations (38% saved)

eval59.1s (12.6%)

Compiler

Compiled 3135520 to 1883255 computations (39.9% saved)

simplify37.8s (8.1%)

Algorithm
277×egg-herbie
Rules
162150×fma-def
93042×fma-neg
88212×associate-*r*
81308×unswap-sqr
79974×times-frac
Stop Event
3×unsound
84×saturated
21×done
36×fuel
190×node limit
Counts
61955 → 55046
Compiler

Compiled 10643 to 6712 computations (36.9% saved)

regimes25.7s (5.5%)

Counts
6204 → 809
Calls

130 calls:

2.8s
y.re
2.7s
y.im
2.3s
im
2.2s
x.im
2.1s
re
Compiler

Compiled 107823 to 64747 computations (40% saved)

prune21.4s (4.6%)

Counts
82623 → 2944
Compiler

Compiled 197822 to 137852 computations (30.3% saved)

rewrite18.9s (4%)

Algorithm
163×batch-egg-rewrite
Rules
108370×pow1
103186×add-exp-log
102962×log1p-expm1-u
102946×expm1-log1p-u
99272×add-log-exp
Stop Event
4×unsound
159×node limit
Counts
1301 → 37282

preprocess11.3s (2.4%)

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 26238 to 14457 computations (44.9% saved)

bsearch11.1s (2.4%)

Algorithm
411×binary-search
37×left-value
Stop Event
401×narrow-enough
10×predicate-same
Results
5.4s33176×body256valid
1.6s2408×body1024infinite
1.1s7263×body256infinite
1.1s2637×body1024valid
396.0ms1590×body512valid
363.0ms1232×body512infinite
230.0ms485×body2048valid
65.0ms126×body4096valid
58.0ms59×body2048infinite
Compiler

Compiled 80583 to 57094 computations (29.1% saved)

series7.7s (1.7%)

Counts
1301 → 24616
Calls

6522 calls:

TimeVariablePointExpression
158.0ms
re
@-inf
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))
150.0ms
z
@0
(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (+.f64 (/.f64 -883075145810703/5000000000000 (-.f64 4 z)) (/.f64 2501468655737381/200000000000000 (-.f64 5 z))))
114.0ms
u1
@inf
(pow.f64 (pow.f64 (*.f64 -2 (log.f64 u1)) 1/4) 2)
102.0ms
im
@0
(/.f64 (log.f64 im) (log.f64 base))
94.0ms
x
@inf
(-.f64 (exp.f64 (log1p.f64 (pow.f64 x -5))) 1)

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

end10.0ms (0%)

Profiling

Loading profile data...