Herbie run

Date:Friday, June 28th, 2024
Commit:698d17c4 on main
Hostname:nightly with Racket 8.11.1
Seed:2024180
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: 1.1min)

simplify15.2s (23%)

Memory
1.4MiB live, 11 606.4MiB allocated
Algorithm
64×egg-herbie
Rules
25 504×fmm-def
20 173×fma-define
12 849×times-frac
11 495×distribute-lft-in
9 323×associate-*r*
Stop Event
39×node limit
25×saturated
Counts
14 166 → 12 986

sample11.3s (17.1%)

Memory
189.0MiB live, 13 555.3MiB allocated
Samples
6.6s70 116×0valid
971.0ms4 181×2valid
198.0ms1 849×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-mult: 1.8s (30.9% of total)
ival-div: 1.2s (21.5% of total)
ival-sub: 765.0ms (13.4% of total)
ival-sqrt: 456.0ms (8% of total)
ival-if: 300.0ms (5.2% of total)
ival-add: 269.0ms (4.7% of total)
ival-exp: 252.0ms (4.4% of total)
ival-neg: 218.0ms (3.8% of total)
ival-log: 127.0ms (2.2% of total)
ival-fabs: 90.0ms (1.6% of total)
adjust: 65.0ms (1.1% of total)
ival->=: 63.0ms (1.1% of total)
ival-true: 51.0ms (0.9% of total)
...in/eval/compile.rkt:104:19: 35.0ms (0.6% of total)
ival-assert: 28.0ms (0.5% of total)
Bogosity

soundness8.3s (12.6%)

Memory
-33.4MiB live, 6 959.6MiB allocated
Rules
9 634×fma-define
7 417×fmm-def
7 062×times-frac
5 408×*-commutative
5 190×distribute-lft-in
Stop Event
27×node limit
5×done
4×fuel
3×saturated
Compiler

Compiled 6 937 to 1 880 computations (72.9% saved)

rewrite7.3s (11%)

Memory
56.0MiB live, 5 773.3MiB allocated
Algorithm
27×batch-egg-rewrite
Rules
14 284×log1p-expm1-u
10 600×expm1-log1p-u
7 569×pow1
7 414×add-exp-log
6 809×add-log-exp
Stop Event
27×node limit
Counts
264 → 8 090

prune5.3s (8.1%)

Memory
-42.4MiB live, 7 276.1MiB allocated
Counts
21 624 → 387
Compiler

Compiled 21 433 to 11 157 computations (47.9% saved)

localize4.6s (7%)

Memory
152.4MiB live, 5 438.9MiB allocated
Samples
1.1s5 513×0valid
754.0ms506×2valid
354.0ms655×0invalid
347.0ms308×1valid
161.0ms148×5exit
139.0ms38×3valid
Compiler

Compiled 5 796 to 735 computations (87.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 507.0ms (28.6% of total)
ival-div: 325.0ms (18.3% of total)
ival-sub: 197.0ms (11.1% of total)
ival-pow: 175.0ms (9.9% of total)
ival-add: 132.0ms (7.5% of total)
ival-sqrt: 88.0ms (5% of total)
adjust: 85.0ms (4.8% of total)
ival-if: 70.0ms (4% of total)
ival-log: 45.0ms (2.5% of total)
ival-neg: 31.0ms (1.8% of total)
ival-pow2: 28.0ms (1.6% of total)
ival-exp: 27.0ms (1.5% of total)
ival-cbrt: 17.0ms (1% of total)
ival-hypot: 10.0ms (0.6% of total)
...in/eval/compile.rkt:104:19: 9.0ms (0.5% of total)
ival-fabs: 9.0ms (0.5% of total)
ival->=: 7.0ms (0.4% of total)
ival-true: 5.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)

eval4.4s (6.7%)

Memory
239.8MiB live, 6 011.2MiB allocated
Compiler

Compiled 728 606 to 85 125 computations (88.3% saved)

series2.4s (3.7%)

Memory
-127.3MiB live, 2 265.9MiB allocated
Counts
264 → 6 076
Calls

1578 calls:

TimeVariablePointExpression
245.0ms
a
@-inf
(- (neg b) (sqrt (+ (* b b) (* a (* c -4)))))
210.0ms
a
@inf
(- (exp (* (+ (log (* c -4)) (log a)) 1/2)) b)
148.0ms
b
@0
(* c (/ 2 (- (exp (* (log (+ (* c (* a -4)) (pow b 2))) 1/2)) b)))
105.0ms
b
@0
(log (pow (exp (/ b a)) -1))
69.0ms
c
@0
(* c (/ 2 (- (exp (* (+ (log (* c -4)) (log a)) 1/2)) b)))

preprocess2.1s (3.1%)

Memory
-13.8MiB live, 1 756.7MiB allocated
Algorithm
9×egg-herbie
Rules
3 285×fmm-def
2 845×fma-define
1 495×times-frac
1 467×div-sub
1 176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3 302 to 1 012 computations (69.4% saved)

explain2.0s (3%)

Memory
19.6MiB live, 2 570.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2590
+.f64#fcancellation1330
-.f64#fcancellation1280
sqrt.f64#fuflow-rescue700
/.f64#fu/n330
/.f64#fn/u210
-.f64#fnan-rescue210
*.f64(*.f64 (/.f64 x y) z)n*u100
*.f64#fn*o90
Confusion
Predicted +Predicted -
+29511
-2331765
Precision
0.5587121212121212
Recall
0.9640522875816994
Confusion?
Predicted +Predicted MaybePredicted -
+295011
-23301765
Precision?
0.5587121212121212
Recall?
0.9640522875816994
Freqs
test
numberfreq
01776
1383
2134
311
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Samples
447.0ms762×2valid
283.0ms3 606×0valid
63.0ms232×1valid
3.0ms8×3valid
Compiler

Compiled 1 276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 595.0ms
ival-mult: 259.0ms (43.5% of total)
ival-div: 104.0ms (17.5% of total)
ival-sub: 52.0ms (8.7% of total)
ival-sqrt: 50.0ms (8.4% of total)
ival->=: 35.0ms (5.9% of total)
adjust: 26.0ms (4.4% of total)
ival-neg: 17.0ms (2.9% of total)
ival-add: 16.0ms (2.7% of total)
ival-if: 10.0ms (1.7% of total)
ival-fabs: 8.0ms (1.3% of total)
ival-log: 6.0ms (1% of total)
ival-exp: 4.0ms (0.7% of total)
ival-true: 4.0ms (0.7% of total)
...in/eval/compile.rkt:104:19: 2.0ms (0.3% of total)
ival-assert: 2.0ms (0.3% of total)

regimes1.3s (2%)

Memory
47.9MiB live, 1 378.9MiB allocated
Counts
859 → 101
Calls

26 calls:

266.0ms
x
228.0ms
f
151.0ms
b
105.0ms
c
73.0ms
a
Compiler

Compiled 587 to 390 computations (33.6% saved)

bsearch1.1s (1.7%)

Memory
8.3MiB live, 1 167.3MiB allocated
Algorithm
45×binary-search
3×left-value
Stop Event
32×narrow-enough
13×predicate-same
Samples
482.0ms5 168×0valid
29.0ms292×0invalid
8.0ms32×2valid
Compiler

Compiled 11 412 to 7 588 computations (33.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 383.0ms
ival-div: 158.0ms (41.3% of total)
ival-mult: 77.0ms (20.1% of total)
ival->=: 34.0ms (8.9% of total)
ival-sub: 33.0ms (8.6% of total)
ival-add: 26.0ms (6.8% of total)
ival-sqrt: 15.0ms (3.9% of total)
ival-neg: 15.0ms (3.9% of total)
ival-if: 8.0ms (2.1% of total)
ival-fabs: 8.0ms (2.1% of total)
ival-true: 4.0ms (1% of total)
ival-assert: 2.0ms (0.5% of total)
...in/eval/compile.rkt:104:19: 2.0ms (0.5% of total)
adjust: 1.0ms (0.3% of total)

analyze700.0ms (1.1%)

Memory
85.8MiB live, 609.1MiB allocated
Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 153 to 106 computations (30.7% saved)

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...