Gyroid sphere

Time bar (total: 2.3s)

start0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated; 0ms collecting garbage

analyze152.0ms (6.6%)

Memory
-13.2MiB live, 222.2MiB allocated; 31ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
87.5%87.4%12.5%0.1%0%0%0%7
87.5%87.4%12.5%0.1%0%0%0%8
87.5%87.4%12.5%0.1%0%0%0%9
89.1%88.9%10.9%0.1%0%0%0%10
89.8%89.7%10.1%0.1%0%0%0%11
91%90.9%9%0.1%0%0%0%12
Compiler

Compiled 55 to 32 computations (41.8% saved)

sample1.4s (60.3%)

Memory
17.6MiB live, 1 869.1MiB allocated; 306ms collecting garbage
Samples
857.0ms7 848×0valid
52.0ms182×2valid
46.0ms223×1valid
1.0ms3×3valid
Precisions
Click to see histograms. Total time spent on operations: 708.0ms
ival-pow2: 244.0ms (34.4% of total)
ival-mult: 171.0ms (24.1% of total)
ival-add: 78.0ms (11% of total)
ival-sqrt: 56.0ms (7.9% of total)
ival-sub: 48.0ms (6.8% of total)
adjust: 27.0ms (3.8% of total)
ival-cos: 22.0ms (3.1% of total)
ival-sin: 22.0ms (3.1% of total)
const: 15.0ms (2.1% of total)
exact: 11.0ms (1.6% of total)
ival-fmax: 8.0ms (1.1% of total)
ival-fabs: 4.0ms (0.6% of total)
ival-assert: 3.0ms (0.4% of total)
Bogosity

explain595.0ms (25.9%)

Memory
19.3MiB live, 873.9MiB allocated; 97ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1490-0-(sqrt.f64 (+.f64 (+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))) (pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64))))
1295(-6.261170964847656e+69 2.047985932458981e-141 1.7675574690476858e-47)1(-2.100239581748746 7.2718652841581716e-99 -31724.438135662374)(sin.f64 (*.f64 x #s(literal 30 binary64)))
1295(-6.261170964847656e+69 2.047985932458981e-141 1.7675574690476858e-47)0-(cos.f64 (*.f64 x #s(literal 30 binary64)))
1199(1.996723289645728e-216 1.1142405607291468e+100 1.2623261023661872e+58)1(4.3240735067795037e+185 0.8233740891299213 7.041011773435195e-38)(sin.f64 (*.f64 y #s(literal 30 binary64)))
1189(1.996723289645728e-216 1.1142405607291468e+100 1.2623261023661872e+58)0-(cos.f64 (*.f64 y #s(literal 30 binary64)))
1169(3.145357009630845e+118 1.7433039634863532e-189 1.82577402449613e+108)0-(cos.f64 (*.f64 z #s(literal 30 binary64)))
1149(3.145357009630845e+118 1.7433039634863532e-189 1.82577402449613e+108)0-(sin.f64 (*.f64 z #s(literal 30 binary64)))
10-1(1.1282431088299995e+53 0.3969598137920876 5.699438259908203e-223)(+.f64 (*.f64 (sin.f64 (*.f64 x #s(literal 30 binary64))) (cos.f64 (*.f64 y #s(literal 30 binary64)))) (*.f64 (sin.f64 (*.f64 y #s(literal 30 binary64))) (cos.f64 (*.f64 z #s(literal 30 binary64)))))
00-0-#s(literal 25 binary64)
00-0-#s(literal 30 binary64)
00-0-(fmax.f64 (-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))) (pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64)))) #s(literal 25 binary64)) (-.f64 (fabs.f64 (+.f64 (+.f64 (*.f64 (sin.f64 (*.f64 x #s(literal 30 binary64))) (cos.f64 (*.f64 y #s(literal 30 binary64)))) (*.f64 (sin.f64 (*.f64 y #s(literal 30 binary64))) (cos.f64 (*.f64 z #s(literal 30 binary64))))) (*.f64 (sin.f64 (*.f64 z #s(literal 30 binary64))) (cos.f64 (*.f64 x #s(literal 30 binary64)))))) #s(literal 1/5 binary64)))
00-0-(pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))
00-0-(*.f64 (sin.f64 (*.f64 x #s(literal 30 binary64))) (cos.f64 (*.f64 y #s(literal 30 binary64))))
00-0-(-.f64 (sqrt.f64 (+.f64 (+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))) (pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64)))) #s(literal 25 binary64))
00-0-(*.f64 x #s(literal 30 binary64))
00-0-(pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64))
00-0-y
00-0-(*.f64 z #s(literal 30 binary64))
00-0-(*.f64 (sin.f64 (*.f64 z #s(literal 30 binary64))) (cos.f64 (*.f64 x #s(literal 30 binary64))))
00-0-#s(literal 1/5 binary64)
00-0-(pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64))
00-0-z
00-0-(*.f64 (sin.f64 (*.f64 y #s(literal 30 binary64))) (cos.f64 (*.f64 z #s(literal 30 binary64))))
00-0-(+.f64 (+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))) (pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64)))
00-0-(+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64)))
00-0-(+.f64 (+.f64 (*.f64 (sin.f64 (*.f64 x #s(literal 30 binary64))) (cos.f64 (*.f64 y #s(literal 30 binary64)))) (*.f64 (sin.f64 (*.f64 y #s(literal 30 binary64))) (cos.f64 (*.f64 z #s(literal 30 binary64))))) (*.f64 (sin.f64 (*.f64 z #s(literal 30 binary64))) (cos.f64 (*.f64 x #s(literal 30 binary64)))))
00-0-#s(literal 2 binary64)
00-0-(fabs.f64 (+.f64 (+.f64 (*.f64 (sin.f64 (*.f64 x #s(literal 30 binary64))) (cos.f64 (*.f64 y #s(literal 30 binary64)))) (*.f64 (sin.f64 (*.f64 y #s(literal 30 binary64))) (cos.f64 (*.f64 z #s(literal 30 binary64))))) (*.f64 (sin.f64 (*.f64 z #s(literal 30 binary64))) (cos.f64 (*.f64 x #s(literal 30 binary64))))))
00-0-(*.f64 y #s(literal 30 binary64))
00-0-(-.f64 (fabs.f64 (+.f64 (+.f64 (*.f64 (sin.f64 (*.f64 x #s(literal 30 binary64))) (cos.f64 (*.f64 y #s(literal 30 binary64)))) (*.f64 (sin.f64 (*.f64 y #s(literal 30 binary64))) (cos.f64 (*.f64 z #s(literal 30 binary64))))) (*.f64 (sin.f64 (*.f64 z #s(literal 30 binary64))) (cos.f64 (*.f64 x #s(literal 30 binary64)))))) #s(literal 1/5 binary64))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (+.f64 (+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))) (pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64))))oflow-rescue1440
↳(sqrt.f64 (+.f64 (+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))) (pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64))))overflow1
↳(+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64)))overflow111
↳(pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64))overflow60
↳(*.f64 x #s(literal 30 binary64))overflow1
↳(pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64))overflow59
↳(pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))overflow67
↳(+.f64 (+.f64 (pow.f64 (*.f64 x #s(literal 30 binary64)) #s(literal 2 binary64)) (pow.f64 (*.f64 y #s(literal 30 binary64)) #s(literal 2 binary64))) (pow.f64 (*.f64 z #s(literal 30 binary64)) #s(literal 2 binary64)))overflow145
cos.f64(cos.f64 (*.f64 x #s(literal 30 binary64)))sensitivity1330
sin.f64(sin.f64 (*.f64 x #s(literal 30 binary64)))sensitivity1321
sin.f64(sin.f64 (*.f64 y #s(literal 30 binary64)))sensitivity1270
cos.f64(cos.f64 (*.f64 y #s(literal 30 binary64)))sensitivity1270
cos.f64(cos.f64 (*.f64 z #s(literal 30 binary64)))sensitivity1250
sin.f64(sin.f64 (*.f64 z #s(literal 30 binary64)))sensitivity1230
sin.f64(sin.f64 (*.f64 x #s(literal 30 binary64)))oflow-rescue10
↳(*.f64 x #s(literal 30 binary64))overflow1
cos.f64(cos.f64 (*.f64 x #s(literal 30 binary64)))oflow-rescue10
↳(*.f64 x #s(literal 30 binary64))overflow1
Confusion
Predicted +Predicted -
+1440
-8032
Precision
0.6428571428571429
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+14400
-80032
Precision?
0.6428571428571429
Recall?
1.0
Freqs
test
numberfreq
032
11
248
343
431
571
62
728
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
156.0ms462×0valid
32.0ms12×3valid
16.0ms26×1valid
11.0ms10×2valid
3.0ms2×4valid
Compiler

Compiled 679 to 97 computations (85.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 179.0ms
ival-sin: 55.0ms (30.7% of total)
ival-cos: 39.0ms (21.8% of total)
ival-mult: 19.0ms (10.6% of total)
ival-pow2: 17.0ms (9.5% of total)
adjust: 12.0ms (6.7% of total)
ival-add: 9.0ms (5% of total)
const: 8.0ms (4.5% of total)
ival-sub: 8.0ms (4.5% of total)
ival-sqrt: 4.0ms (2.2% of total)
ival-fmax: 3.0ms (1.7% of total)
ival-fabs: 3.0ms (1.7% of total)
ival-true: 1.0ms (0.6% of total)
exact: 1.0ms (0.6% of total)
ival-assert: 0.0ms (0% of total)

preprocess163.0ms (7.1%)

Memory
-12.1MiB live, 87.6MiB allocated; 18ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0115545
1267533
2756513
32539493
03981
04981
15181
25481
35981
47981
515681
660981
7472281
0845281
Stop Event
1×saturated
1×node limit
1×iter limit
1×node limit

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...