(sin (* -30 z0))

Time bar (total: 895.0ms)

start0.0ms (0.0%)

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

analyze0.0ms (0.0%)

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

sample817.0ms (91.3%)

Memory
10.6MiB live, 1 029.6MiB allocated; 217ms collecting garbage
Samples
493.0ms8 130×0valid
113.0ms59×3valid
15.0ms33×2valid
3.0ms34×1valid
Precisions
Click to see histograms. Total time spent on operations: 415.0ms
ival-sin: 354.0ms (85.4% of total, 398.8 MiB)
ival-mult!: 46.0ms (11.1% of total, 65.9 MiB)
adjust: 15.0ms (3.6% of total, 12.4 MiB)
Bogosity

preprocess52.0ms (5.8%)

Memory
-14.9MiB live, 30.2MiB allocated; 7ms 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)

rewrite18.0ms (2.0%)

Memory
27.6MiB live, 27.6MiB 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.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Compiler

Compiled 8 to 6 computations (25.0% saved)

prune1.0ms (0.1%)

Memory
1.3MiB live, 1.3MiB 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.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 4 to 4 computations (0.0% saved)

preprocess7.0ms (0.8%)

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