Details

analyze46.0ms (0.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	87.4%	0.1%	0%	12.5%	0%	4
7.7%	6.2%	74.9%	0.1%	0%	18.7%	0%	5
17.4%	12.5%	59.3%	0.1%	0%	28.1%	0%	6
34.9%	23.4%	43.7%	0.1%	0%	32.8%	0%	7
45.6%	28.1%	33.6%	0.1%	0%	38.2%	0%	8
60.3%	35.5%	23.4%	0.1%	0%	41%	0%	9
68.3%	38.2%	17.8%	0.1%	0%	43.9%	0%	10
77.8%	42.4%	12.1%	0.1%	0%	45.4%	0%	11
82.8%	43.9%	9.1%	0.1%	0%	46.9%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample1.1s (20.2%)

Results

952.0ms	8256×	body	256	valid
38.0ms	553×	body	256	invalid

Bogosity

preprocess12.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

2×	`swap-x-y`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	9	22
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 8 to 6 computations (25% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	8	11

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(sqrt.f64 (+.f64 x y))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (+.f64 x y))

Compiler

Compiled 11 to 4 computations (63.6% saved)

series2.0ms (0%)

Counts

1 → 8

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(sqrt.f64 (+.f64 x y))
0.0ms	y	@	inf	(sqrt.f64 (+.f64 x y))
0.0ms	x	@	0	(sqrt.f64 (+.f64 x y))
0.0ms	y	@	0	(sqrt.f64 (+.f64 x y))
0.0ms	x	@	-inf	(sqrt.f64 (+.f64 x y))

rewrite97.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1686×	`bool.json-1`
1686×	`bool.json-2`
1650×	`rational.json-1`
1650×	`rational.json-2`
1154×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	69	11
2	194	11
3	405	11
4	835	11
5	1820	11
6	4122	11
7	6858	11

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/2) (.f64 (sqrt.f64 (+.f64 x y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (+.f64 x y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (sqrt.f64 (+.f64 x y)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (+.f64 x y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (+.f64 x y)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (sqrt.f64 (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (sqrt.f64 (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (+.f64 x y)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (+.f64 x y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (+.f64 x y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (sqrt.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x and (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 1/2) (*.f64 (sqrt.f64 (+.f64 x y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (+.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (sqrt.f64 (+.f64 x y)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (sqrt.f64 (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (sqrt.f64 (+.f64 x y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))) (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (sqrt.f64 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x and (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (+.f64 x y)) (sqrt.f64 (+.f64 x y)))))))

simplify2.8s (53.2%)

Algorithm

1×	egg-herbie

Rules

4050×	`rational.json-simplify-35`
3208×	`rational.json-simplify-49`
1842×	`rational.json-simplify-2`
1088×	`rational.json-simplify-1`
920×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	93	690
1	192	690
2	468	690
3	939	690
4	1397	690
5	2666	690
6	3388	690
7	3453	690
8	3494	690
9	3532	690
10	3570	690
11	3608	690
12	3669	690
13	3707	690
14	3745	690
15	3783	690
16	3821	690
17	3859	690
18	3897	690
19	4628	690
20	5019	690
21	5063	690
22	5105	690
23	5146	690
24	5187	690
25	5228	690
26	5269	690
27	5310	690
28	5351	690
29	5392	690
30	5433	690
31	5474	690
32	5474	690
33	5515	690
34	5556	690
35	5597	690
36	5638	690
37	5679	690
38	5720	690
39	5761	690
40	5802	690
41	5843	690
42	5884	690
43	5925	690
44	5966	690
45	6007	690
46	6048	690
47	6089	690
48	6130	690
49	6171	690
50	6212	690
51	6253	690
52	6294	690
53	6335	690
54	6376	690
55	6417	690
56	6458	690
57	6499	690
58	6540	690
59	6581	690
60	6622	690
61	6663	690
62	6704	690
63	6745	690
64	6786	690
65	6786	690

Stop Event

1×	node limit

Counts

30 → 54

Calls

Call 1

Inputs
(sqrt.f64 y)
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (pow.f64 x 2))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y)))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (pow.f64 x 2))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3))) (sqrt.f64 y))))
(sqrt.f64 x)
(+.f64 (sqrt.f64 x) (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (+.f64 (sqrt.f64 x) (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x))))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (+.f64 (.f64 1/16 (.f64 (pow.f64 y 3) (sqrt.f64 (/.f64 1 (pow.f64 x 5))))) (+.f64 (sqrt.f64 x) (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))))))
(+.f64 (sqrt.f64 (+.f64 x y)) 0)
(+.f64 0 (sqrt.f64 (+.f64 x y)))
(+.f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/2) (.f64 (sqrt.f64 (+.f64 x y)) 1/2))
(-.f64 (sqrt.f64 (+.f64 x y)) 0)
(*.f64 (sqrt.f64 (+.f64 x y)) 1)
(*.f64 1 (sqrt.f64 (+.f64 x y)))
(.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 1/2))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 2) 1/2)
(.f64 4 (.f64 (sqrt.f64 (+.f64 x y)) 1/4))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 4) 1/4)
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 8) 1/8)
(.f64 1/2 (.f64 (sqrt.f64 (+.f64 x y)) 2))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/2) 2)
(.f64 1/4 (.f64 (sqrt.f64 (+.f64 x y)) 4))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/4) 4)
(/.f64 (sqrt.f64 (+.f64 x y)) 1)
(/.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 2) 2)
(/.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 4) 4)
(/.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 8) 8)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))) 64)

Outputs
(sqrt.f64 y)
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (pow.f64 x 2))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y)))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (+.f64 (sqrt.f64 y) (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (pow.f64 x 2)))))
(+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 -1/8 (pow.f64 x 2))) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 -1/8 (pow.f64 x 2)))))
(+.f64 (sqrt.f64 y) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 -1/8 (pow.f64 x 2)))))
(+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (pow.f64 x 2))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3))) (sqrt.f64 y))))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (+.f64 (+.f64 (sqrt.f64 y) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3)))) (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (pow.f64 x 2)))))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (+.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 -1/8 (pow.f64 x 2))) (+.f64 (sqrt.f64 y) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3))))))
(+.f64 (sqrt.f64 y) (+.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 -1/8 (pow.f64 x 2)))) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3)))))
(+.f64 (sqrt.f64 y) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 -1/8 (pow.f64 x 2))))))
(sqrt.f64 x)
(+.f64 (sqrt.f64 x) (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))))
(+.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 1/2 y)))
(+.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 y 1/2)))
(+.f64 (sqrt.f64 x) (.f64 y (.f64 1/2 (sqrt.f64 (/.f64 1 x)))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (+.f64 (sqrt.f64 x) (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x))))))
(+.f64 (sqrt.f64 x) (+.f64 (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))) (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3)))))))
(+.f64 (+.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 1/2 y))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (.f64 (pow.f64 y 2) -1/8)))
(+.f64 (+.f64 (sqrt.f64 x) (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x))))) (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 y 1/2)) (+.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (.f64 -1/8 (pow.f64 y 2)))))
(+.f64 (.f64 y (.f64 1/2 (sqrt.f64 (/.f64 1 x)))) (+.f64 (sqrt.f64 x) (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3)))))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (+.f64 (.f64 1/16 (.f64 (pow.f64 y 3) (sqrt.f64 (/.f64 1 (pow.f64 x 5))))) (+.f64 (sqrt.f64 x) (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (+.f64 (sqrt.f64 x) (+.f64 (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))) (.f64 1/16 (.f64 (pow.f64 y 3) (sqrt.f64 (/.f64 1 (pow.f64 x 5))))))))
(+.f64 (+.f64 (+.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 1/2 y))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (.f64 (pow.f64 y 2) -1/8))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 5))) (.f64 1/16 (pow.f64 y 3))))
(+.f64 (sqrt.f64 x) (+.f64 (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (+.f64 (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))) (.f64 (pow.f64 y 3) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 x 5))))))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (+.f64 (sqrt.f64 x) (+.f64 (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))) (.f64 (pow.f64 y 3) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 x 5))))))))
(+.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 y 1/2)) (+.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (.f64 -1/8 (pow.f64 y 2))))) (.f64 (pow.f64 y 3) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 x 5))))))
(+.f64 (sqrt.f64 x) (+.f64 (.f64 (pow.f64 y 3) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 x 5))))) (+.f64 (.f64 y (.f64 1/2 (sqrt.f64 (/.f64 1 x)))) (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))))))
(+.f64 (sqrt.f64 (+.f64 x y)) 0)
(sqrt.f64 (+.f64 y x))
(+.f64 0 (sqrt.f64 (+.f64 x y)))
(sqrt.f64 (+.f64 y x))
(+.f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/2) (.f64 (sqrt.f64 (+.f64 x y)) 1/2))
(sqrt.f64 (+.f64 y x))
(-.f64 (sqrt.f64 (+.f64 x y)) 0)
(sqrt.f64 (+.f64 y x))
(*.f64 (sqrt.f64 (+.f64 x y)) 1)
(sqrt.f64 (+.f64 y x))
(*.f64 1 (sqrt.f64 (+.f64 x y)))
(sqrt.f64 (+.f64 y x))
(.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 1/2))
(sqrt.f64 (+.f64 y x))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 2) 1/2)
(sqrt.f64 (+.f64 y x))
(.f64 4 (.f64 (sqrt.f64 (+.f64 x y)) 1/4))
(sqrt.f64 (+.f64 y x))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 4) 1/4)
(sqrt.f64 (+.f64 y x))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 8) 1/8)
(sqrt.f64 (+.f64 y x))
(.f64 1/2 (.f64 (sqrt.f64 (+.f64 x y)) 2))
(sqrt.f64 (+.f64 y x))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/2) 2)
(sqrt.f64 (+.f64 y x))
(.f64 1/4 (.f64 (sqrt.f64 (+.f64 x y)) 4))
(sqrt.f64 (+.f64 y x))
(.f64 (.f64 (sqrt.f64 (+.f64 x y)) 1/4) 4)
(sqrt.f64 (+.f64 y x))
(/.f64 (sqrt.f64 (+.f64 x y)) 1)
(sqrt.f64 (+.f64 y x))
(/.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 2) 2)
(sqrt.f64 (+.f64 y x))
(/.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 4) 4)
(sqrt.f64 (+.f64 y x))
(/.f64 (*.f64 (sqrt.f64 (+.f64 x y)) 8) 8)
(sqrt.f64 (+.f64 y x))
(/.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)) 16)
(sqrt.f64 (+.f64 y x))
(/.f64 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))) 32)
(sqrt.f64 (+.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))) 64)
(sqrt.f64 (+.f64 y x))

eval18.0ms (0.3%)

Compiler: Compiled 974 to 690 computations (29.2% saved)

prune7.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	3	55

Error

0.0b

Counts

55 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))
✓	0.0b	(sqrt.f64 (+.f64 x y))
▶	1.2b	(sqrt.f64 y)

Compiler

Compiled 23 to 17 computations (26.1% saved)

localize63.0ms (1.2%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize163.0ms (3.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))
✓	0.0b	(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
✓	0.1b	(sqrt.f64 (/.f64 1 y))
✓	0.2b	(*.f64 (sqrt.f64 (/.f64 1 y)) x)

Compiler

Compiled 40 to 27 computations (32.5% saved)

series8.0ms (0.2%)

Counts

4 → 3

Calls

21 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
1.0ms	x	@	inf	(*.f64 (sqrt.f64 (/.f64 1 y)) x)
1.0ms	x	@	0	(*.f64 (sqrt.f64 (/.f64 1 y)) x)
1.0ms	y	@	0	(*.f64 (sqrt.f64 (/.f64 1 y)) x)
0.0ms	y	@	-inf	(*.f64 (sqrt.f64 (/.f64 1 y)) x)

rewrite139.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1212×	`rational.json-simplify-35`
1164×	`bool.json-1`
1164×	`bool.json-2`
1126×	`rational.json-1`
1126×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	84
1	137	84
2	375	84
3	775	84
4	1601	84
5	3842	84

Stop Event

1×	node limit

Counts

4 → 59

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(sqrt.f64 (/.f64 1 y))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (sqrt.f64 (/.f64 1 y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 (sqrt.f64 (/.f64 1 y)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 (sqrt.f64 (/.f64 1 y)) x) (.f64 (sqrt.f64 (/.f64 1 y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (sqrt.f64 (/.f64 1 y)) x) (*.f64 (sqrt.f64 (/.f64 1 y)) x))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (/.f64 1 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2) (.f64 (sqrt.f64 (/.f64 1 y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (/.f64 1 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 1 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (sqrt.f64 (/.f64 1 y)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (/.f64 1 y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (/.f64 1 y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (sqrt.f64 (/.f64 1 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 1 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4))) (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (/.f64 1 y)) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (sqrt.f64 (/.f64 1 y))))))) (#(struct:change #<rule egg-rr> (2) ((x and (sqrt.f64 (/.f64 1 y)) (sqrt.f64 (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (/.f64 1 y)) (sqrt.f64 (/.f64 1 y)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (.f64 (sqrt.f64 y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (.f64 (sqrt.f64 y) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)))))))

simplify723.0ms (13.7%)

Algorithm

1×	egg-herbie

Rules

3980×	`rational.json-simplify-2`
2988×	`rational.json-simplify-35`
2210×	`rational.json-simplify-53`
1010×	`rational.json-simplify-51`
992×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	1298
1	216	1298
2	687	1298
3	1500	1298
4	3323	1298
5	3850	1298
6	3976	1298
7	4076	1298
8	4174	1298
9	4270	1298
10	5379	1298
11	5477	1298
12	5573	1298
13	5573	1298
14	5669	1298
15	5765	1298
16	6948	1298
17	7692	1298
18	7789	1298
19	7885	1298
20	7981	1298

Stop Event

1×	node limit

Counts

62 → 66

Calls

Call 1

Inputs
(sqrt.f64 y)
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 0)
(+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)))
(+.f64 0 (*.f64 (sqrt.f64 (/.f64 1 y)) x))
(-.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 0)
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 1)
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) 2)
(/.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)) 4)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 4))) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4))))) 32)
(+.f64 (sqrt.f64 (/.f64 1 y)) 0)
(+.f64 0 (sqrt.f64 (/.f64 1 y)))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2) (.f64 (sqrt.f64 (/.f64 1 y)) 1/2))
(-.f64 (sqrt.f64 (/.f64 1 y)) 0)
(*.f64 1 (sqrt.f64 (/.f64 1 y)))
(*.f64 (sqrt.f64 (/.f64 1 y)) 1)
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) 2))
(.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2))
(.f64 4 (.f64 (sqrt.f64 (/.f64 1 y)) 1/4))
(.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 2) 1/2)
(.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2) 2)
(.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 4) 1/4)
(.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 y)) 4))
(.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/4) 4)
(/.f64 (sqrt.f64 (/.f64 1 y)) 1)
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) 2) 2)
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) 4) 4)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (/.f64 1 y)) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4)))) 32)
(+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 0)
(+.f64 0 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)))
(-.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 0)
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 2)
(/.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 1)
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) 4)
(/.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)) 8)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 4))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) 32)
(-.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 0)
(.f64 1 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)))
(.f64 1/2 (+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))))
(.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (*.f64 (sqrt.f64 y) 2)))
(.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 1)
(.f64 2 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y))))
(.f64 4 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 4))
(.f64 (+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))) 1/2)
(.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4) 1/4)
(.f64 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y))) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4))
(.f64 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 4) 4)
(.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (*.f64 (sqrt.f64 y) 2)) 1/2)
(/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 1)
(/.f64 (+.f64 (sqrt.f64 y) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))) 2)
(/.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4)))) 32)

Outputs
(sqrt.f64 y)
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 0)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)))
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(+.f64 0 (*.f64 (sqrt.f64 (/.f64 1 y)) x))
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(-.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 0)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 1)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) 2)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(/.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)) 4)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 4))) 8)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) 16)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4))))) 32)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(+.f64 (sqrt.f64 (/.f64 1 y)) 0)
(sqrt.f64 (/.f64 1 y))
(+.f64 0 (sqrt.f64 (/.f64 1 y)))
(sqrt.f64 (/.f64 1 y))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2) (.f64 (sqrt.f64 (/.f64 1 y)) 1/2))
(sqrt.f64 (/.f64 1 y))
(-.f64 (sqrt.f64 (/.f64 1 y)) 0)
(sqrt.f64 (/.f64 1 y))
(*.f64 1 (sqrt.f64 (/.f64 1 y)))
(sqrt.f64 (/.f64 1 y))
(*.f64 (sqrt.f64 (/.f64 1 y)) 1)
(sqrt.f64 (/.f64 1 y))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) 2))
(sqrt.f64 (/.f64 1 y))
(.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2))
(sqrt.f64 (/.f64 1 y))
(.f64 4 (.f64 (sqrt.f64 (/.f64 1 y)) 1/4))
(sqrt.f64 (/.f64 1 y))
(.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 2) 1/2)
(sqrt.f64 (/.f64 1 y))
(.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/2) 2)
(sqrt.f64 (/.f64 1 y))
(.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 4) 1/4)
(sqrt.f64 (/.f64 1 y))
(.f64 1/4 (.f64 (sqrt.f64 (/.f64 1 y)) 4))
(sqrt.f64 (/.f64 1 y))
(.f64 (.f64 (sqrt.f64 (/.f64 1 y)) 1/4) 4)
(sqrt.f64 (/.f64 1 y))
(/.f64 (sqrt.f64 (/.f64 1 y)) 1)
(sqrt.f64 (/.f64 1 y))
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) 2) 2)
(sqrt.f64 (/.f64 1 y))
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) 4) 4)
(sqrt.f64 (/.f64 1 y))
(/.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4)) 8)
(sqrt.f64 (/.f64 1 y))
(/.f64 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (/.f64 1 y)) 4))) 16)
(sqrt.f64 (/.f64 1 y))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 4)))) 32)
(sqrt.f64 (/.f64 1 y))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 0)
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(+.f64 0 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)))
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)))
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(-.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 0)
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 2)
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(/.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) 1)
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(/.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) 4)
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(/.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)) 8)
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(/.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 4))) 16)
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 4)))) 32)
(.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(-.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 0)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 1 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)))
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 1/2 (+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))))
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (*.f64 (sqrt.f64 y) 2)))
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 1)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 2 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y))))
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 4 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 4))
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 (+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))) 1/2)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4) 1/4)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y))) 2)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 1/4 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4))
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 4) 4)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (*.f64 (sqrt.f64 y) 2)) 1/2)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 1)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(/.f64 (+.f64 (sqrt.f64 y) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) (sqrt.f64 y))) 2)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(/.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 4) 4)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4)) 8)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/2)) (sqrt.f64 y)) 4))) 16)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/2)) (sqrt.f64 y)) 4)))) 32)
(+.f64 (sqrt.f64 y) (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 1/2 x)))
(+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)))

eval17.0ms (0.3%)

Compiler: Compiled 989 to 711 computations (28.1% saved)

prune9.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	66	3	69

Error

0.0b

Counts

69 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))
✓	0.0b	(sqrt.f64 (+.f64 x y))
✓	1.2b	(sqrt.f64 y)

Compiler

Compiled 23 to 17 computations (26.1% saved)

regimes67.0ms (1.3%)

Accuracy

Total -1.2b remaining (-14722.8%)

Threshold costs -1.2b (-14722.8%)

Counts

3 → 1

Calls

Call 1

Inputs
(sqrt.f64 y)
(sqrt.f64 (+.f64 x y))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))

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

Calls

4 calls:

56.0ms	(sqrt.f64 (+.f64 x y))
3.0ms	x
3.0ms	y
3.0ms	(+.f64 x y)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(sqrt.f64 (+.f64 x y))`
0.0b	1	`(+.f64 x y)`

Compiler

Compiled 36 to 23 computations (36.1% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 10 to 7 computations (30% saved)

soundness0.0ms (0%)

end15.0ms (0.3%)

Remove: (sort x y)
Compiler: Compiled 20 to 13 computations (35% saved)

Details

analyze46.0ms (0.9%)

sample1.1s (20.2%)

preprocess12.0ms (0.2%)

simplify7.0ms (0.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series2.0ms (0%)

rewrite97.0ms (1.8%)

simplify2.8s (53.2%)

eval18.0ms (0.3%)

prune7.0ms (0.1%)

localize63.0ms (1.2%)

localize163.0ms (3.1%)

series8.0ms (0.2%)

rewrite139.0ms (2.6%)

simplify723.0ms (13.7%)

eval17.0ms (0.3%)

prune9.0ms (0.2%)

regimes67.0ms (1.3%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end15.0ms (0.3%)

Profiling