Herbie run

Date:Tuesday, June 27th, 2023
Commit:11e993b2 on release-notes-screenshots
Hostname:nightly with Racket 8.6
Seed:2023178
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

Details

Time bar (total: 8.0min)

sample2.3min (29.3%)

Results
55.2s7774×body8192exit
55.1s365712×body256valid
10.0s64303×body256infinite
7.6s15849×body1024valid
4.1s8370×body1024infinite
2.6s8925×body512valid
1.3s2270×body2048valid
1.2s3904×body512infinite
889.0ms4649×body256invalid
563.0ms4368×body256unsamplable
439.0ms1124×body4096valid
164.0ms152×body2048infinite
Bogosity

localize1.3min (16.4%)

Compiler

Compiled 45108 to 24608 computations (45.4% saved)

soundness1.0min (13.1%)

Rules
262988×fma-def
153270×associate-*r*
137212×log-prod
117812×*-commutative
111612×fma-neg
Stop Event
13×unsound
18×saturated
358×node limit
Compiler

Compiled 39157 to 22411 computations (42.8% saved)

eval54.1s (11.3%)

Compiler

Compiled 2890261 to 1752480 computations (39.4% saved)

simplify37.1s (7.7%)

Algorithm
273×egg-herbie
Rules
167092×fma-def
89322×associate-*r*
81958×fma-neg
78778×distribute-lft-in
75682×*-commutative
Stop Event
6×unsound
84×saturated
20×done
37×fuel
183×node limit
Counts
59464 → 53177
Compiler

Compiled 13121 to 8213 computations (37.4% saved)

regimes29.8s (6.2%)

Counts
7140 → 923
Calls

132 calls:

3.1s
im
3.0s
y.re
2.6s
y.im
2.6s
x.im
2.3s
x.re
Compiler

Compiled 108480 to 59323 computations (45.3% saved)

prune22.0s (4.6%)

Counts
79980 → 3032
Compiler

Compiled 192446 to 135392 computations (29.6% saved)

rewrite18.5s (3.9%)

Algorithm
159×batch-egg-rewrite
Rules
95852×pow1
91562×add-exp-log
91314×log1p-expm1-u
91300×expm1-log1p-u
89332×add-log-exp
Stop Event
4×unsound
155×node limit
Counts
1192 → 37245

bsearch14.2s (3%)

Algorithm
484×binary-search
37×left-value
Stop Event
467×narrow-enough
17×predicate-same
Results
6.8s36403×body256valid
2.0s3996×body1024infinite
1.6s9973×body256infinite
1.2s2985×body1024valid
609.0ms1846×body512infinite
467.0ms1567×body512valid
184.0ms422×body2048valid
141.0ms317×body4096valid
23.0ms11×body2048infinite
Compiler

Compiled 103212 to 72999 computations (29.3% saved)

series8.1s (1.7%)

Counts
1192 → 22162
Calls

5919 calls:

TimeVariablePointExpression
292.0ms
re
@-inf
(cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))
146.0ms
x.im
@inf
(log.f64 (*.f64 y.im (atan2.f64 x.im x.re)))
124.0ms
y.im
@inf
(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re)))
118.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
83.0ms
x
@inf
(log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (fma.f64 (PI.f64) 1/2 (*.f64 (asin.f64 (sqrt.f64 (-.f64 1/2 (*.f64 1/2 x)))) -2))))))

end7.2s (1.5%)

Compiler

Compiled 28618 to 15132 computations (47.1% saved)

preprocess4.5s (0.9%)

Algorithm
114×egg-herbie
Rules
35032×fma-def
16312×associate-*r*
15382×sqr-pow
15088×distribute-lft-in
14640×distribute-rgt-in
Stop Event
70×saturated
14×unsound
30×node limit
Compiler

Compiled 1510 to 967 computations (36% saved)

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)

Profiling

Loading profile data...