(sin (* 30 z0))

Time bar (total: 892.0ms)

start0.0ms (0.0%)

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

analyze0.0ms (0.0%)

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

sample810.0ms (90.8%)

Memory
28.9MiB live, 725.1MiB allocated; 190ms collecting garbage
Samples
504.0ms8 130×0valid
96.0ms59×3valid
23.0ms33×2valid
3.0ms34×1valid
Precisions
Click to see histograms. Total time spent on operations: 446.0ms
ival-sin: 391.0ms (87.6% of total, 261.8 MiB)
ival-mult!: 45.0ms (10.1% of total, 42.6 MiB)
adjust: 10.0ms (2.2% of total, 7.1 MiB)
Bogosity

preprocess56.0ms (6.2%)

Memory
-28.4MiB live, 62.9MiB 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 #s(literal 30 binary64) z0))
Symmetry

(negabs z0)

Compiler

Compiled 8 to 8 computations (0.0% saved)

rewrite17.0ms (1.9%)

Memory
18.7MiB live, 18.7MiB 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
#s(literal 30 binary64)
z0
(*.f64 #s(literal 30 binary64) z0)
(sin.f64 (*.f64 #s(literal 30 binary64) z0))
Outputs
#s(literal 30 binary64)
z0
(*.f64 z0 #s(literal 30 binary64))
(*.f64 #s(literal 30 binary64) z0)
(sin.f64 (*.f64 z0 #s(literal 30 binary64)))

eval0.0ms (0.0%)

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

Compiled 8 to 6 computations (25.0% saved)

prune1.0ms (0.1%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms 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 #s(literal 30 binary64) z0))
Compiler

Compiled 8 to 8 computations (0.0% saved)

derivations0.0ms (0.0%)

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

Compiled 4 to 4 computations (0.0% saved)

preprocess7.0ms (0.8%)

Memory
8.7MiB live, 8.7MiB 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...