Details

analyze110.0ms (9.2%)

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 9 to 7 computations (22.2% saved)

sample834.0ms (69.7%)

Results

823.0ms

8256×

body

256

valid

Bogosity

preprocess77.0ms (6.4%)

Algorithm

2×	egg-herbie

Rules

1856×	`rational.json-simplify-35`
866×	`rational.json-simplify-57`
824×	`rational.json-simplify-39`
638×	`rational.json-simplify-2`
572×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	34
1	25	34
2	57	34
3	358	34
4	2146	34
5	5625	34
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 (fabs.f64 (-.f64 a b)) 2)
(/.f64 (fabs.f64 (-.f64 b a)) 2)

Outputs
(/.f64 (fabs.f64 (-.f64 a b)) 2)
(/.f64 (fabs.f64 (-.f64 b a)) 2)
(/.f64 (fabs.f64 (-.f64 a b)) 2)

Symmetry

(sort a b)

Compiler

Compiled 10 to 8 computations (20% saved)

simplify111.0ms (9.3%)

Algorithm

1×	egg-herbie

Rules

1460×	`rational.json-simplify-51`
1318×	`rational.json-simplify-35`
1222×	`rational.json-simplify-2`
940×	`rational.json-simplify-59`
838×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	18	17
2	38	17
3	149	17
4	1538	17
5	3989	17
6	7694	17

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (fabs.f64 (-.f64 a b)) 2)

Outputs
(/.f64 (fabs.f64 (-.f64 a b)) 2)

eval0.0ms (0%)

Compiler: Compiled 8 to 6 computations (25% 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

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(/.f64 (fabs.f64 (-.f64 a b)) 2)

Compiler

Compiled 8 to 6 computations (25% saved)

localize6.0ms (0.5%)

Compiler: Compiled 18 to 7 computations (61.1% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

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 (fabs.f64 (-.f64 a b)) 2)

Compiler

Compiled 16 to 12 computations (25% saved)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (fabs.f64 (-.f64 a b)) 2)

Outputs
(/.f64 (fabs.f64 (-.f64 a b)) 2)

Compiler

Compiled 8 to 6 computations (25% saved)

soundness0.0ms (0%)

end57.0ms (4.7%)

Remove: (sort a b)
Compiler: Compiled 24 to 18 computations (25% saved)

Details

analyze110.0ms (9.2%)

sample834.0ms (69.7%)

preprocess77.0ms (6.4%)

simplify111.0ms (9.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize6.0ms (0.5%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify1.0ms (0.1%)

soundness0.0ms (0%)

end57.0ms (4.7%)

Profiling