Herbie run

Date:Thursday, June 20th, 2024
Commit:aefdd770 on main
Hostname:nightly with Racket 8.11.1
Seed:2024172
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: 5.5min)

sample2.4min (43%)

Memory
1 111.2MiB live, 146 105.0MiB allocated
Samples
40.1s54 893×2valid
28.2s145 959×0invalid
25.9s116 011×1valid
15.6s3 605×5exit
5.7s57 644×0valid
3.3s2 620×3valid
439.0ms3 840×0exit
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-pow: 16.1s (16% of total)
ival-exp: 13.1s (13% of total)
ival-tan: 12.8s (12.7% of total)
ival-mult: 7.7s (7.6% of total)
ival-sub: 6.4s (6.4% of total)
...in/eval/compile.rkt:77:19: 5.9s (5.8% of total)
ival-log: 5.7s (5.7% of total)
ival-div: 4.8s (4.7% of total)
ival-cos: 4.7s (4.7% of total)
ival-add: 4.4s (4.4% of total)
adjust: 4.1s (4.1% of total)
ival-sin: 3.9s (3.9% of total)
ival-fabs: 2.5s (2.5% of total)
ival-<=: 2.2s (2.2% of total)
ival-<: 1.4s (1.4% of total)
ival-sqrt: 1.3s (1.3% of total)
ival-and: 621.0ms (0.6% of total)
ival-cbrt: 617.0ms (0.6% of total)
ival-fmin: 580.0ms (0.6% of total)
ival-neg: 528.0ms (0.5% of total)
ival->: 408.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 357.0ms (0.4% of total)
ival-atan: 340.0ms (0.3% of total)
ival-assert: 176.0ms (0.2% of total)
ival-true: 65.0ms (0.1% of total)
Bogosity

simplify50.0s (15.2%)

Memory
-325.7MiB live, 42 917.3MiB allocated
Algorithm
245×egg-herbie
Rules
82 963×fma-define
76 320×fmm-def
46 513×distribute-lft-in
43 625×times-frac
42 659×distribute-rgt-in
Stop Event
163×node limit
82×saturated
Counts
56 247 → 57 216

soundness27.0s (8.2%)

Memory
-392.4MiB live, 19 916.0MiB allocated
Rules
31 948×log1p-expm1-u
27 813×fmm-def
26 993×fma-define
24 100×expm1-log1p-u
20 174×associate-*r*
Stop Event
107×node limit
24×fuel
7×saturated
4×done
Compiler

Compiled 20 704 to 5 986 computations (71.1% saved)

rewrite25.2s (7.6%)

Memory
296.6MiB live, 20 803.3MiB allocated
Algorithm
108×batch-egg-rewrite
Rules
66 181×log1p-expm1-u
52 114×expm1-log1p-u
23 762×prod-diff
21 172×pow1
20 947×add-exp-log
Stop Event
108×node limit
Counts
1 213 → 38 818

localize18.8s (5.7%)

Memory
624.7MiB live, 21 984.9MiB allocated
Samples
3.8s6 301×1valid
3.5s3 961×2valid
3.5s15 103×0valid
677.0ms201×5exit
579.0ms1 887×0invalid
434.0ms317×3valid
50.0ms39×2invalid
45.0ms65×1invalid
9.0ms30×0exit
Compiler

Compiled 19 852 to 2 661 computations (86.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.9s
ival-div: 1.6s (16.6% of total)
ival-mult: 1.5s (15.2% of total)
ival-pow: 1.3s (12.8% of total)
ival-add: 843.0ms (8.6% of total)
adjust: 527.0ms (5.3% of total)
ival-sub: 516.0ms (5.2% of total)
ival-sqrt: 493.0ms (5% of total)
...in/eval/compile.rkt:77:19: 478.0ms (4.8% of total)
ival-tan: 452.0ms (4.6% of total)
ival-pow2: 369.0ms (3.7% of total)
ival-cos: 356.0ms (3.6% of total)
ival-sin: 285.0ms (2.9% of total)
ival-log: 245.0ms (2.5% of total)
ival-exp: 214.0ms (2.2% of total)
ival-log1p: 213.0ms (2.2% of total)
ival-cbrt: 125.0ms (1.3% of total)
ival-neg: 71.0ms (0.7% of total)
ival-expm1: 60.0ms (0.6% of total)
ival-cosh: 44.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 39.0ms (0.4% of total)
ival-hypot: 34.0ms (0.3% of total)
ival-atan: 29.0ms (0.3% of total)
ival-atan2: 28.0ms (0.3% of total)
ival-true: 23.0ms (0.2% of total)
ival-assert: 11.0ms (0.1% of total)
ival-e: 2.0ms (0% of total)

prune18.1s (5.5%)

Memory
-865.0MiB live, 24 474.2MiB allocated
Counts
79 604 → 1 977
Compiler

Compiled 64 859 to 35 453 computations (45.3% saved)

eval15.1s (4.6%)

Memory
537.6MiB live, 19 494.0MiB allocated
Compiler

Compiled 2 178 917 to 305 055 computations (86% saved)

bsearch9.6s (2.9%)

Memory
1.9MiB live, 7 496.6MiB allocated
Algorithm
88×binary-search
8×left-value
Stop Event
86×narrow-enough
2×predicate-same
Samples
6.2s2 262×5exit
949.0ms3 023×1valid
667.0ms6 509×0valid
277.0ms788×2valid
196.0ms1 380×0exit
101.0ms1 226×0invalid
Compiler

Compiled 14 862 to 10 877 computations (26.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.5s
ival-pow: 5.9s (79.1% of total)
ival-div: 357.0ms (4.8% of total)
adjust: 271.0ms (3.6% of total)
ival-sub: 255.0ms (3.4% of total)
ival-add: 221.0ms (2.9% of total)
ival-mult: 177.0ms (2.4% of total)
ival-neg: 94.0ms (1.3% of total)
ival-exp: 66.0ms (0.9% of total)
ival-sqrt: 44.0ms (0.6% of total)
ival-cos: 24.0ms (0.3% of total)
ival-cbrt: 23.0ms (0.3% of total)
...in/eval/compile.rkt:76:19: 12.0ms (0.2% of total)
ival-true: 11.0ms (0.1% of total)
ival-sin: 7.0ms (0.1% of total)
ival-assert: 5.0ms (0.1% of total)

explain6.6s (2%)

Memory
391.3MiB live, 8 513.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation413339
log.f64#fsensitivity7630
/.f64#fu/u4440
sqrt.f64#foflow-rescue3920
+.f64#fcancellation3640
/.f64#fu/n1120
pow.f64#fsensitivity860
sqrt.f64#fuflow-rescue160
/.f64(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))))n/u150
↳(*.f64 b eps)underflow149
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow160
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow149
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow234
↳(*.f64 a eps)underflow160
/.f64(/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))o/o20
↳(exp.f64 (*.f64 #s(literal 2 binary64) x))overflow2
↳(*.f64 #s(literal 2 binary64) x)overflow1
↳(-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64))overflow2
↳(exp.f64 x)overflow2
↳(-.f64 (exp.f64 x) #s(literal 1 binary64))overflow2
-.f64(-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n)))nan-rescue20
↳(*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64))))overflow2
↳(*.f64 n (log.f64 n))overflow2
*.f64#fn*u20
cos.f64(cos.f64 (+.f64 x eps))sensitivity10
sin.f64(sin.f64 (+.f64 x eps))sensitivity10
tan.f64(tan.f64 (+.f64 x eps))sensitivity10
Confusion
Predicted +Predicted -
+521617
-1621773
Precision
0.9698772777984381
Recall
0.996751385438563
Confusion?
Predicted +Predicted MaybePredicted -
+5216125
-162261747
Precision?
0.965288035450517
Recall?
0.9990445251289891
Freqs
test
numberfreq
01790
14603
2636
397
442
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
2.3s3 448×2valid
1.4s7 280×1valid
275.0ms3 442×0valid
151.0ms164×3valid
1.0ms2×5exit
Compiler

Compiled 2 522 to 980 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-tan: 698.0ms (20.9% of total)
ival-exp: 597.0ms (17.8% of total)
ival-cos: 299.0ms (8.9% of total)
ival-sub: 268.0ms (8% of total)
ival-log: 261.0ms (7.8% of total)
ival-div: 216.0ms (6.5% of total)
ival-mult: 192.0ms (5.7% of total)
adjust: 177.0ms (5.3% of total)
ival-sqrt: 177.0ms (5.3% of total)
ival-sin: 152.0ms (4.5% of total)
ival-add: 114.0ms (3.4% of total)
ival-pow: 102.0ms (3% of total)
ival-atan: 25.0ms (0.7% of total)
ival-neg: 23.0ms (0.7% of total)
ival-cbrt: 17.0ms (0.5% of total)
ival-true: 12.0ms (0.4% of total)
...in/eval/compile.rkt:76:19: 9.0ms (0.3% of total)
ival-assert: 6.0ms (0.2% of total)

preprocess5.7s (1.7%)

Memory
-215.6MiB live, 5 594.9MiB allocated
Algorithm
28×egg-herbie
Rules
8 308×fmm-def
6 663×fma-define
4 254×div-sub
2 652×sub-neg
2 620×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 9 196 to 3 978 computations (56.7% saved)

series5.4s (1.6%)

Memory
77.9MiB live, 6 804.3MiB allocated
Counts
1 213 → 17 429
Calls

4761 calls:

TimeVariablePointExpression
186.0ms
a
@0
(/ (- (* 1/2 (/ (* a c) b_2)) (pow (E) (log (* b_2 2)))) a)
142.0ms
b
@0
(/ (* (* a -2) c) b)
122.0ms
x
@0
(+ 1/6 (- (+ (* -1/2 (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2)))) (/ (* 1/6 (pow (sin x) 2)) (pow (cos x) 2))) (* (pow (sin x) 2) (/ (+ 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (pow (cos x) 2)))))
103.0ms
a
@inf
(pow (* (- (exp (* a x)) 1) (cbrt (- (exp (* a x)) 1))) 2)
93.0ms
x
@-inf
(/ (/ (- (+ 1 (+ (* -1/2 (/ (log x) (* n x))) (+ (/ 1/2 (* n x)) (/ (log x) n)))) (* 1/2 (/ 1 x))) n) x)

regimes3.5s (1.1%)

Memory
157.8MiB live, 4 368.5MiB allocated
Counts
3 738 → 280
Calls

43 calls:

1.1s
x
212.0ms
a
208.0ms
eps
171.0ms
(/.f64 #s(literal 1 binary64) n)
170.0ms
(-.f64 (cbrt.f64 (+.f64 x #s(literal 1 binary64))) (cbrt.f64 x))
Compiler

Compiled 1 436 to 951 computations (33.8% saved)

analyze3.1s (0.9%)

Memory
100.3MiB live, 3 086.9MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%38.9%0%2.7%0%3
46.1%26.9%31.4%38.9%0%2.8%0%4
54.8%31.5%26%38.9%0%3.6%0%5
57.1%32.5%24.4%38.9%0%4.2%0%6
61.5%33.9%21.3%38.9%0%6%0%7
64.6%35.3%19.3%38.9%0%6.5%0%8
67.1%36%17.6%38.9%0%7.5%0%9
69.1%36.5%16.3%38.9%0%8.3%0%10
71.7%37.5%14.8%38.9%0%8.8%0%11
72.8%37.8%14.1%38.9%0%9.3%0%12
Compiler

Compiled 483 to 350 computations (27.5% saved)

end0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

Profiling

Loading profile data...