mixedcos

Time bar (total: 635.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze113.0ms (17.8%)

Memory
1.9MiB 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 (4.8%)

Memory
3.2MiB live, 10.8MiB allocated
Samples
22.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 16.0ms
ival-cos: 5.0ms (31.4% of total)
ival-mult: 5.0ms (31.4% of total)
ival-pow2: 4.0ms (25.1% of total)
ival-div: 1.0ms (6.3% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain403.0ms (63.4%)

Memory
7.1MiB live, 137.8MiB allocated
Confusion
Predicted +Predicted -
+483
-21148
Precision
0.16
Recall
0.04597701149425287
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
268.0ms3 072×0valid
Compiler

Compiled 600 to 456 computations (24% saved)

Precisions
Click to see histograms. Total time spent on operations: 192.0ms
ival-mult: 65.0ms (33.8% of total)
ival-cos: 58.0ms (30.2% of total)
ival-pow2: 49.0ms (25.5% of total)
ival-div: 15.0ms (7.8% of total)
ival-true: 2.0ms (1% of total)
exact: 2.0ms (1% of total)
adjust: 1.0ms (0.5% of total)
ival-assert: 1.0ms (0.5% of total)

preprocess46.0ms (7.2%)

Memory
-1.8MiB live, 8.0MiB 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.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
67.5%
(/.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)

simplify23.0ms (3.5%)

Memory
-5.6MiB live, 18.1MiB 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.1%)

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

Compiled 16 to 12 computations (25% saved)

preprocess20.0ms (3.1%)

Memory
4.6MiB live, 13.2MiB allocated
Remove

(abs x)

(abs c)

Compiler

Compiled 448 to 336 computations (25% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...