Herbie run

Date:Wednesday, January 31st, 2024
Commit:666e0b59 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024031
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: 11.9min)

localize3.9min (33.1%)

Compiler

Compiled 105472 to 26667 computations (74.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
Operation ival-tan, time spent: 44.4s, 28.0% of total-time
Operation ival-sin, time spent: 25.3s, 16.0% of total-time
Operation ival-atan, time spent: 19.3s, 12.0% of total-time
Operation ival-mult, time spent: 17.5s, 11.0% of total-time
Operation ival-add, time spent: 12.9s, 8.0% of total-time
Operation ival-pow, time spent: 12.1s, 8.0% of total-time
Operation ival-sub, time spent: 8.3s, 5.0% of total-time
Operation ival-div, time spent: 6.0s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation ival-exp, time spent: 2.4s, 2.0% of total-time
Operation const, time spent: 2.2s, 1.0% of total-time
Operation ival-log, time spent: 1.6s, 1.0% of total-time
Operation ival-fma, time spent: 1.1s, 1.0% of total-time
Operation ival-log1p, time spent: 1.1s, 1.0% of total-time
Operation ival-cos, time spent: 961.0ms, 1.0% of total-time
Operation ival-neg, time spent: 316.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 298.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 265.0ms, 0.0% of total-time
Operation ival-log2, time spent: 221.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 219.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 187.0ms, 0.0% of total-time
Operation ival-asin, time spent: 128.0ms, 0.0% of total-time
Operation ival->, time spent: 104.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 101.0ms, 0.0% of total-time
Operation ival-floor, time spent: 92.0ms, 0.0% of total-time
Operation ival-pi, time spent: 71.0ms, 0.0% of total-time
Operation ival->=, time spent: 67.0ms, 0.0% of total-time
Operation ival-if, time spent: 53.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 0.0% of total-time
Operation ival-<, time spent: 27.0ms, 0.0% of total-time
Operation ival-e, time spent: 20.0ms, 0.0% of total-time

sample2.2min (18.3%)

Results
1.9min247680×0valid
2.7s8378×0invalid
882.0ms2027×0precondition
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 13.1s, 20.0% of total-time
Operation ival-<=, time spent: 10.5s, 16.0% of total-time
Operation ival-add, time spent: 7.5s, 11.0% of total-time
Operation ival-sub, time spent: 6.9s, 10.0% of total-time
Operation ival-div, time spent: 5.3s, 8.0% of total-time
Operation ival-log, time spent: 2.9s, 4.0% of total-time
Operation ival-sin, time spent: 2.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 4.0% of total-time
Operation ival-and, time spent: 2.2s, 3.0% of total-time
Operation const, time spent: 2.0s, 3.0% of total-time
Operation ival-fabs, time spent: 1.5s, 2.0% of total-time
Operation ival-tan, time spent: 1.4s, 2.0% of total-time
Operation ival-cos, time spent: 1.2s, 2.0% of total-time
Operation ival-exp, time spent: 1.2s, 2.0% of total-time
Operation ival-floor, time spent: 925.0ms, 1.0% of total-time
Operation ival-atan, time spent: 843.0ms, 1.0% of total-time
Operation ival-neg, time spent: 702.0ms, 1.0% of total-time
Operation ival-pi, time spent: 616.0ms, 1.0% of total-time
Operation ival-log2, time spent: 417.0ms, 1.0% of total-time
Operation ival-asin, time spent: 396.0ms, 1.0% of total-time
Operation ival->, time spent: 346.0ms, 1.0% of total-time
Operation ival-<, time spent: 307.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 200.0ms, 0.0% of total-time
Operation ival-==, time spent: 193.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 110.0ms, 0.0% of total-time
Operation ival->=, time spent: 90.0ms, 0.0% of total-time
Operation ival-if, time spent: 67.0ms, 0.0% of total-time
Bogosity

eval1.2min (10%)

Compiler

Compiled 7612849 to 2092851 computations (72.5% saved)

soundness1.1min (9.4%)

Rules
93237×fma-def
42812×log1p-expm1-u
42137×associate-*r*
40560×times-frac
37093×expm1-log1p-u
Stop Event
225×node limit
Compiler

Compiled 31705 to 15768 computations (50.3% saved)

simplify48.2s (6.8%)

Algorithm
147×egg-herbie
Rules
52996×fma-def
31238×associate-*r*
31013×times-frac
25158×associate-*l*
25083×*-commutative
Stop Event
30×saturated
117×node limit
29×fuel
1×done
Counts
65331 → 46662
Compiler

Compiled 7066 to 4422 computations (37.4% saved)

analyze33.6s (4.7%)

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)

Precisions
Click to see histograms. Total time spent on operations: 13.2s
Operation ival-mult, time spent: 3.1s, 23.0% of total-time
Operation ival-<=, time spent: 2.8s, 21.0% of total-time
Operation ival-fabs, time spent: 1.3s, 10.0% of total-time
Operation ival-div, time spent: 895.0ms, 7.0% of total-time
Operation ival-add, time spent: 667.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 611.0ms, 5.0% of total-time
Operation ival-floor, time spent: 539.0ms, 4.0% of total-time
Operation ival-fmax, time spent: 456.0ms, 3.0% of total-time
Operation ival-and, time spent: 448.0ms, 3.0% of total-time
Operation ival-sub, time spent: 440.0ms, 3.0% of total-time
Operation ival-log2, time spent: 286.0ms, 2.0% of total-time
Operation const, time spent: 273.0ms, 2.0% of total-time
Operation ival-tan, time spent: 246.0ms, 2.0% of total-time
Operation ival-if, time spent: 228.0ms, 2.0% of total-time
Operation ival-==, time spent: 182.0ms, 1.0% of total-time
Operation ival->, time spent: 179.0ms, 1.0% of total-time
Operation ival-sin, time spent: 136.0ms, 1.0% of total-time
Operation ival-cos, time spent: 130.0ms, 1.0% of total-time
Operation ival-log, time spent: 101.0ms, 1.0% of total-time
Operation ival-<, time spent: 75.0ms, 1.0% of total-time
Operation ival-atan, time spent: 49.0ms, 0.0% of total-time
Operation ival-pi, time spent: 38.0ms, 0.0% of total-time
Operation ival-asin, time spent: 30.0ms, 0.0% of total-time
Operation ival-exp, time spent: 28.0ms, 0.0% of total-time
Operation ival-neg, time spent: 27.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

preprocess30.8s (4.3%)

Algorithm
30×egg-herbie
Rules
26376×fma-def
8550×unsub-neg
8094×distribute-lft-neg-in
8084×fma-neg
6988×distribute-lft-in
Stop Event
3×saturated
27×node limit
Compiler

Compiled 52030 to 22760 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.4s
Operation ival-mult, time spent: 2.3s, 22.0% of total-time
Operation ival-sub, time spent: 1.5s, 15.0% of total-time
Operation ival-add, time spent: 1.5s, 15.0% of total-time
Operation ival-tan, time spent: 1.1s, 11.0% of total-time
Operation ival-cos, time spent: 680.0ms, 7.0% of total-time
Operation ival-div, time spent: 664.0ms, 6.0% of total-time
Operation ival-sin, time spent: 632.0ms, 6.0% of total-time
Operation ival-atan, time spent: 535.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 445.0ms, 4.0% of total-time
Operation ival-log, time spent: 387.0ms, 4.0% of total-time
Operation const, time spent: 211.0ms, 2.0% of total-time
Operation ival-exp, time spent: 92.0ms, 1.0% of total-time
Operation ival-neg, time spent: 49.0ms, 0.0% of total-time
Operation ival-floor, time spent: 40.0ms, 0.0% of total-time
Operation ival-log2, time spent: 39.0ms, 0.0% of total-time
Operation ival-pi, time spent: 29.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 23.0ms, 0.0% of total-time
Operation ival-asin, time spent: 13.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 12.0ms, 0.0% of total-time
Operation ival->=, time spent: 8.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time

regimes26.5s (3.7%)

Counts
6544 → 301
Calls

145 calls:

938.0ms
ux
916.0ms
cosTheta_i
883.0ms
dX.v
876.0ms
uy
871.0ms
(*.f32 uy 2)
Compiler

Compiled 11105 to 7559 computations (31.9% saved)

prune26.0s (3.6%)

Counts
92138 → 3566
Compiler

Compiled 254768 to 138594 computations (45.6% saved)

rewrite23.8s (3.3%)

Algorithm
117×batch-egg-rewrite
Rules
51637×log1p-expm1-u
44357×expm1-log1p-u
32750×add-exp-log
32352×pow1
32286×add-log-exp
Stop Event
117×node limit
Counts
1326 → 32809

series18.7s (2.6%)

Counts
1326 → 32522
Calls

7974 calls:

TimeVariablePointExpression
349.0ms
dY.v
@inf
(log.f32 (pow.f32 (exp.f32 (pow.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.u (floor.f32 w)) (*.f32 dX.v (floor.f32 h))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 w) dY.u) (*.f32 (floor.f32 h) dY.v)) 2)) -1/2)) (fabs.f32 (*.f32 (floor.f32 w) (*.f32 (floor.f32 h) (-.f32 (*.f32 dX.u dY.v) (*.f32 dX.v dY.u)))))))
324.0ms
dX.u
@-inf
(pow.f32 (cbrt.f32 (sqrt.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 (floor.f32 h) dX.v) (*.f32 (floor.f32 w) dX.u)) 2) (pow.f32 (*.f32 (floor.f32 w) dY.u) 2)))) 3)
323.0ms
dY.u
@0
(pow.f32 (exp.f32 (sqrt.f32 (*.f32 2 (log.f32 (*.f32 (floor.f32 w) dY.u))))) (sqrt.f32 (*.f32 2 (log.f32 (*.f32 (floor.f32 w) dY.u)))))
321.0ms
dX.v
@0
(pow.f32 (fmax.f32 (*.f32 (pow.f32 dX.v 2) (pow.f32 (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)) 1/4)
296.0ms
s
@0
(*.f32 s (log1p.f32 -37/64))

bsearch30.0ms (0%)

Algorithm
50×binary-search
17×left-value
Stop Event
50×narrow-enough
Compiler

Compiled 2599 to 1619 computations (37.7% saved)

end8.0ms (0%)

Profiling

Loading profile data...