Details

analyze99.0ms (5.8%)

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%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
82%	82%	18%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample735.0ms (43%)

Results

724.0ms

8256×

body

256

valid

Bogosity

preprocess208.0ms (12.1%)

Algorithm

2×	egg-herbie

Rules

6220×	`fma-def`
1058×	`+-commutative`
786×	`distribute-neg-in`
632×	`distribute-lft-out--`
542×	`associate-+r+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	22	38
2	42	38
3	77	38
4	156	38
5	374	38
6	713	26
7	1448	26
8	2844	26
9	3075	26
10	3157	26
11	3171	26
12	3171	26
13	4425	26
14	5508	26
15	5712	26
16	5769	26
17	5825	26
18	5825	26
19	5844	26
20	5848	26
0	2	2
1	2	2

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(+.f64 y (/.f64 (-.f64 x y) 2))

Outputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(*.f64 1/2 (+.f64 x y))
(+.f64 y (/.f64 (-.f64 x y) 2))
(+.f64 x (/.f64 (-.f64 y x) 2))
(*.f64 1/2 (+.f64 x y))

Symmetry

(sort x y)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify178.0ms (10.4%)

Algorithm

1×	egg-herbie

Rules

1340×	`fma-def`
1178×	`distribute-lft-in`
964×	`associate-+r+`
900×	`fma-neg`
872×	`distribute-rgt-in`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	15	19
2	26	19
3	45	19
4	87	19
5	202	19
6	409	15
7	710	15
8	978	13
9	2673	13
10	3954	13
11	4036	13
12	4054	13
13	4068	13
14	4068	13
15	5310	13
16	6055	13
17	6211	13
18	6279	13
19	6351	13
20	6879	13

Stop Event

1×	node limit

Counts

1 → 5

Calls

Call 1

Inputs
(+.f64 x (/.f64 (-.f64 y x) 2))

Outputs
(+.f64 x (/.f64 (-.f64 y x) 2))
(fma.f64 x 1/2 (/.f64 y 2))
(fma.f64 x 1/2 (*.f64 1/2 y))
(*.f64 1/2 (+.f64 y x))
(*.f64 1/2 (+.f64 x y))

eval1.0ms (0.1%)

Compiler: Compiled 31 to 20 computations (35.5% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	4	1	5
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	5	1	6

Error

Counts

6 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(*.f64 1/2 (+.f64 y x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize4.0ms (0.3%)

Compiler: Compiled 13 to 6 computations (53.8% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(*.f64 1/2 (+.f64 y x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes9.0ms (0.5%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(*.f64 1/2 (+.f64 y x))

Calls

3 calls:

3.0ms	y
2.0ms	(+.f64 x (/.f64 (-.f64 y x) 2))
2.0ms	x

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(+.f64 x (/.f64 (-.f64 y x) 2))`

Compiler

Compiled 29 to 19 computations (34.5% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	9	13

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

Outputs
(*.f64 1/2 (+.f64 y x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness459.0ms (26.8%)

Algorithm

1×	egg-herbie

Rules

1340×	`fma-def`
1178×	`distribute-lft-in`
964×	`associate-+r+`
900×	`fma-neg`
872×	`distribute-rgt-in`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	15	19
2	26	19
3	45	19
4	87	19
5	202	19
6	409	15
7	710	15
8	978	13
9	2673	13
10	3954	13
11	4036	13
12	4054	13
13	4068	13
14	4068	13
15	5310	13
16	6055	13
17	6211	13
18	6279	13
19	6351	13
20	6879	13

Stop Event

1×	node limit

Compiler

Compiled 337 to 242 computations (28.2% saved)

end13.0ms (0.7%)

Remove: (sort x y)
Compiler: Compiled 21 to 15 computations (28.6% saved)

Details

analyze99.0ms (5.8%)

sample735.0ms (43%)

preprocess208.0ms (12.1%)

simplify178.0ms (10.4%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize4.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes9.0ms (0.5%)

simplify4.0ms (0.2%)

soundness459.0ms (26.8%)

end13.0ms (0.7%)

Profiling