Herbie run

Date:Tuesday, October 24th, 2023
Commit:4c861e3a on platforms
Hostname:nightly with Racket 8.6
Seed:2023297
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: 13.8min)

eval2.9min (20.7%)

Compiler

Compiled 5693108 to 3625858 computations (36.3% saved)

sample2.5min (18.4%)

Results
1.1min365092×body256valid
56.0s7595×body8192exit
9.9s64963×body256infinite
8.0s15904×body1024valid
4.4s8709×body1024infinite
2.5s8664×body512valid
1.4s2290×body2048valid
1.2s3785×body512infinite
799.0ms4762×body256invalid
516.0ms4220×body256unsamplable
463.0ms1024×body4096valid
156.0ms166×body2048infinite
Bogosity

soundness2.2min (16.1%)

Rules
306444×fma-def
227465×*-commutative
198058×+-commutative
184942×associate-*r*
158431×distribute-lft-in
Stop Event
6×unsound
14×saturated
388×node limit
Compiler

Compiled 41981 to 26047 computations (38% saved)

localize2.2min (16.1%)

Compiler

Compiled 53085 to 28835 computations (45.7% saved)

regimes1.1min (7.9%)

Counts
8045 → 902
Calls

130 calls:

22.0s
wj
7.9s
x
3.8s
im
2.5s
re
2.5s
x.re
Compiler

Compiled 131852 to 76793 computations (41.8% saved)

simplify1.0min (7.4%)

Algorithm
225×egg-herbie
Rules
136534×fma-def
118441×*-commutative
97490×+-commutative
81927×distribute-lft-in
76058×associate-*r*
Stop Event
4×unsound
57×saturated
19×done
38×fuel
164×node limit
Counts
85199 → 81857
Compiler

Compiled 11634 to 7443 computations (36% saved)

prune34.3s (4.2%)

Counts
115984 → 3197
Compiler

Compiled 250510 to 171003 computations (31.7% saved)

rewrite29.9s (3.6%)

Algorithm
504×rewrite-once
168×batch-egg-rewrite
Rules
86215×fma-def
70023×flip-+
65045×*-commutative
63210×associate-*r*
59877×associate-*l*
Stop Event
1×unsound
2×saturated
165×node limit
Counts
1273 → 62113
Calls

1432 calls:

80.0ms
(+.f64 (*.f64 d1 (-.f64 d4 d1)) (*.f64 d1 (-.f64 d2 d3)))
17.0ms
(*.f64 (+.f64 alpha 1) (+.f64 beta 1))
7.0ms
(binary32->binary64 (binary64->binary32 (/.f64 600041/2386628 (*.f64 (*.f64 x x) x))))
6.0ms
(*.f64 (pow.f64 im 3) -1/6)
6.0ms
(/.f64 beta (+.f64 2 beta))

preprocess22.0s (2.7%)

Algorithm
57×egg-herbie
Rules
61617×fma-def
24880×*-commutative
22738×+-commutative
22690×fma-neg
22505×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 34146 to 18266 computations (46.5% saved)

bsearch13.8s (1.7%)

Algorithm
431×binary-search
40×left-value
Stop Event
420×narrow-enough
11×predicate-same
Results
7.2s34776×body256valid
1.6s3032×body1024infinite
1.5s9220×body256infinite
1.2s2780×body1024valid
490.0ms1452×body512valid
398.0ms1334×body512infinite
186.0ms522×body2048valid
44.0ms102×body4096valid
43.0ms46×body2048infinite
Compiler

Compiled 91446 to 64167 computations (29.8% saved)

series8.0s (1%)

Counts
1273 → 23086
Calls

6216 calls:

TimeVariablePointExpression
303.0ms
alpha
@inf
(log.f64 (/.f64 (+.f64 (*.f64 2 beta) (+.f64 (*.f64 2 i) (*.f64 2 (+.f64 1 i)))) alpha))
124.0ms
alpha
@-inf
(*.f64 (cbrt.f64 (*.f64 (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 -1))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 1))))) (cbrt.f64 (*.f64 (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 -1))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 1))))))
107.0ms
i
@0
(cbrt.f64 (*.f64 (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 -1))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 1)))))
102.0ms
beta
@-inf
(*.f64 (cbrt.f64 (*.f64 (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 -1))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 1))))) (cbrt.f64 (*.f64 (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 -1))) (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 alpha (fma.f64 i 2 beta))) (+.f64 (+.f64 alpha beta) (fma.f64 i 2 1))))))
99.0ms
re
@0
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))

analyze1.5s (0.2%)

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...