Herbie run

Date:Monday, February 12th, 2024
Commit:854b2e62 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024043
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.9min)

localize7.6min (51.1%)

Compiler

Compiled 70232 to 14517 computations (79.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.9min
Operation ival-mult, time spent: 56.3s, 19.0% of total-time
Operation ival-add, time spent: 49.3s, 17.0% of total-time
Operation ival-sub, time spent: 31.4s, 11.0% of total-time
Operation composed, time spent: 25.2s, 9.0% of total-time
Operation ival-tan, time spent: 20.4s, 7.0% of total-time
Operation ival-pow, time spent: 20.2s, 7.0% of total-time
Operation ival-div, time spent: 15.6s, 5.0% of total-time
Operation ival-sqrt, time spent: 12.9s, 4.0% of total-time
Operation ival-atan, time spent: 9.8s, 3.0% of total-time
Operation const, time spent: 8.3s, 3.0% of total-time
Operation ival-exp, time spent: 8.2s, 3.0% of total-time
Operation ival-sin, time spent: 8.2s, 3.0% of total-time
Operation ival-log, time spent: 8.1s, 3.0% of total-time
Operation ival-cos, time spent: 7.0s, 2.0% of total-time
Operation ival-e, time spent: 2.7s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.4s, 1.0% of total-time
Operation ival-fmax, time spent: 1.9s, 1.0% of total-time
Operation ival->, time spent: 864.0ms, 0.0% of total-time
Operation ival-neg, time spent: 811.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 732.0ms, 0.0% of total-time
Operation ival-pi, time spent: 411.0ms, 0.0% of total-time
Operation ival-floor, time spent: 374.0ms, 0.0% of total-time
Operation ival-if, time spent: 365.0ms, 0.0% of total-time
Operation ival-<, time spent: 322.0ms, 0.0% of total-time
Operation ival-log2, time spent: 321.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 152.0ms, 0.0% of total-time
Operation ival->=, time spent: 85.0ms, 0.0% of total-time
Operation ival-asin, time spent: 72.0ms, 0.0% of total-time

preprocess2.6min (17.7%)

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
Compiler

Compiled 39458 to 12610 computations (68% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-tan, time spent: 24.9s, 24.0% of total-time
Operation ival-mult, time spent: 17.7s, 17.0% of total-time
Operation ival-atan, time spent: 12.8s, 12.0% of total-time
Operation ival-sub, time spent: 12.7s, 12.0% of total-time
Operation ival-add, time spent: 10.3s, 10.0% of total-time
Operation ival-div, time spent: 6.0s, 6.0% of total-time
Operation ival-sin, time spent: 5.8s, 5.0% of total-time
Operation ival-cos, time spent: 5.3s, 5.0% of total-time
Operation ival-log, time spent: 2.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.2s, 2.0% of total-time
Operation const, time spent: 1.9s, 2.0% of total-time
Operation ival-exp, time spent: 1.4s, 1.0% of total-time
Operation ival-sinh, time spent: 413.0ms, 0.0% of total-time
Operation ival-neg, time spent: 353.0ms, 0.0% of total-time
Operation ival-pi, time spent: 224.0ms, 0.0% of total-time
Operation ival-floor, time spent: 129.0ms, 0.0% of total-time
Operation ival-asin, time spent: 73.0ms, 0.0% of total-time
Operation ival->=, time spent: 57.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 31.0ms, 0.0% of total-time
Operation ival-log2, time spent: 21.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time
Operation ival-if, time spent: 17.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

sample2.2min (14.7%)

Results
1.9min247680×0valid
2.4s8438×0invalid
1.2s2146×0precondition
49.0ms50×6exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 14.1s, 21.0% of total-time
Operation ival-<=, time spent: 9.3s, 14.0% of total-time
Operation ival-sub, time spent: 7.0s, 10.0% of total-time
Operation ival-add, time spent: 6.7s, 10.0% of total-time
Operation ival-div, time spent: 5.9s, 9.0% of total-time
Operation ival-and, time spent: 2.7s, 4.0% of total-time
Operation const, time spent: 2.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 4.0% of total-time
Operation ival-log, time spent: 2.3s, 3.0% of total-time
Operation ival-sin, time spent: 2.1s, 3.0% of total-time
Operation ival-tan, time spent: 1.7s, 3.0% of total-time
Operation ival-<, time spent: 1.4s, 2.0% of total-time
Operation ival-fabs, 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: 1.1s, 2.0% of total-time
Operation ival-atan, time spent: 966.0ms, 1.0% of total-time
Operation ival-pi, time spent: 813.0ms, 1.0% of total-time
Operation ival-floor, time spent: 712.0ms, 1.0% of total-time
Operation ival-neg, time spent: 590.0ms, 1.0% of total-time
Operation ival-log2, time spent: 370.0ms, 1.0% of total-time
Operation ival-asin, time spent: 330.0ms, 0.0% of total-time
Operation ival->, time spent: 314.0ms, 0.0% of total-time
Operation ival->=, time spent: 274.0ms, 0.0% of total-time
Operation ival-==, time spent: 198.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 160.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 126.0ms, 0.0% of total-time
Operation ival-if, time spent: 86.0ms, 0.0% of total-time
Bogosity

eval1.0min (7%)

Compiler

Compiled 4036288 to 1819956 computations (54.9% saved)

analyze34.9s (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)

Precisions
Click to see histograms. Total time spent on operations: 13.3s
Operation ival-mult, time spent: 3.2s, 24.0% of total-time
Operation ival-<=, time spent: 3.0s, 22.0% of total-time
Operation ival-div, time spent: 1.2s, 9.0% of total-time
Operation ival-fabs, time spent: 984.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 631.0ms, 5.0% of total-time
Operation ival-floor, time spent: 595.0ms, 4.0% of total-time
Operation ival-==, time spent: 519.0ms, 4.0% of total-time
Operation ival-and, time spent: 475.0ms, 4.0% of total-time
Operation ival-add, time spent: 462.0ms, 3.0% of total-time
Operation ival-sub, time spent: 359.0ms, 3.0% of total-time
Operation ival-log2, time spent: 307.0ms, 2.0% of total-time
Operation const, time spent: 292.0ms, 2.0% of total-time
Operation ival-if, time spent: 231.0ms, 2.0% of total-time
Operation ival->, time spent: 173.0ms, 1.0% of total-time
Operation ival-tan, time spent: 148.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 139.0ms, 1.0% of total-time
Operation ival-sin, time spent: 130.0ms, 1.0% of total-time
Operation ival-cos, time spent: 127.0ms, 1.0% of total-time
Operation ival-log, time spent: 103.0ms, 1.0% of total-time
Operation ival-<, time spent: 81.0ms, 1.0% of total-time
Operation ival-atan, time spent: 51.0ms, 0.0% of total-time
Operation ival-exp, time spent: 32.0ms, 0.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-asin, time spent: 31.0ms, 0.0% of total-time
Operation ival-neg, time spent: 24.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

prune15.6s (1.7%)

Counts
79180 → 500
Compiler

Compiled 62570 to 23794 computations (62% saved)

soundness15.1s (1.7%)

Rules
26943×fma-define
24157×fma-neg
13935×unsub-neg
10686×distribute-lft-neg-in
10478×associate-*l*
Stop Event
1×saturated
46×node limit
Compiler

Compiled 7707 to 2638 computations (65.8% saved)

simplify12.1s (1.3%)

Algorithm
62×egg-herbie
Rules
10943×associate-+l+
10693×associate-+r+
10598×log-prod
9014×distribute-lft-in
8473×distribute-rgt-in
Stop Event
31×saturated
5×fuel
31×node limit
25×done
Counts
5556 → 2043
Compiler

Compiled 4593 to 1676 computations (63.5% saved)

rewrite4.3s (0.5%)

Algorithm
25×batch-egg-rewrite
Rules
15859×log1p-expm1-u
15859×expm1-log1p-u
12019×prod-diff
9158×log-prod
4409×pow-unpow
Stop Event
25×node limit
Counts
81 → 3096

regimes2.7s (0.3%)

Counts
338 → 62
Calls

138 calls:

89.0ms
xi
74.0ms
h
74.0ms
(*.f32 (*.f32 uy 2) (PI.f32))
70.0ms
uy
66.0ms
dY.v
Compiler

Compiled 7606 to 4284 computations (43.7% saved)

series1.1s (0.1%)

Counts
81 → 2460
Calls

564 calls:

TimeVariablePointExpression
43.0ms
dY.u
@inf
(<.f32 (if (>.f32 (/.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 w) dY.u)) 2)) (*.f32 (floor.f32 w) (*.f32 (floor.f32 h) (fabs.f32 (-.f32 (*.f32 dX.u dY.v) (*.f32 dX.v dY.u)))))) (floor.f32 maxAniso)) (/.f32 (sqrt.f32 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 w) dY.u)) 2))) (floor.f32 maxAniso)) (*.f32 (floor.f32 w) (*.f32 (sqrt.f32 (/.f32 1 (fmax.f32 (pow.f32 (hypot.f32 (*.f32 dX.v (floor.f32 h)) (*.f32 dX.u (floor.f32 w))) 2) (pow.f32 (hypot.f32 (*.f32 (floor.f32 h) dY.v) (*.f32 (floor.f32 w) dY.u)) 2)))) (*.f32 (floor.f32 h) (fabs.f32 (-.f32 (*.f32 dX.u dY.v) (*.f32 dX.v dY.u))))))) 1)
13.0ms
h
@-inf
(/.f32 (fmax.f32 (fma.f32 (floor.f32 w) (*.f32 (*.f32 dX.u dX.u) (floor.f32 w)) (*.f32 (floor.f32 h) (*.f32 (floor.f32 h) (*.f32 dX.v dX.v)))) (fma.f32 (floor.f32 w) (*.f32 (*.f32 dY.u dY.u) (floor.f32 w)) (*.f32 (floor.f32 h) (*.f32 (*.f32 dY.v dY.v) (floor.f32 h))))) (fabs.f32 (*.f32 (floor.f32 w) (*.f32 (floor.f32 h) (-.f32 (*.f32 dY.v dX.u) (*.f32 dX.v dY.u))))))
12.0ms
h
@-inf
(>.f32 (/.f32 (fmax.f32 (+.f32 (*.f32 (pow.f32 dX.u 2) (pow.f32 (floor.f32 w) 2)) (pow.f32 (*.f32 dX.v (floor.f32 h)) 2)) (+.f32 (*.f32 (pow.f32 dY.u 2) (pow.f32 (floor.f32 w) 2)) (pow.f32 (*.f32 dY.v (floor.f32 h)) 2))) (*.f32 (floor.f32 h) (*.f32 (floor.f32 w) (-.f32 (*.f32 dX.u dY.v) (*.f32 dX.v dY.u))))) (floor.f32 maxAniso))
12.0ms
dX.u
@inf
(<.f32 (if (>.f32 (/.f32 (fmax.f32 (fma.f32 (pow.f32 dX.u 2) (pow.f32 (floor.f32 w) 2) (*.f32 (pow.f32 dX.v 2) (pow.f32 (floor.f32 h) 2))) (fma.f32 (pow.f32 (floor.f32 h) 2) (pow.f32 dY.v 2) (*.f32 (pow.f32 (floor.f32 w) 2) (pow.f32 dY.u 2)))) (*.f32 (fabs.f32 (fma.f32 dX.v dY.u (neg.f32 (*.f32 dX.u dY.v)))) (*.f32 (floor.f32 w) (floor.f32 h)))) (floor.f32 maxAniso)) (/.f32 (sqrt.f32 (fmax.f32 (fma.f32 (pow.f32 dX.u 2) (pow.f32 (floor.f32 w) 2) (*.f32 (pow.f32 dX.v 2) (pow.f32 (floor.f32 h) 2))) (fma.f32 (pow.f32 (floor.f32 h) 2) (pow.f32 dY.v 2) (*.f32 (pow.f32 (floor.f32 w) 2) (pow.f32 dY.u 2))))) (floor.f32 maxAniso)) (*.f32 (fabs.f32 (fma.f32 dX.v dY.u (neg.f32 (*.f32 dX.u dY.v)))) (*.f32 (floor.f32 h) (*.f32 (floor.f32 w) (sqrt.f32 (/.f32 1 (fmax.f32 (fma.f32 (pow.f32 dX.u 2) (pow.f32 (floor.f32 w) 2) (*.f32 (pow.f32 dX.v 2) (pow.f32 (floor.f32 h) 2))) (fma.f32 (pow.f32 (floor.f32 h) 2) (pow.f32 dY.v 2) (*.f32 (pow.f32 (floor.f32 w) 2) (pow.f32 dY.u 2)))))))))) 1)
8.0ms
h
@-inf
(<.f32 (if (>.f32 (/.f32 (fmax.f32 (fma.f32 (pow.f32 dX.u 2) (pow.f32 (floor.f32 w) 2) (*.f32 (pow.f32 dX.v 2) (pow.f32 (floor.f32 h) 2))) (fma.f32 (pow.f32 (floor.f32 h) 2) (pow.f32 dY.v 2) (*.f32 (pow.f32 (floor.f32 w) 2) (pow.f32 dY.u 2)))) (*.f32 (fabs.f32 (fma.f32 dX.v dY.u (neg.f32 (*.f32 dX.u dY.v)))) (*.f32 (floor.f32 w) (floor.f32 h)))) (floor.f32 maxAniso)) (/.f32 (sqrt.f32 (fmax.f32 (fma.f32 (pow.f32 dX.u 2) (pow.f32 (floor.f32 w) 2) (*.f32 (pow.f32 dX.v 2) (pow.f32 (floor.f32 h) 2))) (fma.f32 (pow.f32 (floor.f32 h) 2) (pow.f32 dY.v 2) (*.f32 (pow.f32 (floor.f32 w) 2) (pow.f32 dY.u 2))))) (floor.f32 maxAniso)) (*.f32 (fabs.f32 (fma.f32 dX.v dY.u (neg.f32 (*.f32 dX.u dY.v)))) (*.f32 (floor.f32 h) (*.f32 (floor.f32 w) (sqrt.f32 (/.f32 1 (fmax.f32 (fma.f32 (pow.f32 dX.u 2) (pow.f32 (floor.f32 w) 2) (*.f32 (pow.f32 dX.v 2) (pow.f32 (floor.f32 h) 2))) (fma.f32 (pow.f32 (floor.f32 h) 2) (pow.f32 dY.v 2) (*.f32 (pow.f32 (floor.f32 w) 2) (pow.f32 dY.u 2)))))))))) 1)

end1.0ms (0%)

Profiling

Loading profile data...