Metrics for sqrt B (should all be same)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

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

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample631.0ms (30.4%)

Memory

12.9MiB live, 710.1MiB allocated; 133ms collecting garbage

Samples

405.0ms

8 256×

valid

Precisions

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

ival-mult: 111.0ms (61.3% of total)

ival-sqrt: 53.0ms (29.3% of total)

ival-true: 6.0ms (3.3% of total)

exact: 5.0ms (2.8% of total)

ival-assert: 3.0ms (1.7% of total)

adjust: 2.0ms (1.1% of total)

Bogosity

explain83.0ms (4%)

Memory

27.3MiB live, 81.6MiB allocated; 14ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
115	-	2	(-1.9574120466125352e-156)	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(.f64 (.f64 #s(literal 2 binary64) x) x)`
0	-	0	-	`(*.f64 #s(literal 2 binary64) x)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`	uflow-rescue	61	0
↳	`(.f64 (.f64 #s(literal 2 binary64) x) x)`	underflow	61
`sqrt.f64`	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`	oflow-rescue	52	0
↳	`(.f64 (.f64 #s(literal 2 binary64) x) x)`	overflow	52

Confusion

	Predicted +	Predicted -
+	113	2
-	0	141

Precision

1.0

Recall

0.9826086956521739

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	113	0	2
-	0	0	141

Precision?

1.0

Recall?

0.9826086956521739

Freqs

test

number	freq
0	143
1	113

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

23.0ms

512×

valid

Compiler

Compiled 42 to 19 computations (54.8% saved)

Precisions

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

ival-mult: 7.0ms (60.5% of total)

ival-sqrt: 3.0ms (25.9% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

preprocess21.0ms (1%)

Memory

-17.5MiB live, 28.1MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	18	13
2	49	13
3	102	13
4	147	13
5	235	13
6	255	13
7	275	13
0	5	6
0	8	6
1	15	6
2	23	6
3	54	6
4	120	6
5	184	6
6	220	6
7	240	6
8	260	6
0	260	3

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Outputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(hypot.f64 x x)

Symmetry

(abs x)

Compiler

Compiled 6 to 5 computations (16.7% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	58.3%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify7.0ms (0.3%)

Memory

8.5MiB live, 8.5MiB allocated; 0ms collecting garbage

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 #s(literal 2 binary64) x)
cost-diff	0	(.f64 (.f64 #s(literal 2 binary64) x) x)
cost-diff	3	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	16
0	8	16
1	15	16
2	23	16
3	54	16
4	120	16
5	184	16
6	220	16
7	240	16
8	260	16
0	260	13

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x

Outputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(hypot.f64 x x)
(.f64 (.f64 #s(literal 2 binary64) x) x)
(.f64 (.f64 x #s(literal 2 binary64)) x)
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
#s(literal 2 binary64)
x

localize16.0ms (0.8%)

Memory

23.0MiB live, 23.0MiB allocated; 0ms collecting garbage

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.0	(.f64 (.f64 #s(literal 2 binary64) x) x)
accuracy	0.0	(*.f64 #s(literal 2 binary64) x)
accuracy	26.685957574320877	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))

Samples

11.0ms

256×

valid

Compiler

Compiled 18 to 7 computations (61.1% saved)

Precisions

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

ival-mult: 3.0ms (55.4% of total)

ival-sqrt: 2.0ms (36.9% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series8.0ms (0.4%)

Memory

-36.3MiB live, 7.5MiB allocated; 5ms collecting garbage

Counts

3 → 4

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) x)

Outputs
(* x (sqrt 2))
(* 2 (pow x 2))
(* 2 x)
(* -1 (* x (sqrt 2)))

Calls

3 calls:

Time	Variable		Point	Expression
6.0ms	x	@	0	((sqrt (* (* 2 x) x)) (* (* 2 x) x) (* 2 x))
1.0ms	x	@	inf	((sqrt (* (* 2 x) x)) (* (* 2 x) x) (* 2 x))
1.0ms	x	@	-inf	((sqrt (* (* 2 x) x)) (* (* 2 x) x) (* 2 x))

simplify8.0ms (0.4%)

Memory

14.4MiB live, 14.4MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	21	17
2	42	17
3	90	17
4	228	17
5	439	17
6	502	17
0	502	17

Stop Event

1×	iter limit
1×	saturated

Counts

4 → 4

Calls

Call 1

Inputs
(* x (sqrt 2))
(* 2 (pow x 2))
(* 2 x)
(* -1 (* x (sqrt 2)))

Outputs
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* 2 (pow x 2))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* -1 (* x (sqrt 2)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))

rewrite44.0ms (2.1%)

Memory

-12.6MiB live, 33.1MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	14
0	8	12
1	20	12
2	57	10
0	280	9

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

3 → 109

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 #s(literal 2 binary64) x)

Outputs
(.f64 (neg.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64))) (neg.f64 (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64))))
(.f64 (fabs.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64))) (fabs.f64 (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64))))
(.f64 (pow.f64 (.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (fabs.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (hypot.f64 x x) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) (hypot.f64 x x))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (fabs.f64 x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 x))
(pow.f64 (exp.f64 (log.f64 (*.f64 x #s(literal 2 binary64)))) #s(literal 1/2 binary64))
(pow.f64 (.f64 (.f64 x #s(literal 2 binary64)) (*.f64 x #s(literal 2 binary64))) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 x #s(literal 2 binary64)) #s(literal 1/2 binary64))
(/.f64 (sqrt.f64 #s(literal 0 binary64)) (sqrt.f64 #s(literal 0 binary64)))
(/.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (sqrt.f64 (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 x))
(hypot.f64 (neg.f64 (neg.f64 x)) (fabs.f64 x))
(hypot.f64 (neg.f64 (neg.f64 x)) x)
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 (fabs.f64 x)) (neg.f64 x))
(hypot.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x))
(hypot.f64 (neg.f64 (fabs.f64 x)) x)
(hypot.f64 (neg.f64 x) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 x) (neg.f64 (fabs.f64 x)))
(hypot.f64 (neg.f64 x) (neg.f64 x))
(hypot.f64 (neg.f64 x) (fabs.f64 x))
(hypot.f64 (neg.f64 x) x)
(hypot.f64 (fabs.f64 x) (neg.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 x) (neg.f64 (fabs.f64 x)))
(hypot.f64 (fabs.f64 x) (neg.f64 x))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 x (neg.f64 (neg.f64 x)))
(hypot.f64 x (neg.f64 (fabs.f64 x)))
(hypot.f64 x (neg.f64 x))
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x x)
(exp.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64))) (sinh.f64 (.f64 (log.f64 (.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64))))
(.f64 (.f64 #s(literal 2 binary64) (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (fabs.f64 x))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) #s(literal 2 binary64)))
(*.f64 (neg.f64 x) (+.f64 (neg.f64 x) (neg.f64 x)))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) #s(literal 2 binary64)))
(*.f64 (fabs.f64 x) (+.f64 (fabs.f64 x) (fabs.f64 x)))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x #s(literal 2 binary64)) x)
(.f64 x (.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 x x))
(*.f64 #s(literal 2 binary64) x)
(/.f64 (*.f64 #s(literal 0 binary64) x) #s(literal 0 binary64))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (.f64 x (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 0 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 x x) (.f64 x x) (-.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x)))))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x #s(literal 0 binary64)))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (*.f64 x x))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (*.f64 x x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 x x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 x x))
(fma.f64 x x (*.f64 x x))
(-.f64 (/.f64 (.f64 x x) #s(literal 0 binary64)) (/.f64 (.f64 x x) #s(literal 0 binary64)))
(-.f64 (.f64 x x) (.f64 x (neg.f64 x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 x) x))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal 0 binary64))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal 0 binary64))))
(+.f64 (.f64 x x) (.f64 x x))
(+.f64 x x)
(.f64 (.f64 #s(literal 2 binary64) (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 #s(literal 2 binary64) (fabs.f64 x)) (fabs.f64 x))
(.f64 (neg.f64 x) (.f64 (neg.f64 x) #s(literal 2 binary64)))
(*.f64 (neg.f64 x) (+.f64 (neg.f64 x) (neg.f64 x)))
(.f64 (fabs.f64 x) (.f64 (fabs.f64 x) #s(literal 2 binary64)))
(*.f64 (fabs.f64 x) (+.f64 (fabs.f64 x) (fabs.f64 x)))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 x #s(literal 2 binary64)) x)
(.f64 x (.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 x x))
(*.f64 #s(literal 2 binary64) x)
(/.f64 (*.f64 #s(literal 0 binary64) x) #s(literal 0 binary64))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (.f64 x (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 x x #s(literal 0 binary64)))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) #s(literal 0 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 x x) (.f64 x x) (-.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x)))))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 x x #s(literal 0 binary64))))
(/.f64 #s(literal 0 binary64) #s(literal 0 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) (fma.f64 x x #s(literal 0 binary64)))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (*.f64 x x))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (*.f64 x x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 x x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 x x))
(fma.f64 x x (*.f64 x x))
(-.f64 (/.f64 (.f64 x x) #s(literal 0 binary64)) (/.f64 (.f64 x x) #s(literal 0 binary64)))
(-.f64 (.f64 x x) (.f64 x (neg.f64 x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 (fabs.f64 x)) (fabs.f64 x)))
(-.f64 (.f64 x x) (.f64 (neg.f64 x) x))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal 0 binary64))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal 0 binary64))))
(+.f64 (.f64 x x) (.f64 x x))
(+.f64 x x)

eval7.0ms (0.4%)

Memory: 10.2MiB live, 10.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 644 to 172 computations (73.3% saved)

prune3.0ms (0.2%)

Memory

5.8MiB live, 5.8MiB allocated; 0ms collecting garbage

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	76	4	80
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	76	5	81

Accuracy

100.0%

Counts

81 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 x x)
▶	28.1%	(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64))))
▶	7.1%	(sqrt.f64 (+.f64 x x))
✓	58.3%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
▶	99.4%	#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Compiler

Compiled 37 to 29 computations (21.6% saved)

simplify412.0ms (19.9%)

Memory

2.4MiB live, 313.4MiB allocated; 112ms collecting garbage

Localize:

Found 10 expressions of interest:

New	Metric	Score
cost-diff	0	(hypot.f64 x x)
cost-diff	1	(fma.f64 x x #s(literal 0 binary64))
cost-diff	2	(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
cost-diff	3	(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64))))
cost-diff	4	(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64)))
cost-diff	0	(+.f64 x x)
cost-diff	0	(sqrt.f64 (+.f64 x x))
cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
cost-diff	0	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
cost-diff	0	#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	79
0	32	82
1	57	74
2	174	68
3	848	56
4	6176	56
0	8326	56

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
x
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64))))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
#s(literal 2 binary64)
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
(fma.f64 x x #s(literal 0 binary64))
#s(literal 0 binary64)
(hypot.f64 x x)
x

Outputs
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(sqrt.f64 (+.f64 x x))
(sqrt.f64 (*.f64 x #s(literal 2 binary64)))
(+.f64 x x)
(*.f64 x #s(literal 2 binary64))
x
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64))))
(hypot.f64 x x)
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64)))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))
#s(literal 2 binary64)
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
(fma.f64 x x #s(literal 0 binary64))
(*.f64 x x)
#s(literal 0 binary64)
(hypot.f64 x x)
x

localize61.0ms (3%)

Memory

-33.0MiB live, 60.0MiB allocated; 5ms collecting garbage

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0.02734375	(hypot.f64 x x)
accuracy	0.00390625	(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
accuracy	0.078125	(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
accuracy	26.685957574320877	(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64))))
accuracy	42.445073750649584	(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64)))
accuracy	0.0	(+.f64 x x)
accuracy	0.0	(sqrt.f64 (+.f64 x x))
accuracy	0.0	(sqrt.f64 #s(literal 2 binary64))
accuracy	0.0	#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
accuracy	0.41015625	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)

Samples

49.0ms

256×

valid

Compiler

Compiled 84 to 21 computations (75% saved)

Precisions

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

ival-mult: 21.0ms (54.2% of total)

ival-sqrt: 6.0ms (15.5% of total)

ival-hypot: 4.0ms (10.3% of total)

ival-pow: 3.0ms (7.7% of total)

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

ival-div: 1.0ms (2.6% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

series8.0ms (0.4%)

Memory

11.5MiB live, 11.5MiB allocated; 0ms collecting garbage

Counts

11 → 9

Calls

Call 1

Inputs
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64)))
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64))))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
(fma.f64 x x #s(literal 0 binary64))
(hypot.f64 x x)
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))

Outputs
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* 2 x)
(* 2 (pow x 2))
(* 2 (pow x 4))
(pow x 2)
(* 2 (pow x 3))
(* -1 (* x (sqrt 2)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))

Calls

3 calls:

Time	Variable		Point	Expression
3.0ms	x	@	-inf	((sqrt (* (* 2 x) x)) (* (sqrt 2) x) (sqrt 2) (sqrt (+ x x)) (+ x x) (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0)) (sqrt (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0))) (* (* 2 (pow x 3)) x) (+ (* x x) 0) (sqrt (+ (* x x) (* x x))) (* 2 (pow x 3)))
2.0ms	x	@	inf	((sqrt (* (* 2 x) x)) (* (sqrt 2) x) (sqrt 2) (sqrt (+ x x)) (+ x x) (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0)) (sqrt (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0))) (* (* 2 (pow x 3)) x) (+ (* x x) 0) (sqrt (+ (* x x) (* x x))) (* 2 (pow x 3)))
2.0ms	x	@	0	((sqrt (* (* 2 x) x)) (* (sqrt 2) x) (sqrt 2) (sqrt (+ x x)) (+ x x) (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0)) (sqrt (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0))) (* (* 2 (pow x 3)) x) (+ (* x x) 0) (sqrt (+ (* x x) (* x x))) (* 2 (pow x 3)))

Time

Variable

Point

Expression

3.0ms

-inf

((sqrt (* (* 2 x) x)) (* (sqrt 2) x) (sqrt 2) (sqrt (+ x x)) (+ x x) (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0)) (sqrt (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0))) (* (* 2 (pow x 3)) x) (+ (* x x) 0) (sqrt (+ (* x x) (* x x))) (* 2 (pow x 3)))

2.0ms

inf

((sqrt (* (* 2 x) x)) (* (sqrt 2) x) (sqrt 2) (sqrt (+ x x)) (+ x x) (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0)) (sqrt (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0))) (* (* 2 (pow x 3)) x) (+ (* x x) 0) (sqrt (+ (* x x) (* x x))) (* 2 (pow x 3)))

2.0ms

((sqrt (* (* 2 x) x)) (* (sqrt 2) x) (sqrt 2) (sqrt (+ x x)) (+ x x) (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0)) (sqrt (/ (* (* 2 (pow x 3)) x) (+ (* x x) 0))) (* (* 2 (pow x 3)) x) (+ (* x x) 0) (sqrt (+ (* x x) (* x x))) (* 2 (pow x 3)))

simplify41.0ms (2%)

Memory

-16.0MiB live, 34.7MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	44
1	50	44
2	112	44
3	238	44
4	513	44
5	906	44
6	980	44
7	986	44
8	990	44
9	993	44
10	998	44
11	1021	44
12	1092	44
13	1178	44
0	1178	44

Stop Event

1×	iter limit
1×	saturated

Counts

9 → 9

Calls

Call 1

Inputs
(* x (sqrt 2))
(* (sqrt x) (sqrt 2))
(* 2 x)
(* 2 (pow x 2))
(* 2 (pow x 4))
(pow x 2)
(* 2 (pow x 3))
(* -1 (* x (sqrt 2)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))

Outputs
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* (sqrt x) (sqrt 2))
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 (pow x 2))
(.f64 (.f64 x x) #s(literal 2 binary64))
(* 2 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))
(pow x 2)
(*.f64 x x)
(* 2 (pow x 3))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))
(* -1 (* x (sqrt 2)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))
(.f64 (neg.f64 (sqrt.f64 #s(literal -2 binary64))) (.f64 (sqrt.f64 #s(literal -1 binary64)) (sqrt.f64 x)))

rewrite42.0ms (2%)

Memory

3.7MiB live, 49.9MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	68
0	32	38
1	106	22
0	824	22

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

11 → 46

Calls

Call 1

Inputs
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64)))
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64))))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
(fma.f64 x x #s(literal 0 binary64))
(hypot.f64 x x)
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))

Outputs
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(literal 0 binary64)
#s(literal 0 binary64)
#s(literal 0 binary64)
#s(literal 0 binary64)
#s(literal 0 binary64)
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 x x)
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 (fabs.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 0 binary64)) (pow.f64 x #s(literal 4 binary64)))
(/.f64 (neg.f64 (pow.f64 x #s(literal 4 binary64))) (*.f64 (neg.f64 x) x))
(/.f64 (neg.f64 (pow.f64 x #s(literal 6 binary64))) (neg.f64 (pow.f64 x #s(literal 4 binary64))))
(/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 x #s(literal 4 binary64)))
(/.f64 (pow.f64 x #s(literal 4 binary64)) (*.f64 x x))
(neg.f64 (*.f64 (neg.f64 x) x))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (/.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) (/.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (neg.f64 (fabs.f64 x)) (neg.f64 (fabs.f64 x)) #s(literal 0 binary64))
(fma.f64 (neg.f64 x) (neg.f64 x) (/.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (neg.f64 x) (neg.f64 x) #s(literal 0 binary64))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (/.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (fabs.f64 x) (fabs.f64 x) #s(literal 0 binary64))
(fma.f64 x x (/.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 x x #s(literal 0 binary64))
(-.f64 (*.f64 x x) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (*.f64 (neg.f64 x) x))
(-.f64 #s(literal 0 binary64) (*.f64 x x))
(fabs.f64 (*.f64 x x))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(+.f64 (*.f64 x x) (/.f64 #s(literal 0 binary64) (pow.f64 x #s(literal 4 binary64))))
(+.f64 (*.f64 x x) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 x x))
#s(literal 0 binary64)
#s(literal 0 binary64)

eval4.0ms (0.2%)

Memory: 7.8MiB live, 7.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 707 to 182 computations (74.3% saved)

prune3.0ms (0.1%)

Memory

6.4MiB live, 6.4MiB allocated; 0ms collecting garbage

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	0	0	0
Picked	1	3	4
Done	0	1	1
Total	46	7	53

Accuracy

100.0%

Counts

53 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	28.1%	(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x)))
✓	7.1%	(sqrt.f64 (+.f64 x x))
✓	58.3%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
✓	99.4%	#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
▶	99.1%	#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
▶	3.9%	#s(literal 0 binary64)

Compiler

Compiled 51 to 42 computations (17.6% saved)

simplify75.0ms (3.6%)

Memory

-8.5MiB live, 83.0MiB allocated; 8ms collecting garbage

Localize:

Found 8 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
cost-diff	2	(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
cost-diff	3	(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x)))
cost-diff	4	(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x))
cost-diff	0	(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
cost-diff	0	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
cost-diff	0	#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
cost-diff	3	(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	80
0	29	74
1	61	65
2	173	61
3	780	57
4	4843	57
0	8911	51

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
#s(literal 0 binary64)
#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(log.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(literal 1/2 binary64)
x
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x)))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
#s(literal 2 binary64)
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
(*.f64 x x)

Outputs
#s(literal 0 binary64)
#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
(sqrt.f64 #s(literal 2 binary64))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) (log.f64 #s(literal 2 binary64)))
(log.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(literal 1/2 binary64)
x
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x)))
(hypot.f64 x x)
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))
#s(literal 2 binary64)
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
(*.f64 x x)

localize59.0ms (2.9%)

Memory

24.4MiB live, 78.5MiB allocated; 8ms collecting garbage

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.00390625	(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
accuracy	0.078125	(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
accuracy	26.685957574320877	(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x)))
accuracy	42.445073750649584	(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x))
accuracy	0.0	(log.f64 #s(literal 2 binary64))
accuracy	0.0	#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
accuracy	0.41015625	(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
accuracy	1.0	(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))

Samples

37.0ms

256×

valid

Compiler

Compiled 74 to 20 computations (73% saved)

Precisions

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

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

ival-sqrt: 3.0ms (12.8% of total)

ival-pow: 3.0ms (12.8% of total)

ival-exp: 2.0ms (8.5% of total)

ival-log: 2.0ms (8.5% of total)

ival-div: 1.0ms (4.3% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

series6.0ms (0.3%)

Memory

-38.6MiB live, 8.0MiB allocated; 4ms collecting garbage

Counts

9 → 5

Calls

Call 1

Inputs
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x))
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
(log.f64 #s(literal 2 binary64))

Outputs
(* x (sqrt 2))
(* 2 (pow x 2))
(* 2 (pow x 4))
(* 2 (pow x 3))
(* -1 (* x (sqrt 2)))

Calls

3 calls:

Time

Variable

Point

Expression

3.0ms

inf

((exp (* (log 2) 1/2)) (sqrt (* (* 2 x) x)) (* (exp (* (log 2) 1/2)) x) (* (log 2) 1/2) (/ (* (* 2 (pow x 3)) x) (* x x)) (sqrt (/ (* (* 2 (pow x 3)) x) (* x x))) (* (* 2 (pow x 3)) x) (* 2 (pow x 3)) (log 2))

2.0ms

-inf

((exp (* (log 2) 1/2)) (sqrt (* (* 2 x) x)) (* (exp (* (log 2) 1/2)) x) (* (log 2) 1/2) (/ (* (* 2 (pow x 3)) x) (* x x)) (sqrt (/ (* (* 2 (pow x 3)) x) (* x x))) (* (* 2 (pow x 3)) x) (* 2 (pow x 3)) (log 2))

1.0ms

((exp (* (log 2) 1/2)) (sqrt (* (* 2 x) x)) (* (exp (* (log 2) 1/2)) x) (* (log 2) 1/2) (/ (* (* 2 (pow x 3)) x) (* x x)) (sqrt (/ (* (* 2 (pow x 3)) x) (* x x))) (* (* 2 (pow x 3)) x) (* 2 (pow x 3)) (log 2))

simplify17.0ms (0.8%)

Memory

18.0MiB live, 18.0MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	24
1	30	24
2	66	24
3	151	24
4	420	24
5	801	24
6	894	24
7	898	24
8	898	24
0	898	24

Stop Event

1×	iter limit
1×	saturated

Counts

5 → 5

Calls

Call 1

Inputs
(* x (sqrt 2))
(* 2 (pow x 2))
(* 2 (pow x 4))
(* 2 (pow x 3))
(* -1 (* x (sqrt 2)))

Outputs
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* 2 (pow x 2))
(.f64 (.f64 x #s(literal 2 binary64)) x)
(* 2 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))
(* 2 (pow x 3))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))
(* -1 (* x (sqrt 2)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))

rewrite34.0ms (1.7%)

Memory

26.7MiB live, 26.7MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	67
0	28	61
1	79	49
0	342	47

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

9 → 93

Calls

Call 1

Inputs
(exp.f64 (*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64)))
#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
(.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x)
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x))
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x)
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
(log.f64 #s(literal 2 binary64))

Outputs
(*.f64 (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 #s(literal 2 binary64)))
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(/.f64 (-.f64 (.f64 (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))))) (.f64 (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))))) (-.f64 (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))))))
(/.f64 (+.f64 (pow.f64 (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) #s(literal 3 binary64)) (pow.f64 (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) #s(literal 3 binary64))) (fma.f64 (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (-.f64 (.f64 (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))))) (.f64 (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))))))))
(sqrt.f64 #s(literal 2 binary64))
(exp.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))))
(+.f64 (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))))
(+.f64 (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))))
#s(approx (sqrt (* (* 2 x) x)) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(fma.f64 (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) x (*.f64 (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) x))
(fma.f64 x (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) (*.f64 x (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))))))
(+.f64 (.f64 (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) x) (.f64 (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64)))) x))
(+.f64 (.f64 x (cosh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))))) (.f64 x (sinh.f64 (log.f64 (sqrt.f64 #s(literal 2 binary64))))))
(*.f64 #s(literal 1/2 binary64) (log.f64 #s(literal 2 binary64)))
(*.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(log.f64 (sqrt.f64 #s(literal 2 binary64)))
(.f64 (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (neg.f64 x)) (/.f64 x (neg.f64 x)))
(.f64 (/.f64 x (neg.f64 x)) (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (neg.f64 x)))
(.f64 (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (fabs.f64 x)) (/.f64 x (fabs.f64 x)))
(.f64 (/.f64 x (fabs.f64 x)) (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (fabs.f64 x)))
(*.f64 (/.f64 #s(literal 2 binary64) (neg.f64 x)) (/.f64 (pow.f64 x #s(literal 4 binary64)) (neg.f64 x)))
(*.f64 (/.f64 #s(literal 2 binary64) (fabs.f64 x)) (/.f64 (pow.f64 x #s(literal 4 binary64)) (fabs.f64 x)))
(*.f64 (/.f64 #s(literal 2 binary64) x) (/.f64 (pow.f64 x #s(literal 4 binary64)) x))
(.f64 (/.f64 #s(literal 1 binary64) x) (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))
(.f64 #s(literal 1 binary64) (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) x))
(.f64 (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) x) #s(literal 1 binary64))
(.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) x))
(.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) x)))
(.f64 x (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 x x)))
(.f64 #s(literal 2 binary64) (/.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 x x)))
(.f64 #s(literal 2 binary64) (.f64 (pow.f64 x #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) x)))
(/.f64 (/.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64)) (neg.f64 x)) (neg.f64 x))
(/.f64 (/.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64)) (fabs.f64 x)) (fabs.f64 x))
(/.f64 (.f64 (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) x) x) x)
(/.f64 (neg.f64 (.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))) (neg.f64 x))
(/.f64 (neg.f64 (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 4 binary64)))) (.f64 x x))
(/.f64 (.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64)) x)
(/.f64 (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (neg.f64 x) x))
(/.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64)) (.f64 x x))
(neg.f64 (/.f64 (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 x x)))
(neg.f64 (/.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64)) (.f64 (neg.f64 x) x)))
(.f64 (pow.f64 (.f64 (/.f64 #s(literal 2 binary64) x) (/.f64 (pow.f64 x #s(literal 4 binary64)) x)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (/.f64 #s(literal 2 binary64) x) (/.f64 (pow.f64 x #s(literal 4 binary64)) x)) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) x)) #s(literal 1 binary64))
(.f64 (sqrt.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(.f64 (pow.f64 (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) x) #s(literal 1/2 binary64)) (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (/.f64 #s(literal 2 binary64) x) (/.f64 (pow.f64 x #s(literal 4 binary64)) x)) #s(literal 1/2 binary64))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64)))) (neg.f64 (fabs.f64 x)))
(/.f64 (sqrt.f64 (.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64))) (sqrt.f64 x))
(/.f64 (sqrt.f64 (.f64 #s(literal -2 binary64) (pow.f64 x #s(literal 4 binary64)))) (sqrt.f64 (.f64 (neg.f64 x) x)))
(/.f64 (sqrt.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))) (fabs.f64 x))
(sqrt.f64 (*.f64 (/.f64 #s(literal 2 binary64) x) (/.f64 (pow.f64 x #s(literal 4 binary64)) x)))
(exp.f64 (.f64 (log.f64 (.f64 (/.f64 #s(literal 2 binary64) x) (/.f64 (pow.f64 x #s(literal 4 binary64)) x))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))
(.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)) x)
(.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 x #s(literal 2 binary64)))
(.f64 (.f64 x #s(literal 2 binary64)) (pow.f64 x #s(literal 3 binary64)))
(.f64 x (.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64)))
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 4 binary64)))
(fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (*.f64 (pow.f64 x #s(literal 3/2 binary64)) x) (pow.f64 x #s(literal 4 binary64)))
(fma.f64 (.f64 x x) (.f64 x x) (pow.f64 x #s(literal 4 binary64)))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) x (pow.f64 x #s(literal 4 binary64)))
(fma.f64 x (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 4 binary64)))
(+.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64)))
(.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3/2 binary64)))
(.f64 (fma.f64 x x (-.f64 (.f64 x x) (.f64 x x))) (.f64 x #s(literal 2 binary64)))
(.f64 (pow.f64 x #s(literal 3/2 binary64)) (.f64 (pow.f64 x #s(literal 3/2 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 x #s(literal 3/2 binary64)) (+.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64))))
(.f64 (.f64 x x) (*.f64 x #s(literal 2 binary64)))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))
(.f64 (.f64 (*.f64 x #s(literal 2 binary64)) x) x)
(.f64 (.f64 x #s(literal 2 binary64)) (*.f64 x x))
(.f64 x (.f64 (*.f64 x #s(literal 2 binary64)) x))
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64)))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (-.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 3 binary64)) (pow.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 3 binary64))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)) (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))))))
(fma.f64 (*.f64 x (fabs.f64 x)) (fabs.f64 x) (pow.f64 x #s(literal 3 binary64)))
(fma.f64 (neg.f64 (pow.f64 x #s(literal 3/2 binary64))) (neg.f64 (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3 binary64)))
(fma.f64 (fabs.f64 (pow.f64 x #s(literal 3/2 binary64))) (fabs.f64 (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3 binary64)))
(fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal 3 binary64)))
(fma.f64 (*.f64 (neg.f64 x) x) (neg.f64 x) (pow.f64 x #s(literal 3 binary64)))
(fma.f64 (neg.f64 x) (*.f64 (neg.f64 x) x) (pow.f64 x #s(literal 3 binary64)))
(fma.f64 (fabs.f64 x) (*.f64 (fabs.f64 x) x) (pow.f64 x #s(literal 3 binary64)))
(fma.f64 (*.f64 x x) x (pow.f64 x #s(literal 3 binary64)))
(fma.f64 x (*.f64 x x) (pow.f64 x #s(literal 3 binary64)))
(-.f64 (pow.f64 x #s(literal 3 binary64)) (*.f64 (neg.f64 (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3/2 binary64))))
(-.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 (.f64 (neg.f64 x) x) x))
(-.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 (neg.f64 x) (.f64 x x)))
(+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))
(log.f64 #s(literal 2 binary64))

eval87.0ms (4.2%)

Memory: -26.8MiB live, 19.1MiB allocated; 5ms collecting garbage
Compiler: Compiled 1 446 to 354 computations (75.5% saved)

prune4.0ms (0.2%)

Memory

8.7MiB live, 8.7MiB allocated; 0ms collecting garbage

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	0	0	0
Picked	1	2	3
Done	0	4	4
Total	98	7	105

Accuracy

100.0%

Counts

105 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	28.1%	(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
✓	7.1%	(sqrt.f64 (+.f64 x x))
✓	58.3%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
✓	99.4%	#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
✓	99.1%	#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
✓	3.9%	#s(literal 0 binary64)

Compiler

Compiled 53 to 42 computations (20.8% saved)

simplify109.0ms (5.3%)

Memory

-19.0MiB live, 74.7MiB allocated; 15ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	2	(.f64 (.f64 (*.f64 x #s(literal 2 binary64)) x) x)
cost-diff	2	(.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x)
cost-diff	3	(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
cost-diff	4	(/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	56
0	16	48
1	36	44
2	116	36
3	642	34
4	4187	34
5	6356	34
0	8097	31

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
(/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x))
(.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x)
(.f64 (.f64 (*.f64 x #s(literal 2 binary64)) x) x)
(.f64 (.f64 x #s(literal 2 binary64)) x)
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
(*.f64 x x)

Outputs
(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
(hypot.f64 x x)
(/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x)
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))
(.f64 (.f64 (*.f64 x #s(literal 2 binary64)) x) x)
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))
(.f64 (.f64 x #s(literal 2 binary64)) x)
(.f64 (.f64 #s(literal 2 binary64) x) x)
(*.f64 x #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
x
#s(literal 2 binary64)
(*.f64 x x)

localize25.0ms (1.2%)

Memory

27.8MiB live, 27.8MiB allocated; 0ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.078125	(.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x)
accuracy	0.12109375	(.f64 (.f64 (*.f64 x #s(literal 2 binary64)) x) x)
accuracy	26.685957574320877	(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
accuracy	42.445073750649584	(/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x))

Samples

17.0ms

256×

valid

Compiler

Compiled 58 to 11 computations (81% saved)

Precisions

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

ival-mult: 7.0ms (64.4% of total)

ival-sqrt: 2.0ms (18.4% of total)

ival-div: 1.0ms (9.2% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series4.0ms (0.2%)

Memory

4.7MiB live, 4.7MiB allocated; 0ms collecting garbage

Counts

4 → 5

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x))
(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
(.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x)
(.f64 (.f64 (*.f64 x #s(literal 2 binary64)) x) x)

Outputs
(* 2 (pow x 2))
(* x (sqrt 2))
(* 2 (pow x 4))
(* 2 (pow x 3))
(* -1 (* x (sqrt 2)))

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

-inf

((/ (* (* (* (* x 2) x) x) x) (* x x)) (sqrt (/ (* (* (* (* x 2) x) x) x) (* x x))) (* (* (* (* x 2) x) x) x) (* (* (* x 2) x) x))

1.0ms

inf

((/ (* (* (* (* x 2) x) x) x) (* x x)) (sqrt (/ (* (* (* (* x 2) x) x) x) (* x x))) (* (* (* (* x 2) x) x) x) (* (* (* x 2) x) x))

1.0ms

((/ (* (* (* (* x 2) x) x) x) (* x x)) (sqrt (/ (* (* (* (* x 2) x) x) x) (* x x))) (* (* (* (* x 2) x) x) x) (* (* (* x 2) x) x))

simplify23.0ms (1.1%)

Memory

-24.7MiB live, 19.2MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	24
1	30	24
2	66	24
3	151	24
4	420	24
5	801	24
6	883	24
7	885	24
8	885	24
0	885	24

Stop Event

1×	iter limit
1×	saturated

Counts

5 → 5

Calls

Call 1

Inputs
(* 2 (pow x 2))
(* x (sqrt 2))
(* 2 (pow x 4))
(* 2 (pow x 3))
(* -1 (* x (sqrt 2)))

Outputs
(* 2 (pow x 2))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(* x (sqrt 2))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(* 2 (pow x 4))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 2 binary64))
(* 2 (pow x 3))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 2 binary64))
(* -1 (* x (sqrt 2)))
(*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64)))

rewrite25.0ms (1.2%)

Memory

30.1MiB live, 30.1MiB allocated; 0ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	43
0	16	43
1	45	35
0	198	35

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Counts

4 → 53

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x))
(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
(.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x)
(.f64 (.f64 (*.f64 x #s(literal 2 binary64)) x) x)

Outputs
(.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (neg.f64 x)) (/.f64 (.f64 x x) (neg.f64 x)))
(.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (fabs.f64 x)) (/.f64 (.f64 x x) (fabs.f64 x)))
(.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) (/.f64 (.f64 x x) x))
(.f64 (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) (neg.f64 x)) (/.f64 x (neg.f64 x)))
(.f64 (/.f64 x (neg.f64 x)) (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) (neg.f64 x)))
(.f64 (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) (fabs.f64 x)) (/.f64 x (fabs.f64 x)))
(.f64 (/.f64 x (fabs.f64 x)) (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) (fabs.f64 x)))
(.f64 (/.f64 #s(literal 1 binary64) x) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x))
(.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64)))
(.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64)) #s(literal 1 binary64))
(.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) (/.f64 #s(literal 1 binary64) x))
(.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (/.f64 (.f64 x x) (*.f64 x x)))
(.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (.f64 x (/.f64 #s(literal 1 binary64) x)))
(.f64 (.f64 #s(literal 2 binary64) x) (.f64 (.f64 x x) (/.f64 #s(literal 1 binary64) x)))
(.f64 x (/.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) (*.f64 x x)))
(.f64 x (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (/.f64 #s(literal 1 binary64) x)))
(/.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) x) (neg.f64 x)) (neg.f64 x))
(/.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) x) (fabs.f64 x)) (fabs.f64 x))
(/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64)) x) x)
(/.f64 (neg.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64))) (neg.f64 x))
(/.f64 (neg.f64 (.f64 (neg.f64 x) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x))) (*.f64 x x))
(/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64)) x)
(/.f64 (.f64 (neg.f64 x) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x)) (*.f64 (neg.f64 x) x))
(/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) x) (*.f64 x x))
(neg.f64 (/.f64 (.f64 (neg.f64 x) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x)) (*.f64 x x)))
(neg.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) x) (*.f64 (neg.f64 x) x)))
(.f64 (pow.f64 (.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64))) #s(literal 1/4 binary64)) (pow.f64 (.f64 #s(literal 1 binary64) (.f64 (.f64 (*.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64))) #s(literal 1/4 binary64)))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64))) #s(literal 1 binary64))
(.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64)) #s(literal 1/2 binary64)) (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1/2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/2 binary64)))
(pow.f64 (.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64))) #s(literal 1/2 binary64))
(/.f64 (neg.f64 (.f64 (sqrt.f64 (.f64 (*.f64 #s(literal 2 binary64) x) x)) (fabs.f64 x))) (neg.f64 (fabs.f64 x)))
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64))) (sqrt.f64 x))
(/.f64 (sqrt.f64 (.f64 (neg.f64 x) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x))) (sqrt.f64 (*.f64 (neg.f64 x) x)))
(/.f64 (.f64 (sqrt.f64 (.f64 (*.f64 #s(literal 2 binary64) x) x)) (fabs.f64 x)) (fabs.f64 x))
(sqrt.f64 (.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64))))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 1 binary64) (.f64 (.f64 (*.f64 #s(literal 2 binary64) x) x) #s(literal 1 binary64)))) #s(literal 1/2 binary64)))
(.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (fabs.f64 x)) (fabs.f64 x))
(.f64 (.f64 x x) (.f64 (.f64 #s(literal 2 binary64) x) x))
(.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) x)
(.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (.f64 x x))
(.f64 (.f64 #s(literal 2 binary64) x) (.f64 (.f64 x x) x))
(.f64 (.f64 #s(literal 2 binary64) x) (.f64 x (.f64 x x)))
(.f64 x (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x))
(.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (neg.f64 x)) (neg.f64 x))
(.f64 (.f64 (*.f64 #s(literal 2 binary64) x) (fabs.f64 x)) (fabs.f64 x))
(.f64 (.f64 x x) (*.f64 #s(literal 2 binary64) x))
(.f64 (.f64 (*.f64 #s(literal 2 binary64) x) x) x)
(.f64 (.f64 #s(literal 2 binary64) x) (*.f64 x x))
(.f64 #s(literal 2 binary64) (.f64 x (*.f64 x x)))
(.f64 x (.f64 (*.f64 #s(literal 2 binary64) x) x))

eval5.0ms (0.3%)

Memory: 7.6MiB live, 7.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 847 to 199 computations (76.5% saved)

prune12.0ms (0.6%)

Memory

-27.3MiB live, 17.1MiB allocated; 5ms collecting garbage

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	54	4	58
Fresh	0	0	0
Picked	1	0	1
Done	0	6	6
Total	55	10	65

Accuracy

100.0%

Counts

65 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
	58.2%	(/.f64 (.f64 (sqrt.f64 (.f64 (*.f64 #s(literal 2 binary64) x) x)) (fabs.f64 x)) (fabs.f64 x))
	39.9%	(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64))) (sqrt.f64 x))
	39.9%	(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64)) x))
✓	7.1%	(sqrt.f64 (+.f64 x x))
	58.3%	(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (.f64 x (/.f64 #s(literal 1 binary64) x))))
✓	58.3%	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
✓	99.4%	#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
✓	99.1%	#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))
✓	3.9%	#s(literal 0 binary64)

Compiler

Compiled 215 to 122 computations (43.3% saved)

regimes12.0ms (0.6%)

Memory

29.7MiB live, 29.7MiB allocated; 0ms collecting garbage

Counts

13 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
(sqrt.f64 (+.f64 x x))
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(/.f64 (.f64 (sqrt.f64 (.f64 (*.f64 #s(literal 2 binary64) x) x)) (fabs.f64 x)) (fabs.f64 x))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (.f64 x (/.f64 #s(literal 1 binary64) x))))
(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64)) x))
(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64))) (sqrt.f64 x))
(hypot.f64 x x)
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (*.f64 x x)))
(sqrt.f64 (/.f64 (.f64 (.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 3 binary64))) x) (fma.f64 x x #s(literal 0 binary64))))
#s(approx (sqrt (* (* 2 x) x)) (.f64 (exp.f64 (.f64 (log.f64 #s(literal 2 binary64)) #s(literal 1/2 binary64))) x))

Outputs
(hypot.f64 x x)

Calls

3 calls:

4.0ms	x
3.0ms	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
3.0ms	(.f64 (.f64 #s(literal 2 binary64) x) x)

Results

Accuracy	Segments	Branch
100.0%	1	`(.f64 (.f64 #s(literal 2 binary64) x) x)`
100.0%	1	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
100.0%	1	`x`

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes12.0ms (0.6%)

Memory

-25.3MiB live, 19.1MiB allocated; 5ms collecting garbage

Counts

9 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
(sqrt.f64 (+.f64 x x))
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
(/.f64 (.f64 (sqrt.f64 (.f64 (*.f64 #s(literal 2 binary64) x) x)) (fabs.f64 x)) (fabs.f64 x))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) (.f64 x (/.f64 #s(literal 1 binary64) x))))
(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64)) x))
(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 x #s(literal 2 binary64)) x) x) x) (*.f64 x x)))
(/.f64 (sqrt.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) x) x) x) #s(literal 1 binary64))) (sqrt.f64 x))

Outputs
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))

Calls

3 calls:

6.0ms	x
3.0ms	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
3.0ms	(.f64 (.f64 #s(literal 2 binary64) x) x)

Results

Accuracy	Segments	Branch
99.4%	1	`(.f64 (.f64 #s(literal 2 binary64) x) x)`
99.4%	1	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
99.4%	1	`x`

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes4.0ms (0.2%)

Memory

8.8MiB live, 8.8MiB allocated; 0ms collecting garbage

Counts

2 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
(sqrt.f64 (+.f64 x x))

Outputs
(sqrt.f64 (+.f64 x x))

Calls

3 calls:

1.0ms	x
1.0ms	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
1.0ms	(.f64 (.f64 #s(literal 2 binary64) x) x)

Results

Accuracy	Segments	Branch
7.1%	1	`(.f64 (.f64 #s(literal 2 binary64) x) x)`
7.1%	1	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
7.1%	1	`x`

Compiler

Compiled 12 to 10 computations (16.7% saved)

regimes3.0ms (0.2%)

Memory

9.3MiB live, 9.3MiB allocated; 0ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)

Outputs
#s(literal 0 binary64)

Calls

3 calls:

1.0ms	x
1.0ms	(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))
1.0ms	(.f64 (.f64 #s(literal 2 binary64) x) x)

Results

Accuracy	Segments	Branch
3.9%	1	`(.f64 (.f64 #s(literal 2 binary64) x) x)`
3.9%	1	`(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) x) x))`
3.9%	1	`x`

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify47.0ms (2.3%)

Memory

-21.9MiB live, 42.2MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	19	19
2	26	19
3	60	19
4	137	19
5	223	19
6	421	19
7	2074	19
8	3272	19

Stop Event

1×	node limit

Calls

Call 1

Inputs
(hypot.f64 x x)
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (+.f64 x x))
#s(literal 0 binary64)

Outputs
(hypot.f64 x x)
#s(approx (sqrt (* (* 2 x) x)) (*.f64 (sqrt.f64 #s(literal 2 binary64)) x))
(sqrt.f64 (+.f64 x x))
#s(literal 0 binary64)

derivations89.0ms (4.3%)

Memory

6.8MiB live, 97.6MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	68
0	32	38
1	106	22
0	824	22
0	5	14
0	8	12
1	20	12
2	57	10
0	280	9
0	9	17
1	21	17
2	42	17
3	90	17
4	228	17
5	439	17
6	502	17
0	502	17

Stop Event

1×	fuel
1×	iter limit
1×	saturated
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Compiler

Compiled 19 to 13 computations (31.6% saved)

preprocess20.0ms (0.9%)

Memory: -3.7MiB live, 42.9MiB allocated; 3ms collecting garbage
Remove: (abs x)
Compiler: Compiled 56 to 40 computations (28.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Iter	Nodes	Cost
0	7	17
1	18	13
2	49	13
3	102	13
4	147	13
5	235	13
6	255	13
7	275	13
0	5	6
0	8	6
1	15	6
2	23	6
3	54	6
4	120	6
5	184	6
6	220	6
7	240	6
8	260	6
0	260	3

Iter	Nodes	Cost
0	19	68
0	32	38
1	106	22
0	824	22
0	5	14
0	8	12
1	20	12
2	57	10
0	280	9
0	9	17
1	21	17
2	42	17
3	90	17
4	228	17
5	439	17
6	502	17
0	502	17

Iter	Nodes	Cost
0	7	17
1	18	13
2	49	13
3	102	13
4	147	13
5	235	13
6	255	13
7	275	13
0	5	6
0	8	6
1	15	6
2	23	6
3	54	6
4	120	6
5	184	6
6	220	6
7	240	6
8	260	6
0	260	3

Iter	Nodes	Cost
0	19	68
0	32	38
1	106	22
0	824	22
0	5	14
0	8	12
1	20	12
2	57	10
0	280	9
0	9	17
1	21	17
2	42	17
3	90	17
4	228	17
5	439	17
6	502	17
0	502	17

start0.0ms (0%)

analyze0.0ms (0%)

sample631.0ms (30.4%)

explain83.0ms (4%)

preprocess21.0ms (1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify7.0ms (0.3%)

localize16.0ms (0.8%)

series8.0ms (0.4%)

simplify8.0ms (0.4%)

rewrite44.0ms (2.1%)

eval7.0ms (0.4%)

prune3.0ms (0.2%)

simplify412.0ms (19.9%)

localize61.0ms (3%)

series8.0ms (0.4%)

simplify41.0ms (2%)

rewrite42.0ms (2%)

eval4.0ms (0.2%)

prune3.0ms (0.1%)

simplify75.0ms (3.6%)

localize59.0ms (2.9%)

series6.0ms (0.3%)

simplify17.0ms (0.8%)

rewrite34.0ms (1.7%)

eval87.0ms (4.2%)

prune4.0ms (0.2%)

simplify109.0ms (5.3%)

localize25.0ms (1.2%)

series4.0ms (0.2%)

simplify23.0ms (1.1%)

rewrite25.0ms (1.2%)

eval5.0ms (0.3%)

prune12.0ms (0.6%)

regimes12.0ms (0.6%)

regimes12.0ms (0.6%)

regimes4.0ms (0.2%)

regimes3.0ms (0.2%)

simplify47.0ms (2.3%)

derivations89.0ms (4.3%)

preprocess20.0ms (0.9%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	7	17
1	18	13
2	49	13
3	102	13
4	147	13
5	235	13
6	255	13
7	275	13
0	5	6
0	8	6
1	15	6
2	23	6
3	54	6
4	120	6
5	184	6
6	220	6
7	240	6
8	260	6
0	260	3

Iter	Nodes	Cost
0	19	68
0	32	38
1	106	22
0	824	22
0	5	14
0	8	12
1	20	12
2	57	10
0	280	9
0	9	17
1	21	17
2	42	17
3	90	17
4	228	17
5	439	17
6	502	17
0	502	17