Metrics for sqrt A (should all be same)

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

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 10 to 4 computations (60% saved)

sample464.0ms (20.1%)

Memory

-7.2MiB live, 932.9MiB allocated

Samples

304.0ms

8 256×

valid

Precisions

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

ival-hypot: 147.0ms (94.5% of total)

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

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

Bogosity

preprocess23.0ms (1%)

Memory

-10.9MiB live, 30.7MiB allocated

Algorithm

1×	egg-herbie

Rules

42×	`associate-r`
32×	`distribute-lft-neg-in`
32×	`sub-neg`
24×	`neg-sub0`
22×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	166	13
4	247	13
5	256	13
6	258	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

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

Symmetry

(abs x)

explain83.0ms (3.6%)

Memory

29.6MiB live, 68.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
129	-	4	(7.847351984257393e-156)	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
0	-	0	-	`(+.f64 (.f64 x x) (.f64 x x))`
0	-	0	-	`(*.f64 x x)`
0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	oflow-rescue	83	0
↳	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	overflow	1
↳	`(+.f64 (.f64 x x) (.f64 x x))`	overflow	84
↳	`(*.f64 x x)`	overflow	168
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	uflow-rescue	42	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	underflow	42
↳	`(*.f64 x x)`	underflow	84

Confusion

	Predicted +	Predicted -
+	125	4
-	0	127

Precision

1.0

Recall

0.9689922480620154

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	125	0	4
-	0	0	127

Precision?

1.0

Recall?

0.9689922480620154

Freqs

test

number	freq
0	131
1	125

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

25.0ms

512×

valid

Compiler

Compiled 60 to 20 computations (66.7% saved)

Precisions

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

ival-hypot: 8.0ms (55.7% of total)

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

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

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

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

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	53.6%	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Compiler

Compiled 9 to 4 computations (55.6% saved)

simplify4.0ms (0.2%)

Memory

3.0MiB live, 3.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 x x)
✓	cost-diff	0	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
✓	cost-diff	320	(+.f64 (.f64 x x) (.f64 x x))

Rules

14×	`lower-*.f32`
12×	`lower-*.f64`
4×	`*-commutative`
4×	`count-2`
4×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	19
0	7	15
1	11	15
2	14	15
3	17	15
0	17	12

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(+.f64 (.f64 x x) (.f64 x x))
(*.f64 x x)
x

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

localize20.0ms (0.9%)

Memory

-17.6MiB live, 21.0MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 x x)
✓	accuracy	100.0%	(+.f64 (.f64 x x) (.f64 x x))
✓	accuracy	53.7%	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Samples

14.0ms

256×

valid

Compiler

Compiled 21 to 6 computations (71.4% saved)

Precisions

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

ival-hypot: 6.0ms (70.2% of total)

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

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

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

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

series3.0ms (0.1%)

Memory

5.3MiB live, 5.3MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#<alt (+.f64 (.f64 x x) (.f64 x x))>
#<alt (sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))>
#<alt (*.f64 x x)>

Outputs
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(sqrt (+ (* x x) (* x x)))
1.0ms	x	@	inf	(sqrt (+ (* x x) (* x x)))
1.0ms	x	@	0	(+ (* x x) (* x x))
0.0ms	x	@	inf	(+ (* x x) (* x x))
0.0ms	x	@	-inf	(+ (* x x) (* x x))

rewrite43.0ms (1.8%)

Memory

-25.4MiB live, 64.4MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

66×	`lower-*.f32`
64×	`lower-*.f64`
42×	`lower-fma.f64`
42×	`lower-fma.f32`
34×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	18
0	7	14
1	23	10
0	160	9

Stop Event

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

Counts

3 → 33

Calls

Call 1

Inputs
(+.f64 (.f64 x x) (.f64 x x))
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(*.f64 x x)

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

simplify8.0ms (0.3%)

Memory

12.4MiB live, 12.4MiB allocated

Algorithm

1×	egg-herbie

Rules

38×	`lower-*.f64`
38×	`lower-fma.f64`
38×	`lower-fma.f32`
38×	`lower-*.f32`
36×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

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

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

eval8.0ms (0.3%)

Memory: 20.3MiB live, 20.3MiB allocated
Compiler: Compiled 702 to 94 computations (86.6% saved)

prune7.0ms (0.3%)

Memory

-22.1MiB live, 15.9MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	4	86

Accuracy

100.0%

Counts

86 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 x x)
▶	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
▶	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
▶	53.7%	(sqrt.f64 (*.f64 (+.f64 x x) x))

Compiler

Compiled 24 to 15 computations (37.5% saved)

simplify5.0ms (0.2%)

Memory

8.8MiB live, 8.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	5312	(hypot.f64 x x)
✓	cost-diff	0	(+.f64 x x)
✓	cost-diff	0	(sqrt.f64 (+.f64 x x))
✓	cost-diff	0	(sqrt.f64 x)
✓	cost-diff	0	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
✓	cost-diff	0	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
✓	cost-diff	0	(+.f64 x x)
✓	cost-diff	0	(*.f64 (+.f64 x x) x)
✓	cost-diff	0	(sqrt.f64 (*.f64 (+.f64 x x) x))

Rules

22×	`lower-*.f32`
16×	`lower-*.f64`
10×	`*-commutative`
8×	`lift-sqrt.f64`
8×	`lower-sqrt.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
0	22	41
1	27	41
2	30	41
0	30	41

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize42.0ms (1.8%)

Memory

14.7MiB live, 88.0MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(hypot.f64 x x)
✓	accuracy	100.0%	(+.f64 x x)
✓	accuracy	100.0%	(sqrt.f64 x)
✓	accuracy	99.6%	(sqrt.f64 (+.f64 x x))
✓	accuracy	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	accuracy	100.0%	(sqrt.f64 #s(literal 2 binary64))
✓	accuracy	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
✓	accuracy	100.0%	(+.f64 x x)
✓	accuracy	100.0%	(*.f64 (+.f64 x x) x)
✓	accuracy	53.7%	(sqrt.f64 (*.f64 (+.f64 x x) x))

Samples

29.0ms

256×

valid

Compiler

Compiled 51 to 13 computations (74.5% saved)

Precisions

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

ival-hypot: 7.0ms (36.2% of total)

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

ival-mult: 4.0ms (20.7% of total)

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

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

exact: 0.0ms (0% of total)

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

series8.0ms (0.4%)

Memory

-32.3MiB live, 12.0MiB allocated

Counts

9 → 96

Calls

Call 1

Inputs
#<alt (sqrt.f64 (*.f64 (+.f64 x x) x))>
#<alt (*.f64 (+.f64 x x) x)>
#<alt (+.f64 x x)>
#<alt (*.f64 x (sqrt.f64 #s(literal 2 binary64)))>
#<alt (sqrt.f64 #s(literal 2 binary64))>
#<alt (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))>
#<alt (sqrt.f64 x)>
#<alt (sqrt.f64 (+.f64 x x))>
#<alt (hypot.f64 x x)>

Outputs
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* -1 (* x (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* x (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* x (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* x (* (sqrt -2) (sqrt -1))))>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>

Calls

24 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(* (sqrt x) (sqrt (+ x x)))
0.0ms	x	@	-inf	(sqrt (+ x x))
0.0ms	x	@	inf	(* (+ x x) x)
0.0ms	x	@	-inf	(sqrt x)
0.0ms	x	@	inf	(+ x x)

rewrite33.0ms (1.4%)

Memory

20.2MiB live, 56.1MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

98×	`lower-*.f32`
92×	`lower-*.f64`
68×	`lower-fma.f64`
68×	`lower-fma.f32`
58×	`lower-/.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	36
0	22	30
1	50	26
0	255	26

Stop Event

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

Counts

9 → 126

Calls

Call 1

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

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

simplify161.0ms (7%)

Memory

-3.9MiB live, 116.8MiB allocated

Algorithm

1×	egg-herbie

Rules

1 478×	`associate-r`
1 232×	`lower-*.f64`
1 232×	`lower-fma.f64`
1 232×	`lower-fma.f32`
1 232×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	412
1	50	412
2	136	412
3	265	412
4	490	412
5	809	412
6	1411	412
7	1537	412
8	1592	412
9	1630	412
10	1808	412
11	2022	412
12	2068	412
13	2096	412
14	2100	412
15	2100	412
16	2246	412
17	2430	412
18	3585	412
19	3703	412
20	3727	412
21	3735	412
22	3739	412
23	3743	412
24	3855	412
25	3903	412
26	3903	412
27	4085	412
0	4085	412

Stop Event

1×	iter limit
1×	saturated

Counts

96 → 96

Calls

Call 1

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

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

eval105.0ms (4.6%)

Memory: 1.6MiB live, 38.7MiB allocated
Compiler: Compiled 2 297 to 231 computations (89.9% saved)

prune19.0ms (0.8%)

Memory

-10.0MiB live, 28.6MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	257	3	260
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	257	7	264

Accuracy

100.0%

Counts

264 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
▶	99.0%	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
✓	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
▶	27.0%	(sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64))))
▶	7.3%	(sqrt.f64 (+.f64 x x))
✓	53.7%	(sqrt.f64 (*.f64 (+.f64 x x) x))

Compiler

Compiled 55 to 32 computations (41.8% saved)

simplify271.0ms (11.8%)

Memory

-0.3MiB live, 292.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(sqrt.f64 #s(literal 2 binary64))
✓	cost-diff	0	(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
✓	cost-diff	0	(sqrt.f64 x)
✓	cost-diff	1600	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
✓	cost-diff	0	(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x)
✓	cost-diff	0	(sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64))))
✓	cost-diff	64	(fma.f64 x x #s(literal 0 binary64))
✓	cost-diff	1664	(/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64)))
✓	cost-diff	0	(+.f64 x x)
✓	cost-diff	0	(sqrt.f64 (+.f64 x x))

Rules

4 972×	`lower-*.f32`
4 964×	`lower-*.f64`
4 598×	`lower-fma.f32`
4 596×	`lower-fma.f64`
1 550×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	85
0	26	78
1	43	66
2	106	60
3	324	52
4	1427	52
5	3075	52
6	3601	52
7	4731	52
8	6538	52
9	7106	52
10	7551	52
0	8056	49

Stop Event

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

Calls

Call 1

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

Outputs
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
x
(sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64))))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64)))
(*.f64 x (+.f64 x x))
(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x)
(.f64 x (.f64 x (*.f64 x (+.f64 x x))))
(*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))
(.f64 x (.f64 x (+.f64 x x)))
(fma.f64 x x #s(literal 0 binary64))
(*.f64 x x)
x
#s(literal 0 binary64)
(+.f64 x x)
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 x)
x
(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
(sqrt.f64 #s(literal 2 binary64))
#s(literal 2 binary64)

localize48.0ms (2.1%)

Memory

22.4MiB live, 95.7MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(sqrt.f64 x)
✓	accuracy	100.0%	(sqrt.f64 #s(literal 2 binary64))
✓	accuracy	99.4%	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
✓	accuracy	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))
✓	accuracy	99.9%	(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x)
✓	accuracy	99.9%	(*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))
✓	accuracy	53.7%	(sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64))))
✓	accuracy	35.6%	(/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64)))
✓	accuracy	100.0%	(+.f64 x x)
✓	accuracy	99.6%	(sqrt.f64 (+.f64 x x))

Samples

30.0ms

256×

valid

Compiler

Compiled 94 to 17 computations (81.9% saved)

Precisions

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

ival-mult: 8.0ms (42.1% of total)

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

ival-div: 2.0ms (10.5% of total)

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

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

exact: 0.0ms (0% of total)

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

series10.0ms (0.4%)

Memory

-30.6MiB live, 11.0MiB allocated

Counts

11 → 120

Calls

Call 1

Inputs
#<alt (sqrt.f64 (+.f64 x x))>
#<alt (+.f64 x x)>
#<alt (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64)))>
#<alt (fma.f64 x x #s(literal 0 binary64))>
#<alt (sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (fma.f64 x x #s(literal 0 binary64))))>
#<alt (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x)>
#<alt (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))>
#<alt (sqrt.f64 x)>
#<alt (*.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64)))>
#<alt (sqrt.f64 #s(literal 2 binary64))>
#<alt (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))>

Outputs
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* -1 (* (sqrt x) (* (sqrt -2) (sqrt -1))))>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 x)>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))>
#<alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))>
#<alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))>
#<alt (* -1 (* x (* (pow (sqrt -1) 2) (sqrt 2))))>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* (sqrt x) (sqrt 2))>
#<alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))>
#<alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))>
#<alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))>
#<alt (* -1 (* (sqrt x) (* (pow (sqrt -1) 2) (sqrt 2))))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>

Calls

30 calls:

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

rewrite39.0ms (1.7%)

Memory

30.0MiB live, 68.4MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

110×	`lower-/.f64`
110×	`lower-/.f32`
94×	`lower-*.f64`
94×	`lower-*.f32`
58×	`lower-fma.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	77
0	26	39
1	89	15
0	711	15

Stop Event

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

Counts

11 → 36

Calls

Call 1

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

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

simplify162.0ms (7%)

Memory

-8.3MiB live, 142.7MiB allocated

Algorithm

1×	egg-herbie

Rules

1 492×	`lower-*.f64`
1 492×	`lower-*.f32`
1 488×	`lower-fma.f64`
1 488×	`lower-fma.f32`
1 442×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	512
1	69	512
2	200	512
3	384	512
4	963	512
5	1739	512
6	2455	512
7	2558	512
8	2595	512
9	2632	512
10	2634	512
11	2734	512
12	2774	512
13	2774	512
14	2774	512
15	3169	512
16	3529	512
17	3537	512
0	3537	512

Stop Event

1×	iter limit
1×	saturated

Counts

120 → 120

Calls

Call 1

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

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

eval19.0ms (0.8%)

Memory: 14.7MiB live, 53.3MiB allocated
Compiler: Compiled 2 579 to 228 computations (91.2% saved)

prune11.0ms (0.5%)

Memory

-7.4MiB live, 31.3MiB allocated

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	215	2	217
Fresh	0	0	0
Picked	1	2	3
Done	0	4	4
Total	216	8	224

Accuracy

100.0%

Counts

224 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	99.0%	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
✓	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
▶	27.0%	(sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x)))
✓	7.3%	(sqrt.f64 (+.f64 x x))
✓	53.7%	(sqrt.f64 (*.f64 (+.f64 x x) x))
▶	3.4%	#s(literal 0 binary64)

Compiler

Compiled 56 to 35 computations (37.5% saved)

simplify291.0ms (12.6%)

Memory

-13.3MiB live, 431.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x)
✓	cost-diff	0	(sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x)))
✓	cost-diff	64	(fma.f64 x x #s(literal 0 binary64))
✓	cost-diff	1664	(/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x))

Rules

6 778×	`lower-*.f32`
6 772×	`lower-*.f64`
5 432×	`lower-fma.f32`
5 430×	`lower-fma.f64`
2 316×	`cube-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	60
0	16	55
1	37	43
2	103	33
3	285	33
4	616	33
5	2173	33
6	3299	33
7	3895	33
8	4874	33
9	6288	33
10	6708	33
11	6874	33
12	7004	33
13	7141	33
14	7287	33
0	8300	30

Stop Event

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

Calls

Call 1

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

Outputs
#s(literal 0 binary64)
(sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x)))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x))
(*.f64 x (+.f64 x x))
(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x)
(.f64 (+.f64 x x) (.f64 x (*.f64 x x)))
(*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))
(.f64 x (.f64 x (+.f64 x x)))
(fma.f64 x x #s(literal 0 binary64))
(*.f64 x x)
x
#s(literal 0 binary64)
(+.f64 x x)
(*.f64 x x)

localize39.0ms (1.7%)

Memory

3.8MiB live, 41.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x)
✓	accuracy	99.9%	(*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))
✓	accuracy	53.7%	(sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x)))
✓	accuracy	35.6%	(/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x))

Samples

27.0ms

256×

valid

Compiler

Compiled 67 to 11 computations (83.6% saved)

Precisions

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

ival-mult: 14.0ms (69.9% of total)

ival-div: 2.0ms (10% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#<alt (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x))>
#<alt (fma.f64 x x #s(literal 0 binary64))>
#<alt (sqrt.f64 (/.f64 (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x) (*.f64 x x)))>
#<alt (.f64 (.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x)) x)>
#<alt (*.f64 (fma.f64 x x #s(literal 0 binary64)) (+.f64 x x))>

Outputs
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (* 2 (pow x 2))>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (pow x 2)>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* x (sqrt 2))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* -1 (* x (sqrt 2)))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 4))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>
#<alt (* 2 (pow x 3))>

Calls

15 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/ (* (* (+ (* x x) 0) (+ x x)) x) (* x x))
0.0ms	x	@	inf	(/ (* (* (+ (* x x) 0) (+ x x)) x) (* x x))
0.0ms	x	@	-inf	(sqrt (/ (* (* (+ (* x x) 0) (+ x x)) x) (* x x)))
0.0ms	x	@	inf	(sqrt (/ (* (* (+ (* x x) 0) (+ x x)) x) (* x x)))
0.0ms	x	@	-inf	(/ (* (* (+ (* x x) 0) (+ x x)) x) (* x x))

rewrite47.0ms (2%)

Memory

1.8MiB live, 41.5MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

110×	`lower-/.f64`
110×	`lower-/.f32`
88×	`lower-*.f32`
86×	`lower-*.f64`
64×	`lower-fma.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	51
0	16	55
1	71	7
0	724	7

Stop Event

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

Counts

5 → 26

Calls

Call 1

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

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

simplify9.0ms (0.4%)

Memory

12.5MiB live, 12.5MiB allocated

Algorithm

1×	egg-herbie

Rules

58×	`lower-*.f64`
58×	`lower-*.f32`
54×	`lower-fma.f64`
54×	`lower-fma.f32`
44×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	268
1	25	268
2	48	268
3	59	268
4	63	268
5	75	268
6	87	268
7	98	268
8	126	268
9	138	268
0	138	268

Stop Event

1×	iter limit
1×	saturated

Counts

60 → 60

Calls

Call 1

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

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

eval7.0ms (0.3%)

Memory: 13.8MiB live, 13.8MiB allocated
Compiler: Compiled 1 094 to 152 computations (86.1% saved)

prune13.0ms (0.6%)

Memory

-21.1MiB live, 16.3MiB allocated

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	0	0
Picked	1	1	2
Done	0	6	6
Total	86	8	94

Accuracy

100.0%

Counts

94 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	99.0%	(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (sqrt.f64 #s(literal 2 binary64))))
✓	99.4%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
	27.0%	(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 x x) (+.f64 x x)) x) (.f64 x x)))
✓	7.3%	(sqrt.f64 (+.f64 x x))
✓	53.7%	(sqrt.f64 (*.f64 (+.f64 x x) x))
✓	3.4%	#s(literal 0 binary64)

Compiler

Compiled 142 to 61 computations (57% saved)

regimes16.0ms (0.7%)

Memory

24.6MiB live, 24.6MiB allocated

Counts

11 → 1

Calls

Call 1

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

Outputs
(hypot.f64 x x)

Calls

4 calls:

4.0ms	x
4.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
4.0ms	(*.f64 x x)
4.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
100.0%	1	`(+.f64 (.f64 x x) (.f64 x x))`
100.0%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes25.0ms (1.1%)

Memory

-14.9MiB live, 23.1MiB allocated

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

4.0ms	x
3.0ms	(*.f64 x x)
3.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
3.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Accuracy	Segments	Branch
99.4%	1	`x`
99.4%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
99.4%	1	`(+.f64 (.f64 x x) (.f64 x x))`
99.4%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes9.0ms (0.4%)

Memory

16.0MiB live, 16.0MiB allocated

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

2.0ms	x
2.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
2.0ms	(*.f64 x x)
2.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Accuracy	Segments	Branch
99.2%	1	`x`
99.2%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
99.2%	1	`(+.f64 (.f64 x x) (.f64 x x))`
99.2%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes28.0ms (1.2%)

Memory

-26.1MiB live, 12.0MiB allocated

Counts

2 → 1

Calls

Call 1

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

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

Calls

4 calls:

24.0ms	(*.f64 x x)
2.0ms	x
1.0ms	(+.f64 (.f64 x x) (.f64 x x))
1.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Results

Accuracy	Segments	Branch
7.3%	1	`x`
7.3%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
7.3%	1	`(+.f64 (.f64 x x) (.f64 x x))`
7.3%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes5.0ms (0.2%)

Memory

10.4MiB live, 10.4MiB allocated

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

4 calls:

1.0ms	x
1.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
1.0ms	(*.f64 x x)
1.0ms	(+.f64 (.f64 x x) (.f64 x x))

Results

Accuracy	Segments	Branch
3.4%	1	`x`
3.4%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
3.4%	1	`(+.f64 (.f64 x x) (.f64 x x))`
3.4%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

simplify5.0ms (0.2%)

Memory

7.7MiB live, 7.7MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	12	19

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness170.0ms (7.3%)

Memory

19.1MiB live, 168.3MiB allocated

Rules

110×	`lower-/.f64`
110×	`lower-/.f32`
98×	`lower-*.f32`
94×	`lower-*.f64`
94×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	77
0	26	39
1	89	15
0	711	15
0	11	36
0	22	30
1	50	26
0	255	26
0	4	18
0	7	14
1	23	10
0	160	9
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

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
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit

Compiler

Compiled 63 to 37 computations (41.3% saved)

preprocess45.0ms (2%)

Memory: -11.6MiB live, 80.2MiB allocated
Remove: (abs x)
Compiler: Compiled 66 to 32 computations (51.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	166	13
4	247	13
5	256	13
6	258	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Iter	Nodes	Cost
0	14	268
1	25	268
2	48	268
3	59	268
4	63	268
5	75	268
6	87	268
7	98	268
8	126	268
9	138	268
0	138	268

Iter	Nodes	Cost
0	14	77
0	26	39
1	89	15
0	711	15
0	11	36
0	22	30
1	50	26
0	255	26
0	4	18
0	7	14
1	23	10
0	160	9
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	166	13
4	247	13
5	256	13
6	258	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Iter	Nodes	Cost
0	14	268
1	25	268
2	48	268
3	59	268
4	63	268
5	75	268
6	87	268
7	98	268
8	126	268
9	138	268
0	138	268

Iter	Nodes	Cost
0	14	77
0	26	39
1	89	15
0	711	15
0	11	36
0	22	30
1	50	26
0	255	26
0	4	18
0	7	14
1	23	10
0	160	9
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

analyze0.0ms (0%)

sample464.0ms (20.1%)

preprocess23.0ms (1%)

explain83.0ms (3.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.2%)

localize20.0ms (0.9%)

series3.0ms (0.1%)

rewrite43.0ms (1.8%)

simplify8.0ms (0.3%)

eval8.0ms (0.3%)

prune7.0ms (0.3%)

simplify5.0ms (0.2%)

localize42.0ms (1.8%)

series8.0ms (0.4%)

rewrite33.0ms (1.4%)

simplify161.0ms (7%)

eval105.0ms (4.6%)

prune19.0ms (0.8%)

simplify271.0ms (11.8%)

localize48.0ms (2.1%)

series10.0ms (0.4%)

rewrite39.0ms (1.7%)

simplify162.0ms (7%)

eval19.0ms (0.8%)

prune11.0ms (0.5%)

simplify291.0ms (12.6%)

localize39.0ms (1.7%)

series1.0ms (0%)

rewrite47.0ms (2%)

simplify9.0ms (0.4%)

eval7.0ms (0.3%)

prune13.0ms (0.6%)

regimes16.0ms (0.7%)

regimes25.0ms (1.1%)

regimes9.0ms (0.4%)

regimes28.0ms (1.2%)

regimes5.0ms (0.2%)

simplify5.0ms (0.2%)

soundness170.0ms (7.3%)

preprocess45.0ms (2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	6	13
1	21	13
2	66	13
3	166	13
4	247	13
5	256	13
6	258	13
0	4	8
0	7	6
1	11	6
2	14	6
3	17	6
0	17	3

Iter	Nodes	Cost
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148

Iter	Nodes	Cost
0	14	268
1	25	268
2	48	268
3	59	268
4	63	268
5	75	268
6	87	268
7	98	268
8	126	268
9	138	268
0	138	268

Iter	Nodes	Cost
0	14	77
0	26	39
1	89	15
0	711	15
0	11	36
0	22	30
1	50	26
0	255	26
0	4	18
0	7	14
1	23	10
0	160	9
0	8	148
1	15	148
2	32	148
3	37	148
4	41	148
5	53	148
6	65	148
7	76	148
8	96	148
9	101	148
0	101	148