Linear.V3:$cdot from linear-1.19.1.3, B

Time bar (total: 1.4s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
100%99.7%0%0.3%0%0%0%1
Compiler

Compiled 13 to 13 computations (0% saved)

sample808.0ms (57.9%)

Memory
39.4MiB live, 1 168.8MiB allocated
Samples
527.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 265.0ms
ival-mult: 177.0ms (66.8% of total)
ival-add: 78.0ms (29.4% of total)
ival-true: 7.0ms (2.6% of total)
ival-assert: 3.0ms (1.1% of total)
Bogosity

explain108.0ms (7.7%)

Memory
-7.0MiB live, 158.0MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
40-0-(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
00-0-a
00-0-t
00-0-(*.f64 z t)
00-0-z
00-0-(*.f64 x y)
00-0-y
00-0-(+.f64 (*.f64 x y) (*.f64 z t))
00-0-b
00-0-(*.f64 a b)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
+.f64(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))nan-rescue40
↳(*.f64 x y)overflow29
↳(+.f64 (*.f64 x y) (*.f64 z t))overflow57
↳(*.f64 z t)overflow33
↳(*.f64 a b)overflow23
Confusion
Predicted +Predicted -
+40
-0252
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+400
-00252
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0252
14
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
41.0ms512×0valid
Compiler

Compiled 114 to 48 computations (57.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.0ms
ival-mult: 16.0ms (77.2% of total)
ival-add: 4.0ms (19.3% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess8.0ms (0.6%)

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

Compiled 11 to 11 computations (0% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 0 to 6 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.4%
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
Compiler

Compiled 11 to 11 computations (0% saved)

simplify0.0ms (0%)

Memory
0.6MiB live, 0.6MiB 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)) (*.f64 a b))
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
(+.f64 (*.f64 x y) (*.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(*.f64 a b)
a
b
Outputs
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
(+.f64 (*.f64 x y) (*.f64 z t))
(*.f64 x y)
x
y
(*.f64 z t)
z
t
(*.f64 a b)
a
b

localize26.0ms (1.9%)

Memory
-2.1MiB live, 36.2MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 x y)
accuracy0.0
(*.f64 a b)
accuracy0.0078125
(+.f64 (*.f64 x y) (*.f64 z t))
accuracy0.9062458716604117
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
Samples
17.0ms256×0valid
Compiler

Compiled 68 to 24 computations (64.7% saved)

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

series11.0ms (0.8%)

Memory
18.2MiB live, 18.2MiB allocated
Counts
5 → 27
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
(+.f64 (*.f64 x y) (*.f64 z t))
(*.f64 x y)
(*.f64 z t)
(*.f64 a b)
Outputs
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(* a b)
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
Calls

18 calls:

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

simplify0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
1×egg-herbie
Counts
27 → 5
Calls
Call 1
Inputs
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(* a b)
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
Outputs
(+ (* a b) (* t z))
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
(+ (* a b) (+ (* t z) (* x y)))
(+.f64 (*.f64 x y) (*.f64 z t))
(* t z)
(*.f64 x y)
(+ (* t z) (* x y))
(*.f64 z t)
(* x y)
(*.f64 a b)

rewrite0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Counts
5 → 5
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
(+.f64 (*.f64 x y) (*.f64 z t))
(*.f64 x y)
(*.f64 z t)
(*.f64 a b)
Outputs
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
(+.f64 (*.f64 x y) (*.f64 z t))
(*.f64 x y)
(*.f64 z t)
(*.f64 a b)

eval1.0ms (0.1%)

Memory
1.7MiB live, 1.7MiB allocated
Compiler

Compiled 142 to 25 computations (82.4% saved)

prune1.0ms (0.1%)

Memory
3.0MiB live, 3.0MiB allocated
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New7310
Fresh000
Picked011
Done000
Total7411
Accuracy
100.0%
Counts
11 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.4%
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
▶67.1%
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
▶66.4%
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
▶69.7%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
Compiler

Compiled 60 to 52 computations (13.3% saved)

simplify1.0ms (0%)

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

Found 12 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 a b)
cost-diff0
(*.f64 z t)
cost-diff0
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
cost-diff0
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
cost-diff0
(*.f64 a b)
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)) (*.f64 a b))
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)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.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)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 x y))
(*.f64 x y)
x
y
(*.f64 a b)
a
b
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
(*.f64 z t)
z
t
(*.f64 a b)
a
b
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.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)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 x y))
(*.f64 x y)
x
y
(*.f64 a b)
a
b
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
(*.f64 z t)
z
t
(*.f64 a b)
a
b

localize32.0ms (2.3%)

Memory
4.5MiB live, 46.6MiB allocated
Localize:

Found 12 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 z t)
accuracy0.0
(*.f64 a b)
accuracy0.9062458716604117
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
accuracy30.506818632396524
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
accuracy0.0
(*.f64 x y)
accuracy0.0
(*.f64 a b)
accuracy0.9062458716604117
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
accuracy30.829472361865438
#s(approx (+ (* x y) (* z t)) (*.f64 x y))
accuracy0.0
(*.f64 z t)
accuracy0.0
(*.f64 x y)
accuracy0.0078125
(+.f64 (*.f64 x y) (*.f64 z t))
accuracy19.381204706185855
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
Samples
23.0ms256×0valid
Compiler

Compiled 194 to 33 computations (83% saved)

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

series11.0ms (0.8%)

Memory
-22.7MiB live, 15.6MiB allocated
Counts
9 → 27
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.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)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 x y))
(*.f64 a b)
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
Outputs
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(* a b)
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
Calls

18 calls:

TimeVariablePointExpression
3.0ms
z
@0
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* z t) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))
1.0ms
z
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* z t) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))
1.0ms
x
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* z t) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))
1.0ms
y
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* z t) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))
1.0ms
t
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (* z t) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)))

simplify1.0ms (0%)

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

rewrite0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Counts
9 → 9
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.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)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 x y))
(*.f64 a b)
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.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)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 x y))
(*.f64 a b)
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))

eval2.0ms (0.1%)

Memory
3.2MiB live, 3.2MiB allocated
Compiler

Compiled 413 to 33 computations (92% saved)

prune3.0ms (0.2%)

Memory
5.7MiB live, 5.7MiB allocated
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New16319
Fresh000
Picked033
Done011
Total16723
Accuracy
100.0%
Counts
23 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.4%
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
✓67.1%
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
✓66.4%
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
✓69.7%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
▶37.5%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
▶35.9%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
▶34.1%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
Compiler

Compiled 129 to 94 computations (27.1% saved)

simplify1.0ms (0%)

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

Found 9 expressions of interest:

NewMetricScoreProgram
cost-diff0
(*.f64 z t)
cost-diff0
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
cost-diff0
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.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)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
cost-diff0
(*.f64 a b)
cost-diff0
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
cost-diff0
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
a
b
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #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)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
(*.f64 z t)
z
t
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
a
b
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #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)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
(*.f64 z t)
z
t

localize27.0ms (1.9%)

Memory
2.6MiB live, 40.8MiB allocated
Localize:

Found 9 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(*.f64 z t)
accuracy19.381204706185855
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
accuracy30.506818632396524
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
accuracy0.0
(*.f64 x y)
accuracy19.381204706185855
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
accuracy30.829472361865438
#s(approx (+ (* x y) (* z t)) (*.f64 x y))
accuracy0.0
(*.f64 a b)
accuracy19.381204706185855
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
accuracy61.24938076443504
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
Samples
20.0ms256×0valid
Compiler

Compiled 188 to 33 computations (82.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-mult: 7.0ms (73.1% of total)
ival-add: 2.0ms (20.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series8.0ms (0.6%)

Memory
15.9MiB live, 15.9MiB allocated
Counts
9 → 27
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #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)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
(*.f64 z t)
Outputs
(+ (* a b) (* t z))
(+ (* a b) (+ (* t z) (* x y)))
(* t z)
(+ (* t z) (* x y))
(* x y)
(* x (+ y (+ (/ (* a b) x) (/ (* t z) x))))
(* x (+ y (/ (* t z) x)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ (* a b) (* t z)) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (* t z) x)))))
(* y (+ x (+ (/ (* a b) y) (/ (* t z) y))))
(* y (+ x (/ (* t z) y)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ (* a b) (* t z)) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (* t z) y)))))
(+ (* a b) (* x y))
(* z (+ t (+ (/ (* a b) z) (/ (* x y) z))))
(* z (+ t (/ (* x y) z)))
(* -1 (* z (+ (* -1 t) (* -1 (/ (+ (* a b) (* x y)) z)))))
(* -1 (* z (+ (* -1 t) (* -1 (/ (* x y) z)))))
(* t (+ z (+ (/ (* a b) t) (/ (* x y) t))))
(* t (+ z (/ (* x y) t)))
(* -1 (* t (+ (* -1 z) (* -1 (/ (+ (* a b) (* x y)) t)))))
(* -1 (* t (+ (* -1 z) (* -1 (/ (* x y) t)))))
(* a b)
(* a (+ b (+ (/ (* t z) a) (/ (* x y) a))))
(* -1 (* a (+ (* -1 b) (* -1 (/ (+ (* t z) (* x y)) a)))))
(* b (+ a (+ (/ (* t z) b) (/ (* x y) b))))
(* -1 (* b (+ (* -1 a) (* -1 (/ (+ (* t z) (* x y)) b)))))
Calls

18 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* z t))
1.0ms
y
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* z t))
1.0ms
z
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* z t))
1.0ms
t
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* z t))
0.0ms
b
@-inf
((+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* a b) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* x y) (+ (+ (* x y) (* z t)) (* a b)) (+ (* x y) (* z t)) (* z t))

simplify1.0ms (0%)

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

rewrite1.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Counts
9 → 9
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #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)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
(*.f64 z t)
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (* x y) (* z t)) (*.f64 a b))
(*.f64 a b)
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #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)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (* x y) (* z t)) (*.f64 z t))
(*.f64 z t)

eval4.0ms (0.3%)

Memory
-35.3MiB live, 2.9MiB allocated
Compiler

Compiled 378 to 29 computations (92.3% saved)

prune4.0ms (0.3%)

Memory
8.9MiB live, 8.9MiB allocated
Pruning

7 alts after pruning (0 fresh and 7 done)

PrunedKeptTotal
New14014
Fresh000
Picked033
Done044
Total14721
Accuracy
100.0%
Counts
21 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.4%
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
✓67.1%
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
✓66.4%
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
✓69.7%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
✓37.5%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
✓35.9%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
✓34.1%
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
Compiler

Compiled 258 to 119 computations (53.9% saved)

regimes33.0ms (2.4%)

Memory
5.0MiB live, 88.2MiB allocated
Counts
7 → 1
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
Outputs
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
Calls

11 calls:

4.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
3.0ms
z
3.0ms
y
3.0ms
b
3.0ms
t
Results
AccuracySegmentsBranch
98.4%1x
98.4%1y
98.4%1z
98.4%1t
98.4%1a
98.4%1b
98.4%1(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
98.4%1(+.f64 (*.f64 x y) (*.f64 z t))
98.4%1(*.f64 x y)
98.4%1(*.f64 z t)
98.4%1(*.f64 a b)
Compiler

Compiled 33 to 77 computations (-133.3% saved)

regimes29.0ms (2.1%)

Memory
-1.4MiB live, 77.5MiB allocated
Counts
6 → 4
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b))
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
Calls

11 calls:

3.0ms
z
3.0ms
(*.f64 x y)
3.0ms
y
3.0ms
x
3.0ms
a
Results
AccuracySegmentsBranch
85.3%3x
83.9%3y
85.8%4z
80.6%3t
86.8%4a
81.8%3b
77.4%4(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
85.1%3(+.f64 (*.f64 x y) (*.f64 z t))
87.2%3(*.f64 x y)
90.0%4(*.f64 z t)
88.4%3(*.f64 a b)
Compiler

Compiled 33 to 77 computations (-133.3% saved)

regimes5.0ms (0.3%)

Memory
12.3MiB live, 12.3MiB allocated
Counts
5 → 3
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
Calls

2 calls:

2.0ms
(*.f64 z t)
2.0ms
(*.f64 a b)
Results
AccuracySegmentsBranch
85.7%3(*.f64 a b)
88.1%3(*.f64 z t)
Compiler

Compiled 6 to 14 computations (-133.3% saved)

regimes13.0ms (0.9%)

Memory
-9.9MiB live, 31.2MiB allocated
Counts
4 → 3
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
Calls

6 calls:

3.0ms
(*.f64 x y)
2.0ms
a
2.0ms
x
2.0ms
(*.f64 a b)
2.0ms
(*.f64 z t)
Results
AccuracySegmentsBranch
80.9%3(+.f64 (*.f64 x y) (*.f64 z t))
78.2%3a
69.7%1x
84.7%3(*.f64 a b)
73.1%3(*.f64 x y)
69.7%1(*.f64 z t)
Compiler

Compiled 18 to 42 computations (-133.3% saved)

regimes20.0ms (1.4%)

Memory
9.7MiB live, 48.8MiB allocated
Counts
3 → 5
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
Calls

11 calls:

2.0ms
(+.f64 (*.f64 x y) (*.f64 z t))
2.0ms
b
2.0ms
t
2.0ms
a
2.0ms
y
Results
AccuracySegmentsBranch
60.2%4(*.f64 z t)
56.2%4x
62.3%5(*.f64 x y)
49.8%6(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
55.2%4a
52.4%4t
58.4%5(+.f64 (*.f64 x y) (*.f64 z t))
49.7%3b
52.9%3y
56.4%5z
56.6%3(*.f64 a b)
Compiler

Compiled 33 to 77 computations (-133.3% saved)

regimes5.0ms (0.4%)

Memory
-27.2MiB live, 12.1MiB allocated
Counts
2 → 3
Calls
Call 1
Inputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
Outputs
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
Calls

3 calls:

1.0ms
(*.f64 a b)
1.0ms
(*.f64 z t)
1.0ms
(*.f64 x y)
Results
AccuracySegmentsBranch
56.6%3(*.f64 a b)
39.1%2(*.f64 z t)
54.9%3(*.f64 x y)
Compiler

Compiled 9 to 21 computations (-133.3% saved)

regimes13.0ms (0.9%)

Memory
36.8MiB live, 36.8MiB allocated
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

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

11 calls:

1.0ms
b
1.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
1.0ms
y
1.0ms
x
1.0ms
a
Results
AccuracySegmentsBranch
34.1%1(*.f64 z t)
34.1%1(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
34.1%1b
34.1%1t
34.1%1y
34.1%1z
34.1%1a
34.1%1x
34.1%1(*.f64 x y)
34.1%1(+.f64 (*.f64 x y) (*.f64 z t))
34.1%1(*.f64 a b)
Compiler

Compiled 33 to 77 computations (-133.3% saved)

bsearch50.0ms (3.6%)

Memory
-36.3MiB live, 63.0MiB allocated
Algorithm
3×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
9.0ms
5.068130631931494e+107
2.0826364457599178e+108
28.0ms
-2.132918809734103e-30
-1.766654061343391e-33
11.0ms
-1.9516046658351003e+63
-7.81787771829877e+60
Samples
18.0ms336×0valid
Compiler

Compiled 640 to 606 computations (5.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-mult: 5.0ms (62.8% of total)
ival-add: 3.0ms (37.7% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

bsearch13.0ms (0.9%)

Memory
17.2MiB live, 17.2MiB allocated
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
1.0ms
5.068130631931494e+107
2.0826364457599178e+108
11.0ms
-1.5799294469390145e+45
-3.810708018364309e+41
Samples
7.0ms128×0valid
Compiler

Compiled 462 to 426 computations (7.8% saved)

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

bsearch29.0ms (2.1%)

Memory
-1.5MiB live, 36.8MiB allocated
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
11.0ms
4.573018134481203e+170
2.36879852948085e+174
15.0ms
-5.239929437603687e+200
-1.8772834210919903e+185
Samples
15.0ms288×0valid
Compiler

Compiled 734 to 560 computations (23.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 4.0ms (58.8% of total)
ival-add: 2.0ms (29.4% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

bsearch57.0ms (4.1%)

Memory
-3.0MiB live, 73.3MiB allocated
Algorithm
4×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
13.0ms
1.8102963722210006e+45
2.913793669474965e+50
13.0ms
1.4341029734164639e-39
2.03512426463279e-35
13.0ms
-4.698792097542679e-179
-8.031714332900104e-186
14.0ms
-1.7170271326273146e+56
-1.7641349334797871e+50
Samples
31.0ms560×0valid
Compiler

Compiled 1 588 to 1 052 computations (33.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0ms
ival-mult: 8.0ms (55.3% of total)
ival-add: 6.0ms (41.5% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

bsearch22.0ms (1.6%)

Memory
-13.5MiB live, 27.6MiB allocated
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
12.0ms
4.1191344564810615e-24
3.6552763850529334e-22
8.0ms
-2.37057548956602e+105
-2.6852805019911404e+104
Samples
11.0ms208×0valid
Compiler

Compiled 586 to 397 computations (32.3% saved)

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

simplify6.0ms (0.4%)

Memory
10.4MiB live, 10.4MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
(if (<=.f64 (*.f64 z t) #s(literal -299999999999999999088617516181804470671953197798974385752637440 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))) (if (<=.f64 (*.f64 z t) #s(literal -2374940160662717/45671926166590716193865151022383844364247891968 binary64)) (+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b)) (if (<=.f64 (*.f64 z t) #s(literal 1399999999999999891154225415715423007504935737757814498046030367229121331556894656193354441108767789404913664 binary64)) (+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))))))
(if (<=.f64 (*.f64 z t) #s(literal -819999999999999929724470997836857985376190464 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))) (if (<=.f64 (*.f64 z t) #s(literal 1399999999999999891154225415715423007504935737757814498046030367229121331556894656193354441108767789404913664 binary64)) (+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))))
(if (<=.f64 (*.f64 a b) #s(literal -189999999999999990088898512348739718923867266273469688425776149935610521007326530513873914933537073827131716880155590636238466804937760410055654600305146809036523880146662003085374652416 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) (if (<=.f64 (*.f64 a b) #s(literal 6800000000000000287680801023095067500700636373047791337924631324274000172353184208551730195696836164865305370457638468985419989788157523950763872493806701652812513337671680 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))))
(if (<=.f64 (*.f64 x y) #s(literal -549999999999999975003873838340241420593026678583721984 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y))) (if (<=.f64 (*.f64 x y) #s(literal -5606327030934153/1167984798111281975972139931059274579172666497855631342228273284582214442805421410945513679697247078343332431250840168271536308408672112127552681297848886832192510636636227827221215793215130566656 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) (if (<=.f64 (*.f64 x y) #s(literal 2244866514940267/187072209578355573530071658587684226515959365500928 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t))) (if (<=.f64 (*.f64 x y) #s(literal 3300000000000000225820920463358132966081362395136 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))))))
(if (<=.f64 (*.f64 a b) #s(literal -880000000000000001685794075446508487870040511993368969814467092847453805299510105245887807695198684708864 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) (if (<=.f64 (*.f64 a b) #s(literal 2445779512244245/21267647932558653966460912964485513216 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y))) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))
Outputs
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
(if (<=.f64 (*.f64 z t) #s(literal -299999999999999999088617516181804470671953197798974385752637440 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))) (if (<=.f64 (*.f64 z t) #s(literal -2374940160662717/45671926166590716193865151022383844364247891968 binary64)) (+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 z t)) (*.f64 a b)) (if (<=.f64 (*.f64 z t) #s(literal 1399999999999999891154225415715423007504935737757814498046030367229121331556894656193354441108767789404913664 binary64)) (+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))))))
(if (<=.f64 (*.f64 z t) #s(literal -819999999999999929724470997836857985376190464 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))) (if (<=.f64 (*.f64 z t) #s(literal 1399999999999999891154225415715423007504935737757814498046030367229121331556894656193354441108767789404913664 binary64)) (+.f64 #s(approx (+ (* x y) (* z t)) (*.f64 x y)) (*.f64 a b)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t)))))
(if (<=.f64 (*.f64 a b) #s(literal -189999999999999990088898512348739718923867266273469688425776149935610521007326530513873914933537073827131716880155590636238466804937760410055654600305146809036523880146662003085374652416 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) (if (<=.f64 (*.f64 a b) #s(literal 6800000000000000287680801023095067500700636373047791337924631324274000172353184208551730195696836164865305370457638468985419989788157523950763872493806701652812513337671680 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) (+.f64 (*.f64 x y) (*.f64 z t))) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))))
(if (<=.f64 (*.f64 x y) #s(literal -549999999999999975003873838340241420593026678583721984 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y))) (if (<=.f64 (*.f64 x y) #s(literal -5606327030934153/1167984798111281975972139931059274579172666497855631342228273284582214442805421410945513679697247078343332431250840168271536308408672112127552681297848886832192510636636227827221215793215130566656 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) (if (<=.f64 (*.f64 x y) #s(literal 2244866514940267/187072209578355573530071658587684226515959365500928 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 z t))) (if (<=.f64 (*.f64 x y) #s(literal 3300000000000000225820920463358132966081362395136 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y)))))))
(if (<=.f64 (*.f64 a b) #s(literal -880000000000000001685794075446508487870040511993368969814467092847453805299510105245887807695198684708864 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b))) (if (<=.f64 (*.f64 a b) #s(literal 2445779512244245/21267647932558653966460912964485513216 binary64)) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 x y))) #s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))))
#s(approx (+ (+ (* x y) (* z t)) (* a b)) #s(approx (+ (* x y) (* z t)) (*.f64 a b)))

soundness2.0ms (0.2%)

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

Compiled 482 to 61 computations (87.3% saved)

preprocess39.0ms (2.8%)

Memory
-6.4MiB live, 69.9MiB allocated
Compiler

Compiled 986 to 144 computations (85.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...