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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze1.0ms (0%)

Memory

0.5MiB live, 0.5MiB 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.2s (63.5%)

Memory

-78.8MiB live, 1 639.1MiB allocated

Samples

837.0ms

8 256×

valid

Precisions

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

ival-mult: 453.0ms (80.7% of total)

ival-sub: 46.0ms (8.2% of total)

ival-add: 39.0ms (6.9% of total)

exact: 12.0ms (2.1% of total)

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

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

Bogosity

explain148.0ms (7.9%)

Memory

24.9MiB live, 259.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
21	-	2	(-1.8954888365819026e-148 7.322435432584172e-306 1.5457104208075511e-15 -3.48525831491864e+239 7.85653343769873e-170 -1.5267296384236868e-65)	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
1	-	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))`
1	-	0	-	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
0	-	0	-	`a`
0	-	0	-	`t`
0	-	0	-	`(*.f64 a #s(literal 27 binary64))`
0	-	0	-	`y`
0	-	0	-	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
0	-	0	-	`#s(literal 27 binary64)`
0	-	0	-	`(*.f64 x #s(literal 2 binary64))`
0	-	0	-	`(*.f64 y #s(literal 9 binary64))`
0	-	0	-	`#s(literal 9 binary64)`
0	-	0	-	`z`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`b`
0	-	0	-	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
0	-	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 y #s(literal 9 binary64)) z) t)`	*nu**	2	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	1	0
↳	`(.f64 (.f64 y #s(literal 9 binary64)) z)`	overflow	33
↳	`(*.f64 y #s(literal 9 binary64))`	overflow	1
↳	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`	overflow	49
↳	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`	overflow	49
↳	`(*.f64 a #s(literal 27 binary64))`	overflow	1
↳	`(.f64 (.f64 a #s(literal 27 binary64)) b)`	overflow	23
`*.f64`	`(.f64 (.f64 y #s(literal 9 binary64)) z)`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	12	1
-	1	242

Precision

0.9230769230769231

Recall

0.9230769230769231

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	12	0	1
-	1	0	242

Precision?

0.9230769230769231

Recall?

0.9230769230769231

Freqs

test

number	freq
0	243
1	13

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 (73.7% of total)

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

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

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

exact: 1.0ms (4.1% of total)

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

preprocess14.0ms (0.8%)

Memory

-44.6MiB live, 12.6MiB 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.2MiB live, 0.2MiB 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
▶	95.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))

Compiler

Compiled 17 to 17 computations (0% saved)

simplify1.0ms (0%)

Memory

1.1MiB live, 1.1MiB 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

localize34.0ms (1.8%)

Memory

17.5MiB live, 55.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.19140625	(.f64 (.f64 a #s(literal 27 binary64)) b)
accuracy	0.2539041858302058	(+.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	0.4132050150455328	(.f64 (.f64 y #s(literal 9 binary64)) z)
accuracy	4.777843989312597	(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)

Samples

25.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: 10.0ms (76.9% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series22.0ms (1.2%)

Memory

-5.8MiB live, 31.9MiB 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 y #s(literal 9 binary64)) z)
(.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 (* 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	t	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* x 2) (* (* (* y 9) z) t) (* (* y 9) z) (* (* a 27) b))
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) (* (* y 9) z) (* (* a 27) b))
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) (* (* y 9) z) (* (* a 27) b))
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) (* (* y 9) z) (* (* a 27) b))
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) (* (* y 9) z) (* (* a 27) b))

simplify1.0ms (0%)

Memory

1.0MiB live, 1.0MiB 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 y #s(literal 9 binary64)) z)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(.f64 (.f64 a #s(literal 27 binary64)) b)

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB 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 y #s(literal 9 binary64)) z)
(.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))
(-.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 y #s(literal 9 binary64)) z)
(.f64 (.f64 a #s(literal 27 binary64)) b)

eval1.0ms (0.1%)

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

prune2.0ms (0.1%)

Memory

3.2MiB live, 3.2MiB 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

97.8%

Counts

13 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.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))
▶	62.5%	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
▶	66.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)))
▶	33.9%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))

Compiler

Compiled 90 to 83 computations (7.8% saved)

simplify1.0ms (0%)

Memory

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

Calls

Call 1

Inputs
#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
#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 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
#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.4%)

Memory

-4.7MiB live, 73.9MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 a #s(literal 27 binary64))
accuracy	0.19140625	(.f64 (.f64 a #s(literal 27 binary64)) b)
accuracy	0.2539041858302058	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
accuracy	33.45138698372154	#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 x #s(literal 2 binary64)))
accuracy	0.0078125	(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))
accuracy	0.4132050150455328	(.f64 (.f64 y #s(literal 9 binary64)) z)
accuracy	4.777843989312597	(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
accuracy	19.996263163537705	#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 a #s(literal 27 binary64))
accuracy	0.19140625	(.f64 (.f64 a #s(literal 27 binary64)) b)
accuracy	42.232265258865326	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))

Samples

34.0ms

256×

valid

Compiler

Compiled 276 to 50 computations (81.9% saved)

Precisions

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

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

ival-sub: 3.0ms (22.4% of total)

ival-add: 1.0ms (7.5% 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%)

Memory

-3.7MiB live, 34.5MiB allocated

Counts

10 → 32

Calls

Call 1

Inputs
#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))
#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 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))
(* 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
5.0ms	a	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b) (* a 27) (+ (- (* 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)) (* (* y 9) z))
1.0ms	y	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b) (* a 27) (+ (- (* 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)) (* (* y 9) z))
1.0ms	y	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b) (* a 27) (+ (- (* 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)) (* (* y 9) z))
1.0ms	z	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b) (* a 27) (+ (- (* 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)) (* (* y 9) z))
1.0ms	z	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* a 27) b) (* a 27) (+ (- (* 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)) (* (* y 9) z))

simplify1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Counts

32 → 10

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))
(* 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 a #s(literal 27 binary64)) b))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(.f64 (.f64 a #s(literal 27 binary64)) b)
(* -9 (* t (* y z)))
(*.f64 a #s(literal 27 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 y #s(literal 9 binary64)) z)

rewrite1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

10 → 10

Calls

Call 1

Inputs
#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))
#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 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))
(.f64 (.f64 a #s(literal 27 binary64)) b)
(*.f64 a #s(literal 27 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 y #s(literal 9 binary64)) z)

eval2.0ms (0.1%)

Memory: 5.7MiB live, 5.7MiB allocated
Compiler: Compiled 691 to 48 computations (93.1% saved)

prune4.0ms (0.2%)

Memory

8.7MiB live, 8.6MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	20	3	23
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	20	7	27

Accuracy

97.8%

Counts

27 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.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))
✓	62.5%	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
✓	66.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)))
▶	8.0%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
✓	33.9%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
▶	30.5%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
▶	3.2%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))

Compiler

Compiled 167 to 145 computations (13.2% saved)

simplify1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

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

Outputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.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 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

localize34.0ms (1.8%)

Memory

-11.1MiB live, 66.0MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f64 y #s(literal 9 binary64))
accuracy	0.4132050150455328	(.f64 (.f64 y #s(literal 9 binary64)) z)
accuracy	58.83275512477513	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
accuracy	0.0	(*.f64 x #s(literal 2 binary64))
accuracy	44.50171324782922	#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	19.996263163537705	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))
accuracy	61.90922577727845	#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64)))

Samples

24.0ms

256×

valid

Compiler

Compiled 198 to 47 computations (76.3% saved)

Precisions

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

ival-mult: 10.0ms (76.6% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series15.0ms (0.8%)

Memory

-16.0MiB live, 28.1MiB allocated

Counts

8 → 32

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.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 y #s(literal 9 binary64)) z))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 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 (* t (* y z))) (* 2 x))
(* 9 (* y z))
(* 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	y	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9))
1.0ms	y	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9))
1.0ms	y	@	0	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9))
1.0ms	z	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9))
1.0ms	z	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (- (* x 2) (* (* (* y 9) z) t)) (* a 27) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* x 2) (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* (* y 9) z) (* y 9))

simplify1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Counts

32 → 8

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 z))
(* 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 a #s(literal 27 binary64))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64)))
(* -9 (* t (* y z)))
(*.f64 a #s(literal 27 binary64))
(- (* 2 x) (* 9 (* t (* y z))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
(* x (+ 2 (* -9 (/ (* t (* y z)) x))))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(*.f64 y #s(literal 9 binary64))

rewrite0.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Counts

8 → 8

Calls

Call 1

Inputs
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.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 y #s(literal 9 binary64)) z))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.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 a #s(literal 27 binary64))))
#s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.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 y #s(literal 9 binary64)) z))
(.f64 (.f64 y #s(literal 9 binary64)) z)
(*.f64 y #s(literal 9 binary64))

eval2.0ms (0.1%)

Memory: 4.2MiB live, 4.2MiB allocated
Compiler: Compiled 434 to 37 computations (91.5% saved)

prune4.0ms (0.2%)

Memory

10.8MiB live, 10.8MiB allocated

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	13	1	14
Fresh	0	0	0
Picked	0	3	3
Done	0	4	4
Total	13	8	21

Accuracy

97.8%

Counts

21 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.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))
✓	62.5%	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
✓	66.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)))
✓	8.0%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
✓	33.9%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
▶	3.0%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 y #s(literal 9 binary64)))
✓	30.5%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
✓	3.2%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))

Compiler

Compiled 188 to 165 computations (12.2% saved)

simplify0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

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

Calls

Call 1

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

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

localize28.0ms (1.5%)

Memory

16.5MiB live, 54.7MiB allocated

Localize:

Found 2 expressions of interest:

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

Samples

22.0ms

256×

valid

Compiler

Compiled 50 to 39 computations (22% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series9.0ms (0.5%)

Memory

-22.0MiB live, 16.8MiB allocated

Counts

2 → 21

Calls

Call 1

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

Outputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(* 2 x)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(+ (* 2 x) (* 27 (* a b)))
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(* 9 y)
(* -9 (* t (* y z)))
(* y (- (+ (* 2 (/ x y)) (* 27 (/ (* a b) y))) (* 9 (* t z))))
(* -1 (* y (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) y)) (* -9 (* t z)))))
(* z (- (+ (* 2 (/ x z)) (* 27 (/ (* a b) z))) (* 9 (* t y))))
(* -1 (* z (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) z)) (* -9 (* t y)))))
(* t (- (+ (* 2 (/ x t)) (* 27 (/ (* a b) t))) (* 9 (* y z))))
(* -1 (* t (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) t)) (* -9 (* y z)))))
(- (* 2 x) (* 9 (* t (* 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
2.0ms	y	@	-inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* y 9))
1.0ms	y	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* y 9))
1.0ms	y	@	0	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* y 9))
0.0ms	x	@	0	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* y 9))
0.0ms	x	@	inf	((+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (* y 9))

simplify0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Counts

21 → 2

Calls

Call 1

Inputs
(- (* 27 (* a b)) (* 9 (* t (* y z))))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(* 2 x)
(* x (- (+ 2 (* 27 (/ (* a b) x))) (* 9 (/ (* t (* y z)) x))))
(* -1 (* x (- (* -1 (/ (- (* 27 (* a b)) (* 9 (* t (* y z)))) x)) 2)))
(+ (* 2 x) (* 27 (* a b)))
(+ (* -9 (* t (* y z))) (+ (* 2 x) (* 27 (* a b))))
(* 9 y)
(* -9 (* t (* y z)))
(* y (- (+ (* 2 (/ x y)) (* 27 (/ (* a b) y))) (* 9 (* t z))))
(* -1 (* y (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) y)) (* -9 (* t z)))))
(* z (- (+ (* 2 (/ x z)) (* 27 (/ (* a b) z))) (* 9 (* t y))))
(* -1 (* z (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) z)) (* -9 (* t y)))))
(* t (- (+ (* 2 (/ x t)) (* 27 (/ (* a b) t))) (* 9 (* y z))))
(* -1 (* t (- (* -1 (/ (+ (* 2 x) (* 27 (* a b))) t)) (* -9 (* y z)))))
(- (* 2 x) (* 9 (* t (* 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))))
#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 y #s(literal 9 binary64)))
(- (+ (* 2 x) (* 27 (* a b))) (* 9 (* t (* y z))))
(*.f64 y #s(literal 9 binary64))

rewrite0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Counts

2 → 2

Calls

Call 1

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

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

eval0.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated
Compiler: Compiled 81 to 21 computations (74.1% saved)

prune4.0ms (0.2%)

Memory

9.3MiB live, 9.3MiB allocated

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	3	0	3
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	3	8	11

Accuracy

97.8%

Counts

11 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.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))
✓	62.5%	(+.f64 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
✓	66.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)))
✓	8.0%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 y #s(literal 9 binary64)) z))
✓	33.9%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 (.f64 a #s(literal 27 binary64)) b))
✓	3.0%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 y #s(literal 9 binary64)))
✓	30.5%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (*.f64 x #s(literal 2 binary64)))
✓	3.2%	#s(approx (+ (- (* x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))

Compiler

Compiled 376 to 202 computations (46.3% saved)

regimes49.0ms (2.6%)

Memory

-4.7MiB live, 73.9MiB allocated

Counts

8 → 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 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 y #s(literal 9 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))

Calls

14 calls:

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

Results

Accuracy	Segments	Branch
95.1%	1	`x`
95.1%	1	`y`
95.1%	1	`z`
95.1%	1	`t`
95.1%	1	`a`
95.1%	1	`b`
95.1%	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))`
95.1%	1	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
95.1%	1	`(*.f64 x #s(literal 2 binary64))`
95.1%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
95.1%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
95.1%	1	`(*.f64 y #s(literal 9 binary64))`
95.1%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
95.1%	1	`(*.f64 a #s(literal 27 binary64))`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes44.0ms (2.4%)

Memory

-4.2MiB live, 72.1MiB 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 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 y #s(literal 9 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:

5.0ms	(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)
5.0ms	y
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
72.3%	3	`x`
77.5%	3	`y`
77.3%	3	`z`
78.2%	3	`t`
79.9%	3	`a`
79.3%	3	`b`
73.1%	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))`
81.1%	3	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
72.3%	3	`(*.f64 x #s(literal 2 binary64))`
85.6%	3	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
82.2%	3	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
77.5%	3	`(*.f64 y #s(literal 9 binary64))`
82.4%	3	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
79.9%	3	`(*.f64 a #s(literal 27 binary64))`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes42.0ms (2.2%)

Memory

2.8MiB live, 90.3MiB allocated

Counts

6 → 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 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 y #s(literal 9 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))

Calls

14 calls:

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

Results

Accuracy	Segments	Branch
62.5%	1	`x`
62.5%	1	`(*.f64 x #s(literal 2 binary64))`
62.5%	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))`
62.5%	1	`z`
62.5%	1	`y`
62.5%	1	`(*.f64 y #s(literal 9 binary64))`
62.5%	1	`t`
62.5%	1	`b`
62.5%	1	`a`
62.5%	1	`(*.f64 a #s(literal 27 binary64))`
62.5%	1	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
62.5%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
62.5%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
62.5%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes34.0ms (1.8%)

Memory

-13.7MiB live, 63.8MiB 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 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 y #s(literal 9 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 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 x #s(literal 2 binary64)))

Calls

14 calls:

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

Results

Accuracy	Segments	Branch
41.4%	5	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
46.1%	3	`a`
38.7%	3	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
46.1%	3	`(*.f64 a #s(literal 27 binary64))`
50.7%	3	`x`
36.0%	2	`y`
50.7%	3	`(*.f64 x #s(literal 2 binary64))`
36.0%	2	`(*.f64 y #s(literal 9 binary64))`
37.7%	3	`z`
45.5%	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))`
49.8%	5	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
50.4%	3	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
37.2%	3	`t`
48.5%	3	`b`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes26.0ms (1.4%)

Memory

10.6MiB live, 49.3MiB 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 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 y #s(literal 9 binary64)))

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

Calls

14 calls:

2.0ms	z
2.0ms	(*.f64 x #s(literal 2 binary64))
2.0ms	(*.f64 a #s(literal 27 binary64))
2.0ms	(*.f64 y #s(literal 9 binary64))
2.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))

Results

Accuracy	Segments	Branch
30.5%	1	`t`
30.5%	1	`y`
30.5%	1	`(*.f64 y #s(literal 9 binary64))`
30.5%	1	`z`
30.5%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
30.5%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
30.5%	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.5%	1	`a`
30.5%	1	`(*.f64 a #s(literal 27 binary64))`
30.5%	1	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
30.5%	1	`b`
30.5%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`
30.5%	1	`x`
30.5%	1	`(*.f64 x #s(literal 2 binary64))`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

regimes18.0ms (1%)

Memory

-0.2MiB live, 40.6MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

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 a #s(literal 27 binary64))))

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

Calls

14 calls:

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))
1.0ms	(*.f64 a #s(literal 27 binary64))
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 x #s(literal 2 binary64))

Results

Accuracy	Segments	Branch
3.2%	1	`t`
3.2%	1	`z`
3.2%	1	`a`
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	`(-.f64 (.f64 x #s(literal 2 binary64)) (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t))`
3.2%	1	`(.f64 (.f64 (*.f64 y #s(literal 9 binary64)) z) t)`
3.2%	1	`(.f64 (.f64 y #s(literal 9 binary64)) z)`
3.2%	1	`(*.f64 a #s(literal 27 binary64))`
3.2%	1	`x`
3.2%	1	`b`
3.2%	1	`(*.f64 x #s(literal 2 binary64))`
3.2%	1	`y`
3.2%	1	`(*.f64 y #s(literal 9 binary64))`
3.2%	1	`(.f64 (.f64 a #s(literal 27 binary64)) b)`

Compiler

Compiled 60 to 118 computations (-96.7% saved)

bsearch1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	3.334345585715506e-42	1.8242014952179105e-35
0.0ms	-1.2254872145486185e+201	-8.606990523432187e+195

Compiler

Compiled 20 to 26 computations (-30% saved)

bsearch24.0ms (1.3%)

Memory

-5.6MiB live, 32.9MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	1.9433032772163175e-25	2.9144027263849074e-22
7.0ms	-3.0163652514530503e+44	-1.6198285401489013e+44

Samples

14.0ms

192×

valid

Compiler

Compiled 524 to 518 computations (1.1% saved)

Precisions

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

ival-mult: 6.0ms (76.5% of total)

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

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

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

exact: 0.0ms (0% of total)

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

simplify5.0ms (0.3%)

Memory

11.6MiB live, 11.6MiB 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))
(if (<=.f64 (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t) #s(literal -1000000000000000037718785293056550291741793714171007924670336578563554653884390444993619046236149589293075414109087389699655531583234914810756005630018925423128793192791080866922220799992003324610084864 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))) (if (<=.f64 (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t) #s(literal 7846377169233351/1569275433846670190958947355801916604025588861116008628224 binary64)) (+.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 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal -200000000000000017642722810612845281403731968 binary64)) #s(approx (+ (- ( x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 x #s(literal 2 binary64))) (if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 584860318145363/2658455991569831745807614120560689152 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 x #s(literal 2 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)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))

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))
(if (<=.f64 (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t) #s(literal -1000000000000000037718785293056550291741793714171007924670336578563554653884390444993619046236149589293075414109087389699655531583234914810756005630018925423128793192791080866922220799992003324610084864 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))) (if (<=.f64 (.f64 (.f64 (.f64 y #s(literal 9 binary64)) z) t) #s(literal 7846377169233351/1569275433846670190958947355801916604025588861116008628224 binary64)) (+.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 #s(approx (- (* x 2) (* (* (* y 9) z) t)) (.f64 x #s(literal 2 binary64))) (.f64 (*.f64 a #s(literal 27 binary64)) b))
(if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal -200000000000000017642722810612845281403731968 binary64)) #s(approx (+ (- ( x 2) (* (* (* y 9) z) t)) (* (* a 27) b)) (.f64 x #s(literal 2 binary64))) (if (<=.f64 (.f64 x #s(literal 2 binary64)) #s(literal 584860318145363/2658455991569831745807614120560689152 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 x #s(literal 2 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)) #s(approx (- (* x 2) (* (* (* y 9) z) t)) (*.f64 a #s(literal 27 binary64))))

soundness2.0ms (0.1%)

Memory

2.4MiB live, 2.4MiB allocated

Stop Event

1×

done

Compiler

Compiled 268 to 47 computations (82.5% saved)

preprocess46.0ms (2.4%)

Memory: 1.3MiB live, 77.8MiB allocated
Compiler: Compiled 646 to 182 computations (71.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0%)

sample1.2s (63.5%)

explain148.0ms (7.9%)

preprocess14.0ms (0.8%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify1.0ms (0%)

localize34.0ms (1.8%)

series22.0ms (1.2%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

localize45.0ms (2.4%)

series19.0ms (1%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune4.0ms (0.2%)

simplify1.0ms (0%)

localize34.0ms (1.8%)

series15.0ms (0.8%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval2.0ms (0.1%)

prune4.0ms (0.2%)

simplify0.0ms (0%)

localize28.0ms (1.5%)

series9.0ms (0.5%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval0.0ms (0%)

prune4.0ms (0.2%)

regimes49.0ms (2.6%)

regimes44.0ms (2.4%)

regimes42.0ms (2.2%)

regimes34.0ms (1.8%)

regimes26.0ms (1.4%)

regimes18.0ms (1%)

bsearch1.0ms (0%)

bsearch24.0ms (1.3%)

simplify5.0ms (0.3%)

soundness2.0ms (0.1%)

preprocess46.0ms (2.4%)

end0.0ms (0%)

Profiling