Details

analyze275.0ms (14.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%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
14.8%	12.5%	71.8%	0.1%	15.6%	0%	0%	8
22.6%	18.7%	64%	0.1%	17.2%	0%	0%	9
32.7%	25%	51.5%	0.1%	23.4%	0%	0%	10
41%	31.2%	44.9%	0.1%	23.8%	0%	0%	11
49.5%	37.1%	37.8%	0.1%	25%	0%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.3s (69%)

Results

1.1s	8256×	body	256	valid
171.0ms	1157×	body	256	infinite

Bogosity

preprocess68.0ms (3.6%)

Algorithm

2×	egg-herbie

Rules

798×	`fma-def`
340×	`associate-r`
276×	`associate-+r+`
232×	`associate--r+`
216×	`associate-+l+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	100
1	51	84
2	123	84
3	253	84
4	360	84
5	597	84
6	908	84
7	1178	84
8	1724	84
9	2162	84
10	2180	84
11	2180	84
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

Inputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(-.f64 (.f64 y y) (.f64 (*.f64 x 4) z))
(-.f64 (.f64 z z) (.f64 (*.f64 y 4) x))
(-.f64 (.f64 x x) (.f64 (*.f64 z 4) y))

Outputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))
(fma.f64 x x (.f64 y (.f64 z -4)))
(fma.f64 z (.f64 y -4) (.f64 x x))
(-.f64 (.f64 y y) (.f64 (*.f64 x 4) z))
(-.f64 (.f64 y y) (.f64 x (*.f64 4 z)))
(fma.f64 y y (.f64 x (.f64 z -4)))
(fma.f64 x (.f64 z -4) (.f64 y y))
(-.f64 (.f64 z z) (.f64 (*.f64 y 4) x))
(-.f64 (.f64 z z) (.f64 x (*.f64 y 4)))
(fma.f64 z z (.f64 x (.f64 y -4)))
(fma.f64 x (.f64 y -4) (.f64 z z))
(fma.f64 z z (.f64 (.f64 x y) -4))
(-.f64 (.f64 x x) (.f64 (*.f64 z 4) y))
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))
(fma.f64 x x (.f64 y (.f64 z -4)))
(fma.f64 z (.f64 y -4) (.f64 x x))

Symmetry

(sort y z)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify34.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

326×	`fma-def`
180×	`associate-r`
148×	`+-commutative`
120×	`associate--r+`
110×	`associate-+l-`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	22	21
2	50	21
3	105	21
4	145	21
5	222	21
6	379	21
7	484	21
8	675	21
9	1075	21
10	1160	21
11	1172	21

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

Outputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))
(fma.f64 x x (.f64 z (.f64 y -4)))
(fma.f64 x x (.f64 (.f64 y z) -4))
(fma.f64 y (.f64 z -4) (.f64 x x))

eval1.0ms (0.1%)

Compiler: Compiled 45 to 23 computations (48.9% 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 (.f64 x x) (.f64 y (*.f64 4 z)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize10.0ms (0.5%)

Compiler: Compiled 27 to 14 computations (48.1% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 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 (.f64 x x) (.f64 y (*.f64 4 z)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

regimes46.0ms (2.5%)

Accuracy

Total -0.2b remaining (-∞%)

Threshold costs -0.2b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

Outputs
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))

Calls

7 calls:

29.0ms	(*.f64 y 4)
4.0ms	y
3.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
3.0ms	z
3.0ms	x

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`z`
0b	1	`(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))`
0b	1	`(*.f64 x x)`
0b	1	`(.f64 (.f64 y 4) z)`
0b	1	`(*.f64 y 4)`

Compiler

Compiled 65 to 44 computations (32.3% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative`
12×	`+-commutative`
8×	`distribute-lft-neg-in`
8×	`neg-mul-1`
8×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	18	25
2	30	25
3	43	25
4	49	25
5	52	25
6	53	25

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))

Outputs
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))
(+.f64 (.f64 x x) (.f64 y (*.f64 z -4)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

soundness85.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

326×	`fma-def`
180×	`associate-r`
148×	`+-commutative`
120×	`associate--r+`
110×	`associate-+l-`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	22	21
2	50	21
3	105	21
4	145	21
5	222	21
6	379	21
7	484	21
8	675	21
9	1075	21
10	1160	21
11	1172	21

Stop Event

1×

saturated

Compiler

Compiled 21 to 12 computations (42.9% saved)

end53.0ms (2.9%)

Compiler: Compiled 36 to 24 computations (33.3% saved)

Details

analyze275.0ms (14.7%)

sample1.3s (69%)

preprocess68.0ms (3.6%)

simplify34.0ms (1.8%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize10.0ms (0.5%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes46.0ms (2.5%)

simplify4.0ms (0.2%)

soundness85.0ms (4.6%)

end53.0ms (2.9%)

Profiling