Herbie run

Date:Friday, May 17th, 2024
Commit:468a8500 on if-cost
Hostname:nightly with Racket 8.11.1
Seed:2024138
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 10.3min)

soundness1.8min (17.8%)

Rules
870848×*-lowering-*.f32
870848×*-lowering-*.f64
439854×+-lowering-+.f32
439854×+-lowering-+.f64
376490×/-lowering-/.f32
Stop Event
11×saturated
206×iter limit
195×node limit
29×fuel
1×done
Compiler

Compiled 42779 to 18341 computations (57.1% saved)

simplify1.4min (13.8%)

Algorithm
268×egg-herbie
Rules
860922×*-lowering-*.f32
860922×*-lowering-*.f64
479228×+-lowering-+.f32
479228×+-lowering-+.f64
261066×fma-lowering-fma.f64
Stop Event
241×iter limit
54×saturated
211×node limit
3×unsound
Counts
73332 → 73332

sample1.4min (13.4%)

Results
1.1min247680×0valid
1.1s8409×0invalid
674.0ms2080×0precondition
20.0ms54×5exit
Precisions
Click to see histograms. Total time spent on operations: 52.9s
ival-mult: 11.2s (21.2% of total)
ival-<=: 8.8s (16.6% of total)
...c/correct-round.rkt:119:19: 8.0s (15.2% of total)
ival-div: 4.4s (8.3% of total)
ival-sub: 2.2s (4.1% of total)
ival-fabs: 2.0s (3.9% of total)
ival-add: 1.9s (3.6% of total)
ival-sin: 1.8s (3.3% of total)
ival-and: 1.7s (3.1% of total)
ival-log: 1.6s (3.1% of total)
ival-sqrt: 1.5s (2.8% of total)
ival-exp: 1.1s (2.1% of total)
ival-floor: 1.1s (2% of total)
ival-neg: 849.0ms (1.6% of total)
ival-cos: 785.0ms (1.5% of total)
ival-pi: 560.0ms (1.1% of total)
const: 483.0ms (0.9% of total)
ival->: 473.0ms (0.9% of total)
ival-tan: 378.0ms (0.7% of total)
ival-log2: 375.0ms (0.7% of total)
ival-fmax: 359.0ms (0.7% of total)
ival-<: 324.0ms (0.6% of total)
ival-if: 289.0ms (0.5% of total)
ival-==: 208.0ms (0.4% of total)
ival-asin: 189.0ms (0.4% of total)
ival-atan: 145.0ms (0.3% of total)
backward-pass: 117.0ms (0.2% of total)
ival-sinh: 98.0ms (0.2% of total)
ival->=: 85.0ms (0.2% of total)
Bogosity

end1.0min (9.8%)

eval53.7s (8.7%)

Compiler

Compiled 29958940 to 450722 computations (98.5% saved)

rewrite43.8s (7.1%)

Algorithm
119×batch-egg-rewrite
Rules
424850×*-lowering-*.f32
424850×*-lowering-*.f64
282880×/-lowering-/.f32
282880×/-lowering-/.f64
183754×fma-lowering-fma.f64
Stop Event
122×iter limit
116×node limit
3×unsound
Counts
2418 → 67559

prune43.6s (7.1%)

Counts
224355 → 4897
Compiler

Compiled 407904 to 165551 computations (59.4% saved)

localize38.8s (6.3%)

Results
18.5s28416×0valid
3.4s673×5exit
702.0ms1037×0invalid
416.0ms258×1valid
73.0ms80×0unsamplable
Compiler

Compiled 111876 to 5670 computations (94.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.1s
ival-mult: 3.9s (29.7% of total)
ival-div: 1.9s (14.2% of total)
ival-add: 1.4s (10.6% of total)
ival-pow: 1.1s (8.6% of total)
...c/correct-round.rkt:119:19: 582.0ms (4.4% of total)
backward-pass: 566.0ms (4.3% of total)
ival-log: 460.0ms (3.5% of total)
compiled-spec: 419.0ms (3.2% of total)
ival-sub: 382.0ms (2.9% of total)
ival-sqrt: 366.0ms (2.8% of total)
ival-sin: 312.0ms (2.4% of total)
ival-cos: 305.0ms (2.3% of total)
ival-exp: 218.0ms (1.7% of total)
ival-neg: 149.0ms (1.1% of total)
ival-tan: 137.0ms (1% of total)
ival-if: 136.0ms (1% of total)
ival-floor: 127.0ms (1% of total)
ival-log2: 115.0ms (0.9% of total)
ival-fmax: 115.0ms (0.9% of total)
const: 107.0ms (0.8% of total)
ival-atan: 76.0ms (0.6% of total)
ival-pi: 65.0ms (0.5% of total)
ival-fabs: 48.0ms (0.4% of total)
ival-asin: 40.0ms (0.3% of total)
ival->=: 37.0ms (0.3% of total)
ival->: 34.0ms (0.3% of total)
ival-e: 20.0ms (0.2% of total)
ival-<: 14.0ms (0.1% of total)
ival-sinh: 12.0ms (0.1% of total)
ival-cosh: 10.0ms (0.1% of total)

regimes37.3s (6%)

Counts
18137 → 561
Calls

145 calls:

1.4s
s
1.3s
cosTheta_i
933.0ms
v
905.0ms
u
856.0ms
maxCos
Compiler

Compiled 15207 to 10701 computations (29.6% saved)

analyze29.4s (4.8%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0%0%2.6%97.4%0%0%0%1
7.8%0.2%2.4%97.4%0%0%0%2
8.5%0.2%2.4%97.4%0%0%0%3
12.8%0.3%2.3%97.4%0%0%0%4
47%1.2%1.4%97.4%0%0%0%5
51.8%1.3%1.2%97.4%0%0%0%6
69.5%1.8%0.8%97.4%0%0%0%7
71.6%1.8%0.7%97.4%0%0.1%0%8
81.1%2.1%0.5%97.4%0%0.1%0%9
82.6%2.1%0.4%97.4%0%0.1%0%10
88.3%2.2%0.3%97.4%0%0.1%0%11
89.1%2.2%0.3%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1046 computations (60.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.5s
ival-mult: 4.5s (23% of total)
ival-<=: 3.4s (17.5% of total)
...c/correct-round.rkt:119:19: 2.2s (11.3% of total)
ival-fabs: 2.0s (10.5% of total)
ival-floor: 1.0s (5.3% of total)
ival-div: 1.0s (5.2% of total)
ival-and: 709.0ms (3.6% of total)
ival-add: 674.0ms (3.4% of total)
ival-sqrt: 554.0ms (2.8% of total)
ival-if: 474.0ms (2.4% of total)
ival-sub: 440.0ms (2.3% of total)
ival-fmax: 362.0ms (1.9% of total)
ival-sin: 305.0ms (1.6% of total)
ival-cos: 251.0ms (1.3% of total)
ival-==: 196.0ms (1% of total)
ival-log: 183.0ms (0.9% of total)
ival-log2: 181.0ms (0.9% of total)
ival->: 156.0ms (0.8% of total)
const: 139.0ms (0.7% of total)
ival-tan: 134.0ms (0.7% of total)
ival-pi: 103.0ms (0.5% of total)
ival->=: 87.0ms (0.4% of total)
ival-neg: 86.0ms (0.4% of total)
ival-<: 81.0ms (0.4% of total)
ival-exp: 79.0ms (0.4% of total)
ival-atan: 45.0ms (0.2% of total)
ival-sinh: 42.0ms (0.2% of total)
backward-pass: 36.0ms (0.2% of total)
ival-asin: 17.0ms (0.1% of total)

series17.1s (2.8%)

Counts
2418 → 73332
Calls

14418 calls:

TimeVariablePointExpression
350.0ms
dY.v
@inf
(sqrt (fmax (* dX.u (* dX.u (pow (floor w) 2))) (+ (* (floor w) (* (floor w) (* dY.u dY.u))) (* (floor h) (* dY.v (* (floor h) dY.v))))))
192.0ms
w
@0
(pow (exp 2) (log (* (floor w) dY.u)))
163.0ms
s
@0
(* (neg (log (/ (- 1 (* u (+ -4/3 (/ 1/3 u)))) (- 1 (* u (* (+ -4/3 (/ 1/3 u)) (* u (+ -4/3 (/ 1/3 u))))))))) (* s -3))
155.0ms
u1
@-inf
(* (log (+ 1 (/ (/ u0 (- 1 u0)) (+ (/ (/ 1 (+ 1 (pow (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay)) 2))) (* alphax alphax)) (/ (pow (sin (atan (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay)))) 2) (* alphay alphay)))))) -1/2)
139.0ms
alphay
@inf
(exp (* (log (+ 1 (/ (/ u0 (- 1 u0)) (+ (/ (/ 1 (+ 1 (pow (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay)) 2))) (* alphax alphax)) (/ (pow (sin (atan (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay)))) 2) (* alphay alphay)))))) -1/2))

preprocess8.5s (1.4%)

Algorithm
60×egg-herbie
Rules
49426×fma-define
44786×fnmadd-define
40376×sum3-define
37636×fmsub-define
35894×sum4-define
Stop Event
24×saturated
30×iter limit
36×node limit
Compiler

Compiled 56562 to 18044 computations (68.1% saved)

explain6.5s (1%)

Results
3.8s15292×0valid
86.0ms68×5exit
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 625.0ms (32.4% of total)
ival-div: 230.0ms (11.9% of total)
ival-sub: 142.0ms (7.4% of total)
ival-sin: 136.0ms (7% of total)
ival-add: 112.0ms (5.8% of total)
ival-sqrt: 103.0ms (5.3% of total)
ival-log: 102.0ms (5.3% of total)
ival-floor: 58.0ms (3% of total)
ival-neg: 58.0ms (3% of total)
ival-cos: 44.0ms (2.3% of total)
ival-exp: 41.0ms (2.1% of total)
ival-tan: 41.0ms (2.1% of total)
...c/correct-round.rkt:119:19: 32.0ms (1.7% of total)
ival-log2: 32.0ms (1.7% of total)
ival-pi: 31.0ms (1.6% of total)
ival->=: 29.0ms (1.5% of total)
const: 28.0ms (1.4% of total)
ival-fmax: 19.0ms (1% of total)
backward-pass: 19.0ms (1% of total)
ival-if: 16.0ms (0.8% of total)
ival-fabs: 10.0ms (0.5% of total)
ival-atan: 7.0ms (0.4% of total)
ival-asin: 5.0ms (0.3% of total)
ival->: 5.0ms (0.3% of total)
ival-sinh: 5.0ms (0.3% of total)
ival-<: 2.0ms (0.1% of total)

bsearch124.0ms (0%)

Algorithm
99×binary-search
31×left-value
Stop Event
99×narrow-enough
Compiler

Compiled 5930 to 3006 computations (49.3% saved)

Profiling

Loading profile data...