Herbie run

Date:Wednesday, October 25th, 2023
Commit:29308b35 on main
Hostname:nightly with Racket 8.6
Seed:2023298
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: 8.0min)

sample2.3min (29.3%)

Results
56.2s364718×body256valid
52.9s7927×body8192exit
10.2s64913×body256infinite
7.8s15946×body1024valid
4.5s8595×body1024infinite
2.5s8812×body512valid
1.7s2370×body2048valid
1.4s4001×body512infinite
896.0ms4502×body256invalid
554.0ms1092×body4096valid
515.0ms4471×body256unsamplable
204.0ms157×body2048infinite
Bogosity

localize1.3min (16.6%)

Compiler

Compiled 44709 to 25599 computations (42.7% saved)

soundness1.1min (13.2%)

Rules
195586×fma-def
113886×associate-*r*
99712×fma-neg
96774×log-prod
91284×*-commutative
Stop Event
14×unsound
14×saturated
297×node limit
Compiler

Compiled 31113 to 18101 computations (41.8% saved)

eval59.9s (12.5%)

Compiler

Compiled 2813270 to 1883681 computations (33% saved)

simplify35.2s (7.3%)

Algorithm
209×egg-herbie
Rules
112662×fma-def
69722×log-prod
64958×*-commutative
64282×fma-neg
63254×times-frac
Stop Event
5×unsound
57×saturated
25×done
32×fuel
147×node limit
Counts
57655 → 53525
Compiler

Compiled 10816 to 6677 computations (38.3% saved)

rewrite21.7s (4.5%)

Algorithm
152×batch-egg-rewrite
Rules
92823×log1p-expm1-u
74384×expm1-log1p-u
54470×expm1-udef
51810×log1p-udef
47814×prod-diff
Stop Event
4×unsound
148×node limit
Counts
1115 → 36649

regimes21.6s (4.5%)

Counts
5374 → 735
Calls

128 calls:

2.4s
y.im
1.9s
y.re
1.9s
im
1.9s
x.re
1.4s
re
Compiler

Compiled 95282 to 60414 computations (36.6% saved)

prune21.1s (4.4%)

Counts
75566 → 2509
Compiler

Compiled 203440 to 147620 computations (27.4% saved)

preprocess18.5s (3.9%)

Algorithm
57×egg-herbie
Rules
62588×fma-def
24180×fma-neg
20450×distribute-lft-in
19552×distribute-rgt-in
18588×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 32932 to 17140 computations (48% saved)

bsearch10.4s (2.2%)

Algorithm
357×binary-search
40×left-value
Stop Event
342×narrow-enough
15×predicate-same
Results
5.3s29944×body256valid
1.4s2891×body1024infinite
1.1s6704×body256infinite
586.0ms1308×body1024valid
397.0ms1070×body512infinite
279.0ms539×body2048valid
240.0ms1071×body512valid
57.0ms51×body2048infinite
47.0ms102×body4096valid
Compiler

Compiled 81555 to 56153 computations (31.1% saved)

series6.3s (1.3%)

Counts
1115 → 21006
Calls

5733 calls:

TimeVariablePointExpression
159.0ms
y.im
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)
85.0ms
u1
@inf
(pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 -2 (log.f64 u1)) 1/36))) 2)
84.0ms
im
@inf
(pow.f64 (pow.f64 (/.f64 (log.f64 1/10) (atan2.f64 im re)) 2) -1/2)
76.0ms
x
@-inf
(pow.f64 (cbrt.f64 (asin.f64 (sqrt.f64 (-.f64 1/2 (*.f64 x 1/2))))) 2)
75.0ms
base
@inf
(/.f64 (/.f64 1 (log.f64 base)) (pow.f64 (sqrt.f64 (atan2.f64 im re)) -2))

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

end8.0ms (0%)

Profiling

Loading profile data...