mixedcos

Time bar (total: 5.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze113.0ms (1.9%)

Memory
2.2MiB live, 41.8MiB allocated
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
12.5%12.5%87.4%0.1%0%0%0%4
18.8%18.7%81.1%0.1%0%0%0%5
28.1%28.1%71.8%0.1%0%0%0%6
42.2%42.1%57.7%0.1%0%0%0%7
49.2%49.1%50.7%0.1%0%0%0%8
57.4%57.3%42.5%0.1%0%0%0%9
67%66.9%33%0.1%0%0%0%10
71.8%71.7%28.2%0.1%0%0%0%11
76.9%76.8%23.1%0.1%0%0%0%12
Compiler

Compiled 18 to 14 computations (22.2% saved)

sample31.0ms (0.5%)

Memory
-5.5MiB live, 10.6MiB allocated
Samples
23.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 17.0ms
ival-mult: 6.0ms (35.2% of total)
ival-cos: 5.0ms (29.3% of total)
ival-pow2: 4.0ms (23.5% of total)
ival-div: 1.0ms (5.9% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain5.7s (96.1%)

Memory
-70.1MiB live, 3 411.5MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
640-2(5.51767853308125e-10 -3.0072820948569414e-156 -5.865249008132642e+133)(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))
380-1(2.2122825849045347e+178 1.7253320316266615e+288 -2.030575723323303e-158)(*.f64 x (pow.f64 s #s(literal 2 binary64)))
180-2(1.7760312549613762e+263 -314395.8879932661 -5.438678092370396e-290)(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)
21(2.6610640204862054e-155 8.067351017634707e+212 -5.601226580017276e+102)0-(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
00-0-(pow.f64 c #s(literal 2 binary64))
00-0-(*.f64 #s(literal 2 binary64) x)
0133(-1.9311760673341412e+161 2.52059063850544e-82 -1.008194705216087e-267)0-(cos.f64 (*.f64 #s(literal 2 binary64) x))
00-0-s
00-0-c
00-0-#s(literal 2 binary64)
00-0-x
00-0-(pow.f64 s #s(literal 2 binary64))
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64(cos.f64 (*.f64 #s(literal 2 binary64) x))sensitivity1331
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))n*u220
*.f64(*.f64 x (pow.f64 s #s(literal 2 binary64)))n*u200
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))u*o190
↳(pow.f64 c #s(literal 2 binary64))underflow64
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)overflow63
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))overflow54
↳(pow.f64 s #s(literal 2 binary64))overflow65
*.f64(*.f64 x (pow.f64 s #s(literal 2 binary64)))n*o170
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))n*o110
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u100
↳(pow.f64 c #s(literal 2 binary64))overflow50
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow69
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow60
↳(pow.f64 s #s(literal 2 binary64))underflow65
*.f64(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)n*o80
*.f64(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)n*u80
/.f64(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))n/o30
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)overflow63
↳(pow.f64 c #s(literal 2 binary64))overflow50
↳(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))overflow69
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))overflow54
↳(pow.f64 s #s(literal 2 binary64))overflow65
Confusion
Predicted +Predicted -
+931
-8676
Precision
0.5195530726256983
Recall
0.9893617021276596
Confusion?
Predicted +Predicted MaybePredicted -
+9301
-86175
Precision?
0.5166666666666667
Recall?
0.9893617021276596
Freqs
test
numberfreq
077
1110
266
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
27.595947265625
Average Time
0.10779666900634766
Samples
2.3s23 040×0valid
Compiler

Compiled 8 460 to 2 340 computations (72.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult: 491.0ms (31.9% of total)
ival-cos: 471.0ms (30.6% of total)
ival-pow2: 411.0ms (26.7% of total)
ival-div: 127.0ms (8.2% of total)
ival-true: 17.0ms (1.1% of total)
exact: 13.0ms (0.8% of total)
ival-assert: 8.0ms (0.5% of total)

preprocess48.0ms (0.8%)

Memory
0.5MiB live, 8.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047168
1133161
2473147
32282147
45965147
01216
02016
13116
26416
319816
448716
570416
673716
073716
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
Outputs
(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (/.f64 (/.f64 (cos.f64 (*.f64 x #s(literal 2 binary64))) (*.f64 s c)) (*.f64 x x)) (*.f64 s c))
Symmetry

(abs s)

(abs c)

(abs x)

(sort c s)

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
64.0%
(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
Compiler

Compiled 32 to 24 computations (25% saved)

simplify22.0ms (0.4%)

Memory
0.2MiB live, 18.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01216
11616
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
Outputs
(/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)))
(/.f64 (cos.f64 (*.f64 x #s(literal 2 binary64))) (*.f64 (*.f64 (*.f64 (pow.f64 s #s(literal 2 binary64)) x) x) (pow.f64 c #s(literal 2 binary64))))

soundness0.0ms (0%)

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

Compiled 16 to 12 computations (25% saved)

preprocess16.0ms (0.3%)

Memory
-4.9MiB live, 10.9MiB allocated
Remove

(abs s)

(sort c s)

(abs x)

(abs c)

Compiler

Compiled 384 to 288 computations (25% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...