Metrics for sqrt A (should all be same)

analyze0.0ms (0%)

Memory

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

sample458.0ms (17.6%)

Memory

33.7MiB live, 901.7MiB allocated

Samples

305.0ms

8 256×

valid

Precisions

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

ival-hypot: 146.0ms (94.2% of total)

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

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

Bogosity

preprocess20.0ms (0.8%)

Memory

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

explain75.0ms (2.9%)

Memory

-8.1MiB live, 69.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
134	-	3	(8.354380086601993e-157)	`(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)))`	uflow-rescue	67	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	underflow	67
↳	`(*.f64 x x)`	underflow	134
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`	oflow-rescue	64	0
↳	`(+.f64 (.f64 x x) (.f64 x x))`	overflow	64
↳	`(*.f64 x x)`	overflow	128

Confusion

	Predicted +	Predicted -
+	131	4
-	0	121

Precision

1.0

Recall

0.9703703703703703

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	131	0	4
-	0	0	121

Precision?

1.0

Recall?

0.9703703703703703

Freqs

test

number	freq
0	125
1	131

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

30.0ms

512×

valid

Compiler

Compiled 60 to 20 computations (66.7% saved)

Precisions

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

ival-hypot: 9.0ms (60.9% of total)

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

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

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 4 computations (55.6% saved)

simplify4.0ms (0.2%)

Memory

6.0MiB live, 6.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

localize21.0ms (0.8%)

Memory

-15.0MiB live, 25.9MiB 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	51.8%	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Samples

15.0ms

256×

valid

Compiler

Compiled 21 to 6 computations (71.4% saved)

Precisions

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

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

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

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

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

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

series3.0ms (0.1%)

Memory

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

rewrite35.0ms (1.3%)

Memory

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

simplify7.0ms (0.3%)

Memory

11.2MiB live, 11.2MiB 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: 15.8MiB live, 15.8MiB allocated
Compiler: Compiled 702 to 94 computations (86.6% saved)

prune8.0ms (0.3%)

Memory

-22.6MiB live, 14.4MiB 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.5%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
▶	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
▶	51.8%	(sqrt.f64 (*.f64 (+.f64 x x) x))

Compiler

Compiled 24 to 15 computations (37.5% saved)

simplify5.0ms (0.2%)

Memory

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

localize44.0ms (1.7%)

Memory

-21.3MiB live, 69.8MiB 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 (+.f64 x x))
✓	accuracy	100.0%	(sqrt.f64 x)
✓	accuracy	99.5%	(*.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	51.8%	(sqrt.f64 (*.f64 (+.f64 x x) x))

Samples

30.0ms

256×

valid

Compiler

Compiled 46 to 13 computations (71.7% saved)

Precisions

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

ival-hypot: 9.0ms (42.6% of total)

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

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

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

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

exact: 0.0ms (0% of total)

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

series5.0ms (0.2%)

Memory

8.2MiB live, 8.2MiB 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	(+ x x)
0.0ms	x	@	-inf	(sqrt x)

rewrite33.0ms (1.3%)

Memory

0.1MiB live, 38.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)))

simplify225.0ms (8.6%)

Memory

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

eval31.0ms (1.2%)

Memory: -1.5MiB live, 39.5MiB allocated
Compiler: Compiled 2 297 to 231 computations (89.9% saved)

prune15.0ms (0.6%)

Memory

-5.6MiB live, 32.3MiB allocated

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	258	2	260
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	258	6	264

Accuracy

100.0%

Counts

264 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	99.5%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
▶	6.9%	(sqrt.f64 (+.f64 x x))
✓	51.8%	(sqrt.f64 (*.f64 (+.f64 x x) x))
▶	20.7%	(sqrt.f64 (.f64 (.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)))) x))

Compiler

Compiled 56 to 29 computations (48.2% saved)

simplify424.0ms (16.3%)

Memory

15.4MiB live, 601.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(+.f64 x x)
✓	cost-diff	0	(sqrt.f64 (+.f64 x x))
✓	cost-diff	0	(.f64 (.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)))) x)
✓	cost-diff	0	(sqrt.f64 (.f64 (.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)))) x))
✓	cost-diff	64	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
✓	cost-diff	3264	(.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))))

Rules

18 352×	`lower-fma.f32`
18 350×	`lower-fma.f64`
5 114×	`lower-*.f32`
5 106×	`lower-*.f64`
1 838×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	121
0	22	148
1	44	112
2	154	46
3	788	44
4	3759	44
5	4296	44
6	5236	44
7	6572	44
8	7088	44
9	7375	44
0	8188	41

Stop Event

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

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.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)))) x))
(.f64 (.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)))) x)
(.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 (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 x 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)))
#s(literal 1 binary64)
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
x

Outputs
(sqrt.f64 (.f64 (.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)))) x))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 (.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)))) x)
(*.f64 x (+.f64 x x))
(.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 x x)
(.f64 (fma.f64 (.f64 x x) (*.f64 x x) #s(literal 0 binary64)) (+.f64 x x))
(.f64 (.f64 x x) (.f64 x (.f64 x (+.f64 x x))))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(.f64 x (.f64 x (*.f64 x x)))
(*.f64 x 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 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
#s(literal 1 binary64)
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
x

localize48.0ms (1.9%)

Memory

-3.6MiB live, 105.6MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(+.f64 x x)
✓	accuracy	100.0%	(sqrt.f64 (+.f64 x x))
✓	accuracy	99.8%	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
✓	accuracy	99.8%	(/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))
✓	accuracy	51.8%	(sqrt.f64 (.f64 (.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)))) x))
✓	accuracy	23.7%	(.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))))

Samples

23.0ms

256×

valid

Compiler

Compiled 123 to 15 computations (87.8% saved)

Precisions

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

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series2.0ms (0.1%)

Memory

6.4MiB live, 6.4MiB allocated

Counts

7 → 84

Calls

Call 1

Inputs
#<alt (.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))))>
#<alt (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))>
#<alt (sqrt.f64 (.f64 (.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)))) x))>
#<alt (.f64 (.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)))) x)>
#<alt (sqrt.f64 (+.f64 x x))>
#<alt (+.f64 x x)>
#<alt (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))>

Outputs
#<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 (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (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 (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 (* (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 (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>

Calls

21 calls:

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

rewrite63.0ms (2.4%)

Memory

20.1MiB live, 102.1MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

220×	`lower-*.f32`
218×	`lower-*.f64`
160×	`lower-fma.f32`
158×	`lower-fma.f64`
144×	`lower-/.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	99
0	22	87
1	85	13
0	784	13

Stop Event

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

Counts

7 → 63

Calls

Call 1

Inputs
(.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))))
(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
(sqrt.f64 (.f64 (.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)))) x))
(.f64 (.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)))) x)
(sqrt.f64 (+.f64 x x))
(+.f64 x x)
(/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)))

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

simplify43.0ms (1.7%)

Memory

-8.3MiB live, 31.1MiB allocated

Algorithm

1×	egg-herbie

Rules

142×	`lower-*.f64`
142×	`lower-fma.f64`
142×	`lower-fma.f32`
142×	`lower-*.f32`
96×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	356
1	40	356
2	85	356
3	141	356
4	157	356
5	203	356
6	248	356
7	279	356
8	340	356
9	354	356
10	354	356
0	354	356

Stop Event

1×	iter limit
1×	saturated

Counts

84 → 84

Calls

Call 1

Inputs
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(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 (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))
(* (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)
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))

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

eval44.0ms (1.7%)

Memory: 4.3MiB live, 42.6MiB allocated
Compiler: Compiled 4 729 to 490 computations (89.6% saved)

prune19.0ms (0.7%)

Memory

1.9MiB live, 41.7MiB allocated

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	209	2	211
Fresh	0	0	0
Picked	1	1	2
Done	0	4	4
Total	210	7	217

Accuracy

100.0%

Counts

217 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	99.5%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
✓	6.9%	(sqrt.f64 (+.f64 x x))
✓	51.8%	(sqrt.f64 (*.f64 (+.f64 x x) x))
▶	20.7%	(sqrt.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) x))) x))
▶	3.9%	#s(literal 0 binary64)

Compiler

Compiled 57 to 33 computations (42.1% saved)

simplify294.0ms (11.3%)

Memory

-37.5MiB live, 383.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Rules

8 158×	`lower-fma.f32`
8 156×	`lower-fma.f64`
6 070×	`lower-*.f32`
6 058×	`lower-*.f64`
1 878×	`cube-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	122
0	24	109
1	51	77
2	162	43
3	860	43
4	3859	43
5	4754	43
6	6562	43
0	8017	40

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 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) x))) x))
(.f64 (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) x))) x)
(.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 x x)) x)))
(.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 x x)
x
#s(literal 0 binary64)
(+.f64 x x)
(/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 x x)) x))
#s(literal 1 binary64)
(.f64 (.f64 x (*.f64 x x)) x)
(.f64 x (.f64 x x))

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

localize46.0ms (1.8%)

Memory

8.2MiB live, 86.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.8%	(fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64))
✓	accuracy	99.8%	(/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 x x)) x))
✓	accuracy	51.8%	(sqrt.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) x))) x))
✓	accuracy	23.7%	(.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 x x)) x)))

Samples

29.0ms

256×

valid

Compiler

Compiled 124 to 16 computations (87.1% saved)

Precisions

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

ival-mult: 11.0ms (53.6% of total)

ival-div: 5.0ms (24.4% of total)

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

ival-sqrt: 2.0ms (9.7% 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.8MiB live, 1.8MiB allocated

Counts

5 → 60

Calls

Call 1

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

Outputs
#<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 (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (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 (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 (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>

Calls

15 calls:

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

rewrite61.0ms (2.3%)

Memory

17.5MiB live, 93.6MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

236×	`lower-*.f32`
230×	`lower-*.f64`
160×	`lower-/.f32`
160×	`lower-fma.f32`
158×	`lower-/.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	88
0	24	57
1	91	11
0	770	11

Stop Event

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

Counts

5 → 64

Calls

Call 1

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

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

simplify11.0ms (0.4%)

Memory

-18.6MiB live, 18.8MiB 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	13	244
1	23	244
2	37	244
3	41	244
4	45	244
5	57	244
6	69	244
7	80	244
8	100	244
9	105	244
0	105	244

Stop Event

1×	iter limit
1×	saturated

Counts

60 → 60

Calls

Call 1

Inputs
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(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 (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))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))

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

eval11.0ms (0.4%)

Memory: 28.6MiB live, 28.6MiB allocated
Compiler: Compiled 2 665 to 344 computations (87.1% saved)

prune18.0ms (0.7%)

Memory

-5.7MiB live, 34.4MiB allocated

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	0	0
Picked	1	1	2
Done	0	5	5
Total	124	7	131

Accuracy

100.0%

Counts

131 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 x x)
✓	99.5%	(*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x x)))
✓	99.2%	(*.f64 x (sqrt.f64 #s(literal 2 binary64)))
✓	6.9%	(sqrt.f64 (+.f64 x x))
✓	51.8%	(sqrt.f64 (*.f64 (+.f64 x x) x))
	20.7%	(sqrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 x x)) x))) x))
✓	3.9%	#s(literal 0 binary64)

Compiler

Compiled 165 to 63 computations (61.8% saved)

regimes15.0ms (0.6%)

Memory

-4.3MiB live, 34.2MiB 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)))
(sqrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 x x)) x))) x))
(sqrt.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) x))) x))
(sqrt.f64 (.f64 (.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)))) x))
(hypot.f64 x x)

Outputs
(hypot.f64 x x)

Calls

4 calls:

5.0ms	(+.f64 (.f64 x x) (.f64 x x))
4.0ms	x
3.0ms	(*.f64 x x)
3.0ms	(sqrt.f64 (+.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)

regimes14.0ms (0.5%)

Memory

-6.8MiB live, 31.4MiB allocated

Counts

9 → 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)))
(sqrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x (.f64 x x)) x) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (*.f64 x x)) x))) x))
(sqrt.f64 (.f64 (.f64 (.f64 (fma.f64 (.f64 x x) (.f64 x x) #s(literal 0 binary64)) (+.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x (.f64 x x)) x))) x))
(sqrt.f64 (.f64 (.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)))) x))

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes9.0ms (0.3%)

Memory

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

regimes7.0ms (0.3%)

Memory

-22.4MiB live, 15.2MiB 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:

3.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
6.9%	1	`x`
6.9%	1	`(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))`
6.9%	1	`(+.f64 (.f64 x x) (.f64 x x))`
6.9%	1	`(*.f64 x x)`

Compiler

Compiled 23 to 10 computations (56.5% saved)

regimes5.0ms (0.2%)

Memory

10.5MiB live, 10.5MiB 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	(+.f64 (.f64 x x) (.f64 x x))
1.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
1.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 23 to 10 computations (56.5% saved)

simplify5.0ms (0.2%)

Memory

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

soundness355.0ms (13.7%)

Memory

-24.7MiB live, 214.5MiB allocated

Rules

220×	`lower-*.f32`
218×	`lower-*.f64`
160×	`lower-fma.f32`
158×	`lower-fma.f64`
144×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	18
0	7	14
1	23	10
0	160	9
0	12	99
0	22	87
1	85	13
0	784	13
0	11	36
0	22	30
1	50	26
0	255	26
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 57 to 33 computations (42.1% saved)

preprocess106.0ms (4.1%)

Memory: 12.3MiB live, 90.1MiB 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	21	356
1	40	356
2	85	356
3	141	356
4	157	356
5	203	356
6	248	356
7	279	356
8	340	356
9	354	356
10	354	356
0	354	356

Iter	Nodes	Cost
0	13	244
1	23	244
2	37	244
3	41	244
4	45	244
5	57	244
6	69	244
7	80	244
8	100	244
9	105	244
0	105	244

Iter	Nodes	Cost
0	4	18
0	7	14
1	23	10
0	160	9
0	12	99
0	22	87
1	85	13
0	784	13
0	11	36
0	22	30
1	50	26
0	255	26
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	21	356
1	40	356
2	85	356
3	141	356
4	157	356
5	203	356
6	248	356
7	279	356
8	340	356
9	354	356
10	354	356
0	354	356

Iter	Nodes	Cost
0	13	244
1	23	244
2	37	244
3	41	244
4	45	244
5	57	244
6	69	244
7	80	244
8	100	244
9	105	244
0	105	244

Iter	Nodes	Cost
0	4	18
0	7	14
1	23	10
0	160	9
0	12	99
0	22	87
1	85	13
0	784	13
0	11	36
0	22	30
1	50	26
0	255	26
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%)

sample458.0ms (17.6%)

preprocess20.0ms (0.8%)

explain75.0ms (2.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.2%)

localize21.0ms (0.8%)

series3.0ms (0.1%)

rewrite35.0ms (1.3%)

simplify7.0ms (0.3%)

eval8.0ms (0.3%)

prune8.0ms (0.3%)

simplify5.0ms (0.2%)

localize44.0ms (1.7%)

series5.0ms (0.2%)

rewrite33.0ms (1.3%)

simplify225.0ms (8.6%)

eval31.0ms (1.2%)

prune15.0ms (0.6%)

simplify424.0ms (16.3%)

localize48.0ms (1.9%)

series2.0ms (0.1%)

rewrite63.0ms (2.4%)

simplify43.0ms (1.7%)

eval44.0ms (1.7%)

prune19.0ms (0.7%)

simplify294.0ms (11.3%)

localize46.0ms (1.8%)

series1.0ms (0%)

rewrite61.0ms (2.3%)

simplify11.0ms (0.4%)

eval11.0ms (0.4%)

prune18.0ms (0.7%)

regimes15.0ms (0.6%)

regimes14.0ms (0.5%)

regimes9.0ms (0.3%)

regimes7.0ms (0.3%)

regimes5.0ms (0.2%)

simplify5.0ms (0.2%)

soundness355.0ms (13.7%)

preprocess106.0ms (4.1%)

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	21	356
1	40	356
2	85	356
3	141	356
4	157	356
5	203	356
6	248	356
7	279	356
8	340	356
9	354	356
10	354	356
0	354	356

Iter	Nodes	Cost
0	13	244
1	23	244
2	37	244
3	41	244
4	45	244
5	57	244
6	69	244
7	80	244
8	100	244
9	105	244
0	105	244

Iter	Nodes	Cost
0	4	18
0	7	14
1	23	10
0	160	9
0	12	99
0	22	87
1	85	13
0	784	13
0	11	36
0	22	30
1	50	26
0	255	26
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