Herbie run

Date:Saturday, December 9th, 2023
Commit:665878db on main
Hostname:nightly with Racket 8.6
Seed:2023343
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: 10.6min)

localize4.0min (38.1%)

Compiler

Compiled 108800 to 25196 computations (76.8% saved)

sample1.3min (12.4%)

Results
1.3min247680×body256valid
1.6s8289×body256invalid
904.0ms2027×body256precondition
Bogosity

eval1.2min (11.2%)

Compiler

Compiled 7061949 to 2182744 computations (69.1% saved)

soundness1.1min (10.6%)

Rules
192768×fma-def
94338×associate-*r*
83152×times-frac
72068×log-prod
69658×distribute-lft-in
Stop Event
1×unsound
246×node limit
Compiler

Compiled 33437 to 15970 computations (52.2% saved)

simplify40.2s (6.3%)

Algorithm
148×egg-herbie
Rules
108256×fma-def
58750×associate-*r*
57656×times-frac
53416×*-commutative
51888×log-prod
Stop Event
1×done
1×unsound
30×saturated
29×fuel
117×node limit
Counts
65045 → 47972
Compiler

Compiled 7243 to 4294 computations (40.7% saved)

prune29.9s (4.7%)

Counts
96004 → 3589
Compiler

Compiled 402819 to 226053 computations (43.9% saved)

regimes28.4s (4.5%)

Counts
6268 → 277
Calls

145 calls:

963.0ms
ux
868.0ms
cosTheta_i
835.0ms
uy
827.0ms
maxCos
785.0ms
(*.f32 (*.f32 uy 2) (PI.f32))
Compiler

Compiled 154189 to 75372 computations (51.1% saved)

analyze24.7s (3.9%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0.2%0%2.6%97.4%0%0%0%1
9.3%0.2%2.4%97.4%0%0%0%2
43.2%1.1%1.5%97.4%0%0%0%3
48.1%1.3%1.4%97.4%0%0%0%4
65.1%1.7%0.9%97.4%0%0%0%5
70.3%1.8%0.8%97.4%0%0%0%6
79.1%2%0.5%97.4%0%0%0%7
81.1%2.1%0.5%97.4%0%0.1%0%8
86.1%2.2%0.4%97.4%0%0.1%0%9
87.6%2.2%0.3%97.4%0%0.1%0%10
91.9%2.3%0.2%97.4%0%0.1%0%11
92.6%2.3%0.2%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1267 computations (52.5% saved)

series18.3s (2.9%)

Counts
1305 → 32064
Calls

7872 calls:

TimeVariablePointExpression
668.0ms
d
@inf
(pow.f32 (pow.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.w (floor.f32 d)) (hypot.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h)))) 2) (pow.f32 (*.f32 (floor.f32 w) dY.u) 2)) 3/2) 1/3)
437.0ms
dY.u
@-inf
(pow.f32 (cbrt.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.w (floor.f32 d)) (hypot.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h)))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 d) dY.w) (hypot.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 h) dY.v))) 2))) 3/2)
341.0ms
dY.v
@inf
(pow.f32 (pow.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 (floor.f32 d) dX.w) (hypot.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dX.v))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 d) dY.w) (hypot.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 h) dY.v))) 2)) 3/2) 1/3)
286.0ms
dY.v
@-inf
(pow.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 dX.u (floor.f32 w))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 h) dY.v)) 2)) 1/6)
284.0ms
dX.v
@-inf
(pow.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 (floor.f32 w) dX.u) (*.f32 (floor.f32 h) dX.v)) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 w) dY.u)) 2)) -1/2)

rewrite18.1s (2.9%)

Algorithm
118×batch-egg-rewrite
Rules
53752×log1p-expm1-u
43372×expm1-log1p-u
37794×expm1-udef
32904×prod-diff
32289×pow1
Stop Event
118×node limit
Counts
1305 → 32981

preprocess16.6s (2.6%)

Algorithm
30×egg-herbie
Rules
52752×fma-def
17102×unsub-neg
16200×distribute-lft-neg-in
16198×fma-neg
13978×distribute-lft-in
Stop Event
3×saturated
27×node limit
Compiler

Compiled 47488 to 22595 computations (52.4% saved)

bsearch29.0ms (0%)

Algorithm
12×left-value
31×binary-search
Stop Event
31×narrow-enough
Compiler

Compiled 1823 to 1115 computations (38.8% saved)

end4.0ms (0%)

Profiling

Loading profile data...