Herbie run

Date:Thursday, June 27th, 2024
Commit:1ed5d077 on no-const-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024179
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: 4.0min)

sample59.9s (25.2%)

Memory
-629.6MiB live, 48 112.6MiB allocated
Samples
22.3s48 441×1valid
13.6s14 710×5exit
13.4s109 366×0valid
2.2s7 313×2valid
381.0ms3 918×0invalid
111.0ms1 141×0exit
Precisions
Click to see histograms. Total time spent on operations: 43.6s
ival-tan: 9.7s (22.2% of total)
...in/eval/compile.rkt:77:19: 6.7s (15.5% of total)
ival-exp: 5.3s (12.2% of total)
ival-pow: 4.0s (9.1% of total)
ival-cos: 3.4s (7.8% of total)
ival-mult: 2.8s (6.5% of total)
ival-sub: 1.7s (3.9% of total)
adjust: 1.5s (3.4% of total)
ival-sqrt: 1.3s (3% of total)
ival-log: 1.2s (2.9% of total)
ival-add: 849.0ms (1.9% of total)
ival-div: 790.0ms (1.8% of total)
ival-fmod: 788.0ms (1.8% of total)
ival-sin: 769.0ms (1.8% of total)
ival-<=: 705.0ms (1.6% of total)
ival-pow2: 527.0ms (1.2% of total)
ival-acos: 348.0ms (0.8% of total)
ival-sinh: 317.0ms (0.7% of total)
ival-neg: 182.0ms (0.4% of total)
ival-and: 117.0ms (0.3% of total)
ival-==: 92.0ms (0.2% of total)
ival-true: 91.0ms (0.2% of total)
ival-assert: 74.0ms (0.2% of total)
ival-<: 68.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 61.0ms (0.1% of total)
ival->=: 52.0ms (0.1% of total)
ival-atan: 44.0ms (0.1% of total)
ival-or: 36.0ms (0.1% of total)
ival->: 21.0ms (0% of total)
Bogosity

soundness37.1s (15.6%)

Memory
177.2MiB live, 18 210.1MiB allocated
Rules
20 096×log1p-expm1-u
19 929×fma-define
19 073×expm1-log1p-u
14 106×fmm-def
13 143×associate-*r*
Stop Event
77×node limit
13×fuel
7×done
6×saturated
5×unsound
Compiler

Compiled 14 438 to 3 910 computations (72.9% saved)

simplify36.2s (15.2%)

Memory
43.3MiB live, 30 377.4MiB allocated
Algorithm
163×egg-herbie
Rules
48 543×fma-define
43 072×fmm-def
30 485×distribute-lft-in
25 739×distribute-rgt-in
24 079×*-commutative
Stop Event
98×node limit
58×saturated
7×unsound
Counts
37 047 → 32 103

series23.0s (9.7%)

Memory
444.4MiB live, 19 128.3MiB allocated
Counts
733 → 13 043
Calls

3147 calls:

TimeVariablePointExpression
6.9s
x
@-inf
(/ (- (+ x (* lo (/ (- x lo) hi))) lo) hi)
1.0s
a
@-inf
(log (+ 1 (cos (+ b a))))
855.0ms
b
@-inf
(log (+ 1 (cos (+ b a))))
717.0ms
r
@0
(* 3 (log (* r (sin b))))
595.0ms
z
@-inf
(log (+ x (+ (* -1 a) (/ (sin (* z (- (* -1 (/ y z)) 1))) (cos (* z (- (* -1 (/ y z)) 1)))))))

localize19.3s (8.1%)

Memory
539.2MiB live, 17 696.5MiB allocated
Samples
5.7s5 472×1valid
3.2s398×5exit
2.7s10 342×0valid
2.3s1 547×2valid
308.0ms127×3valid
274.0ms532×0invalid
63.0ms54×1invalid
52.0ms216×0exit
Compiler

Compiled 12 497 to 1 671 computations (86.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
adjust: 2.0s (17.6% of total)
ival-pow: 1.3s (11.6% of total)
ival-cos: 1.2s (10.4% of total)
ival-log: 1.1s (9.8% of total)
ival-mult: 1.1s (9.8% of total)
ival-div: 736.0ms (6.4% of total)
ival-add: 520.0ms (4.5% of total)
ival-sin: 503.0ms (4.4% of total)
ival-exp: 484.0ms (4.2% of total)
ival-tan: 386.0ms (3.3% of total)
ival-fmod: 358.0ms (3.1% of total)
ival-cbrt: 282.0ms (2.4% of total)
ival-sub: 282.0ms (2.4% of total)
...in/eval/compile.rkt:77:19: 246.0ms (2.1% of total)
ival-expm1: 182.0ms (1.6% of total)
ival-log1p: 152.0ms (1.3% of total)
ival-sqrt: 121.0ms (1% of total)
ival-pow2: 117.0ms (1% of total)
ival-sinh: 75.0ms (0.6% of total)
ival-asin: 67.0ms (0.6% of total)
ival-acos: 53.0ms (0.5% of total)
ival-neg: 40.0ms (0.3% of total)
ival-hypot: 29.0ms (0.3% of total)
ival-e: 27.0ms (0.2% of total)
...in/eval/compile.rkt:76:19: 19.0ms (0.2% of total)
ival-true: 15.0ms (0.1% of total)
ival-assert: 8.0ms (0.1% of total)
ival-pi: 7.0ms (0.1% of total)
ival-atan: 4.0ms (0% of total)

rewrite18.1s (7.6%)

Memory
104.8MiB live, 13 194.6MiB allocated
Algorithm
70×batch-egg-rewrite
Rules
33 951×log1p-expm1-u
31 315×expm1-log1p-u
17 702×pow1
17 532×add-exp-log
16 711×add-log-exp
Stop Event
70×node limit
Counts
733 → 24 004

prune13.6s (5.7%)

Memory
-248.1MiB live, 18 549.5MiB allocated
Counts
53 568 → 1 900
Compiler

Compiled 78 956 to 40 424 computations (48.8% saved)

eval13.0s (5.5%)

Memory
93.3MiB live, 13 611.8MiB allocated
Compiler

Compiled 1 416 094 to 199 008 computations (85.9% saved)

analyze4.9s (2.1%)

Memory
-52.2MiB live, 4 656.4MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 218 computations (21.9% saved)

regimes4.8s (2%)

Memory
7.8MiB live, 6 727.1MiB allocated
Counts
3 167 → 128
Calls

55 calls:

667.0ms
x
504.0ms
a
380.0ms
hi
365.0ms
b
284.0ms
r
Compiler

Compiled 1 606 to 1 109 computations (30.9% saved)

preprocess3.9s (1.7%)

Memory
-262.7MiB live, 3 749.8MiB allocated
Algorithm
20×egg-herbie
Rules
5 179×fmm-def
5 054×fma-define
1 627×distribute-rgt-in
1 585×distribute-lft-in
1 517×unsub-neg
Stop Event
18×saturated
2×node limit
Compiler

Compiled 5 930 to 2 790 computations (53% saved)

explain3.1s (1.3%)

Memory
232.0MiB live, 3 322.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue6420
cos.f64#fsensitivity5110
-.f64#fcancellation3581
sqrt.f64#fuflow-rescue3350
/.f64#fn/o2570
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2550
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2510
tan.f64(tan.f64 (+.f64 y z))sensitivity1950
pow.f64(pow.f64 l (exp.f64 w))sensitivity9611
*.f64#fn*o560
*.f64#fu*o310
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue180
↳(*.f64 a a)overflow120
↳(*.f64 b b)overflow18
*.f64#fn*u170
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue30
↳(sinh.f64 x)overflow3
↳(/.f64 (sinh.f64 x) x)overflow3
exp.f64#fsensitivity20
/.f64(/.f64 (-.f64 x lo) (-.f64 hi lo))o/o10
↳(-.f64 x lo)overflow1
↳(-.f64 hi lo)overflow256
cos.f64(cos.f64 (*.f64 #s(literal 2 binary64) x))oflow-rescue10
↳(*.f64 #s(literal 2 binary64) x)overflow1
Confusion
Predicted +Predicted -
+2248269
-7081895
Precision
0.7604871447902571
Recall
0.8931267381803735
Confusion?
Predicted +Predicted MaybePredicted -
+22482267
-708101885
Precision?
0.7580862533692723
Recall?
0.8939213349225268
Freqs
test
numberfreq
02164
12884
271
31
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
590.0ms3 066×1valid
438.0ms6 626×0valid
400.0ms102×5exit
135.0ms446×2valid
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-cos: 387.0ms (35.7% of total)
ival-acos: 77.0ms (7.1% of total)
ival-tan: 71.0ms (6.5% of total)
ival-mult: 71.0ms (6.5% of total)
ival-log: 65.0ms (6% of total)
ival-sqrt: 60.0ms (5.5% of total)
ival-exp: 56.0ms (5.2% of total)
adjust: 46.0ms (4.2% of total)
ival-add: 41.0ms (3.8% of total)
ival-fmod: 39.0ms (3.6% of total)
ival-sin: 38.0ms (3.5% of total)
ival-sub: 32.0ms (3% of total)
ival-div: 29.0ms (2.7% of total)
ival-pow2: 23.0ms (2.1% of total)
ival-sinh: 15.0ms (1.4% of total)
ival-pow: 10.0ms (0.9% of total)
ival-true: 8.0ms (0.7% of total)
ival-neg: 5.0ms (0.5% of total)
ival-assert: 4.0ms (0.4% of total)
ival-atan: 3.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 2.0ms (0.2% of total)

bsearch454.0ms (0.2%)

Memory
5.7MiB live, 434.7MiB allocated
Algorithm
14×binary-search
4×left-value
Stop Event
10×narrow-enough
3×predicate-same
1×predicate-failed
Samples
167.0ms1 232×0valid
121.0ms60×5exit
41.0ms96×2valid
26.0ms80×1valid
10.0ms101×0invalid
Compiler

Compiled 2 957 to 2 060 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 271.0ms
ival-exp: 153.0ms (56.4% of total)
ival-pow: 38.0ms (14% of total)
ival-fmod: 27.0ms (10% of total)
ival-mult: 18.0ms (6.6% of total)
ival-cos: 13.0ms (4.8% of total)
ival-neg: 7.0ms (2.6% of total)
adjust: 6.0ms (2.2% of total)
ival-sqrt: 6.0ms (2.2% of total)
ival-assert: 1.0ms (0.4% of total)
ival-pow2: 1.0ms (0.4% of total)
ival-true: 1.0ms (0.4% of total)
ival-div: 0.0ms (0% of total)
...in/eval/compile.rkt:76:19: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.3MiB live, 0.2MiB allocated

Profiling

Loading profile data...