Details

analyze45.0ms (1.7%)

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)

sample796.0ms (29.3%)

Results

749.0ms	8256×	body	256	valid
36.0ms	537×	body	256	invalid

Bogosity

preprocess11.0ms (0.4%)

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)

simplify8.0ms (0.3%)

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))

eval0.0ms (0%)

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

prune1.0ms (0.1%)

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.1%)

Counts

1 → 8

Calls

6 calls:

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

rewrite243.0ms (8.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2316×	`rational.json-simplify-35`
2030×	`rational.json-simplify-2`
1258×	`exponential.json-3`
1258×	`rational.json-1`
1258×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	45	11
2	100	11
3	205	11
4	380	11
5	849	11
6	2159	11
7	3766	11
8	4448	11
9	5430	11
10	6065	11
11	6065	11
12	6932	11
13	6932	11
14	7489	11

Stop Event

1×	node limit

Counts

1 → 27

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 1/8 (.f64 (sqrt.f64 (+.f64 x y)) 8))))) (#(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 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 x y)) 1)))))

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 1/8 (*.f64 (sqrt.f64 (+.f64 x y)) 8))))) (#(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 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 x y)) 1)))))

simplify950.0ms (34.9%)

Algorithm

1×	egg-herbie

Rules

6580×	`rational.json-simplify-51`
4052×	`rational.json-simplify-35`
1432×	`rational.json-simplify-49`
1322×	`rational.json-simplify-2`
1288×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	104	745
1	226	745
2	610	745
3	1451	745
4	2297	745
5	3252	745
6	3749	745
7	3839	745
8	3900	745
9	3945	745
10	3990	745
11	4035	745
12	4080	745
13	4125	745
14	4170	745
15	4215	745
16	4260	745
17	4305	745
18	4350	745
19	5321	745
20	5622	745
21	5728	745
22	5830	745
23	5831	745
24	5831	745
25	6065	745
26	6065	745
27	6164	745
28	6263	745
29	6362	745
30	6461	745
31	6560	745
32	6659	745
33	6758	745
34	6857	745
35	6956	745
36	7055	745
37	7154	745

Stop Event

1×	node limit

Counts

35 → 60

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 1/8 (.f64 (sqrt.f64 (+.f64 x y)) 8))
(/.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 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))))) 256)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8))))))) 512)
(pow.f64 (sqrt.f64 (+.f64 x y)) 1)

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 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 (pow.f64 x 2) -1/8))))
(+.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 (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/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 (.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 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 (pow.f64 x 2) -1/8)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3))) (+.f64 (sqrt.f64 y) (.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 (+.f64 (sqrt.f64 y) (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))) (.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))))))
(+.f64 (sqrt.f64 y) (+.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 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3))))))
(+.f64 (sqrt.f64 y) (+.f64 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 3))) (.f64 -1/8 (pow.f64 x 2))) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 y 5))) (pow.f64 x 3))))))
(sqrt.f64 x)
(+.f64 (sqrt.f64 x) (.f64 1/2 (.f64 y (sqrt.f64 (/.f64 1 x)))))
(+.f64 (sqrt.f64 x) (.f64 y (.f64 (sqrt.f64 (/.f64 1 x)) 1/2)))
(+.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 (.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 y (.f64 (sqrt.f64 (/.f64 1 x)) 1/2)) (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3)))))))
(+.f64 (sqrt.f64 x) (+.f64 (.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 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 (sqrt.f64 x) (+.f64 (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 y 1/2)) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (.f64 -1/8 (pow.f64 y 2)))))
(+.f64 (sqrt.f64 x) (+.f64 (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 y 1/2)) (.f64 (pow.f64 y 2) (.f64 -1/8 (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 (pow.f64 y 3) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 5))) 1/16)) (+.f64 (sqrt.f64 x) (+.f64 (.f64 y (.f64 (sqrt.f64 (/.f64 1 x)) 1/2)) (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))))))
(+.f64 (+.f64 (sqrt.f64 x) (+.f64 (.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 (.f64 -1/8 (.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (+.f64 (+.f64 (sqrt.f64 x) (.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 (sqrt.f64 x) (+.f64 (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 y 1/2)) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (.f64 -1/8 (pow.f64 y 2))))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 5))) (.f64 (pow.f64 y 3) 1/16)))
(+.f64 (+.f64 (sqrt.f64 x) (.f64 (sqrt.f64 (/.f64 1 x)) (.f64 y 1/2))) (+.f64 (.f64 (pow.f64 y 2) (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 5))) (.f64 (pow.f64 y 3) 1/16))))
(+.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 1/8 (.f64 (sqrt.f64 (+.f64 x y)) 8))
(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 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))) 64)
(sqrt.f64 (+.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (+.f64 x y)) 8))))) 128)
(sqrt.f64 (+.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))))) 256)
(sqrt.f64 (+.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (+.f64 x y)) 8))))))) 512)
(sqrt.f64 (+.f64 y x))
(pow.f64 (sqrt.f64 (+.f64 x y)) 1)
(sqrt.f64 (+.f64 y x))

eval19.0ms (0.7%)

Compiler: Compiled 1085 to 773 computations (28.8% saved)

prune9.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	3	61

Error

Counts

61 → 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.5b	(sqrt.f64 y)

Compiler

Compiled 23 to 17 computations (26.1% saved)

localize2.0ms (0.1%)

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

localize16.0ms (0.6%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))
✓	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)

series6.0ms (0.2%)

Counts

3 → 3

Calls

15 calls:

Time	Variable		Point	Expression
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	@	-inf	(*.f64 (sqrt.f64 (/.f64 1 y)) x)
1.0ms	y	@	0	(*.f64 (sqrt.f64 (/.f64 1 y)) x)
0.0ms	y	@	-inf	(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x)) (sqrt.f64 y))

rewrite83.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1206×	`rational.json-1`
1206×	`rational.json-2`
1206×	`rational.json-4`
1206×	`rational.json-3`
1202×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	61
1	97	61
2	209	61
3	423	61
4	841	61
5	2143	61
6	5280	61

Stop Event

1×	node limit

Counts

3 → 52

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(sqrt.f64 (/.f64 1 y))
(+.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 2)) (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 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 (.f64 (sqrt.f64 (/.f64 1 y)) x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 1)))))
((#(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 (sqrt.f64 (/.f64 1 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 1 y)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (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 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 2)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)) (.f64 1/2 (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 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 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) (.f64 (sqrt.f64 y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (.f64 (sqrt.f64 y) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)))))

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 2)) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 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 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 1)))))

((#(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 (sqrt.f64 (/.f64 1 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (sqrt.f64 (/.f64 1 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (sqrt.f64 (/.f64 1 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 1 y)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (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 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 2)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (*.f64 x 1/4)) (*.f64 1/2 (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 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 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) (*.f64 (sqrt.f64 y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) (*.f64 (sqrt.f64 y) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)))))

simplify465.0ms (17.1%)

Algorithm

1×	egg-herbie

Rules

4070×	`rational.json-simplify-2`
2396×	`rational.json-simplify-35`
2144×	`rational.json-simplify-53`
1286×	`rational.json-simplify-51`
820×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	102	1129
1	223	1129
2	697	1129
3	1815	1129
4	3986	1129
5	4521	1129
6	4682	1129
7	4797	1129
8	4901	1129
9	5003	1129
10	6144	1129
11	6364	1129
12	6463	1129
13	6463	1129
14	6562	1129
15	6661	1129
16	7886	1129

Stop Event

1×	node limit

Counts

55 → 58

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 2)) (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 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 (.f64 (sqrt.f64 (/.f64 1 y)) x) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) 8))) 32)
(pow.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 1)
(+.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 (sqrt.f64 (/.f64 1 y)) 8) 8)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (/.f64 1 y)) 8))) 32)
(pow.f64 (sqrt.f64 (/.f64 1 y)) 1)
(-.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 0)
(.f64 1 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (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 2)) (sqrt.f64 y)) 1)
(.f64 2 (.f64 1/2 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y))))
(.f64 2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)) (.f64 1/2 (sqrt.f64 y))))
(.f64 4 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4))
(.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (*.f64 (sqrt.f64 y) 2)) 1/2)
(.f64 (.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 1/4)
(.f64 1/4 (.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4))
(.f64 1/4 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) (*.f64 (sqrt.f64 y) 4)))
(.f64 (.f64 1/2 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y))) 2)
(.f64 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 4)
(/.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)
(/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (.f64 (sqrt.f64 y) 2)) 2)
(/.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8))) 32)
(pow.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)

Outputs
(sqrt.f64 y)
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2))
(.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 y)) x))
(*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2))
(+.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 2)) (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 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 (.f64 (sqrt.f64 (/.f64 1 y)) x) 8) 8)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(/.f64 (.f64 2 (.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 8)) 16)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) 8))) 32)
(*.f64 (sqrt.f64 (/.f64 1 y)) x)
(pow.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) x) 1)
(*.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 (sqrt.f64 (/.f64 1 y)) 8) 8)
(sqrt.f64 (/.f64 1 y))
(/.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 y)) 8)) 16)
(sqrt.f64 (/.f64 1 y))
(/.f64 (.f64 2 (.f64 2 (*.f64 (sqrt.f64 (/.f64 1 y)) 8))) 32)
(sqrt.f64 (/.f64 1 y))
(pow.f64 (sqrt.f64 (/.f64 1 y)) 1)
(sqrt.f64 (/.f64 1 y))
(-.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 0)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.f64 1 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)))
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.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 x 2)))
(.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.f64 2 (.f64 1/2 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y))))
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.f64 2 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (.f64 x 1/4)) (.f64 1/2 (sqrt.f64 y))))
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.f64 4 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4))
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.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 x 2)))
(.f64 (.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 1/4)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.f64 1/4 (.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4))
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.f64 1/4 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (+.f64 x x)) (*.f64 (sqrt.f64 y) 4)))
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.f64 (.f64 1/2 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y))) 2)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(.f64 (/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 4)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(/.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(/.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) x) (.f64 (sqrt.f64 y) 2)) 2)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(/.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 4) 4)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(/.f64 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8) 8)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8)) 16)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 8))) 32)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))
(pow.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)) (sqrt.f64 y)) 1)
(+.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 (/.f64 1 y)) (/.f64 x 2)))

eval16.0ms (0.6%)

Compiler: Compiled 823 to 592 computations (28.1% saved)

prune7.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	58	3	61

Error

Counts

61 → 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.5b	(sqrt.f64 y)

Compiler

Compiled 23 to 17 computations (26.1% saved)

regimes16.0ms (0.6%)

Accuracy

Total -1.4b remaining (-37099.3%)

Threshold costs -1.4b (-37099.3%)

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:

5.0ms	(+.f64 x y)
3.0ms	(sqrt.f64 (+.f64 x y))
3.0ms	x
3.0ms	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.1%)

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%)

end18.0ms (0.7%)

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

Details

analyze45.0ms (1.7%)

sample796.0ms (29.3%)

preprocess11.0ms (0.4%)

simplify8.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize4.0ms (0.1%)

series2.0ms (0.1%)

rewrite243.0ms (8.9%)

simplify950.0ms (34.9%)

eval19.0ms (0.7%)

prune9.0ms (0.3%)

localize2.0ms (0.1%)

localize16.0ms (0.6%)

series6.0ms (0.2%)

rewrite83.0ms (3.1%)

simplify465.0ms (17.1%)

eval16.0ms (0.6%)

prune7.0ms (0.3%)

regimes16.0ms (0.6%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end18.0ms (0.7%)

Profiling