Herbie run

Date:Saturday, August 17th, 2024
Commit:3d05e0ff on zane-server-ci
Hostname:nightly with Racket 8.11.1
Seed:2024230
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.3min)

sample1.9min (36.4%)

Memory
-196.7MiB live, 118 376.0MiB allocated
Samples
30.9s41 350×2valid
24.6s147 232×0invalid
19.3s92 269×1valid
9.3s4 912×5exit
8.3s94 495×0valid
2.7s3 049×3valid
588.0ms4 092×0exit
532.0ms2 289×1exit
17.0ms9×4exit
6.0ms7×2exit
5.0ms5×4valid
5.0ms3×3exit
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-tan: 13.8s (17.2% of total)
ival-pow: 9.8s (12.2% of total)
ival-mult: 6.5s (8.1% of total)
const: 5.8s (7.2% of total)
adjust: 5.4s (6.8% of total)
ival-cos: 5.3s (6.7% of total)
ival-div: 4.2s (5.3% of total)
ival-sub: 3.8s (4.8% of total)
ival-sin: 3.4s (4.3% of total)
ival-log: 3.4s (4.2% of total)
ival-add: 3.0s (3.8% of total)
ival-fabs: 2.5s (3.1% of total)
ival-<=: 2.3s (2.9% of total)
ival-exp: 2.0s (2.5% of total)
ival-expm1: 1.9s (2.3% of total)
ival-sqrt: 1.4s (1.7% of total)
ival-<: 1.2s (1.4% of total)
ival-log1p: 1.1s (1.4% of total)
ival-fmin: 662.0ms (0.8% of total)
ival-and: 602.0ms (0.8% of total)
ival->: 571.0ms (0.7% of total)
ival-cbrt: 387.0ms (0.5% of total)
ival-atan: 371.0ms (0.5% of total)
exact: 324.0ms (0.4% of total)
ival-neg: 247.0ms (0.3% of total)
ival-assert: 143.0ms (0.2% of total)
ival-true: 67.0ms (0.1% of total)
Bogosity

simplify53.7s (16.8%)

Memory
829.8MiB live, 54 862.5MiB allocated
Algorithm
242×egg-herbie
Rules
2 097 246×lower-fma.f32
2 096 714×lower-fma.f64
758 278×lower-*.f32
757 328×lower-*.f64
497 548×lower-+.f32
Stop Event
321×iter limit
170×node limit
72×saturated
Counts
28 740 → 28 301

rewrite33.7s (10.6%)

Memory
-49.4MiB live, 36 918.6MiB allocated
Rules
488 888×lower-fma.f32
488 358×lower-fma.f64
433 100×lower-*.f32
432 152×lower-*.f64
402 296×lower-/.f32
Stop Event
218×iter limit
107×node limit
Counts
1 643 → 63 679

soundness29.4s (9.2%)

Memory
-65.5MiB live, 17 840.3MiB allocated
Rules
1 109 986×lower-fma.f32
1 109 730×lower-fma.f64
576 690×lower-*.f32
576 190×lower-*.f64
329 606×lower-+.f32
Stop Event
193×iter limit
128×node limit
22×fuel
6×done
2×saturated
Compiler

Compiled 10 186 to 4 692 computations (53.9% saved)

localize22.9s (7.2%)

Memory
-279.7MiB live, 26 055.9MiB allocated
Samples
7.1s5 864×2valid
6.4s10 482×1valid
2.7s10 056×0valid
600.0ms453×3valid
101.0ms445×0invalid
65.0ms10×5exit
33.0ms82×0exit
Compiler

Compiled 24 372 to 3 381 computations (86.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.4s
ival-mult: 2.1s (15.9% of total)
adjust: 1.7s (12.7% of total)
ival-add: 1.7s (12.6% of total)
ival-div: 1.7s (12.4% of total)
ival-tan: 1.6s (12% of total)
ival-sub: 652.0ms (4.9% of total)
ival-log: 642.0ms (4.8% of total)
const: 577.0ms (4.3% of total)
ival-cos: 567.0ms (4.2% of total)
ival-pow: 401.0ms (3% of total)
ival-exp: 401.0ms (3% of total)
ival-sin: 332.0ms (2.5% of total)
ival-sqrt: 225.0ms (1.7% of total)
ival-neg: 159.0ms (1.2% of total)
ival-log1p: 119.0ms (0.9% of total)
ival-cosh: 117.0ms (0.9% of total)
ival-pow2: 106.0ms (0.8% of total)
ival-cbrt: 98.0ms (0.7% of total)
exact: 73.0ms (0.5% of total)
ival-expm1: 66.0ms (0.5% of total)
ival-atan2: 32.0ms (0.2% of total)
ival-true: 22.0ms (0.2% of total)
ival-atan: 12.0ms (0.1% of total)
ival-assert: 11.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)

prune22.2s (7%)

Memory
-456.8MiB live, 28 338.5MiB allocated
Counts
106 588 → 2 072
Compiler

Compiled 85 437 to 37 761 computations (55.8% saved)

eval18.0s (5.7%)

Memory
786.7MiB live, 23 374.6MiB allocated
Compiler

Compiled 3 269 619 to 253 307 computations (92.3% saved)

explain6.4s (2%)

Memory
-63.6MiB live, 7 396.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation414930
log.f64#fsensitivity7660
/.f64#fu/u4280
sqrt.f64#foflow-rescue4100
+.f64#fcancellation3450
/.f64#fu/n1130
pow.f64(pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n))sensitivity690
sqrt.f64#fuflow-rescue200
/.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/u190
↳(*.f64 b eps)underflow135
↳(-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64))underflow142
↳(-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))underflow135
↳(*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))underflow223
↳(*.f64 a eps)underflow142
-.f64#fnan-rescue160
/.f64(/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x))n/o40
↳(*.f64 x x)overflow62
*.f64#fn*u20
cos.f64(cos.f64 (+.f64 x eps))sensitivity10
exp.f64(exp.f64 (*.f64 #s(literal 2 binary64) x))sensitivity10
sin.f64(sin.f64 (+.f64 x eps))sensitivity10
tan.f64(tan.f64 (+.f64 x eps))sensitivity10
Confusion
Predicted +Predicted -
+519615
-1421815
Precision
0.9733982765080554
Recall
0.9971214738054116
Confusion?
Predicted +Predicted MaybePredicted -
+5196105
-142211794
Precision?
0.9696405289625628
Recall?
0.9990404912684705
Freqs
test
numberfreq
01830
14539
2641
3108
450
Total Confusion?
Predicted +Predicted MaybePredicted -
+2800
-000
Precision?
1.0
Recall?
1.0
Samples
2.2s2 570×2valid
1.2s5 832×1valid
500.0ms5 758×0valid
101.0ms176×3valid
Compiler

Compiled 2 197 to 763 computations (65.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-tan: 1.3s (39.9% of total)
ival-log: 252.0ms (7.8% of total)
adjust: 222.0ms (6.9% of total)
ival-cos: 191.0ms (5.9% of total)
ival-sub: 184.0ms (5.7% of total)
ival-sin: 175.0ms (5.4% of total)
ival-div: 155.0ms (4.8% of total)
ival-exp: 153.0ms (4.8% of total)
ival-sqrt: 128.0ms (4% of total)
ival-pow: 98.0ms (3% of total)
ival-add: 95.0ms (3% of total)
ival-mult: 93.0ms (2.9% of total)
ival-log1p: 59.0ms (1.8% of total)
ival-atan: 43.0ms (1.3% of total)
ival-neg: 24.0ms (0.7% of total)
ival-expm1: 23.0ms (0.7% of total)
ival-cbrt: 15.0ms (0.5% of total)
ival-true: 12.0ms (0.4% of total)
exact: 8.0ms (0.2% of total)
ival-assert: 6.0ms (0.2% of total)

series4.8s (1.5%)

Memory
22.5MiB live, 4 739.6MiB allocated
Counts
1 643 → 28 740
Calls

3771 calls:

TimeVariablePointExpression
340.0ms
c
@inf
(* b_2 (+ (* c (/ -1/2 (* b_2 b_2))) (/ 2 a)))
94.0ms
eps
@0
(/ (+ (* a (* eps (+ (/ (exp (* b eps)) (- (exp (* b eps)) 1)) -1/2))) 1) a)
93.0ms
N
@0
(log (/ 1 (atan2 1 (+ (* N N) (+ N 1)))))
75.0ms
n
@inf
(/ (* (* (log (* (+ x 1) x)) (log (/ (+ x 1) x))) (/ 1 (log (* (+ x 1) x)))) n)
67.0ms
b
@-inf
(+ (* 1/2 (/ (* (+ b a) (+ b a)) (* b a))) (/ (* (+ b a) (* -1/2 (+ (* b (* b a)) (* b (* a a))))) (* b (* b (* a a)))))

regimes4.6s (1.4%)

Memory
-90.8MiB live, 5 447.0MiB allocated
Counts
4 356 → 340
Calls

43 calls:

1.3s
x
343.0ms
eps
180.0ms
b
166.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
163.0ms
a
Compiler

Compiled 3 202 to 2 126 computations (33.6% saved)

preprocess4.5s (1.4%)

Memory
145.4MiB live, 5 360.8MiB allocated
Algorithm
28×egg-herbie
Rules
27 478×lower-fma.f64
27 478×lower-fma.f32
10 768×div-sub
10 444×sub-neg
9 190×lower-*.f32
Stop Event
56×iter limit
50×saturated
6×node limit
Compiler

Compiled 12 187 to 4 075 computations (66.6% saved)

analyze1.8s (0.6%)

Memory
80.8MiB live, 2 244.3MiB allocated
Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
7.4%4.5%56.6%38.9%0%0%0%1
22.3%13.6%47.5%38.9%0%0%0%2
40.2%23.5%34.9%38.9%0%2.7%0%3
53.4%31.1%27.2%38.9%0%2.8%0%4
63%36.3%21.3%38.9%0%3.6%0%5
65.9%37.5%19.4%38.9%0%4.2%0%6
70.4%38.8%16.3%38.9%0%6%0%7
73.6%40.2%14.4%38.9%0%6.5%0%8
76.3%40.9%12.7%38.9%0%7.5%0%9
78.4%41.4%11.4%38.9%0%8.3%0%10
81.1%42.4%9.9%38.9%0%8.8%0%11
82.3%42.7%9.2%38.9%0%9.3%0%12
Compiler

Compiled 483 to 337 computations (30.2% saved)

bsearch902.0ms (0.3%)

Memory
8.4MiB live, 1 405.2MiB allocated
Algorithm
70×binary-search
42×left-value
Stop Event
66×narrow-enough
4×predicate-same
Samples
324.0ms3 974×0valid
78.0ms266×2valid
64.0ms505×1valid
57.0ms741×0invalid
3.0ms34×0exit
2.0ms7×3valid
0.0ms1×1exit
Compiler

Compiled 15 583 to 10 457 computations (32.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 380.0ms
ival-mult: 88.0ms (23.2% of total)
ival-sub: 57.0ms (15% of total)
ival-div: 45.0ms (11.8% of total)
ival-pow: 42.0ms (11.1% of total)
ival-sqrt: 36.0ms (9.5% of total)
ival-cos: 28.0ms (7.4% of total)
adjust: 21.0ms (5.5% of total)
ival-neg: 21.0ms (5.5% of total)
ival-add: 19.0ms (5% of total)
ival-sin: 7.0ms (1.8% of total)
ival-expm1: 4.0ms (1.1% of total)
ival-true: 4.0ms (1.1% of total)
ival-cbrt: 3.0ms (0.8% of total)
exact: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.5% of total)
ival-log1p: 1.0ms (0.3% of total)
ival-log: 1.0ms (0.3% of total)
ival-exp: 0.0ms (0% of total)

start0.0ms (0%)

Memory
0.8MiB live, 0.7MiB allocated

end0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

Profiling

Loading profile data...