Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, K

Time bar (total: 9.7s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze218.0ms (2.2%)

Memory
3.3MiB live, 89.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
0%0%99.7%0.3%0%0%0%5
0%0%99.7%0.3%0%0%0%6
25%24.9%74.8%0.3%0%0%0%7
33.3%24.9%49.9%0.3%0%24.9%0%8
33.3%24.9%49.9%0.3%0%24.9%0%9
33.3%24.9%49.9%0.3%0%24.9%0%10
33.3%24.9%49.9%0.3%0%24.9%0%11
33.3%24.9%49.9%0.3%0%24.9%0%12
Compiler

Compiled 21 to 20 computations (4.8% saved)

sample65.0ms (0.7%)

Memory
-2.2MiB live, 21.5MiB allocated
Samples
20.0ms101×1valid
14.0ms159×0valid
12.0ms145×0invalid
Precisions
Click to see histograms. Total time spent on operations: 33.0ms
ival-mult: 10.0ms (30% of total)
ival-cos: 7.0ms (21% of total)
ival-div: 6.0ms (18% of total)
ival-sub: 4.0ms (12% of total)
ival-sqrt: 4.0ms (12% of total)
adjust: 2.0ms (6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain9.3s (95.3%)

Memory
60.6MiB live, 4 704.9MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
13565(1.3238962169942595e-188 1.0551059049381644e+27 1.4843174818629027e+144 2.160167208511195e-281 4.8326629344781915e-136 -3.3176827188994727e+93)0-(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))
10-0-(/.f64 (*.f64 z t) #s(literal 3 binary64))
00-0-(sqrt.f64 x)
00-0-(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
00-0-a
00-0-t
00-0-#s(literal 3 binary64)
00-0-(*.f64 #s(literal 2 binary64) (sqrt.f64 x))
00-0-y
00-0-(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))
00-0-(/.f64 a (*.f64 b #s(literal 3 binary64)))
00-0-(*.f64 z t)
00-0-z
00-0-(*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))))
00-0-#s(literal 2 binary64)
00-0-b
00-0-(*.f64 b #s(literal 3 binary64))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))sensitivity1730
cos.f64(cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))oflow-rescue270
↳(-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64)))overflow27
↳(*.f64 z t)overflow28
↳(/.f64 (*.f64 z t) #s(literal 3 binary64))overflow27
/.f64(/.f64 (*.f64 z t) #s(literal 3 binary64))o/n10
↳(*.f64 z t)overflow28
Confusion
Predicted +Predicted -
+800
-12056
Precision
0.4
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+8000
-120056
Precision?
0.4
Recall?
1.0
Freqs
test
numberfreq
056
1199
21
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
52.431884765625
Average Time
0.20481204986572266
Samples
4.0s17 820×1valid
555.0ms5 220×0valid
Compiler

Compiled 11 430 to 3 420 computations (70.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-cos: 835.0ms (27.6% of total)
ival-mult: 691.0ms (22.8% of total)
ival-div: 464.0ms (15.3% of total)
adjust: 390.0ms (12.9% of total)
ival-sub: 357.0ms (11.8% of total)
ival-sqrt: 234.0ms (7.7% of total)
exact: 26.0ms (0.9% of total)
ival-true: 22.0ms (0.7% of total)
ival-assert: 9.0ms (0.3% of total)

preprocess143.0ms (1.5%)

Memory
3.8MiB live, 11.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0149531
1366527
2826515
31768515
44175515
55947515
67461515
77803515
87940515
97955515
01819
02819
14219
27919
314019
422619
533519
648419
766619
888619
9108919
10142419
11155519
12157519
13157719
14157719
0157717
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
Outputs
(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
(fma.f64 (/.f64 #s(literal -1/3 binary64) b) a (*.f64 (cos.f64 (fma.f64 #s(literal -1/3 binary64) (*.f64 t z) y)) (*.f64 (sqrt.f64 x) #s(literal 2 binary64))))
Symmetry

(sort z t)

Compiler

Compiled 19 to 18 computations (5.3% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 6 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
72.2%
(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
Compiler

Compiled 38 to 36 computations (5.3% saved)

simplify24.0ms (0.2%)

Memory
-16.7MiB live, 18.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01819
12619
24219
36519
48119
59119
69419
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
Outputs
(-.f64 (*.f64 (*.f64 #s(literal 2 binary64) (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) #s(literal 3 binary64))))) (/.f64 a (*.f64 b #s(literal 3 binary64))))
(-.f64 (*.f64 (cos.f64 (-.f64 y (/.f64 (*.f64 t z) #s(literal 3 binary64)))) (*.f64 (sqrt.f64 x) #s(literal 2 binary64))) (/.f64 a (*.f64 b #s(literal 3 binary64))))

soundness0.0ms (0%)

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

Compiled 19 to 18 computations (5.3% saved)

preprocess7.0ms (0.1%)

Memory
5.3MiB live, 5.3MiB allocated
Remove

(sort z t)

Compiler

Compiled 286 to 224 computations (21.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...