Herbie run

Date:Friday, June 23rd, 2023
Commit:9526a989 on no-initial-simplify
Hostname:nightly with Racket 8.6
Seed:2023174
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Details

Time bar (total: 8.9min)

sample2.2min (25.3%)

Results
53.3s365696×body256valid
52.6s7897×body8192exit
9.5s64572×body256infinite
7.2s15962×body1024valid
4.4s8284×body1024infinite
2.3s8941×body512valid
1.2s2220×body2048valid
1.0s3673×body512infinite
891.0ms4711×body256invalid
646.0ms4414×body256unsamplable
438.0ms1116×body4096valid
145.0ms145×body2048infinite
Bogosity

eval1.9min (21.3%)

Compiler

Compiled 4943964 to 3384090 computations (31.6% saved)

localize1.4min (15.5%)

Compiler

Compiled 49998 to 29203 computations (41.6% saved)

soundness56.8s (10.7%)

Rules
253276×fma-def
180320×log-prod
145282×associate-*r*
136328×fma-neg
113202×associate-*l*
Stop Event
24×unsound
377×node limit
Compiler

Compiled 45989 to 27304 computations (40.6% saved)

simplify32.2s (6%)

Algorithm
233×egg-herbie
Rules
137366×fma-def
89870×log-prod
89368×associate-*r*
75636×associate-*l*
73312×fma-neg
Stop Event
5×unsound
57×saturated
19×done
38×fuel
171×node limit
Counts
57543 → 54653
Compiler

Compiled 15204 to 8837 computations (41.9% saved)

regimes30.0s (5.6%)

Counts
6910 → 1022
Calls

131 calls:

4.7s
x.re
3.1s
y.re
3.1s
im
2.1s
re
2.1s
x.im
Compiler

Compiled 113286 to 61214 computations (46% saved)

prune25.2s (4.7%)

Counts
96627 → 2865
Compiler

Compiled 194065 to 134658 computations (30.6% saved)

rewrite18.6s (3.5%)

Algorithm
176×batch-egg-rewrite
Rules
115592×pow1
109914×add-exp-log
109664×log1p-expm1-u
109650×expm1-log1p-u
105794×add-log-exp
Stop Event
4×unsound
172×node limit
Counts
1146 → 36106

bsearch17.0s (3.2%)

Algorithm
572×binary-search
42×left-value
Stop Event
559×narrow-enough
13×predicate-same
Results
8.1s45690×body256valid
2.9s4758×body1024infinite
1.9s10463×body256infinite
899.0ms2566×body512infinite
856.0ms1903×body1024valid
373.0ms1184×body512valid
282.0ms582×body2048valid
184.0ms385×body4096valid
138.0ms133×body2048infinite
Compiler

Compiled 130409 to 90397 computations (30.7% saved)

end8.1s (1.5%)

Compiler

Compiled 32888 to 15812 computations (51.9% saved)

series7.2s (1.4%)

Counts
1146 → 21437
Calls

5691 calls:

TimeVariablePointExpression
261.0ms
x
@inf
(pow.f64 (cbrt.f64 (fma.f64 (-.f64 (*.f64 (PI.f64) 1/2) (acos.f64 (sqrt.f64 (-.f64 1/2 (*.f64 1/2 x))))) -2 (*.f64 (PI.f64) 1/2))) 3)
111.0ms
y.im
@0
(*.f64 y.im (log.f64 (hypot.f64 x.im x.re)))
98.0ms
x
@0
(log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/2 (PI.f64) (*.f64 (asin.f64 (sqrt.f64 (+.f64 1/2 (*.f64 x -1/2)))) -2)))))
98.0ms
x.re
@inf
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (hypot.f64 x.re x.im))) 2)) (cbrt.f64 (log.f64 (hypot.f64 x.re x.im))))
74.0ms
x
@-inf
(log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/2 (PI.f64) (*.f64 (asin.f64 (sqrt.f64 (+.f64 1/2 (*.f64 x -1/2)))) -2)))))

preprocess4.4s (0.8%)

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 4296 to 2667 computations (37.9% saved)

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