Herbie run

Date:Wednesday, December 11th, 2024
Commit:8f36bff3 on bhargav-bigfloat
Hostname:nightly with Racket 8.10
Seed:2024346
Parameters:256 points for 0 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce: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.9min)

explain1.7min (89.6%)

Memory
205.6MiB live, 54 140.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue10990
-.f64#fcancellation7841
/.f64#fo/o6610
sin.f64#fsensitivity1930
/.f64#fo/n1920
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))sensitivity1900
sqrt.f64#fuflow-rescue1430
+.f64#fcancellation1400
sqrt.f32(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))oflow-rescue1300
↳(*.f32 x x)overflow130
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow130
-.f64#fnan-rescue1030
/.f64#fn/o840
/.f64#fu/u600
*.f64(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1049934947/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 106015151/2500000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 36322091/5000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 2532017/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1789971/10000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 7715471019/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 2909738639/10000000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 694555761/10000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 70002721/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1665589/2000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)n*u540
+.f64#fnan-rescue510
*.f64#fn*o340
/.f64(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)))u/n320
↳(*.f64 (*.f64 i i) (*.f64 i i))underflow88
↳(*.f64 i i)underflow112
/.f64#fn/u50
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue40
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow4
↳(*.f32 x x)overflow130
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow130
*.f64(*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))o*u30
↳(*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))overflow3
↳(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))overflow3
↳(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))underflow3
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue10
↳(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow1
↳(*.f64 x.re x.re)overflow55
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow104
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow67
exp.f64(exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))sensitivity10
sin.f64(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-rescue10
↳(+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))overflow1
↳(*.f64 x.re x.re)overflow55
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow104
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow67
Confusion
Predicted +Predicted -
+320731
-20610124
Precision
0.939642543217111
Recall
0.990426189005559
Confusion?
Predicted +Predicted MaybePredicted -
+3207130
-206110123
Precision?
0.939385065885798
Recall?
0.9907350216182829
Freqs
test
numberfreq
010155
12861
2552
Total Confusion?
Predicted +Predicted MaybePredicted -
+3400
-0118
Precision?
0.9714285714285714
Recall?
1.0
Total Time
1696.234130859375
Average Time
0.12501725610697045
Samples
21.6s286 008×0valid
10.6s28 608×1valid
5.5s10 176×2valid
271.0ms792×3valid
21.0ms48×5exit
Compiler

Compiled 227 964 to 33 696 computations (85.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 27.0s
ival-mult: 7.0s (26% of total)
adjust: 3.3s (12.2% of total)
ival-add: 3.2s (11.8% of total)
const: 2.1s (7.7% of total)
ival-div: 2.0s (7.3% of total)
ival-exp: 1.7s (6.5% of total)
ival-sub: 1.2s (4.5% of total)
ival-hypot: 1.2s (4.4% of total)
ival-log: 1.2s (4.4% of total)
ival-asin: 677.0ms (2.5% of total)
ival-sin: 602.0ms (2.2% of total)
ival-cos: 543.0ms (2% of total)
ival-sqrt: 484.0ms (1.8% of total)
ival-atan2: 481.0ms (1.8% of total)
ival-pow: 256.0ms (0.9% of total)
ival-true: 253.0ms (0.9% of total)
exact: 195.0ms (0.7% of total)
ival-pi: 146.0ms (0.5% of total)
ival-neg: 130.0ms (0.5% of total)
ival-fabs: 124.0ms (0.5% of total)
ival-assert: 113.0ms (0.4% of total)
ival-sinu: 71.0ms (0.3% of total)
ival-cosu: 63.0ms (0.2% of total)

preprocess7.0s (6.2%)

Memory
-23.4MiB live, 1 167.2MiB allocated
Algorithm
53×egg-herbie
Stop Event
106×iter limit
68×saturated
38×node limit
Compiler

Compiled 11 154 to 6 123 computations (45.1% saved)

analyze1.8s (1.6%)

Memory
-23.7MiB live, 588.7MiB allocated
Algorithm
54×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%85.3%14.7%0%0%0%0
55.8%47.6%37.7%14.7%0%0%0%1
67.3%56.1%27.3%14.7%0%1.9%0%2
71.6%59%23.5%14.7%0%2.8%0%3
77%61.9%18.5%14.7%0%4.9%0%4
83%66.6%13.7%14.7%0%5%0%5
85.1%68.1%11.9%14.7%0%5.3%0%6
87.6%70.1%9.9%14.7%0%5.3%0%7
89.3%71.3%8.5%14.7%0%5.4%0%8
90.5%72.3%7.5%14.7%0%5.4%0%9
92.1%73.5%6.3%14.7%0%5.5%0%10
93.5%74.7%5.2%14.7%0%5.5%0%11
94.1%75.1%4.7%14.7%0%5.5%0%12
Compiler

Compiled 1 482 to 800 computations (46% saved)

sample1.7s (1.5%)

Memory
35.6MiB live, 603.4MiB allocated
Samples
873.0ms12 580×0valid
202.0ms867×1valid
98.0ms302×2valid
53.0ms156×0invalid
46.0ms360×0exit
8.0ms31×3valid
Precisions
Click to see histograms. Total time spent on operations: 992.0ms
ival-mult: 249.0ms (25.1% of total)
ival-add: 112.0ms (11.3% of total)
const: 110.0ms (11.1% of total)
ival-div: 80.0ms (8.1% of total)
ival-exp: 67.0ms (6.8% of total)
adjust: 54.0ms (5.4% of total)
ival-hypot: 48.0ms (4.8% of total)
ival-sub: 45.0ms (4.5% of total)
ival-log: 39.0ms (3.9% of total)
ival-asin: 28.0ms (2.8% of total)
ival-sin: 22.0ms (2.2% of total)
ival-cos: 20.0ms (2% of total)
ival-sqrt: 19.0ms (1.9% of total)
ival-atan2: 17.0ms (1.7% of total)
exact: 11.0ms (1.1% of total)
ival-pow: 9.0ms (0.9% of total)
ival-sinu: 8.0ms (0.8% of total)
ival-pi: 7.0ms (0.7% of total)
ival-true: 7.0ms (0.7% of total)
ival->: 7.0ms (0.7% of total)
ival-acosh: 6.0ms (0.6% of total)
ival-assert: 5.0ms (0.5% of total)
ival-neg: 5.0ms (0.5% of total)
ival-<=: 4.0ms (0.4% of total)
ival-fabs: 4.0ms (0.4% of total)
ival-and: 2.0ms (0.2% of total)
ival-cosu: 2.0ms (0.2% of total)
ival->=: 2.0ms (0.2% of total)
Bogosity

simplify1.2s (1.1%)

Memory
-73.0MiB live, 971.3MiB allocated
Algorithm
53×egg-herbie
Stop Event
53×saturated

prune41.0ms (0%)

Memory
-12.6MiB live, 26.2MiB allocated
Compiler

Compiled 2 464 to 1 298 computations (47.3% saved)

soundness15.0ms (0%)

Memory
10.4MiB live, 10.4MiB allocated
Stop Event
53×fuel
Compiler

Compiled 1 223 to 645 computations (47.3% saved)

eval4.0ms (0%)

Memory
2.4MiB live, 2.4MiB allocated
Compiler

Compiled 0 to 113 computations (-∞% saved)

start2.0ms (0%)

Memory
1.4MiB live, 1.4MiB allocated

end0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

Profiling

Loading profile data...