Herbie run

Date:Thursday, February 15th, 2024
Commit:3a78953a on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024046
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.4min)

localize3.9min (26.9%)

Compiler

Compiled 102490 to 27926 computations (72.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-mult, time spent: 31.9s, 23.0% of total-time
Operation ival-tan, time spent: 16.2s, 12.0% of total-time
Operation ival-add, time spent: 15.4s, 11.0% of total-time
Operation composed, time spent: 14.8s, 11.0% of total-time
Operation ival-sin, time spent: 10.4s, 7.0% of total-time
Operation ival-pow, time spent: 10.1s, 7.0% of total-time
Operation ival-div, time spent: 8.6s, 6.0% of total-time
Operation ival-sub, time spent: 7.4s, 5.0% of total-time
Operation ival-atan, time spent: 5.3s, 4.0% of total-time
Operation ival-log, time spent: 4.0s, 3.0% of total-time
Operation const, time spent: 3.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 2.0% of total-time
Operation ival-exp, time spent: 2.5s, 2.0% of total-time
Operation ival-cos, time spent: 2.4s, 2.0% of total-time
Operation ival-neg, time spent: 697.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 396.0ms, 0.0% of total-time
Operation ival-asin, time spent: 366.0ms, 0.0% of total-time
Operation ival-log2, time spent: 335.0ms, 0.0% of total-time
Operation ival-floor, time spent: 283.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 250.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 247.0ms, 0.0% of total-time
Operation ival->=, time spent: 116.0ms, 0.0% of total-time
Operation ival-pi, time spent: 101.0ms, 0.0% of total-time
Operation ival->, time spent: 87.0ms, 0.0% of total-time
Operation ival-if, time spent: 74.0ms, 0.0% of total-time
Operation ival-<, time spent: 44.0ms, 0.0% of total-time
Operation ival-acos, time spent: 34.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 18.0ms, 0.0% of total-time

sample2.3min (16.2%)

Results
2.0min247680×0valid
2.9s8397×0invalid
1.0s2091×0precondition
54.0ms57×6exit
Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-mult, time spent: 14.8s, 21.0% of total-time
Operation ival-<=, time spent: 12.8s, 18.0% of total-time
Operation ival-div, time spent: 7.4s, 10.0% of total-time
Operation ival-sub, time spent: 6.1s, 9.0% of total-time
Operation ival-add, time spent: 5.1s, 7.0% of total-time
Operation ival-sqrt, time spent: 3.0s, 4.0% of total-time
Operation ival-sin, time spent: 2.9s, 4.0% of total-time
Operation ival-and, time spent: 2.6s, 4.0% of total-time
Operation const, time spent: 2.6s, 4.0% of total-time
Operation ival-fabs, time spent: 2.5s, 3.0% of total-time
Operation ival-log, time spent: 2.5s, 3.0% of total-time
Operation ival-tan, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.3s, 2.0% of total-time
Operation ival-atan, time spent: 1.0s, 1.0% of total-time
Operation ival-exp, time spent: 997.0ms, 1.0% of total-time
Operation ival-floor, time spent: 951.0ms, 1.0% of total-time
Operation ival-pi, time spent: 806.0ms, 1.0% of total-time
Operation ival-neg, time spent: 604.0ms, 1.0% of total-time
Operation ival->, time spent: 396.0ms, 1.0% of total-time
Operation ival-log2, time spent: 374.0ms, 1.0% of total-time
Operation ival-<, time spent: 343.0ms, 0.0% of total-time
Operation ival-asin, time spent: 325.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 193.0ms, 0.0% of total-time
Operation ival-==, time spent: 179.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 113.0ms, 0.0% of total-time
Operation ival->=, time spent: 97.0ms, 0.0% of total-time
Operation ival-if, time spent: 83.0ms, 0.0% of total-time
Bogosity

eval1.9min (13.5%)

Compiler

Compiled 14178100 to 2765985 computations (80.5% saved)

preprocess1.6min (11%)

Algorithm
30×egg-herbie
Rules
18465×fma-define
17285×fma-neg
10434×unsub-neg
8083×distribute-lft-neg-in
6678×distribute-rgt-neg-in
Stop Event
3×saturated
27×node limit
Results
Compiler

Compiled 59258 to 24928 computations (57.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.2s
Operation ival-mult, time spent: 3.2s, 31.0% of total-time
Operation ival-sub, time spent: 1.2s, 12.0% of total-time
Operation ival-add, time spent: 1.0s, 10.0% of total-time
Operation ival-div, time spent: 860.0ms, 8.0% of total-time
Operation ival-tan, time spent: 845.0ms, 8.0% of total-time
Operation ival-sin, time spent: 684.0ms, 7.0% of total-time
Operation ival-atan, time spent: 544.0ms, 5.0% of total-time
Operation ival-cos, time spent: 467.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 440.0ms, 4.0% of total-time
Operation ival-log, time spent: 391.0ms, 4.0% of total-time
Operation const, time spent: 318.0ms, 3.0% of total-time
Operation ival-exp, time spent: 118.0ms, 1.0% of total-time
Operation ival-neg, time spent: 47.0ms, 0.0% of total-time
Operation ival-floor, time spent: 44.0ms, 0.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 26.0ms, 0.0% of total-time
Operation ival-log2, time spent: 19.0ms, 0.0% of total-time
Operation ival-asin, time spent: 11.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 10.0ms, 0.0% of total-time
Operation ival->=, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time
Operation ival-if, time spent: 5.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time

soundness1.4min (9.5%)

Rules
80637×fma-define
55269×associate-*r*
49137×log1p-expm1-u
48130×times-frac
46491×fma-neg
Stop Event
1×saturated
257×node limit
Compiler

Compiled 36475 to 16915 computations (53.6% saved)

simplify47.7s (5.5%)

Algorithm
148×egg-herbie
Rules
48313×fma-define
31502×log-prod
30132×associate-*r*
29631×times-frac
28400×*-commutative
Stop Event
30×saturated
118×node limit
30×fuel
Counts
65159 → 48555
Compiler

Compiled 9930 to 4901 computations (50.6% saved)

analyze42.4s (4.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)

Precisions
Click to see histograms. Total time spent on operations: 15.2s
Operation ival-mult, time spent: 3.8s, 25.0% of total-time
Operation ival-<=, time spent: 3.1s, 21.0% of total-time
Operation ival-add, time spent: 1.1s, 7.0% of total-time
Operation ival-fabs, time spent: 1.0s, 7.0% of total-time
Operation ival-div, time spent: 906.0ms, 6.0% of total-time
Operation ival-floor, time spent: 661.0ms, 4.0% of total-time
Operation ival-sub, time spent: 652.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 595.0ms, 4.0% of total-time
Operation ival-==, time spent: 576.0ms, 4.0% of total-time
Operation ival-and, time spent: 457.0ms, 3.0% of total-time
Operation ival-fmax, time spent: 386.0ms, 3.0% of total-time
Operation ival-log2, time spent: 297.0ms, 2.0% of total-time
Operation const, time spent: 286.0ms, 2.0% of total-time
Operation ival-if, time spent: 229.0ms, 2.0% of total-time
Operation ival-sin, time spent: 220.0ms, 1.0% of total-time
Operation ival-cos, time spent: 164.0ms, 1.0% of total-time
Operation ival->, time spent: 162.0ms, 1.0% of total-time
Operation ival-tan, time spent: 138.0ms, 1.0% of total-time
Operation ival-<, time spent: 119.0ms, 1.0% of total-time
Operation ival-log, time spent: 102.0ms, 1.0% of total-time
Operation ival-atan, time spent: 51.0ms, 0.0% of total-time
Operation ival-asin, time spent: 34.0ms, 0.0% of total-time
Operation ival-pi, time spent: 29.0ms, 0.0% of total-time
Operation ival-exp, time spent: 27.0ms, 0.0% of total-time
Operation ival-neg, time spent: 21.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

prune29.2s (3.4%)

Counts
108635 → 3475
Compiler

Compiled 247743 to 137069 computations (44.7% saved)

regimes27.6s (3.2%)

Counts
6334 → 320
Calls

145 calls:

1.2s
dY.u
1.1s
s
869.0ms
u2
855.0ms
dX.v
830.0ms
u1
Compiler

Compiled 11625 to 8046 computations (30.8% saved)

rewrite25.7s (3%)

Algorithm
118×batch-egg-rewrite
Rules
65492×log1p-expm1-u
46168×expm1-log1p-u
30517×add-exp-log
30334×add-log-exp
30156×pow1
Stop Event
118×node limit
Counts
1309 → 33853

series24.4s (2.8%)

Counts
1309 → 31306
Calls

7695 calls:

TimeVariablePointExpression
615.0ms
d
@inf
(log.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) (*.f32 (pow.f32 (floor.f32 w) 2) (pow.f32 dY.u 2))))
509.0ms
dX.v
@inf
(pow.f32 (cbrt.f32 (sqrt.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 w) dY.u) (*.f32 (floor.f32 h) dY.v)) 2)))) 3)
480.0ms
s
@0
(*.f32 s (log.f32 (/.f32 1 (-.f32 1 (*.f32 4 u)))))
399.0ms
u
@0
(*.f32 u -4/3)
324.0ms
d
@0
(log.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)))

bsearch35.0ms (0%)

Algorithm
44×binary-search
26×left-value
Stop Event
44×narrow-enough
Compiler

Compiled 3109 to 1614 computations (48.1% saved)

end11.0ms (0%)

Profiling

Loading profile data...