(sin (* z0 30))

Time bar (total: 1.0s)

start0.0ms (0.0%)

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

analyze0.0ms (0.0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%100.0%0.0%0.0%0.0%0.0%0
100.0%100.0%0.0%0.0%0.0%0.0%0.0%1
Compiler

Compiled 6 to 6 computations (0.0% saved)

sample965.0ms (92.3%)

Memory
29.0MiB live, 1 340.2MiB allocated; 409ms collecting garbage
Samples
579.0ms8 130×0valid
135.0ms59×3valid
16.0ms33×2valid
3.0ms34×1valid
Precisions
Click to see histograms. Total time spent on operations: 525.0ms
ival-sin: 462.0ms (88.0% of total, 542.1 MiB)
ival-mult!: 51.0ms (9.7% of total, 85.1 MiB)
adjust: 12.0ms (2.3% of total, 14.6 MiB)
Bogosity

preprocess53.0ms (5.0%)

Memory
-18.2MiB live, 71.6MiB allocated; 12ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0813
12012
27312
334312
4356412
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶59.1%
(sin.f64 (*.f64 z0 #s(literal 30 binary64)))
Symmetry

(negabs z0)

Compiler

Compiled 8 to 8 computations (0.0% saved)

rewrite17.0ms (1.7%)

Memory
44.5MiB live, 44.5MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
049
069
179
079
Stop Event
1×iter-limit
1×saturated
1×iter-limit
Counts
4 → 5
Calls
Call 1
Inputs
z0
#s(literal 30 binary64)
(*.f64 z0 #s(literal 30 binary64))
(sin.f64 (*.f64 z0 #s(literal 30 binary64)))
Outputs
z0
#s(literal 30 binary64)
(*.f64 #s(literal 30 binary64) z0)
(*.f64 z0 #s(literal 30 binary64))
(sin.f64 (*.f64 #s(literal 30 binary64) z0))

eval0.0ms (0.0%)

Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Compiler

Compiled 8 to 6 computations (25.0% saved)

prune2.0ms (0.2%)

Memory
-43.4MiB live, 2.1MiB allocated; 4ms collecting garbage
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New202
Fresh000
Picked011
Done000
Total213
Accuracy
59.1%
Counts
3 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓59.1%
(sin.f64 (*.f64 z0 #s(literal 30 binary64)))
Compiler

Compiled 8 to 8 computations (0.0% saved)

derivations0.0ms (0.0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 4 to 4 computations (0.0% saved)

preprocess8.0ms (0.7%)

Memory
20.1MiB live, 20.1MiB allocated; 0ms collecting garbage
Compiler

Compiled 16 to 16 computations (0.0% saved)

end0.0ms (0.0%)

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

Profiling

Loading profile data...