Herbie run

Date:Friday, April 5th, 2024
Commit:e8a91f21 on egg-serialize
Hostname:nightly with Racket 8.11.1
Seed:2024096
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: 14.0min)

analyze4.4min (31%)

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.2%0.2%2.4%97.4%0%0%0%2
10.8%0.3%2.3%97.4%0%0%0%3
15.5%0.4%2.2%97.4%0%0%0%4
48.8%1.3%1.3%97.4%0%0%0%5
53.6%1.4%1.2%97.4%0%0%0%6
70.7%1.8%0.8%97.4%0%0%0%7
72.6%1.9%0.7%97.4%0%0.1%0%8
81.8%2.1%0.5%97.4%0%0.1%0%9
83.3%2.1%0.4%97.4%0%0.1%0%10
88.8%2.2%0.3%97.4%0%0.1%0%11
89.5%2.2%0.3%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1267 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 44.8s (30.5% of total)
ival-<=: 32.4s (22.1% of total)
ival-fabs: 22.2s (15.1% of total)
ival-floor: 10.2s (6.9% of total)
ival-add: 8.3s (5.7% of total)
ival-and: 5.8s (4% of total)
ival-log2: 5.2s (3.5% of total)
ival-sqrt: 3.7s (2.5% of total)
ival-fmax: 3.2s (2.2% of total)
const: 2.9s (2% of total)
ival-div: 2.8s (1.9% of total)
ival-if: 1.6s (1.1% of total)
ival-==: 909.0ms (0.6% of total)
ival-<: 665.0ms (0.5% of total)
ival-sub: 476.0ms (0.3% of total)
ival->: 398.0ms (0.3% of total)
ival->=: 308.0ms (0.2% of total)
ival-sin: 179.0ms (0.1% of total)
ival-tan: 164.0ms (0.1% of total)
ival-cos: 148.0ms (0.1% of total)
ival-log: 85.0ms (0.1% of total)
ival-exp: 76.0ms (0.1% of total)
ival-atan: 65.0ms (0% of total)
ival-neg: 36.0ms (0% of total)
ival-pi: 31.0ms (0% of total)
ival-asin: 23.0ms (0% of total)
ival-sinh: 15.0ms (0% of total)

localize3.4min (24.3%)

Results
52.9s26585×256valid
7.3s1957×256invalid
864.0ms543×256unsamplable
2.0min354×8192exit
1.0ms1×512valid
Compiler

Compiled 105169 to 27221 computations (74.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8min
ival-tan: 43.3s (25.6% of total)
ival-sin: 30.2s (17.9% of total)
ival-atan: 26.5s (15.7% of total)
ival-mult: 24.7s (14.6% of total)
ival-pow: 11.0s (6.5% of total)
ival-div: 7.9s (4.7% of total)
ival-add: 5.6s (3.3% of total)
composed: 3.6s (2.2% of total)
ival-sub: 3.2s (1.9% of total)
ival-fmax: 3.1s (1.9% of total)
ival-log: 2.8s (1.6% of total)
ival-sqrt: 1.7s (1% of total)
const: 1.3s (0.8% of total)
ival-exp: 1.2s (0.7% of total)
ival-cos: 1.1s (0.6% of total)
ival-neg: 339.0ms (0.2% of total)
ival-if: 252.0ms (0.1% of total)
ival-cbrt: 210.0ms (0.1% of total)
ival-sinh: 189.0ms (0.1% of total)
ival-pi: 185.0ms (0.1% of total)
ival->: 122.0ms (0.1% of total)
ival-floor: 90.0ms (0.1% of total)
ival-log2: 75.0ms (0% of total)
ival-asin: 75.0ms (0% of total)
ival->=: 64.0ms (0% of total)
ival-fabs: 50.0ms (0% of total)
ival-<: 29.0ms (0% of total)
ival-acos: 15.0ms (0% of total)
ival-e: 3.0ms (0% of total)

eval1.8min (13.2%)

Compiler

Compiled 11177430 to 2404951 computations (78.5% saved)

sample1.6min (11.4%)

Results
1.2min239424×0valid
1.2s8380×0invalid
775.0ms1981×0precondition
41.0ms63×5exit
Precisions
Click to see histograms. Total time spent on operations: 51.2s
ival-mult: 13.7s (26.8% of total)
ival-<=: 7.8s (15.1% of total)
ival-div: 4.6s (8.9% of total)
ival-sub: 3.2s (6.2% of total)
ival-fabs: 3.1s (6% of total)
ival-sin: 2.1s (4.1% of total)
ival-cos: 1.9s (3.8% of total)
ival-add: 1.9s (3.7% of total)
ival-sqrt: 1.7s (3.2% of total)
ival-tan: 1.5s (2.9% of total)
ival-and: 1.4s (2.8% of total)
ival-log: 1.4s (2.8% of total)
const: 1.2s (2.4% of total)
ival-exp: 823.0ms (1.6% of total)
ival-floor: 786.0ms (1.5% of total)
ival-atan: 756.0ms (1.5% of total)
ival-neg: 582.0ms (1.1% of total)
ival-pi: 507.0ms (1% of total)
ival->: 416.0ms (0.8% of total)
ival-<: 386.0ms (0.8% of total)
ival-if: 314.0ms (0.6% of total)
ival-fmax: 299.0ms (0.6% of total)
ival-asin: 229.0ms (0.4% of total)
ival-==: 180.0ms (0.4% of total)
backward-pass: 145.0ms (0.3% of total)
ival-log2: 119.0ms (0.2% of total)
ival->=: 108.0ms (0.2% of total)
ival-sinh: 91.0ms (0.2% of total)
Bogosity

simplify33.9s (4%)

Algorithm
141×egg-herbie
Rules
88296×fma-define
73982×*-commutative
63766×times-frac
56334×distribute-lft-in
52912×associate-*r*
Stop Event
29×saturated
112×node limit
Counts
60958 → 47804

prune31.9s (3.8%)

Counts
109464 → 3556
Compiler

Compiled 238989 to 133187 computations (44.3% saved)

soundness25.6s (3%)

Rules
74272×fma-define
54190×times-frac
46042×associate-*r*
46010×*-commutative
39920×fma-neg
Stop Event
7×saturated
26×fuel
128×node limit
3×done
Compiler

Compiled 33871 to 18230 computations (46.2% saved)

rewrite22.9s (2.7%)

Algorithm
112×batch-egg-rewrite
Rules
67319×log1p-expm1-u
47739×expm1-log1p-u
34176×log-prod
31604×prod-diff
31053×add-exp-log
Stop Event
112×node limit
Counts
1128 → 35135

explain16.1s (1.9%)

Results
11.9s14848×256valid
Compiler

Compiled 15824 to 4407 computations (72.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
ival-mult: 2.4s (29.7% of total)
ival-tan: 1.1s (13.5% of total)
ival-div: 909.0ms (11.3% of total)
ival-sin: 707.0ms (8.8% of total)
ival-sub: 574.0ms (7.1% of total)
ival-cos: 553.0ms (6.9% of total)
ival-atan: 481.0ms (6% of total)
ival-add: 384.0ms (4.8% of total)
ival-log: 316.0ms (3.9% of total)
ival-sqrt: 203.0ms (2.5% of total)
const: 132.0ms (1.6% of total)
ival-exp: 75.0ms (0.9% of total)
ival-neg: 47.0ms (0.6% of total)
ival-fmax: 45.0ms (0.6% of total)
ival-floor: 41.0ms (0.5% of total)
ival-pi: 26.0ms (0.3% of total)
ival-sinh: 23.0ms (0.3% of total)
ival-if: 15.0ms (0.2% of total)
ival-asin: 14.0ms (0.2% of total)
ival-log2: 9.0ms (0.1% of total)
ival-fabs: 9.0ms (0.1% of total)
ival->=: 8.0ms (0.1% of total)
ival->: 5.0ms (0.1% of total)
ival-<: 4.0ms (0% of total)

series15.9s (1.9%)

Counts
1128 → 25823
Calls

6345 calls:

TimeVariablePointExpression
2.0s
h
@inf
(pow (cbrt (pow (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) -1/2)) 3)
1.4s
sin2phi
@0
(/ (+ (/ cos2phi (pow alphax 2)) (* sin2phi (pow alphay -2))) (log (+ 1 u0)))
225.0ms
ux
@inf
(* (* uy (PI)) (sqrt (+ 1 (* (+ 1 (* ux (- maxCos 1))) (- (* ux (- 1 maxCos)) 1)))))
223.0ms
dY.v
@inf
(pow (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) 1/4)
209.0ms
dY.v
@inf
(pow (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) 3/4)

regimes14.5s (1.7%)

Counts
6837 → 305
Calls

138 calls:

872.0ms
s
680.0ms
sinTheta_O
512.0ms
(*.f32 uy #s(literal 2 binary32))
480.0ms
uy
472.0ms
u
Compiler

Compiled 9516 to 6289 computations (33.9% saved)

preprocess8.7s (1%)

Algorithm
29×egg-herbie
Rules
30510×fma-define
21782×fma-neg
14260×unsub-neg
14136×distribute-lft-neg-in
11384×distribute-rgt-neg-in
Stop Event
11×saturated
18×node limit
Compiler

Compiled 32160 to 17054 computations (47% saved)

bsearch19.0ms (0%)

Algorithm
27×binary-search
33×left-value
Stop Event
27×narrow-enough
Compiler

Compiled 1337 to 1012 computations (24.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...