mixedcos

Time bar (total: 5.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze110.0ms (1.9%)

Memory
2.1MiB live, 42.2MiB 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)

sample30.0ms (0.5%)

Memory
3.1MiB live, 10.6MiB allocated
Samples
22.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 17.0ms
ival-cos: 5.0ms (30% of total)
ival-mult: 5.0ms (30% of total)
ival-pow2: 4.0ms (24% of total)
ival-div: 1.0ms (6% 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.2%)

Memory
-64.7MiB live, 3 412.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
691(8.072183273054238e-250 -2.1726028774857183e+49 -1.6889795968279622e+38)1(5.549069775903116e-29 -4.2413398415015904e-161 1.2809114955633304e+106)(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))
320-2(-698395284562.6067 -1.9873031644152019e+102 -5.496046885883154e-162)(*.f64 x (pow.f64 s #s(literal 2 binary64)))
130-3(2.837468555409257e+30 1.3786800703584802e-270 -3.3374432070871694e-174)(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)
60-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(-258843552025762.38 -3.0323430378319905e+31 7.458856471269779e-54)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))sensitivity1330
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))u*o240
↳(pow.f64 c #s(literal 2 binary64))underflow61
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)overflow75
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))overflow62
↳(pow.f64 s #s(literal 2 binary64))overflow57
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))o*u210
↳(pow.f64 c #s(literal 2 binary64))overflow67
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)underflow66
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))underflow51
↳(pow.f64 s #s(literal 2 binary64))underflow50
*.f64(*.f64 x (pow.f64 s #s(literal 2 binary64)))n*u160
*.f64(*.f64 x (pow.f64 s #s(literal 2 binary64)))n*o140
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))n*o130
*.f64(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))n*u110
*.f64(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)n*o70
/.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/o60
↳(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)overflow75
↳(pow.f64 c #s(literal 2 binary64))overflow67
↳(*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x))overflow83
↳(*.f64 x (pow.f64 s #s(literal 2 binary64)))overflow62
↳(pow.f64 s #s(literal 2 binary64))overflow57
*.f64(*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)n*u30
Confusion
Predicted +Predicted -
+931
-9270
Precision
0.5027027027027027
Recall
0.9893617021276596
Confusion?
Predicted +Predicted MaybePredicted -
+9301
-92070
Precision?
0.5027027027027027
Recall?
0.9893617021276596
Freqs
test
numberfreq
071
1127
253
35
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
27.08935546875
Average Time
0.10581779479980469
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: 490.0ms (32.4% of total)
ival-cos: 458.0ms (30.3% of total)
ival-pow2: 398.0ms (26.3% of total)
ival-div: 125.0ms (8.3% of total)
ival-true: 19.0ms (1.3% of total)
exact: 13.0ms (0.9% of total)
ival-assert: 8.0ms (0.5% of total)

preprocess52.0ms (0.9%)

Memory
-6.2MiB 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.4%
(/.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)

simplify20.0ms (0.3%)

Memory
2.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)

preprocess12.0ms (0.2%)

Memory
0.5MiB live, 8.3MiB allocated
Remove

(sort c s)

(abs x)

(abs c)

(abs s)

Compiler

Compiled 320 to 240 computations (25% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...