Herbie run

Date:Wednesday, January 31st, 2024
Commit:fcee7d92 on artem-tuning-64start-20-128-512-1024-2048
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.8min)

localize4.0min (33.9%)

Compiler

Compiled 105379 to 26571 computations (74.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
Operation ival-tan, time spent: 41.9s, 26.0% of total-time
Operation ival-sin, time spent: 24.9s, 15.0% of total-time
Operation ival-atan, time spent: 20.0s, 12.0% of total-time
Operation ival-mult, time spent: 18.0s, 11.0% of total-time
Operation ival-add, time spent: 13.4s, 8.0% of total-time
Operation ival-pow, time spent: 11.7s, 7.0% of total-time
Operation ival-sub, time spent: 8.9s, 6.0% of total-time
Operation ival-div, time spent: 7.3s, 5.0% of total-time
Operation ival-exp, time spent: 2.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 2.0% of total-time
Operation const, time spent: 2.1s, 1.0% of total-time
Operation ival-log, time spent: 2.0s, 1.0% of total-time
Operation ival-fma, time spent: 1.2s, 1.0% of total-time
Operation ival-cos, time spent: 1.2s, 1.0% of total-time
Operation ival-log1p, time spent: 963.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 405.0ms, 0.0% of total-time
Operation ival-neg, time spent: 291.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 263.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 250.0ms, 0.0% of total-time
Operation ival-log2, time spent: 249.0ms, 0.0% of total-time
Operation ival-pi, time spent: 201.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 190.0ms, 0.0% of total-time
Operation ival->, time spent: 120.0ms, 0.0% of total-time
Operation ival-asin, time spent: 100.0ms, 0.0% of total-time
Operation ival-floor, time spent: 98.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 89.0ms, 0.0% of total-time
Operation ival->=, time spent: 71.0ms, 0.0% of total-time
Operation ival-if, time spent: 58.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 41.0ms, 0.0% of total-time
Operation ival-<, time spent: 31.0ms, 0.0% of total-time
Operation ival-e, time spent: 15.0ms, 0.0% of total-time

sample2.1min (17.6%)

Results
1.8min247678×0valid
2.2s8378×0invalid
823.0ms2027×0precondition
48.0ms52×5exit
2.0ms2×1valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 11.8s, 19.0% of total-time
Operation ival-<=, time spent: 9.3s, 15.0% of total-time
Operation ival-sub, time spent: 7.7s, 12.0% of total-time
Operation ival-add, time spent: 7.6s, 12.0% of total-time
Operation ival-div, time spent: 5.5s, 9.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 4.0% of total-time
Operation ival-log, time spent: 2.4s, 4.0% of total-time
Operation ival-and, time spent: 2.1s, 3.0% of total-time
Operation ival-sin, time spent: 2.0s, 3.0% of total-time
Operation const, time spent: 1.9s, 3.0% of total-time
Operation ival-fabs, time spent: 1.4s, 2.0% of total-time
Operation ival-tan, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.2s, 2.0% of total-time
Operation ival-exp, time spent: 760.0ms, 1.0% of total-time
Operation ival-floor, time spent: 696.0ms, 1.0% of total-time
Operation ival-neg, time spent: 582.0ms, 1.0% of total-time
Operation ival-pi, time spent: 551.0ms, 1.0% of total-time
Operation ival-atan, time spent: 405.0ms, 1.0% of total-time
Operation ival-==, time spent: 395.0ms, 1.0% of total-time
Operation ival-log2, time spent: 341.0ms, 1.0% of total-time
Operation ival->, time spent: 288.0ms, 0.0% of total-time
Operation ival-<, time spent: 286.0ms, 0.0% of total-time
Operation ival-asin, time spent: 241.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 179.0ms, 0.0% of total-time
Operation ival->=, time spent: 99.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 89.0ms, 0.0% of total-time
Operation ival-if, time spent: 68.0ms, 0.0% of total-time
Bogosity

eval1.2min (10.5%)

Compiler

Compiled 7595402 to 2077187 computations (72.7% saved)

soundness1.1min (9.4%)

Rules
92520×fma-def
43610×log1p-expm1-u
41845×associate-*r*
37703×times-frac
37687×expm1-log1p-u
Stop Event
1×saturated
227×node limit
Compiler

Compiled 32762 to 16330 computations (50.2% saved)

simplify44.3s (6.2%)

Algorithm
147×egg-herbie
Rules
51785×fma-def
30758×associate-*r*
28748×times-frac
25913×associate-*l*
24568×*-commutative
Stop Event
30×saturated
117×node limit
29×fuel
1×done
Counts
64750 → 46327
Compiler

Compiled 6870 to 4279 computations (37.7% saved)

analyze32.4s (4.6%)

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: 12.2s
Operation ival-mult, time spent: 3.4s, 28.0% of total-time
Operation ival-<=, time spent: 2.4s, 19.0% of total-time
Operation ival-fabs, time spent: 928.0ms, 8.0% of total-time
Operation ival-div, time spent: 846.0ms, 7.0% of total-time
Operation ival-floor, time spent: 733.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 677.0ms, 6.0% of total-time
Operation ival-add, time spent: 473.0ms, 4.0% of total-time
Operation ival-and, time spent: 450.0ms, 4.0% of total-time
Operation ival-log2, time spent: 290.0ms, 2.0% of total-time
Operation ival-sub, time spent: 287.0ms, 2.0% of total-time
Operation const, time spent: 279.0ms, 2.0% of total-time
Operation ival-if, time spent: 235.0ms, 2.0% of total-time
Operation ival-==, time spent: 189.0ms, 2.0% of total-time
Operation ival-cos, time spent: 181.0ms, 1.0% of total-time
Operation ival->, time spent: 167.0ms, 1.0% of total-time
Operation ival-tan, time spent: 141.0ms, 1.0% of total-time
Operation ival-sin, time spent: 137.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 109.0ms, 1.0% of total-time
Operation ival-log, time spent: 101.0ms, 1.0% of total-time
Operation ival-<, time spent: 80.0ms, 1.0% of total-time
Operation ival-atan, time spent: 48.0ms, 0.0% of total-time
Operation ival-asin, time spent: 35.0ms, 0.0% of total-time
Operation ival-pi, time spent: 34.0ms, 0.0% of total-time
Operation ival-exp, time spent: 29.0ms, 0.0% of total-time
Operation ival-neg, time spent: 22.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.2s (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 51852 to 22644 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.7s
Operation ival-mult, time spent: 2.6s, 26.0% of total-time
Operation ival-sub, time spent: 1.6s, 16.0% of total-time
Operation ival-add, time spent: 1.3s, 14.0% of total-time
Operation ival-tan, time spent: 1.0s, 11.0% of total-time
Operation ival-div, time spent: 724.0ms, 7.0% of total-time
Operation ival-sin, time spent: 639.0ms, 7.0% of total-time
Operation ival-cos, time spent: 503.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 332.0ms, 3.0% of total-time
Operation ival-log, time spent: 299.0ms, 3.0% of total-time
Operation ival-atan, time spent: 218.0ms, 2.0% of total-time
Operation const, time spent: 214.0ms, 2.0% of total-time
Operation ival-exp, time spent: 74.0ms, 1.0% of total-time
Operation ival-floor, time spent: 60.0ms, 1.0% of total-time
Operation ival-neg, time spent: 42.0ms, 0.0% of total-time
Operation ival-pi, time spent: 29.0ms, 0.0% of total-time
Operation ival-log2, time spent: 28.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 18.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 10.0ms, 0.0% of total-time
Operation ival-asin, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival->, 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: 4.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

prune26.5s (3.7%)

Counts
91930 → 3576
Compiler

Compiled 254858 to 138692 computations (45.6% saved)

regimes26.3s (3.7%)

Counts
6313 → 296
Calls

145 calls:

994.0ms
ux
926.0ms
dX.v
827.0ms
maxCos
774.0ms
cosTheta_i
717.0ms
cosTheta
Compiler

Compiled 10827 to 7370 computations (31.9% saved)

rewrite23.2s (3.3%)

Algorithm
117×batch-egg-rewrite
Rules
51548×log1p-expm1-u
44267×expm1-log1p-u
32661×add-exp-log
32260×pow1
32196×add-log-exp
Stop Event
117×node limit
Counts
1315 → 32401

series20.1s (2.8%)

Counts
1315 → 32349
Calls

7911 calls:

TimeVariablePointExpression
763.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)
658.0ms
dY.v
@-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) (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)))
380.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)
357.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)))))))
330.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)))))

bsearch28.0ms (0%)

Algorithm
48×binary-search
15×left-value
Stop Event
48×narrow-enough
Compiler

Compiled 2469 to 1522 computations (38.4% saved)

end8.0ms (0%)

Profiling

Loading profile data...