tan-example (used to crash)

Time bar (total: 2.9s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze1.4s (48.6%)

Memory
9.1MiB live, 478.5MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.2%99.8%0%0%0%0
0%0%0.2%99.8%0%0%0%1
0%0%0.2%99.8%0%0%0%2
0%0%0.2%99.8%0%0%0%3
0%0%0.2%99.8%0%0%0%4
0%0%0.2%99.8%0%0%0%5
0%0%0.2%99.8%0%0%0%6
0%0%0.2%99.8%0%0%0%7
0%0%0.2%99.8%0%0%0%8
0.4%0%0.2%99.8%0%0%0%9
Compiler

Compiled 69 to 50 computations (27.5% saved)

sample128.0ms (4.4%)

Memory
-3.7MiB live, 38.3MiB allocated
Samples
83.0ms172×1valid
23.0ms88×0valid
Precisions
Click to see histograms. Total time spent on operations: 96.0ms
const: 41.0ms (42.7% of total)
ival-tan: 31.0ms (32.3% of total)
ival-<=: 7.0ms (7.3% of total)
adjust: 6.0ms (6.3% of total)
ival-add: 4.0ms (4.2% of total)
ival-sub: 2.0ms (2.1% of total)
ival-and: 2.0ms (2.1% of total)
ival-or: 1.0ms (1% of total)
ival-==: 1.0ms (1% of total)
ival-assert: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain1.2s (42.9%)

Memory
6.6MiB live, 611.1MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
64115(1.6061023443193632 1.2162174704699921e+25 1.2894874431425468e-59 1.4232000770580591e-19)2(3.0539291732355833 6.530936243765414e+221 -8.031422446662767e+307 2.3600522040559773e-22)(tan.f64 (+.f64 y z))
10-0-(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
00-0-a
00-0-(+.f64 y z)
00-0-z
00-0-(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
00-0-y
00-0-(tan.f64 a)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
tan.f64(tan.f64 (+.f64 y z))sensitivity1770
-.f64(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))cancellation10
Confusion
Predicted +Predicted -
+612
-11677
Precision
0.3446327683615819
Recall
0.9682539682539683
Confusion?
Predicted +Predicted MaybePredicted -
+6102
-116077
Precision?
0.3446327683615819
Recall?
0.9682539682539683
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
079
1176
21
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
8.33203125
Average Time
0.0325469970703125
Samples
544.0ms2 052×1valid
77.0ms1 020×0valid
Compiler

Compiled 1 176 to 456 computations (61.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 485.0ms
ival-tan: 362.0ms (74.7% of total)
ival-add: 49.0ms (10.1% of total)
adjust: 48.0ms (9.9% of total)
ival-sub: 22.0ms (4.5% of total)
ival-true: 2.0ms (0.4% of total)
ival-assert: 1.0ms (0.2% of total)

preprocess84.0ms (2.9%)

Memory
0.4MiB live, 7.8MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
053136
1135129
2311127
3919127
41946127
52580127
63025127
73265127
83304127
93304127
103310127
099
0149
1209
2319
3519
4849
51579
62579
73649
84039
94239
04239
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
Outputs
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
(-.f64 (tan.f64 (+.f64 z y)) (-.f64 (tan.f64 a) x))
Symmetry

(sort y z)

Compiler

Compiled 9 to 9 computations (0% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
81.3%
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
Compiler

Compiled 18 to 18 computations (0% saved)

simplify28.0ms (1%)

Memory
-8.6MiB live, 17.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1139
2189
3209
4219
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
Outputs
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
(+.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) x)

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 9 to 9 computations (0% saved)

preprocess2.0ms (0.1%)

Memory
1.5MiB live, 1.5MiB allocated
Remove

(sort y z)

Compiler

Compiled 72 to 72 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...