Details

analyze109.0ms (6.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
56.2%	43.7%	0.1%	7
65.6%	34.3%	0.1%	8
76.5%	23.4%	0.1%	9
82%	18%	0.1%	10
87.8%	12.1%	0.1%	11
90.7%	9.2%	0.1%	12
93.8%	6.1%	0.1%	13
95.3%	4.6%	0.1%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample720.0ms (45.8%)

Results

693.0ms	8237×	body	128	valid
6.0ms	73×	body	128	invalid
3.0ms	5×	body	2048	valid
1.0ms	6×	body	1024	valid
1.0ms	4×	body	512	valid
1.0ms	4×	body	256	valid

Compiler

Compiled 16 to 12 computations (25% saved)

preprocess25.0ms (1.6%)

Algorithm

2×	egg-herbie

Rules

86×	`fma-neg_binary64`
48×	`fma-def_binary64`
26×	`cancel-sign-sub-inv_binary64`
24×	`distribute-rgt-in_binary64`
22×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	66	14
4	110	14
5	179	14
6	267	14
7	368	14
8	416	14
9	418	14
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify14.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

113×	`fma-def_binary64`
83×	`fma-neg_binary64`
32×	`distribute-rgt-in_binary64`
27×	`cancel-sign-sub-inv_binary64`
19×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	20	7
3	40	7
4	67	7
5	96	7
6	167	7
7	270	7
8	382	7
9	455	7
10	539	7
11	555	7

Stop Event

1×

saturated

Counts

1 → 1

prune3.0ms (0.2%)

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

Status	Error	Program
▶	0.0b	(*.f64 500 (-.f64 x y))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 500 (-.f64 x y))

series4.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

1.0ms	(*.f64 500 (-.f64 x y))	x	inf
1.0ms	(*.f64 500 (-.f64 x y))	x	0
1.0ms	(*.f64 500 (-.f64 x y))	x	-inf
1.0ms	(*.f64 500 (-.f64 x y))	y	inf
1.0ms	(*.f64 500 (-.f64 x y))	y	-inf

rewrite40.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

657×	`log1p-expm1-u_binary64`
657×	`expm1-log1p-u_binary64`
359×	`prod-diff_binary64`
121×	`log1p-udef_binary64`
67×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	131	7
2	1711	7

Stop Event

1×	node limit

Counts

1 → 19

simplify21.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

141×	`fma-def_binary64`
102×	`fma-neg_binary64`
46×	`cancel-sign-sub-inv_binary64`
24×	`sub-neg_binary64`
21×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	150
1	19	150
2	33	150
3	49	150
4	77	150
5	123	150
6	213	150
7	311	150
8	391	150
9	503	150
10	557	150
11	563	150

Stop Event

1×

saturated

Counts

43 → 23

prune15.0ms (1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	20	3	23
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	21	3	24

Error

Counts

24 → 3

Alt Table

Status	Error	Program
	49.3b	(sqrt.f64 (*.f64 (pow.f64 (-.f64 x y) 2) 250000))
	32.2b	(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500) (+.f64 x y))
▶	0.0b	(-.f64 (.f64 500 x) (.f64 500 y))

Compiler

Compiled 269 to 166 computations (38.3% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 500 x) (.f64 500 y))

series4.0ms (0.3%)

Counts

1 → 6

Calls

6 calls:

1.0ms	(-.f64 (.f64 500 x) (.f64 500 y))	x	-inf
1.0ms	(-.f64 (.f64 500 x) (.f64 500 y))	x	inf
1.0ms	(-.f64 (.f64 500 x) (.f64 500 y))	x	0
1.0ms	(-.f64 (.f64 500 x) (.f64 500 y))	y	inf
1.0ms	(-.f64 (.f64 500 x) (.f64 500 y))	y	-inf

rewrite45.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

811×	`log1p-expm1-u_binary64`
811×	`expm1-log1p-u_binary64`
82×	`add-sqr-sqrt_binary64`
78×	`add-cbrt-cube_binary64`
77×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	165	7
2	2214	7

Stop Event

1×	node limit

Counts

1 → 53

simplify7.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	24
1	9	24

Stop Event

1×

saturated

Counts

59 → 55

prune45.0ms (2.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	54	1	55
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	56	2	58

Error

Counts

58 → 2

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 500 x (*.f64 y -500))
	32.2b	(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500) (+.f64 x y))

Compiler

Compiled 848 to 555 computations (34.6% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 500 x (*.f64 y -500))

series4.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

1.0ms	(fma.f64 500 x (*.f64 y -500))	x	inf
1.0ms	(fma.f64 500 x (*.f64 y -500))	x	-inf
1.0ms	(fma.f64 500 x (*.f64 y -500))	x	0
1.0ms	(fma.f64 500 x (*.f64 y -500))	y	-inf
1.0ms	(fma.f64 500 x (*.f64 y -500))	y	inf

rewrite39.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

560×	`log1p-expm1-u_binary64`
560×	`expm1-log1p-u_binary64`
280×	`log-prod_binary64`
170×	`pow2_binary64`
120×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	140	8
2	1520	8

Stop Event

1×	node limit

Counts

1 → 29

simplify22.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

141×	`fma-def_binary64`
102×	`fma-neg_binary64`
46×	`cancel-sign-sub-inv_binary64`
24×	`sub-neg_binary64`
21×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	150
1	19	150
2	33	150
3	49	150
4	77	150
5	123	150
6	213	150
7	311	150
8	391	150
9	503	150
10	557	150
11	563	150

Stop Event

1×

saturated

Counts

53 → 33

prune16.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	33	0	33
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	33	2	35

Error

Counts

35 → 2

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 500 x (*.f64 y -500))
▶	32.2b	(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500) (+.f64 x y))

Compiler

Compiled 394 to 297 computations (24.6% saved)

localize8.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500)
✓	2.4b	(-.f64 (.f64 x x) (.f64 y y))
✓	30.2b	(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500) (+.f64 x y))

series28.0ms (1.8%)

Counts

3 → 72

Calls

18 calls:

5.0ms	(-.f64 (.f64 x x) (.f64 y y))	y	inf
2.0ms	(.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500)	x	-inf
2.0ms	(.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500)	x	inf
2.0ms	(.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500)	x	0
1.0ms	(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500) (+.f64 x y))	x	0

rewrite86.0ms (5.5%)

Algorithm

1×	batch-egg-rewrite

Rules

527×	`fma-def_binary64`
245×	`egg-rr`
244×	`fma-neg_binary64`
206×	`expm1-udef_binary64`
206×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	42
1	235	30
2	3456	30

Stop Event

1×	node limit

Counts

3 → 245

simplify46.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

637×	`distribute-rgt-in_binary64`
526×	`associate-l_binary64`
355×	`associate-r_binary64`
320×	`fma-def_binary64`
258×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	636
1	48	636
2	98	636
3	221	636
4	719	636
5	2867	636

Stop Event

1×	node limit

Counts

317 → 261

prune100.0ms (6.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	261	0	261
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	261	2	263

Error

Counts

263 → 2

Alt Table

Status	Error	Program
✓	0.0b	(fma.f64 500 x (*.f64 y -500))
✓	32.2b	(/.f64 (.f64 (-.f64 (.f64 x x) (*.f64 y y)) 500) (+.f64 x y))

Compiler

Compiled 5743 to 1878 computations (67.3% saved)

regimes116.0ms (7.4%)

Accuracy

Total 0.0b remaining (38.5%)

Threshold costs 0.0b (38.5%)

Counts

24 → 1

Compiler

Compiled 1219 to 899 computations (26.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	8	8

Stop Event

1×

saturated

end39.0ms (2.5%)

Stop Event

1×

done

Compiler

Compiled 39 to 27 computations (30.8% saved)

Iter	Nodes	Cost
0	9	150
1	19	150
2	33	150
3	49	150
4	77	150
5	123	150
6	213	150
7	311	150
8	391	150
9	503	150
10	557	150
11	563	150

Iter	Nodes	Cost
0	9	150
1	19	150
2	33	150
3	49	150
4	77	150
5	123	150
6	213	150
7	311	150
8	391	150
9	503	150
10	557	150
11	563	150

Iter	Nodes	Cost
0	9	150
1	19	150
2	33	150
3	49	150
4	77	150
5	123	150
6	213	150
7	311	150
8	391	150
9	503	150
10	557	150
11	563	150

Iter	Nodes	Cost
0	9	150
1	19	150
2	33	150
3	49	150
4	77	150
5	123	150
6	213	150
7	311	150
8	391	150
9	503	150
10	557	150
11	563	150

Details

analyze109.0ms (6.9%)

sample720.0ms (45.8%)

preprocess25.0ms (1.6%)

simplify14.0ms (0.9%)

prune3.0ms (0.2%)

localize3.0ms (0.2%)

series4.0ms (0.2%)

rewrite40.0ms (2.6%)

simplify21.0ms (1.4%)

prune15.0ms (1%)

localize4.0ms (0.3%)

series4.0ms (0.3%)

rewrite45.0ms (2.9%)

simplify7.0ms (0.5%)

prune45.0ms (2.9%)

localize4.0ms (0.3%)

series4.0ms (0.2%)

rewrite39.0ms (2.5%)

simplify22.0ms (1.4%)

prune16.0ms (1%)

localize8.0ms (0.5%)

series28.0ms (1.8%)

rewrite86.0ms (5.5%)

simplify46.0ms (2.9%)

prune100.0ms (6.4%)

regimes116.0ms (7.4%)

simplify2.0ms (0.1%)

end39.0ms (2.5%)

Profiling

Iter	Nodes	Cost
0	9	150
1	19	150
2	33	150
3	49	150
4	77	150
5	123	150
6	213	150
7	311	150
8	391	150
9	503	150
10	557	150
11	563	150

Iter	Nodes	Cost
0	9	150
1	19	150
2	33	150
3	49	150
4	77	150
5	123	150
6	213	150
7	311	150
8	391	150
9	503	150
10	557	150
11	563	150