Metrics for sqrt D (should all be same)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

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

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample535.0ms (48.2%)

Memory

13.9MiB live, 677.2MiB allocated; 40ms collecting garbage

Samples

345.0ms

8 256×

valid

Precisions

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

ival-pow2: 96.0ms (47.5% of total)

ival-mult: 48.0ms (23.7% of total)

ival-sqrt: 48.0ms (23.7% of total)

exact: 6.0ms (3% of total)

adjust: 2.0ms (1% of total)

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

Bogosity

explain71.0ms (6.4%)

Memory

-22.3MiB live, 83.0MiB allocated; 21ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
130	-	4	(-8.612281311137199e-160)	`(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))`
0	-	0	-	`(pow.f64 x #s(literal 2 binary64))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))`
0	-	0	-	`x`

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	126	4
-	0	126

Precision

1.0

Recall

0.9692307692307692

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	126	0	4
-	0	0	126

Precision?

1.0

Recall?

0.9692307692307692

Freqs

test

number	freq
0	130
1	126

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: 13.0ms

ival-pow2: 6.0ms (47.7% of total)

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

ival-sqrt: 3.0ms (23.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)

preprocess227.0ms (20.5%)

Memory

42.8MiB live, 281.4MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	18	19
2	55	19
3	167	19
4	408	19
5	1304	19
6	5101	19
0	5	6
0	8	6
1	13	6
2	34	6
3	106	6
4	358	6
5	1096	6
6	4530	6
0	8083	3

Stop Event

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

Calls

Call 1

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

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

Symmetry

(abs x)

Compiler

Compiled 6 to 5 computations (16.7% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 6 to 5 computations (16.7% saved)

series5.0ms (0.4%)

Memory

-36.5MiB live, 11.2MiB allocated; 1ms collecting garbage

Counts

5 → 5

Calls

Call 1

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

Outputs
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* 2 (pow x 2)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (pow x 2) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* -1 (* x (sqrt 2)))))

Calls

3 calls:

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

rewrite33.0ms (3%)

Memory

23.1MiB live, 70.5MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	61
0	21	60
1	42	54
0	138	49

Stop Event

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

Counts

10 → 46

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 2 binary64)
(pow.f64 x #s(literal 2 binary64))
x
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (* 2 (pow x 2)) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (pow x 2) #s(hole binary64 (pow x 2)))
#s(approx x #s(hole binary64 x))
#s(approx (sqrt (* 2 (pow x 2))) #s(hole binary64 (* -1 (* x (sqrt 2)))))

Outputs
(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(hypot.f64 (neg.f64 x) (neg.f64 x))
(hypot.f64 (neg.f64 x) (exp.f64 (log.f64 x)))
(hypot.f64 (neg.f64 x) x)
(hypot.f64 (exp.f64 (log.f64 x)) (neg.f64 x))
(hypot.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)))
(hypot.f64 (exp.f64 (log.f64 x)) x)
(hypot.f64 x (neg.f64 x))
(hypot.f64 x (exp.f64 (log.f64 x)))
(hypot.f64 x x)
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 x x) #s(literal 2 binary64))) #s(literal 1/2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) x) x)
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 x (.f64 x #s(literal 2 binary64)))
(*.f64 x (+.f64 x x))
(.f64 #s(literal 2 binary64) (.f64 x x))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) (-.f64 (.f64 x x) (.f64 x x)))
(/.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)))))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 x x))
(fma.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)) (*.f64 x x))
(fma.f64 #s(literal 1 binary64) (.f64 x x) (.f64 #s(literal 1 binary64) (*.f64 x x)))
(fma.f64 (.f64 x x) #s(literal 1 binary64) (.f64 (*.f64 x x) #s(literal 1 binary64)))
(fma.f64 x x (*.f64 x x))
(-.f64 (.f64 x x) (.f64 (neg.f64 x) x))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 #s(literal 1 binary64) (.f64 x x)))
(+.f64 (.f64 (.f64 x x) #s(literal 1 binary64)) (.f64 (.f64 x x) #s(literal 1 binary64)))
(+.f64 (.f64 x x) (.f64 x x))
#s(literal 2 binary64)
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 (exp.f64 (log.f64 x)) (exp.f64 (log.f64 x)))
(*.f64 x x)
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 x) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 x) #s(literal 2 binary64))))
x
#s(approx (sqrt (* 2 (pow x 2))) (hypot.f64 x x))
#s(approx (* 2 (pow x 2)) (.f64 (.f64 x x) #s(literal 2 binary64)))
#s(approx (pow x 2) (*.f64 x x))
#s(approx x x)
#s(approx (sqrt (* 2 (pow x 2))) (neg.f64 (hypot.f64 x x)))

eval5.0ms (0.4%)

Memory: 11.5MiB live, 11.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 406 to 112 computations (72.4% saved)

prune10.0ms (0.9%)

Memory

-32.6MiB live, 18.2MiB allocated; 1ms collecting garbage

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	3	48

Accuracy

100.0%

Counts

48 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 (neg.f64 x) (neg.f64 x))
▶	53.2%	(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
▶	99.3%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)

Status

Accuracy

Program

▶

100.0%

(hypot.f64 (neg.f64 x) (neg.f64 x))

▶

53.2%

(*.f64 (pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))

▶

99.3%

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

Compiler

Compiled 24 to 14 computations (41.7% saved)

series44.0ms (4%)

Memory

-6.3MiB live, 87.1MiB allocated; 5ms collecting garbage

Counts

11 → 11

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
#s(literal 1/4 binary64)
(hypot.f64 (neg.f64 x) (neg.f64 x))
(neg.f64 x)

Outputs
#s(approx (* (sqrt 2) x) #s(hole binary64 (* x (sqrt 2))))
#s(approx x #s(hole binary64 x))
#s(approx (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) #s(hole binary64 (* x (sqrt 2))))
#s(approx (pow (* (* x x) 2) 1/4) #s(hole binary64 (* (pow 2 1/4) (sqrt x))))
#s(approx (* (* x x) 2) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (neg x) #s(hole binary64 (* -1 x)))
#s(approx (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (pow (* (* x x) 2) 1/4) #s(hole binary64 (* -1 (* (pow 2 1/4) (* (sqrt x) (sqrt -1))))))
#s(approx (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) #s(hole binary64 (* -1 (* x (sqrt 2)))))

Calls

3 calls:

Time	Variable		Point	Expression
27.0ms	x	@	0	((* (sqrt 2) x) (sqrt 2) 2 x (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (pow (* (* x x) 2) 1/4) (* (* x x) 2) (* x x) 1/4 (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) (neg x))
9.0ms	x	@	-inf	((* (sqrt 2) x) (sqrt 2) 2 x (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (pow (* (* x x) 2) 1/4) (* (* x x) 2) (* x x) 1/4 (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) (neg x))
7.0ms	x	@	inf	((* (sqrt 2) x) (sqrt 2) 2 x (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (pow (* (* x x) 2) 1/4) (* (* x x) 2) (* x x) 1/4 (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) (neg x))

Time

Variable

Point

Expression

27.0ms

((* (sqrt 2) x) (sqrt 2) 2 x (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (pow (* (* x x) 2) 1/4) (* (* x x) 2) (* x x) 1/4 (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) (neg x))

9.0ms

-inf

((* (sqrt 2) x) (sqrt 2) 2 x (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (pow (* (* x x) 2) 1/4) (* (* x x) 2) (* x x) 1/4 (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) (neg x))

7.0ms

inf

((* (sqrt 2) x) (sqrt 2) 2 x (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (pow (* (* x x) 2) 1/4) (* (* x x) 2) (* x x) 1/4 (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) (neg x))

rewrite25.0ms (2.2%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	179
0	55	143
0	140	131

Stop Event

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

Counts

22 → 137

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(.f64 (.f64 x x) #s(literal 2 binary64))
(*.f64 x x)
#s(literal 1/4 binary64)
(hypot.f64 (neg.f64 x) (neg.f64 x))
(neg.f64 x)
#s(approx (* (sqrt 2) x) #s(hole binary64 (* x (sqrt 2))))
#s(approx x #s(hole binary64 x))
#s(approx (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) #s(hole binary64 (* x (sqrt 2))))
#s(approx (pow (* (* x x) 2) 1/4) #s(hole binary64 (* (pow 2 1/4) (sqrt x))))
#s(approx (* (* x x) 2) #s(hole binary64 (* 2 (pow x 2))))
#s(approx (* x x) #s(hole binary64 (pow x 2)))
#s(approx (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) #s(hole binary64 (* x (sqrt 2))))
#s(approx (neg x) #s(hole binary64 (* -1 x)))
#s(approx (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) #s(hole binary64 (* -1 (* x (sqrt 2)))))
#s(approx (pow (* (* x x) 2) 1/4) #s(hole binary64 (* -1 (* (pow 2 1/4) (* (sqrt x) (sqrt -1))))))
#s(approx (sqrt (+ (* (neg x) (neg x)) (* (neg x) (neg x)))) #s(hole binary64 (* -1 (* x (sqrt 2)))))

Outputs
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(pow.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)
x
(.f64 (neg.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))) (neg.f64 (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))))
(.f64 (fabs.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))) (fabs.f64 (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))))
(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(pow.f64 (.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) (.f64 (*.f64 x x) #s(literal 2 binary64))) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (neg.f64 (neg.f64 x)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (fabs.f64 (neg.f64 x)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (fabs.f64 x))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (neg.f64 x))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) x)
(hypot.f64 (neg.f64 (neg.f64 x)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (fabs.f64 x))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 x))
(hypot.f64 (neg.f64 (neg.f64 x)) x)
(hypot.f64 (fabs.f64 (neg.f64 x)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 x))
(hypot.f64 (fabs.f64 (neg.f64 x)) (neg.f64 x))
(hypot.f64 (fabs.f64 (neg.f64 x)) x)
(hypot.f64 (fabs.f64 x) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 x) (neg.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 x) (fabs.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) (neg.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 (neg.f64 x) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (neg.f64 x) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 x) (fabs.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 x) (fabs.f64 x))
(hypot.f64 (neg.f64 x) (neg.f64 x))
(hypot.f64 (neg.f64 x) x)
(hypot.f64 x (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 x (neg.f64 (neg.f64 x)))
(hypot.f64 x (fabs.f64 (neg.f64 x)))
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x (neg.f64 x))
(hypot.f64 x x)
(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/8 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/8 binary64)))
(.f64 (pow.f64 (.f64 x x) #s(literal 1/4 binary64)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))
(pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 x x) #s(literal 2 binary64))) #s(literal 1/4 binary64)))
(*.f64 (neg.f64 x) (fma.f64 #s(literal -1 binary64) x (neg.f64 x)))
(.f64 (.f64 x x) #s(literal 2 binary64))
(.f64 x (.f64 x #s(literal 2 binary64)))
(.f64 #s(literal 2 binary64) (.f64 x x))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x x) (.f64 x x))) (-.f64 (.f64 x x) (.f64 x x)))
(/.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)))))
(fma.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)) (*.f64 x x))
(fma.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)) (*.f64 x x))
(fma.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x)) (*.f64 x x))
(fma.f64 (fabs.f64 x) (fabs.f64 x) (*.f64 x x))
(fma.f64 (neg.f64 x) (neg.f64 x) (*.f64 x x))
(fma.f64 x x (*.f64 x x))
(-.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 x x))
(*.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(*.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x)))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 x x)
(pow.f64 (neg.f64 x) #s(literal 2 binary64))
(pow.f64 x #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 x) x))
(neg.f64 (*.f64 x (neg.f64 x)))
(exp.f64 (*.f64 (log.f64 x) #s(literal 2 binary64)))
#s(literal 1/4 binary64)
(.f64 (neg.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))) (neg.f64 (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))))
(.f64 (fabs.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))) (fabs.f64 (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64))))
(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(pow.f64 (.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) (.f64 (*.f64 x x) #s(literal 2 binary64))) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (.f64 (.f64 x x) #s(literal 2 binary64)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (neg.f64 (neg.f64 x)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (fabs.f64 (neg.f64 x)))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (fabs.f64 x))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) (neg.f64 x))
(hypot.f64 (pow.f64 x #s(literal 1 binary64)) x)
(hypot.f64 (neg.f64 (neg.f64 x)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 (neg.f64 x)) (fabs.f64 x))
(hypot.f64 (neg.f64 (neg.f64 x)) (neg.f64 x))
(hypot.f64 (neg.f64 (neg.f64 x)) x)
(hypot.f64 (fabs.f64 (neg.f64 x)) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 (neg.f64 x)) (neg.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 x))
(hypot.f64 (fabs.f64 (neg.f64 x)) (neg.f64 x))
(hypot.f64 (fabs.f64 (neg.f64 x)) x)
(hypot.f64 (fabs.f64 x) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (fabs.f64 x) (neg.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 x) (fabs.f64 (neg.f64 x)))
(hypot.f64 (fabs.f64 x) (fabs.f64 x))
(hypot.f64 (fabs.f64 x) (neg.f64 x))
(hypot.f64 (fabs.f64 x) x)
(hypot.f64 (neg.f64 x) (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 (neg.f64 x) (neg.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 x) (fabs.f64 (neg.f64 x)))
(hypot.f64 (neg.f64 x) (fabs.f64 x))
(hypot.f64 (neg.f64 x) (neg.f64 x))
(hypot.f64 (neg.f64 x) x)
(hypot.f64 x (pow.f64 x #s(literal 1 binary64)))
(hypot.f64 x (neg.f64 (neg.f64 x)))
(hypot.f64 x (fabs.f64 (neg.f64 x)))
(hypot.f64 x (fabs.f64 x))
(hypot.f64 x (neg.f64 x))
(hypot.f64 x x)
(*.f64 #s(literal -1 binary64) x)
(*.f64 x #s(literal -1 binary64))
(neg.f64 x)
#s(approx (* (sqrt 2) x) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx x x)
#s(approx (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx (pow (* (* x x) 2) 1/4) (*.f64 (sqrt.f64 x) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64))))
#s(approx (* (* x x) 2) (.f64 (.f64 x x) #s(literal 2 binary64)))
#s(approx (* x x) (*.f64 x x))
#s(approx (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx (neg x) (neg.f64 x))
#s(approx (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64))))
#s(approx (pow (* (* x x) 2) 1/4) (neg.f64 (*.f64 (sqrt.f64 (neg.f64 x)) (pow.f64 #s(literal 2 binary64) #s(literal 1/4 binary64)))))
#s(approx (* (pow (* (* x x) 2) 1/4) (pow (* (* x x) 2) 1/4)) (*.f64 (neg.f64 x) (sqrt.f64 #s(literal 2 binary64))))

eval16.0ms (1.4%)

Memory: -17.6MiB live, 30.1MiB allocated; 1ms collecting garbage
Compiler: Compiled 1 937 to 257 computations (86.7% saved)

prune68.0ms (6.1%)

Memory

-22.4MiB live, 73.8MiB allocated; 5ms collecting garbage

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	145	3	148

Accuracy

100.0%

Counts

148 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 (neg.f64 x) (neg.f64 x))
✓	53.2%	(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
✓	99.3%	(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)

Status

Accuracy

Program

✓

100.0%

(hypot.f64 (neg.f64 x) (neg.f64 x))

✓

53.2%

(*.f64 (pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))

✓

99.3%

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

Compiler

Compiled 54 to 28 computations (48.1% saved)

regimes7.0ms (0.6%)

Memory

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

Counts

4 → 1

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 (sqrt.f64 #s(literal 2 binary64)) x)
(.f64 (pow.f64 (.f64 (.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))
(hypot.f64 (neg.f64 x) (neg.f64 x))

Outputs
(hypot.f64 (neg.f64 x) (neg.f64 x))

Calls

4 calls:

2.0ms	x
2.0ms	(sqrt.f64 (*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64))))
2.0ms	(*.f64 #s(literal 2 binary64) (pow.f64 x #s(literal 2 binary64)))
2.0ms	(pow.f64 x #s(literal 2 binary64))

Results

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

Compiler

Compiled 15 to 13 computations (13.3% saved)

regimes6.0ms (0.5%)

Memory

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

Counts

3 → 1

Calls

Call 1

Inputs

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

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

(*.f64 (pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)) (pow.f64 (*.f64 (*.f64 x x) #s(literal 2 binary64)) #s(literal 1/4 binary64)))

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 15 to 13 computations (13.3% saved)

regimes4.0ms (0.4%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify34.0ms (3.1%)

Memory

-28.4MiB live, 19.2MiB allocated; 1ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	16	15
2	19	15
3	25	15
4	57	15
5	377	15
6	3474	15

Stop Event

1×	node limit

Calls

Call 1

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

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

derivations2.0ms (0.2%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 15 to 9 computations (40% saved)

preprocess17.0ms (1.5%)

Memory: 22.8MiB live, 22.8MiB allocated; 0ms collecting garbage
Remove: (abs x)
Compiler: Compiled 62 to 40 computations (35.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample535.0ms (48.2%)

explain71.0ms (6.4%)

preprocess227.0ms (20.5%)

eval0.0ms (0%)

prune0.0ms (0%)

series5.0ms (0.4%)

rewrite33.0ms (3%)

eval5.0ms (0.4%)

prune10.0ms (0.9%)

series44.0ms (4%)

rewrite25.0ms (2.2%)

eval16.0ms (1.4%)

prune68.0ms (6.1%)

regimes7.0ms (0.6%)

regimes6.0ms (0.5%)

regimes4.0ms (0.4%)

simplify34.0ms (3.1%)

derivations2.0ms (0.2%)

preprocess17.0ms (1.5%)

end0.0ms (0%)

Profiling