SynthBasics:moogVCF from YampaSynth-0.2

Time bar (total: 1.9s)

analyze66.0ms (3.4%)

Memory
2.1MiB live, 119.0MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
50%49.9%49.9%0.2%0%0%0%3
50%49.9%49.9%0.2%0%0%0%4
50%49.9%49.9%0.2%0%0%0%5
50%49.9%49.9%0.2%0%0%0%6
75%74.9%25%0.2%0%0%0%7
75%74.9%25%0.2%0%0%0%8
75%74.9%25%0.2%0%0%0%9
75%74.9%25%0.2%0%0%0%10
87.5%87.3%12.5%0.2%0%0%0%11
87.5%87.3%12.5%0.2%0%0%0%12
Compiler

Compiled 17 to 14 computations (17.6% saved)

sample1.2s (61.6%)

Memory
21.1MiB live, 1 520.3MiB allocated
Samples
884.0ms8 025×0valid
37.0ms231×1valid
Precisions
Click to see histograms. Total time spent on operations: 614.0ms
ival-add: 204.0ms (33.2% of total)
ival-div: 160.0ms (26.1% of total)
ival-mult: 120.0ms (19.5% of total)
ival-tanh: 80.0ms (13% of total)
ival-sub: 39.0ms (6.4% of total)
ival-true: 6.0ms (1% of total)
adjust: 3.0ms (0.5% of total)
ival-assert: 3.0ms (0.5% of total)
Bogosity

preprocess669.0ms (35%)

Memory
-18.3MiB live, 702.1MiB allocated
Algorithm
2×egg-herbie
Rules
12 492×accelerator-lowering-fma.f32
12 492×accelerator-lowering-fma.f64
3 782×*-lowering-*.f32
3 782×*-lowering-*.f64
2 164×+-lowering-+.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078238
1406236
21196225
34706225
01215
15415
215715
341915
4165315
5637515
0839014
Stop Event
1×iter limit
1×node limit
1×node limit
Calls
Call 1
Inputs
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
Outputs
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
(fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)
Call 2
Inputs
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
(+ (neg x) (* (* y z) (- (tanh (/ t y)) (tanh (/ (neg x) y)))))
(+ x (* (* (neg y) z) (- (tanh (/ t (neg y))) (tanh (/ x (neg y))))))
(+ x (* (* y (neg z)) (- (tanh (/ t y)) (tanh (/ x y)))))
(+ x (* (* y z) (- (tanh (/ (neg t) y)) (tanh (/ x y)))))
(neg (+ (neg x) (* (* y z) (- (tanh (/ t y)) (tanh (/ (neg x) y))))))
(neg (+ x (* (* (neg y) z) (- (tanh (/ t (neg y))) (tanh (/ x (neg y)))))))
(neg (+ x (* (* y (neg z)) (- (tanh (/ t y)) (tanh (/ x y))))))
(neg (+ x (* (* y z) (- (tanh (/ (neg t) y)) (tanh (/ x y))))))
(+ y (* (* x z) (- (tanh (/ t x)) (tanh (/ y x)))))
(+ z (* (* y x) (- (tanh (/ t y)) (tanh (/ z y)))))
(+ t (* (* y z) (- (tanh (/ x y)) (tanh (/ t y)))))
(+ x (* (* z y) (- (tanh (/ t z)) (tanh (/ x z)))))
(+ x (* (* t z) (- (tanh (/ y t)) (tanh (/ x t)))))
(+ x (* (* y t) (- (tanh (/ z y)) (tanh (/ x y)))))
Outputs
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
(+ (neg x) (* (* y z) (- (tanh (/ t y)) (tanh (/ (neg x) y)))))
(- (* y (* z (+ (tanh (/ t y)) (tanh (/ x y))))) x)
(+ x (* (* (neg y) z) (- (tanh (/ t (neg y))) (tanh (/ x (neg y))))))
(+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))))
(+ x (* (* y (neg z)) (- (tanh (/ t y)) (tanh (/ x y)))))
(+ x (* (* y z) (- (tanh (/ x y)) (tanh (/ t y)))))
(+ x (* (* y z) (- (tanh (/ (neg t) y)) (tanh (/ x y)))))
(- x (* y (* z (+ (tanh (/ t y)) (tanh (/ x y))))))
(neg (+ (neg x) (* (* y z) (- (tanh (/ t y)) (tanh (/ (neg x) y))))))
(- x (* y (* z (+ (tanh (/ t y)) (tanh (/ x y))))))
(neg (+ x (* (* (neg y) z) (- (tanh (/ t (neg y))) (tanh (/ x (neg y)))))))
(- (* (* y z) (- (tanh (/ x y)) (tanh (/ t y)))) x)
(neg (+ x (* (* y (neg z)) (- (tanh (/ t y)) (tanh (/ x y))))))
(- (* (* y z) (- (tanh (/ t y)) (tanh (/ x y)))) x)
(neg (+ x (* (* y z) (- (tanh (/ (neg t) y)) (tanh (/ x y))))))
(- (* y (* z (+ (tanh (/ t y)) (tanh (/ x y))))) x)
(+ y (* (* x z) (- (tanh (/ t x)) (tanh (/ y x)))))
(+ z (* (* y x) (- (tanh (/ t y)) (tanh (/ z y)))))
(+ z (* (* x y) (- (tanh (/ t y)) (tanh (/ z y)))))
(+ t (* (* y z) (- (tanh (/ x y)) (tanh (/ t y)))))
(+ x (* (* z y) (- (tanh (/ t z)) (tanh (/ x z)))))
(+ x (* (* y z) (- (tanh (/ t z)) (tanh (/ x z)))))
(+ x (* (* t z) (- (tanh (/ y t)) (tanh (/ x t)))))
(+ x (* (* z t) (- (tanh (/ y t)) (tanh (/ x t)))))
(+ x (* (* y t) (- (tanh (/ z y)) (tanh (/ x y)))))
(+ x (* y (* t (- (tanh (/ z y)) (tanh (/ x y))))))
Symmetry

(abs y)

explain0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Compiler

Compiled 60 to 14 computations (76.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...