Numeric.Signal.Multichannel:$cget from hsignal-0.2.7.1

Time bar (total: 1.2s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze52.0ms (4.3%)

Memory
5.1MiB live, 81.5MiB 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 11 to 10 computations (9.1% saved)

sample723.0ms (60.1%)

Memory
8.7MiB live, 1 386.9MiB allocated
Samples
436.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 215.0ms
ival-div: 74.0ms (34.4% of total)
ival-mult: 54.0ms (25.1% of total)
ival-sub: 42.0ms (19.5% of total)
ival-add: 35.0ms (16.3% of total)
ival-true: 6.0ms (2.8% of total)
ival-assert: 3.0ms (1.4% of total)
Bogosity

explain83.0ms (6.9%)

Memory
3.3MiB live, 162.5MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
250-5(6.327400828498791e-161 2.149663726126202e+160 5.952068590298359e+126 -1.9075837842288275e-191)(*.f64 (/.f64 x y) (-.f64 z t))
00-0-(/.f64 x y)
00-0-(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
00-0-y
00-0-(-.f64 z t)
00-0-t
00-0-z
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
*.f64(*.f64 (/.f64 x y) (-.f64 z t))n*o70
*.f64(*.f64 (/.f64 x y) (-.f64 z t))n*u10
Confusion
Predicted +Predicted -
+82
-0246
Precision
1.0
Recall
0.8
Confusion?
Predicted +Predicted MaybePredicted -
+802
-00246
Precision?
1.0
Recall?
0.8
Freqs
test
numberfreq
0248
18
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
31.0ms512×0valid
Compiler

Compiled 91 to 36 computations (60.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0ms
ival-div: 4.0ms (31.6% of total)
ival-sub: 3.0ms (23.7% of total)
ival-mult: 3.0ms (23.7% of total)
ival-add: 2.0ms (15.8% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess4.0ms (0.3%)

Memory
8.6MiB live, 8.6MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶96.6%
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(-.f64 z t)
cost-diff0
(/.f64 x y)
cost-diff0
(*.f64 (/.f64 x y) (-.f64 z t))
cost-diff0
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
x
y
(-.f64 z t)
z
t
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
x
y
(-.f64 z t)
z
t

localize22.0ms (1.8%)

Memory
-0.4MiB live, 37.9MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(/.f64 x y)
accuracy0.0
(-.f64 z t)
accuracy0.00390625
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
accuracy5.351842824463324
(*.f64 (/.f64 x y) (-.f64 z t))
Samples
17.0ms256×0valid
Compiler

Compiled 54 to 18 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-div: 2.0ms (32.1% of total)
ival-mult: 2.0ms (32.1% of total)
ival-sub: 1.0ms (16.1% of total)
ival-add: 1.0ms (16.1% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series30.0ms (2.5%)

Memory
-44.2MiB live, 20.4MiB allocated
Counts
4 → 33
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
(-.f64 z t)
Outputs
t
(+ t (* x (- (/ z y) (/ t y))))
(/ (* x (- z t)) y)
(/ x y)
(* x (- (/ z y) (/ t y)))
(* x (- (+ (/ t x) (/ z y)) (/ t y)))
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (/ (- z t) y)))))
(/ (+ (* t y) (* x (- z t))) y)
(+ t (/ (* x (- z t)) y))
(+ t (* -1 (/ (* t x) y)))
(+ t (+ (* -1 (/ (* t x) y)) (/ (* x z) y)))
(* -1 (/ (* t x) y))
(+ (* -1 (/ (* t x) y)) (/ (* x z) y))
(* -1 t)
(- z t)
(/ (* x z) y)
(* z (+ (* -1 (/ (* t x) (* y z))) (+ (/ t z) (/ x y))))
(* z (+ (* -1 (/ (* t x) (* y z))) (/ x y)))
z
(* z (+ 1 (* -1 (/ t z))))
(* -1 (* z (+ (* -1 (/ x y)) (* -1 (/ (+ t (* -1 (/ (* t x) y))) z)))))
(* -1 (* z (+ (* -1 (/ x y)) (/ (* t x) (* y z)))))
(* -1 (* z (- (/ t z) 1)))
(+ (* t (+ 1 (* -1 (/ x y)))) (/ (* x z) y))
(+ z (* -1 t))
(* t (+ 1 (* -1 (/ x y))))
(* t (+ 1 (+ (* -1 (/ x y)) (/ (* x z) (* t y)))))
(* t (+ (* -1 (/ x y)) (/ (* x z) (* t y))))
(* t (- (/ z t) 1))
(* -1 (* t (- (/ x y) 1)))
(* -1 (* t (- (+ (* -1 (/ (* x z) (* t y))) (/ x y)) 1)))
(* -1 (* t (+ (* -1 (/ (* x z) (* t y))) (/ x y))))
(* -1 (* t (+ 1 (* -1 (/ z t)))))
Calls

12 calls:

TimeVariablePointExpression
19.0ms
t
@inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t))
1.0ms
x
@inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t))
1.0ms
x
@0
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t))
1.0ms
y
@inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t))
1.0ms
x
@-inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t))

simplify0.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
Algorithm
1×egg-herbie
Counts
33 → 4
Calls
Call 1
Inputs
t
(+ t (* x (- (/ z y) (/ t y))))
(/ (* x (- z t)) y)
(/ x y)
(* x (- (/ z y) (/ t y)))
(* x (- (+ (/ t x) (/ z y)) (/ t y)))
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (/ (- z t) y)))))
(/ (+ (* t y) (* x (- z t))) y)
(+ t (/ (* x (- z t)) y))
(+ t (* -1 (/ (* t x) y)))
(+ t (+ (* -1 (/ (* t x) y)) (/ (* x z) y)))
(* -1 (/ (* t x) y))
(+ (* -1 (/ (* t x) y)) (/ (* x z) y))
(* -1 t)
(- z t)
(/ (* x z) y)
(* z (+ (* -1 (/ (* t x) (* y z))) (+ (/ t z) (/ x y))))
(* z (+ (* -1 (/ (* t x) (* y z))) (/ x y)))
z
(* z (+ 1 (* -1 (/ t z))))
(* -1 (* z (+ (* -1 (/ x y)) (* -1 (/ (+ t (* -1 (/ (* t x) y))) z)))))
(* -1 (* z (+ (* -1 (/ x y)) (/ (* t x) (* y z)))))
(* -1 (* z (- (/ t z) 1)))
(+ (* t (+ 1 (* -1 (/ x y)))) (/ (* x z) y))
(+ z (* -1 t))
(* t (+ 1 (* -1 (/ x y))))
(* t (+ 1 (+ (* -1 (/ x y)) (/ (* x z) (* t y)))))
(* t (+ (* -1 (/ x y)) (/ (* x z) (* t y))))
(* t (- (/ z t) 1))
(* -1 (* t (- (/ x y) 1)))
(* -1 (* t (- (+ (* -1 (/ (* x z) (* t y))) (/ x y)) 1)))
(* -1 (* t (+ (* -1 (/ (* x z) (* t y))) (/ x y))))
(* -1 (* t (+ 1 (* -1 (/ z t)))))
Outputs
t
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(+ t (* x (- (/ z y) (/ t y))))
(*.f64 (/.f64 x y) (-.f64 z t))
(/ (* x (- z t)) y)
(/.f64 x y)
(/ x y)
(-.f64 z t)

rewrite0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Counts
4 → 4
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
(-.f64 z t)
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
(-.f64 z t)

eval1.0ms (0.1%)

Memory
2.3MiB live, 2.3MiB allocated
Compiler

Compiled 98 to 19 computations (80.6% saved)

prune1.0ms (0.1%)

Memory
2.9MiB live, 2.9MiB allocated
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New538
Fresh000
Picked011
Done000
Total549
Accuracy
96.6%
Counts
9 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓96.6%
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
▶19.4%
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
▶44.5%
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
▶59.1%
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
Compiler

Compiled 52 to 39 computations (25% saved)

simplify1.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 11 expressions of interest:

NewMetricScoreProgram
cost-diff0
(-.f64 z t)
cost-diff0
#s(approx (/ x y) (-.f64 z t))
cost-diff0
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
cost-diff0
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
cost-diff0
(/.f64 x y)
cost-diff0
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
cost-diff0
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
cost-diff0
(-.f64 z t)
cost-diff0
(/.f64 x y)
cost-diff0
(*.f64 (/.f64 x y) (-.f64 z t))
cost-diff0
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
x
y
(-.f64 z t)
z
t
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(/.f64 x y)
x
y
t
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
z
t
Outputs
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
x
y
(-.f64 z t)
z
t
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(/.f64 x y)
x
y
t
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
z
t

localize29.0ms (2.4%)

Memory
6.6MiB live, 43.7MiB allocated
Localize:

Found 11 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 z t)
accuracy0.00390625
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
accuracy5.351842824463324
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
accuracy62.157134247148534
#s(approx (/ x y) (-.f64 z t))
accuracy0.0
(/.f64 x y)
accuracy0.00390625
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
accuracy53.584126801468024
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
accuracy0.0
(/.f64 x y)
accuracy0.0
(-.f64 z t)
accuracy5.351842824463324
(*.f64 (/.f64 x y) (-.f64 z t))
accuracy24.160445503291182
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
Samples
17.0ms256×0valid
Compiler

Compiled 174 to 27 computations (84.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-div: 2.0ms (31.9% of total)
ival-mult: 2.0ms (31.9% of total)
ival-sub: 1.0ms (15.9% of total)
ival-add: 1.0ms (15.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series7.0ms (0.6%)

Memory
13.8MiB live, 13.8MiB allocated
Counts
9 → 33
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
(-.f64 z t)
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
#s(approx (/ x y) (-.f64 z t))
Outputs
t
(+ t (* x (- (/ z y) (/ t y))))
(/ (* x (- z t)) y)
(/ x y)
(* x (- (/ z y) (/ t y)))
(* x (- (+ (/ t x) (/ z y)) (/ t y)))
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (/ (- z t) y)))))
(/ (+ (* t y) (* x (- z t))) y)
(+ t (/ (* x (- z t)) y))
(+ t (* -1 (/ (* t x) y)))
(+ t (+ (* -1 (/ (* t x) y)) (/ (* x z) y)))
(* -1 (/ (* t x) y))
(+ (* -1 (/ (* t x) y)) (/ (* x z) y))
(* -1 t)
(- z t)
(/ (* x z) y)
(* z (+ (* -1 (/ (* t x) (* y z))) (+ (/ t z) (/ x y))))
(* z (+ (* -1 (/ (* t x) (* y z))) (/ x y)))
z
(* z (+ 1 (* -1 (/ t z))))
(* -1 (* z (+ (* -1 (/ x y)) (* -1 (/ (+ t (* -1 (/ (* t x) y))) z)))))
(* -1 (* z (+ (* -1 (/ x y)) (/ (* t x) (* y z)))))
(* -1 (* z (- (/ t z) 1)))
(+ (* t (+ 1 (* -1 (/ x y)))) (/ (* x z) y))
(+ z (* -1 t))
(* t (+ 1 (* -1 (/ x y))))
(* t (+ 1 (+ (* -1 (/ x y)) (/ (* x z) (* t y)))))
(* t (+ (* -1 (/ x y)) (/ (* x z) (* t y))))
(* t (- (/ z t) 1))
(* -1 (* t (- (/ x y) 1)))
(* -1 (* t (- (+ (* -1 (/ (* x z) (* t y))) (/ x y)) 1)))
(* -1 (* t (+ (* -1 (/ (* x z) (* t y))) (/ x y))))
(* -1 (* t (+ 1 (* -1 (/ z t)))))
Calls

12 calls:

TimeVariablePointExpression
1.0ms
x
@inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y))
1.0ms
x
@-inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y))
1.0ms
y
@-inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y))
1.0ms
x
@0
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y))
1.0ms
y
@0
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y))

simplify1.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
1×egg-herbie
Counts
33 → 9
Calls
Call 1
Inputs
t
(+ t (* x (- (/ z y) (/ t y))))
(/ (* x (- z t)) y)
(/ x y)
(* x (- (/ z y) (/ t y)))
(* x (- (+ (/ t x) (/ z y)) (/ t y)))
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (/ (- z t) y)))))
(/ (+ (* t y) (* x (- z t))) y)
(+ t (/ (* x (- z t)) y))
(+ t (* -1 (/ (* t x) y)))
(+ t (+ (* -1 (/ (* t x) y)) (/ (* x z) y)))
(* -1 (/ (* t x) y))
(+ (* -1 (/ (* t x) y)) (/ (* x z) y))
(* -1 t)
(- z t)
(/ (* x z) y)
(* z (+ (* -1 (/ (* t x) (* y z))) (+ (/ t z) (/ x y))))
(* z (+ (* -1 (/ (* t x) (* y z))) (/ x y)))
z
(* z (+ 1 (* -1 (/ t z))))
(* -1 (* z (+ (* -1 (/ x y)) (* -1 (/ (+ t (* -1 (/ (* t x) y))) z)))))
(* -1 (* z (+ (* -1 (/ x y)) (/ (* t x) (* y z)))))
(* -1 (* z (- (/ t z) 1)))
(+ (* t (+ 1 (* -1 (/ x y)))) (/ (* x z) y))
(+ z (* -1 t))
(* t (+ 1 (* -1 (/ x y))))
(* t (+ 1 (+ (* -1 (/ x y)) (/ (* x z) (* t y)))))
(* t (+ (* -1 (/ x y)) (/ (* x z) (* t y))))
(* t (- (/ z t) 1))
(* -1 (* t (- (/ x y) 1)))
(* -1 (* t (- (+ (* -1 (/ (* x z) (* t y))) (/ x y)) 1)))
(* -1 (* t (+ (* -1 (/ (* x z) (* t y))) (/ x y))))
(* -1 (* t (+ 1 (* -1 (/ z t)))))
Outputs
t
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
(+ t (* x (- (/ z y) (/ t y))))
(*.f64 (/.f64 x y) (-.f64 z t))
(/ (* x (- z t)) y)
(/.f64 x y)
(/ x y)
(-.f64 z t)
(* x (- (/ z y) (/ t y)))
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
(* x (- (+ (/ t x) (/ z y)) (/ t y)))
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (/ (- z t) y)))))
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
(/ (+ (* t y) (* x (- z t))) y)
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
(+ t (/ (* x (- z t)) y))
#s(approx (/ x y) (-.f64 z t))

rewrite0.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated
Counts
9 → 9
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
(-.f64 z t)
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
#s(approx (/ x y) (-.f64 z t))
Outputs
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 x y)
(-.f64 z t)
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
#s(approx (/ x y) (-.f64 z t))

eval2.0ms (0.2%)

Memory
4.1MiB live, 4.1MiB allocated
Compiler

Compiled 337 to 25 computations (92.6% saved)

prune8.0ms (0.6%)

Memory
-31.2MiB live, 6.6MiB allocated
Pruning

8 alts after pruning (4 fresh and 4 done)

PrunedKeptTotal
New15419
Fresh000
Picked033
Done011
Total15823
Accuracy
96.6%
Counts
23 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓96.6%
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
✓19.4%
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
✓44.5%
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
▶3.0%
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
✓59.1%
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
▶12.2%
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
▶3.2%
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
▶9.5%
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
Compiler

Compiled 128 to 84 computations (34.4% saved)

simplify1.0ms (0.1%)

Memory
1.5MiB live, 1.5MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 14 expressions of interest:

NewMetricScoreProgram
cost-diff0
(-.f64 z t)
cost-diff0
#s(approx (/ x y) (-.f64 z t))
cost-diff0
#s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t)))
cost-diff0
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
cost-diff0
(-.f64 z t)
cost-diff0
#s(approx (/ x y) (-.f64 z t))
cost-diff0
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
cost-diff0
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
cost-diff0
(-.f64 z t)
cost-diff0
#s(approx (/ x y) (-.f64 z t))
cost-diff0
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
cost-diff0
(/.f64 x y)
cost-diff0
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
cost-diff0
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(/.f64 x y)
x
y
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
z
t
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
z
t
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t)))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
z
t
Outputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(/.f64 x y)
x
y
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
z
t
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
z
t
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t)))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
z
t

localize31.0ms (2.6%)

Memory
8.8MiB live, 45.9MiB allocated
Localize:

Found 14 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 z t)
accuracy0.00390625
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
accuracy53.584126801468024
#s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t)))
accuracy62.157134247148534
#s(approx (/ x y) (-.f64 z t))
accuracy0.0
(-.f64 z t)
accuracy5.351842824463324
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
accuracy24.160445503291182
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
accuracy62.157134247148534
#s(approx (/ x y) (-.f64 z t))
accuracy0.0
(-.f64 z t)
accuracy57.91722262949974
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
accuracy62.157134247148534
#s(approx (/ x y) (-.f64 z t))
accuracy0.0
(/.f64 x y)
accuracy24.160445503291182
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
accuracy53.584126801468024
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
Samples
22.0ms256×0valid
Compiler

Compiled 242 to 28 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-div: 2.0ms (30.9% of total)
ival-mult: 2.0ms (30.9% of total)
ival-sub: 1.0ms (15.5% of total)
ival-add: 1.0ms (15.5% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series7.0ms (0.6%)

Memory
17.1MiB live, 17.1MiB allocated
Counts
10 → 33
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(/.f64 x y)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t)))
Outputs
t
(+ t (* x (- (/ z y) (/ t y))))
(/ (* x (- z t)) y)
(/ x y)
(* x (- (/ z y) (/ t y)))
(* x (- (+ (/ t x) (/ z y)) (/ t y)))
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (/ (- z t) y)))))
(/ (+ (* t y) (* x (- z t))) y)
(+ t (/ (* x (- z t)) y))
(+ t (* -1 (/ (* t x) y)))
(+ t (+ (* -1 (/ (* t x) y)) (/ (* x z) y)))
(* -1 (/ (* t x) y))
(+ (* -1 (/ (* t x) y)) (/ (* x z) y))
(* -1 t)
(- z t)
(/ (* x z) y)
(* z (+ (* -1 (/ (* t x) (* y z))) (+ (/ t z) (/ x y))))
(* z (+ (* -1 (/ (* t x) (* y z))) (/ x y)))
z
(* z (+ 1 (* -1 (/ t z))))
(* -1 (* z (+ (* -1 (/ x y)) (* -1 (/ (+ t (* -1 (/ (* t x) y))) z)))))
(* -1 (* z (+ (* -1 (/ x y)) (/ (* t x) (* y z)))))
(* -1 (* z (- (/ t z) 1)))
(+ (* t (+ 1 (* -1 (/ x y)))) (/ (* x z) y))
(+ z (* -1 t))
(* t (+ 1 (* -1 (/ x y))))
(* t (+ 1 (+ (* -1 (/ x y)) (/ (* x z) (* t y)))))
(* t (+ (* -1 (/ x y)) (/ (* x z) (* t y))))
(* t (- (/ z t) 1))
(* -1 (* t (- (/ x y) 1)))
(* -1 (* t (- (+ (* -1 (/ (* x z) (* t y))) (/ x y)) 1)))
(* -1 (* t (+ (* -1 (/ (* x z) (* t y))) (/ x y))))
(* -1 (* t (+ 1 (* -1 (/ z t)))))
Calls

12 calls:

TimeVariablePointExpression
1.0ms
x
@inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (+ (* (/ x y) (- z t)) t) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)))
1.0ms
x
@-inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (+ (* (/ x y) (- z t)) t) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)))
1.0ms
y
@-inf
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (+ (* (/ x y) (- z t)) t) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)))
1.0ms
x
@0
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (+ (* (/ x y) (- z t)) t) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)))
1.0ms
y
@0
((+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (/ x y) (+ (* (/ x y) (- z t)) t) (/ x y) (- z t) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)) (+ (* (/ x y) (- z t)) t) (* (/ x y) (- z t)))

simplify1.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated
Algorithm
1×egg-herbie
Counts
33 → 10
Calls
Call 1
Inputs
t
(+ t (* x (- (/ z y) (/ t y))))
(/ (* x (- z t)) y)
(/ x y)
(* x (- (/ z y) (/ t y)))
(* x (- (+ (/ t x) (/ z y)) (/ t y)))
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (/ (- z t) y)))))
(/ (+ (* t y) (* x (- z t))) y)
(+ t (/ (* x (- z t)) y))
(+ t (* -1 (/ (* t x) y)))
(+ t (+ (* -1 (/ (* t x) y)) (/ (* x z) y)))
(* -1 (/ (* t x) y))
(+ (* -1 (/ (* t x) y)) (/ (* x z) y))
(* -1 t)
(- z t)
(/ (* x z) y)
(* z (+ (* -1 (/ (* t x) (* y z))) (+ (/ t z) (/ x y))))
(* z (+ (* -1 (/ (* t x) (* y z))) (/ x y)))
z
(* z (+ 1 (* -1 (/ t z))))
(* -1 (* z (+ (* -1 (/ x y)) (* -1 (/ (+ t (* -1 (/ (* t x) y))) z)))))
(* -1 (* z (+ (* -1 (/ x y)) (/ (* t x) (* y z)))))
(* -1 (* z (- (/ t z) 1)))
(+ (* t (+ 1 (* -1 (/ x y)))) (/ (* x z) y))
(+ z (* -1 t))
(* t (+ 1 (* -1 (/ x y))))
(* t (+ 1 (+ (* -1 (/ x y)) (/ (* x z) (* t y)))))
(* t (+ (* -1 (/ x y)) (/ (* x z) (* t y))))
(* t (- (/ z t) 1))
(* -1 (* t (- (/ x y) 1)))
(* -1 (* t (- (+ (* -1 (/ (* x z) (* t y))) (/ x y)) 1)))
(* -1 (* t (+ (* -1 (/ (* x z) (* t y))) (/ x y))))
(* -1 (* t (+ 1 (* -1 (/ z t)))))
Outputs
t
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
(+ t (* x (- (/ z y) (/ t y))))
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(/ (* x (- z t)) y)
(/.f64 x y)
(/ x y)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
(* x (- (/ z y) (/ t y)))
#s(approx (/ x y) (-.f64 z t))
(* x (- (+ (/ t x) (/ z y)) (/ t y)))
(-.f64 z t)
(* -1 (* x (+ (* -1 (/ t x)) (* -1 (/ (- z t) y)))))
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(/ (+ (* t y) (* x (- z t))) y)
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
(+ t (/ (* x (- z t)) y))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
(+ t (* -1 (/ (* t x) y)))
#s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t)))

rewrite1.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated
Counts
10 → 10
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(/.f64 x y)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t)))
Outputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (* (/ x y) (- z t)) (/.f64 x y))
(/.f64 x y)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
#s(approx (/ x y) (-.f64 z t))
(-.f64 z t)
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t)))

eval2.0ms (0.2%)

Memory
6.2MiB live, 6.2MiB allocated
Compiler

Compiled 453 to 26 computations (94.3% saved)

prune10.0ms (0.8%)

Memory
-30.0MiB live, 16.1MiB allocated
Pruning

8 alts after pruning (0 fresh and 8 done)

PrunedKeptTotal
New21021
Fresh000
Picked044
Done044
Total21829
Accuracy
96.6%
Counts
29 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓96.6%
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
✓19.4%
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
✓44.5%
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
✓3.0%
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
✓59.1%
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
✓12.2%
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
✓3.2%
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
✓9.5%
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
Compiler

Compiled 256 to 107 computations (58.2% saved)

regimes22.0ms (1.9%)

Memory
23.5MiB live, 62.0MiB allocated
Counts
8 → 1
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Calls

6 calls:

5.0ms
z
3.0ms
y
3.0ms
x
3.0ms
t
3.0ms
(/.f64 x y)
Results
AccuracySegmentsBranch
96.6%1x
96.6%1y
96.6%1z
96.6%1t
96.6%1(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
96.6%1(/.f64 x y)
Compiler

Compiled 16 to 29 computations (-81.3% saved)

regimes22.0ms (1.8%)

Memory
-24.7MiB live, 53.6MiB allocated
Counts
7 → 3
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
Outputs
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))
Calls

6 calls:

5.0ms
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
4.0ms
z
3.0ms
y
3.0ms
x
3.0ms
t
Results
AccuracySegmentsBranch
65.6%4z
61.7%2t
86.5%3(/.f64 x y)
74.5%3x
75.0%3y
69.4%3(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 16 to 29 computations (-81.3% saved)

regimes19.0ms (1.6%)

Memory
9.6MiB live, 52.4MiB allocated
Counts
6 → 2
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
Outputs
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
(+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t)
Calls

6 calls:

5.0ms
z
3.0ms
x
3.0ms
t
3.0ms
y
3.0ms
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Results
AccuracySegmentsBranch
44.5%1t
44.5%1z
49.4%2(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
44.5%1x
44.5%1y
49.7%4(/.f64 x y)
Compiler

Compiled 16 to 29 computations (-81.3% saved)

regimes3.0ms (0.2%)

Memory
6.5MiB live, 6.5MiB allocated
Counts
5 → 2
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
Outputs
(+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t)
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
Calls

1 calls:

2.0ms
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Results
AccuracySegmentsBranch
49.4%2(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 9 to 8 computations (11.1% saved)

regimes15.0ms (1.2%)

Memory
-2.9MiB live, 36.4MiB allocated
Counts
4 → 2
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
Outputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)))
Calls

6 calls:

4.0ms
z
2.0ms
y
2.0ms
t
2.0ms
x
2.0ms
(/.f64 x y)
Results
AccuracySegmentsBranch
13.8%2x
12.2%1t
12.2%1z
12.2%1y
14.5%2(/.f64 x y)
15.1%2(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 16 to 29 computations (-81.3% saved)

regimes13.0ms (1.1%)

Memory
-14.1MiB live, 25.0MiB allocated
Counts
3 → 1
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
Outputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
Calls

6 calls:

4.0ms
t
2.0ms
x
2.0ms
y
2.0ms
z
2.0ms
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Results
AccuracySegmentsBranch
9.5%1z
9.5%1t
9.5%1y
9.5%1x
9.5%1(/.f64 x y)
9.5%1(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 16 to 29 computations (-81.3% saved)

regimes9.0ms (0.7%)

Memory
21.3MiB live, 21.3MiB allocated
Accuracy

Total -0.5b remaining (-0.8%)

Threshold costs -0.5b (-0.8%)

Counts
2 → 1
Calls
Call 1
Inputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
(+.f64 #s(approx (* (/ x y) (- z t)) #s(approx (/ x y) (-.f64 z t))) t)
Outputs
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
Calls

6 calls:

1.0ms
(/.f64 x y)
1.0ms
x
1.0ms
t
1.0ms
z
1.0ms
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Results
AccuracySegmentsBranch
3.2%1y
3.2%1t
3.2%1z
3.2%1x
3.2%1(/.f64 x y)
3.2%1(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 16 to 29 computations (-81.3% saved)

bsearch24.0ms (2%)

Memory
-3.7MiB live, 34.9MiB allocated
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
9.0ms
3.8365570085271246e-107
4.711286802995372e-105
14.0ms
-3.477100331842403e-8
-1.196798003841677e-16
Samples
11.0ms256×0valid
Compiler

Compiled 428 to 367 computations (14.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0ms
ival-sub: 2.0ms (43.2% of total)
ival-mult: 2.0ms (43.2% of total)
ival-add: 1.0ms (21.6% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

bsearch0.0ms (0%)

Memory
0.6MiB live, 0.5MiB allocated
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
3.4208763091241914e+301
+inf
Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
3.4208763091241914e+301
+inf
Compiler

Compiled 12 to 15 computations (-25% saved)

bsearch0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
5.765315251767862e-150
7.257406482143233e-149
Compiler

Compiled 12 to 15 computations (-25% saved)

simplify5.0ms (0.4%)

Memory
10.6MiB live, 10.6MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(if (<=.f64 (/.f64 x y) #s(literal -3486039150627631/39614081257132168796771975168 binary64)) #s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t))) (if (<=.f64 (/.f64 x y) #s(literal 2453137384182563/645562469521727147413979793000752968582426448207305878207664839135161905504210298657411338320034457858975792993186873344 binary64)) (+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t) #s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))))
(if (<=.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t) #s(literal 50000000000000003814851539542447462673673427575328405850800867103105690144062897242071094482345892038319873788569274380686105193922399969145907805675259915375083824928244490813268184047707303657117575529186729493445412577829531808857931602641311195254642091719929308551541867836924949602285249078755328 binary64)) (+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t) (+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t))
(if (<=.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t) #s(literal 50000000000000003814851539542447462673673427575328405850800867103105690144062897242071094482345892038319873788569274380686105193922399969145907805675259915375083824928244490813268184047707303657117575529186729493445412577829531808857931602641311195254642091719929308551541867836924949602285249078755328 binary64)) (+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t) #s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))))
(if (<=.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t) #s(literal 4606887725612233/460688772561223309599799143187044542348256984914116263229517370635452168260760357920669766257038423772151901248872539660616526444082616288154471954520592778765795328 binary64)) #s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y))) #s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))))
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(if (<=.f64 (/.f64 x y) #s(literal -3486039150627631/39614081257132168796771975168 binary64)) #s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t))) (if (<=.f64 (/.f64 x y) #s(literal 2453137384182563/645562469521727147413979793000752968582426448207305878207664839135161905504210298657411338320034457858975792993186873344 binary64)) (+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t) #s(approx (+ (* (/ x y) (- z t)) t) (*.f64 (/.f64 x y) (-.f64 z t)))))
(if (<=.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t) #s(literal 50000000000000003814851539542447462673673427575328405850800867103105690144062897242071094482345892038319873788569274380686105193922399969145907805675259915375083824928244490813268184047707303657117575529186729493445412577829531808857931602641311195254642091719929308551541867836924949602285249078755328 binary64)) (+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t) (+.f64 (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t)) t))
(if (<=.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t) #s(literal 50000000000000003814851539542447462673673427575328405850800867103105690144062897242071094482345892038319873788569274380686105193922399969145907805675259915375083824928244490813268184047707303657117575529186729493445412577829531808857931602641311195254642091719929308551541867836924949602285249078755328 binary64)) (+.f64 #s(approx (* (/ x y) (- z t)) (/.f64 x y)) t) #s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))))
(if (<=.f64 (+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t) #s(literal 4606887725612233/460688772561223309599799143187044542348256984914116263229517370635452168260760357920669766257038423772151901248872539660616526444082616288154471954520592778765795328 binary64)) #s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y))) #s(approx (+ (* (/ x y) (- z t)) t) (*.f64 #s(approx (/ x y) (-.f64 z t)) (-.f64 z t))))
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (* (/ x y) (- z t)) (/.f64 x y)))
#s(approx (+ (* (/ x y) (- z t)) t) #s(approx (/ x y) (-.f64 z t)))

soundness2.0ms (0.1%)

Memory
3.8MiB live, 3.8MiB allocated
Stop Event
1×done
Compiler

Compiled 244 to 34 computations (86.1% saved)

preprocess52.0ms (4.3%)

Memory
-27.6MiB live, 87.7MiB allocated
Compiler

Compiled 576 to 118 computations (79.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...