Metrics for Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, A

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
100%	99.7%	0%	0.3%	0%	0%	0%	1

Compiler

Compiled 19 to 19 computations (0% saved)

sample1.1s (63.1%)

Memory

34.9MiB live, 1 712.2MiB allocated

Samples

692.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 419.0ms

ival-mult: 323.0ms (77.1% of total)

ival-sub: 38.0ms (9.1% of total)

ival-add: 34.0ms (8.1% of total)

exact: 12.0ms (2.9% of total)

ival-true: 7.0ms (1.7% of total)

ival-assert: 4.0ms (1% of total)

Bogosity

explain155.0ms (9.2%)

Memory

-3.4MiB live, 246.1MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
20	-	-	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
3	-	-	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`
1	-	-	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
1	-	-	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
0	-	-	`a`
0	-	-	`t`
0	-	-	`(*.f64 a #s(literal 27 binary64))`
0	-	-	`y`
0	-	-	`#s(literal 27 binary64)`
0	-	-	`(*.f64 x #s(literal 2 binary64))`
0	-	-	`(*.f64 y #s(literal 9 binary64))`
0	-	-	`#s(literal 9 binary64)`
0	-	-	`z`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`b`
0	-	-	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`*.f64`	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`	*no**	9	0
`+.f64`	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`	nan-rescue	3	0
↳	`(.f64 (.f64 y #s(literal 9 binary64)) z)`	overflow	32
↳	`(*.f64 y #s(literal 9 binary64))`	overflow	1
↳	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`	overflow	43
↳	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`	overflow	43
↳	`(*.f64 a #s(literal 27 binary64))`	overflow	1
↳	`(.f64 (.f64 a #s(literal 27 binary64)) b)`	overflow	33
`*.f64`	`(.f64 (.f64 a #s(literal 27 binary64)) b)`	*no**	1	0
`*.f64`	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`	*nu**	1	0
`*.f64`	`(.f64 (.f64 y #s(literal 9 binary64)) z)`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	14	0
-	1	241

Precision

0.9333333333333333

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	14	0	0
-	1	0	241

Precision?

0.9333333333333333

Recall?

1.0

Freqs

test

number	freq
0	241
1	15

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

50.0ms

512×

valid

Compiler

Compiled 210 to 72 computations (65.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 24.0ms

ival-mult: 18.0ms (74.6% of total)

ival-sub: 2.0ms (8.3% of total)

ival-add: 2.0ms (8.3% of total)

ival-true: 1.0ms (4.1% of total)

exact: 1.0ms (4.1% of total)

ival-assert: 0.0ms (0% of total)

preprocess5.0ms (0.3%)

Memory

10.1MiB live, 10.1MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))

Outputs
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))

Compiler

Compiled 17 to 17 computations (0% saved)

eval0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated
Compiler: Compiled 0 to 6 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	94.5%	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))

Compiler

Compiled 17 to 17 computations (0% saved)

simplify1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
cost-diff	0	(*.f64 x #s(literal 2 binary64))
cost-diff	0	(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
cost-diff	0	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
y
#s(literal 9 binary64)
z
t
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))
a
#s(literal 27 binary64)
b

Outputs
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
y
#s(literal 9 binary64)
z
t
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))
a
#s(literal 27 binary64)
b

localize36.0ms (2.1%)

Memory

-20.8MiB live, 55.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.4223699873361437	(.f64 (.f64 y #s(literal 9 binary64)) z)
accuracy	0.4415985180545915	(.f64 (.f64 a #s(literal 27 binary64)) b)
accuracy	0.7070271216604117	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
accuracy	4.827549131675144	(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)

Samples

27.0ms

256×

valid

Compiler

Compiled 128 to 36 computations (71.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 13.0ms

ival-mult: 9.0ms (68.2% of total)

ival-add: 2.0ms (15.1% of total)

ival-sub: 1.0ms (7.6% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series23.0ms (1.3%)

Memory

-3.6MiB live, 34.1MiB allocated

Counts

6 → 31

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(.f64 (.f64 a #s(literal 27 binary64)) b)
(.f64 (.f64 y #s(literal 9 binary64)) z)

Outputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(* -9 (* t (* y z)))
(- (* 2 x) (* 9 (* t (* y z))))
(* 2 x)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(* -1 (* x (- (* 9 (/ (* t (* y z)) x)) 2)))
(+ (* 2 x) (* 27 (* a b)))
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(+ (* -9 (* t (* y z))) (* 2 x))
(* 9 (* t (* y z)))
(* 9 (* y z))
(* y (- (+ (* 2 (/ x y)) (* 27 (/ (* a b) y))) (* 9 (* t z))))
(* y (- (* 2 (/ x y)) (* 9 (* t z))))
(* -1 (* y (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) y)) (* -9 (* t z)))))
(* -1 (* y (- (* -2 (/ x y)) (* -9 (* t z)))))
(* z (- (+ (* 2 (/ x z)) (* 27 (/ (* a b) z))) (* 9 (* t y))))
(* z (- (* 2 (/ x z)) (* 9 (* t y))))
(* -1 (* z (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) z)) (* -9 (* t y)))))
(* -1 (* z (- (* -2 (/ x z)) (* -9 (* t y)))))
(* t (- (+ (* 2 (/ x t)) (* 27 (/ (* a b) t))) (* 9 (* y z))))
(* t (- (* 2 (/ x t)) (* 9 (* y z))))
(* -1 (* t (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) t)) (* -9 (* y z)))))
(* -1 (* t (- (* -2 (/ x t)) (* -9 (* y z)))))
(* 27 (* a b))
(* a (- (+ (* 2 (/ x a)) (* 27 b)) (* 9 (/ (* t (* y z)) a))))
(* -1 (* a (+ (* -27 b) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) a)))))
(* b (- (+ (* 2 (/ x b)) (* 27 a)) (* 9 (/ (* t (* y z)) b))))
(* -1 (* b (+ (* -27 a) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) b)))))

Calls

18 calls:

Time	Variable		Point	Expression
3.0ms	a	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (* (* a 27) b) (* (* y 9) z))
3.0ms	z	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (* (* a 27) b) (* (* y 9) z))
2.0ms	y	@	0	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (* (* a 27) b) (* (* y 9) z))
1.0ms	y	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (* (* a 27) b) (* (* y 9) z))
1.0ms	x	@	0	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (* (* a 27) b) (* (* y 9) z))

simplify1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Counts

31 → 6

Calls

Call 1

Inputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(* -9 (* t (* y z)))
(- (* 2 x) (* 9 (* t (* y z))))
(* 2 x)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(* -1 (* x (- (* 9 (/ (* t (* y z)) x)) 2)))
(+ (* 2 x) (* 27 (* a b)))
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(+ (* -9 (* t (* y z))) (* 2 x))
(* 9 (* t (* y z)))
(* 9 (* y z))
(* y (- (+ (* 2 (/ x y)) (* 27 (/ (* a b) y))) (* 9 (* t z))))
(* y (- (* 2 (/ x y)) (* 9 (* t z))))
(* -1 (* y (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) y)) (* -9 (* t z)))))
(* -1 (* y (- (* -2 (/ x y)) (* -9 (* t z)))))
(* z (- (+ (* 2 (/ x z)) (* 27 (/ (* a b) z))) (* 9 (* t y))))
(* z (- (* 2 (/ x z)) (* 9 (* t y))))
(* -1 (* z (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) z)) (* -9 (* t y)))))
(* -1 (* z (- (* -2 (/ x z)) (* -9 (* t y)))))
(* t (- (+ (* 2 (/ x t)) (* 27 (/ (* a b) t))) (* 9 (* y z))))
(* t (- (* 2 (/ x t)) (* 9 (* y z))))
(* -1 (* t (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) t)) (* -9 (* y z)))))
(* -1 (* t (- (* -2 (/ x t)) (* -9 (* y z)))))
(* 27 (* a b))
(* a (- (+ (* 2 (/ x a)) (* 27 b)) (* 9 (/ (* t (* y z)) a))))
(* -1 (* a (+ (* -27 b) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) a)))))
(* b (- (+ (* 2 (/ x b)) (* 27 a)) (* 9 (/ (* t (* y z)) b))))
(* -1 (* b (+ (* -27 a) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) b)))))

Outputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(* -9 (* t (* y z)))
(*.f64 x #s(literal 2 binary64))
(- (* 2 x) (* 9 (* t (* y z))))
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(* 2 x)
(.f64 (.f64 a #s(literal 27 binary64)) b)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(.f64 (.f64 y #s(literal 9 binary64)) z)

rewrite0.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

6 → 6

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(.f64 (.f64 a #s(literal 27 binary64)) b)
(.f64 (.f64 y #s(literal 9 binary64)) z)

Outputs
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(.f64 (.f64 a #s(literal 27 binary64)) b)
(.f64 (.f64 y #s(literal 9 binary64)) z)

eval1.0ms (0.1%)

Memory: 2.7MiB live, 2.7MiB allocated
Compiler: Compiled 258 to 38 computations (85.3% saved)

prune2.0ms (0.1%)

Memory

3.9MiB live, 3.9MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	9	3	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	9	4	13

Accuracy

98.0%

Counts

13 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	94.5%	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
▶	65.4%	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
▶	63.4%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
▶	7.8%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))

Compiler

Compiled 90 to 83 computations (7.8% saved)

simplify1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(.f64 (.f64 a #s(literal 27 binary64)) b)
cost-diff	0	(*.f64 x #s(literal 2 binary64))
cost-diff	0	#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
cost-diff	0	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
cost-diff	0	(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
cost-diff	0	(*.f64 x #s(literal 2 binary64))
cost-diff	0	(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
cost-diff	0	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
cost-diff	0	(*.f64 y #s(literal 9 binary64))
cost-diff	0	(.f64 (.f64 y #s(literal 9 binary64)) z)
cost-diff	0	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
y
#s(literal 9 binary64)
z
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
y
#s(literal 9 binary64)
z
t
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))
a
#s(literal 27 binary64)
b

Outputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
y
#s(literal 9 binary64)
z
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
y
#s(literal 9 binary64)
z
t
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))
a
#s(literal 27 binary64)
b

localize45.0ms (2.7%)

Memory

-6.4MiB live, 71.9MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a #s(literal 27 binary64))
accuracy	0.4415985180545915	(.f64 (.f64 a #s(literal 27 binary64)) b)
accuracy	0.7070271216604117	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
accuracy	30.575212175070387	#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
accuracy	0.0	(*.f64 x #s(literal 2 binary64))
accuracy	0.4223699873361437	(.f64 (.f64 y #s(literal 9 binary64)) z)
accuracy	4.827549131675144	(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
accuracy	21.914991233937737	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
accuracy	0.0	(*.f64 y #s(literal 9 binary64))
accuracy	0.4223699873361437	(.f64 (.f64 y #s(literal 9 binary64)) z)
accuracy	58.99657686555595	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))

Samples

30.0ms

256×

valid

Compiler

Compiled 276 to 50 computations (81.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 12.0ms

ival-mult: 9.0ms (75.2% of total)

ival-sub: 1.0ms (8.4% of total)

ival-add: 1.0ms (8.4% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series19.0ms (1.1%)

Memory

-5.7MiB live, 33.1MiB allocated

Counts

11 → 33

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))

Outputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(* -9 (* t (* y z)))
(- (* 2 x) (* 9 (* t (* y z))))
(* 2 x)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(* -1 (* x (- (* 9 (/ (* t (* y z)) x)) 2)))
(+ (* 2 x) (* 27 (* a b)))
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(* 9 (* y z))
(* 9 y)
(+ (* -9 (* t (* y z))) (* 2 x))
(* 9 (* t (* y z)))
(* y (- (+ (* 2 (/ x y)) (* 27 (/ (* a b) y))) (* 9 (* t z))))
(* y (- (* 2 (/ x y)) (* 9 (* t z))))
(* -1 (* y (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) y)) (* -9 (* t z)))))
(* -1 (* y (- (* -2 (/ x y)) (* -9 (* t z)))))
(* z (- (+ (* 2 (/ x z)) (* 27 (/ (* a b) z))) (* 9 (* t y))))
(* z (- (* 2 (/ x z)) (* 9 (* t y))))
(* -1 (* z (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) z)) (* -9 (* t y)))))
(* -1 (* z (- (* -2 (/ x z)) (* -9 (* t y)))))
(* t (- (+ (* 2 (/ x t)) (* 27 (/ (* a b) t))) (* 9 (* y z))))
(* t (- (* 2 (/ x t)) (* 9 (* y z))))
(* -1 (* t (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) t)) (* -9 (* y z)))))
(* -1 (* t (- (* -2 (/ x t)) (* -9 (* y z)))))
(* 27 (* a b))
(* 27 a)
(* a (- (+ (* 2 (/ x a)) (* 27 b)) (* 9 (/ (* t (* y z)) a))))
(* -1 (* a (+ (* -27 b) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) a)))))
(* b (- (+ (* 2 (/ x b)) (* 27 a)) (* 9 (/ (* t (* y z)) b))))
(* -1 (* b (+ (* -27 a) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) b)))))

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	b	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b) (* a 27))
1.0ms	y	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b) (* a 27))
1.0ms	y	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b) (* a 27))
1.0ms	y	@	0	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b) (* a 27))
1.0ms	z	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b) (* a 27))

simplify1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Counts

33 → 11

Calls

Call 1

Inputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(* -9 (* t (* y z)))
(- (* 2 x) (* 9 (* t (* y z))))
(* 2 x)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(* -1 (* x (- (* 9 (/ (* t (* y z)) x)) 2)))
(+ (* 2 x) (* 27 (* a b)))
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(* 9 (* y z))
(* 9 y)
(+ (* -9 (* t (* y z))) (* 2 x))
(* 9 (* t (* y z)))
(* y (- (+ (* 2 (/ x y)) (* 27 (/ (* a b) y))) (* 9 (* t z))))
(* y (- (* 2 (/ x y)) (* 9 (* t z))))
(* -1 (* y (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) y)) (* -9 (* t z)))))
(* -1 (* y (- (* -2 (/ x y)) (* -9 (* t z)))))
(* z (- (+ (* 2 (/ x z)) (* 27 (/ (* a b) z))) (* 9 (* t y))))
(* z (- (* 2 (/ x z)) (* 9 (* t y))))
(* -1 (* z (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) z)) (* -9 (* t y)))))
(* -1 (* z (- (* -2 (/ x z)) (* -9 (* t y)))))
(* t (- (+ (* 2 (/ x t)) (* 27 (/ (* a b) t))) (* 9 (* y z))))
(* t (- (* 2 (/ x t)) (* 9 (* y z))))
(* -1 (* t (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) t)) (* -9 (* y z)))))
(* -1 (* t (- (* -2 (/ x t)) (* -9 (* y z)))))
(* 27 (* a b))
(* 27 a)
(* a (- (+ (* 2 (/ x a)) (* 27 b)) (* 9 (/ (* t (* y z)) a))))
(* -1 (* a (+ (* -27 b) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) a)))))
(* b (- (+ (* 2 (/ x b)) (* 27 a)) (* 9 (/ (* t (* y z)) b))))
(* -1 (* b (+ (* -27 a) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) b)))))

Outputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(* -9 (* t (* y z)))
(*.f64 y #s(literal 9 binary64))
(- (* 2 x) (* 9 (* t (* y z))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
(* 2 x)
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
(* -1 (* x (- (* 9 (/ (* t (* y z)) x)) 2)))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
(+ (* 2 x) (* 27 (* a b)))
(.f64 (.f64 a #s(literal 27 binary64)) b)
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(*.f64 a #s(literal 27 binary64))

rewrite1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Counts

11 → 11

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))

Outputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
(*.f64 x #s(literal 2 binary64))
(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))

eval2.0ms (0.1%)

Memory: 5.1MiB live, 5.1MiB allocated
Compiler: Compiled 741 to 49 computations (93.4% saved)

prune4.0ms (0.2%)

Memory

9.9MiB live, 9.9MiB allocated

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	21	4	25
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	21	8	29

Accuracy

98.0%

Counts

29 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	94.5%	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
✓	65.4%	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
✓	63.4%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
✓	7.8%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
▶	36.4%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
▶	30.7%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
▶	3.3%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
▶	3.2%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))

Compiler

Compiled 188 to 165 computations (12.2% saved)

simplify1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 a #s(literal 27 binary64))
cost-diff	0	(.f64 (.f64 a #s(literal 27 binary64)) b)
cost-diff	0	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
cost-diff	0	(*.f64 x #s(literal 2 binary64))
cost-diff	0	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
cost-diff	0	(*.f64 a #s(literal 27 binary64))
cost-diff	0	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
cost-diff	0	(*.f64 y #s(literal 9 binary64))
cost-diff	0	#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64)))
cost-diff	0	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64)))
(*.f64 y #s(literal 9 binary64))
y
#s(literal 9 binary64)
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
(*.f64 a #s(literal 27 binary64))
a
#s(literal 27 binary64)
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))
a
#s(literal 27 binary64)
b

Outputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64)))
(*.f64 y #s(literal 9 binary64))
y
#s(literal 9 binary64)
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
(*.f64 a #s(literal 27 binary64))
a
#s(literal 27 binary64)
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 binary64))
a
#s(literal 27 binary64)
b

localize37.0ms (2.2%)

Memory

-20.7MiB live, 61.8MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a #s(literal 27 binary64))
accuracy	0.4415985180545915	(.f64 (.f64 a #s(literal 27 binary64)) b)
accuracy	40.62558380933187	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
accuracy	0.0	(*.f64 x #s(literal 2 binary64))
accuracy	44.32450190125634	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
accuracy	0.0	(*.f64 a #s(literal 27 binary64))
accuracy	61.875708736775564	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
accuracy	0.0	(*.f64 y #s(literal 9 binary64))
accuracy	21.914991233937737	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
accuracy	61.72205504682791	#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64)))

Samples

26.0ms

256×

valid

Compiler

Compiled 246 to 48 computations (80.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 12.0ms

ival-mult: 9.0ms (75.3% of total)

ival-sub: 1.0ms (8.4% of total)

ival-add: 1.0ms (8.4% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series12.0ms (0.7%)

Memory

26.4MiB live, 26.4MiB allocated

Counts

9 → 31

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64)))
(*.f64 y #s(literal 9 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
(*.f64 a #s(literal 27 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(.f64 (.f64 a #s(literal 27 binary64)) b)

Outputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(* -9 (* t (* y z)))
(- (* 2 x) (* 9 (* t (* y z))))
(* 2 x)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(* -1 (* x (- (* 9 (/ (* t (* y z)) x)) 2)))
(+ (* 2 x) (* 27 (* a b)))
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(+ (* -9 (* t (* y z))) (* 2 x))
(* 9 y)
(* y (- (+ (* 2 (/ x y)) (* 27 (/ (* a b) y))) (* 9 (* t z))))
(* y (- (* 2 (/ x y)) (* 9 (* t z))))
(* -1 (* y (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) y)) (* -9 (* t z)))))
(* -1 (* y (- (* -2 (/ x y)) (* -9 (* t z)))))
(* z (- (+ (* 2 (/ x z)) (* 27 (/ (* a b) z))) (* 9 (* t y))))
(* z (- (* 2 (/ x z)) (* 9 (* t y))))
(* -1 (* z (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) z)) (* -9 (* t y)))))
(* -1 (* z (- (* -2 (/ x z)) (* -9 (* t y)))))
(* t (- (+ (* 2 (/ x t)) (* 27 (/ (* a b) t))) (* 9 (* y z))))
(* t (- (* 2 (/ x t)) (* 9 (* y z))))
(* -1 (* t (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) t)) (* -9 (* y z)))))
(* -1 (* t (- (* -2 (/ x t)) (* -9 (* y z)))))
(* 27 a)
(* 27 (* a b))
(* a (- (+ (* 2 (/ x a)) (* 27 b)) (* 9 (/ (* t (* y z)) a))))
(* -1 (* a (+ (* -27 b) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) a)))))
(* b (- (+ (* 2 (/ x b)) (* 27 a)) (* 9 (/ (* t (* y z)) b))))
(* -1 (* b (+ (* -27 a) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) b)))))

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	a	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b))
1.0ms	a	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b))
1.0ms	x	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b))
1.0ms	a	@	0	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b))
1.0ms	x	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* y 9) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b))

simplify1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Counts

31 → 9

Calls

Call 1

Inputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(* -9 (* t (* y z)))
(- (* 2 x) (* 9 (* t (* y z))))
(* 2 x)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(* -1 (* x (- (* 9 (/ (* t (* y z)) x)) 2)))
(+ (* 2 x) (* 27 (* a b)))
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(+ (* -9 (* t (* y z))) (* 2 x))
(* 9 y)
(* y (- (+ (* 2 (/ x y)) (* 27 (/ (* a b) y))) (* 9 (* t z))))
(* y (- (* 2 (/ x y)) (* 9 (* t z))))
(* -1 (* y (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) y)) (* -9 (* t z)))))
(* -1 (* y (- (* -2 (/ x y)) (* -9 (* t z)))))
(* z (- (+ (* 2 (/ x z)) (* 27 (/ (* a b) z))) (* 9 (* t y))))
(* z (- (* 2 (/ x z)) (* 9 (* t y))))
(* -1 (* z (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) z)) (* -9 (* t y)))))
(* -1 (* z (- (* -2 (/ x z)) (* -9 (* t y)))))
(* t (- (+ (* 2 (/ x t)) (* 27 (/ (* a b) t))) (* 9 (* y z))))
(* t (- (* 2 (/ x t)) (* 9 (* y z))))
(* -1 (* t (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) t)) (* -9 (* y z)))))
(* -1 (* t (- (* -2 (/ x t)) (* -9 (* y z)))))
(* 27 a)
(* 27 (* a b))
(* a (- (+ (* 2 (/ x a)) (* 27 b)) (* 9 (/ (* t (* y z)) a))))
(* -1 (* a (+ (* -27 b) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) a)))))
(* b (- (+ (* 2 (/ x b)) (* 27 a)) (* 9 (/ (* t (* y z)) b))))
(* -1 (* b (+ (* -27 a) (* -1 (/ (- (* 2 x) (* 9 (* t (* y z)))) b)))))

Outputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64)))
(* -9 (* t (* y z)))
(*.f64 y #s(literal 9 binary64))
(- (* 2 x) (* 9 (* t (* y z))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
(* 2 x)
(*.f64 a #s(literal 27 binary64))
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(*.f64 x #s(literal 2 binary64))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(* -1 (* x (- (* 9 (/ (* t (* y z)) x)) 2)))
(.f64 (.f64 a #s(literal 27 binary64)) b)

rewrite1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Counts

9 → 9

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64)))
(*.f64 y #s(literal 9 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
(*.f64 a #s(literal 27 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(.f64 (.f64 a #s(literal 27 binary64)) b)

Outputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64)))
(*.f64 y #s(literal 9 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
(*.f64 a #s(literal 27 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
(.f64 (.f64 a #s(literal 27 binary64)) b)

eval2.0ms (0.1%)

Memory: 3.9MiB live, 3.9MiB allocated
Compiler: Compiled 527 to 40 computations (92.4% saved)

prune7.0ms (0.4%)

Memory

-24.9MiB live, 13.9MiB allocated

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	4	4
Done	0	4	4
Total	17	8	25

Accuracy

98.0%

Counts

25 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	94.5%	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
✓	65.4%	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
✓	63.4%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
✓	7.8%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
✓	36.4%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
✓	30.7%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
✓	3.3%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
✓	3.2%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))

Compiler

Compiled 376 to 202 computations (46.3% saved)

regimes47.0ms (2.8%)

Memory

13.8MiB live, 91.1MiB allocated

Counts

8 → 2

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))
(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))

Outputs

(+.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)))

Calls

14 calls:

5.0ms	t
4.0ms	(.f64 (.f64 y #s(literal 9 binary64)) z)
3.0ms	(*.f64 x #s(literal 2 binary64))
3.0ms	(*.f64 y #s(literal 9 binary64))
3.0ms	(*.f64 a #s(literal 27 binary64))

Results

Accuracy	Segments	Branch
94.5%	1	`x`
94.5%	1	`y`
94.5%	1	`z`
94.5%	1	`t`
94.5%	1	`a`
94.5%	1	`b`
96.1%	2	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`
94.5%	1	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
94.5%	1	`(*.f64 x #s(literal 2 binary64))`
94.5%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
94.5%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
94.5%	1	`(*.f64 y #s(literal 9 binary64))`
94.5%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
94.5%	1	`(*.f64 a #s(literal 27 binary64))`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes63.0ms (3.7%)

Memory

-35.1MiB live, 66.2MiB allocated

Counts

7 → 3

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)))

Outputs

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)))

(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64))) (*.f64 (*.f64 a #s(literal 27 binary64)) b))

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 y #s(literal 9 binary64)) z) t)))

Calls

14 calls:

23.0ms	(*.f64 x #s(literal 2 binary64))
5.0ms	a
3.0ms	z
3.0ms	y
3.0ms	(*.f64 y #s(literal 9 binary64))

Results

Accuracy	Segments	Branch
82.1%	3	`z`
77.1%	3	`a`
79.0%	3	`b`
88.1%	3	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
81.9%	3	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
77.1%	3	`(*.f64 a #s(literal 27 binary64))`
70.2%	3	`x`
78.7%	5	`y`
80.2%	3	`t`
83.0%	3	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
70.2%	3	`(*.f64 x #s(literal 2 binary64))`
83.9%	3	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
78.7%	5	`(*.f64 y #s(literal 9 binary64))`
71.6%	3	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes39.0ms (2.3%)

Memory

25.8MiB live, 64.2MiB allocated

Counts

6 → 2

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))

Outputs

(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64))) (*.f64 (*.f64 a #s(literal 27 binary64)) b))

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 (*.f64 y #s(literal 9 binary64)) z))

Calls

14 calls:

5.0ms	a
3.0ms	(*.f64 y #s(literal 9 binary64))
3.0ms	y
3.0ms	(*.f64 x #s(literal 2 binary64))
3.0ms	z

Results

Accuracy	Segments	Branch
65.4%	1	`x`
65.4%	1	`(*.f64 x #s(literal 2 binary64))`
65.4%	1	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`
65.4%	1	`y`
65.4%	1	`(*.f64 y #s(literal 9 binary64))`
65.4%	1	`a`
65.4%	1	`(*.f64 a #s(literal 27 binary64))`
65.4%	1	`b`
65.4%	1	`t`
65.4%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
67.0%	2	`z`
65.4%	1	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
65.4%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
65.4%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes35.0ms (2.1%)

Memory

-4.4MiB live, 79.0MiB allocated

Counts

5 → 3

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))

Outputs

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 (*.f64 a #s(literal 27 binary64)) b))

Calls

14 calls:

4.0ms	x
3.0ms	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
2.0ms	(*.f64 x #s(literal 2 binary64))
2.0ms	(*.f64 y #s(literal 9 binary64))
2.0ms	(*.f64 a #s(literal 27 binary64))

Results

Accuracy	Segments	Branch
45.5%	4	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
36.4%	1	`t`
36.4%	1	`y`
43.4%	5	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
36.4%	1	`(*.f64 y #s(literal 9 binary64))`
47.6%	3	`x`
52.3%	3	`a`
51.9%	3	`b`
48.8%	5	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
47.6%	3	`(*.f64 x #s(literal 2 binary64))`
55.9%	3	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
52.3%	3	`(*.f64 a #s(literal 27 binary64))`
44.7%	3	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`
43.8%	4	`z`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes27.0ms (1.6%)

Memory

-19.5MiB live, 58.7MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))

Outputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))

Calls

14 calls:

3.0ms	a
2.0ms	t
2.0ms	(*.f64 y #s(literal 9 binary64))
2.0ms	(*.f64 x #s(literal 2 binary64))
2.0ms	z

Results

Accuracy	Segments	Branch
30.7%	1	`y`
30.7%	1	`(*.f64 y #s(literal 9 binary64))`
30.7%	1	`t`
30.7%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
30.7%	1	`z`
30.7%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
30.7%	1	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`
30.7%	1	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
30.7%	1	`x`
30.7%	1	`(*.f64 x #s(literal 2 binary64))`
30.7%	1	`b`
30.7%	1	`a`
30.7%	1	`(*.f64 a #s(literal 27 binary64))`
30.7%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes22.0ms (1.3%)

Memory

11.9MiB live, 51.0MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))

#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))

Outputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 a #s(literal 27 binary64)))

Calls

14 calls:

2.0ms	a
1.0ms	(*.f64 x #s(literal 2 binary64))
1.0ms	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
1.0ms	(*.f64 y #s(literal 9 binary64))
1.0ms	(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))

Results

Accuracy	Segments	Branch
3.3%	1	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
3.3%	1	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`
3.3%	1	`x`
3.3%	1	`b`
3.3%	1	`(*.f64 x #s(literal 2 binary64))`
3.3%	1	`a`
3.3%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
3.3%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
3.3%	1	`(*.f64 a #s(literal 27 binary64))`
3.3%	1	`z`
3.3%	1	`t`
3.3%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
3.3%	1	`y`
3.3%	1	`(*.f64 y #s(literal 9 binary64))`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes18.0ms (1.1%)

Memory

4.8MiB live, 44.9MiB allocated

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))

Outputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 y #s(literal 9 binary64))))

Calls

14 calls:

2.0ms	a
1.0ms	(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))
1.0ms	(*.f64 y #s(literal 9 binary64))
1.0ms	(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
1.0ms	(*.f64 a #s(literal 27 binary64))

Results

Accuracy	Segments	Branch
3.2%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
3.2%	1	`y`
3.2%	1	`(*.f64 y #s(literal 9 binary64))`
3.2%	1	`z`
3.2%	1	`b`
3.2%	1	`(+.f64 (-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t)) (.f64 (.f64 a #s(literal 27 binary64)) b))`
3.2%	1	`x`
3.2%	1	`a`
3.2%	1	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
3.2%	1	`(*.f64 x #s(literal 2 binary64))`
3.2%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
3.2%	1	`(*.f64 a #s(literal 27 binary64))`
3.2%	1	`t`
3.2%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

bsearch0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 20 to 26 computations (-30% saved)

bsearch1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	2.0660716447208938e+74	4.844623051965937e+81
0.0ms	-265886841.1265474	-3.7714700700547496e-7

Compiler

Compiled 20 to 26 computations (-30% saved)

bsearch7.0ms (0.4%)

Memory

11.9MiB live, 11.9MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
6.0ms	8.276172396735094e+277	1.0920012480826874e+278

Samples

4.0ms

48×

valid

Compiler

Compiled 152 to 155 computations (-2% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.0ms

ival-mult: 2.0ms (91.7% of total)

ival-sub: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

ival-add: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

bsearch1.0ms (0.1%)

Memory

-38.0MiB live, 1.0MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.6861091172541274e-47	2.784401824670124e-45
0.0ms	-2.0802436831185306e+83	-5.763023971577729e+81

Compiler

Compiled 20 to 26 computations (-30% saved)

simplify4.0ms (0.3%)

Memory: 10.6MiB live, 10.6MiB allocated

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0%)

sample1.1s (63.1%)

explain155.0ms (9.2%)

preprocess5.0ms (0.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify1.0ms (0%)

localize36.0ms (2.1%)

series23.0ms (1.3%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

localize45.0ms (2.7%)

series19.0ms (1.1%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune4.0ms (0.2%)

simplify1.0ms (0%)

localize37.0ms (2.2%)

series12.0ms (0.7%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune7.0ms (0.4%)

regimes47.0ms (2.8%)

regimes63.0ms (3.7%)

regimes39.0ms (2.3%)

regimes35.0ms (2.1%)

regimes27.0ms (1.6%)

regimes22.0ms (1.3%)

regimes18.0ms (1.1%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch7.0ms (0.4%)

bsearch1.0ms (0.1%)

simplify4.0ms (0.3%)

end0.0ms (0%)

Profiling