Details

analyze4.0ms (0.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
25%	25%	75%	0%	0%	0%	0%	3
62.5%	62.5%	37.5%	0%	0%	0%	0%	4
81.3%	81.2%	18.7%	0%	0%	0%	0%	5
90.6%	90.6%	9.4%	0%	0%	0%	0%	6
95.3%	95.3%	4.7%	0%	0%	0%	0%	7
97.7%	97.6%	2.3%	0%	0%	0%	0%	8
98.8%	98.8%	1.2%	0%	0%	0%	0%	9
99.4%	99.4%	0.6%	0%	0%	0%	0%	10
99.7%	99.7%	0.3%	0%	0%	0%	0%	11
99.9%	99.8%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.1s (86.1%)

Results

1.1s

8256×

body

256

valid

Bogosity

preprocess75.0ms (5.9%)

Algorithm

2×	egg-herbie

Rules

482×	`fma-def`
326×	`associate-*r/`
324×	`associate-r`
306×	`distribute-lft-in`
292×	`associate-/r*`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	13	19
2	17	19
3	24	19
4	31	19
5	41	19
6	59	19
7	74	19
8	93	19
9	122	19
10	177	19
11	220	19
12	295	19
13	452	19
14	829	19
15	1619	19
16	2153	19
17	2804	19
18	3026	19
19	3286	19
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Outputs
(/.f64 (+.f64 x 1) (-.f64 1 x))
(/.f64 (-.f64 x -1) (-.f64 1 x))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify68.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

482×	`fma-def`
326×	`associate-*r/`
324×	`associate-r`
306×	`distribute-lft-in`
292×	`associate-/r*`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	13	19
2	17	19
3	24	19
4	31	19
5	41	19
6	59	19
7	74	19
8	93	19
9	122	19
10	177	19
11	220	19
12	295	19
13	452	19
14	829	19
15	1619	19
16	2153	19
17	2804	19
18	3026	19
19	3286	19

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Outputs
(/.f64 (+.f64 x 1) (-.f64 1 x))
(/.f64 (-.f64 x -1) (-.f64 1 x))

eval1.0ms (0%)

Compiler: Compiled 15 to 11 computations (26.7% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(/.f64 (-.f64 x -1) (-.f64 1 x))

Compiler

Compiled 8 to 6 computations (25% saved)

localize7.0ms (0.5%)

Compiler: Compiled 17 to 12 computations (29.4% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 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 (-.f64 x -1) (-.f64 1 x))

Compiler

Compiled 8 to 6 computations (25% saved)

regimes5.0ms (0.4%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(/.f64 (+.f64 x 1) (-.f64 1 x))
(/.f64 (-.f64 x -1) (-.f64 1 x))

Outputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Calls

2 calls:

2.0ms	x
2.0ms	(/.f64 (+.f64 x 1) (-.f64 1 x))

Results

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

Compiler

Compiled 25 to 18 computations (28% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative`
4×	`sub-neg`
2×	`1-exp`
2×	`neg-mul-1`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	13	19
2	17	19
3	19	19
4	20	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Outputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 8 to 6 computations (25% saved)

soundness0.0ms (0%)

end12.0ms (1%)

Compiler: Compiled 8 to 6 computations (25% saved)

Details

analyze4.0ms (0.3%)

sample1.1s (86.1%)

preprocess75.0ms (5.9%)

simplify68.0ms (5.4%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize7.0ms (0.5%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes5.0ms (0.4%)

simplify4.0ms (0.3%)

soundness0.0ms (0%)

end12.0ms (1%)

Profiling