Details

analyze58.0ms (2.2%)

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
18.7%	81.2%	0.1%	5
65.6%	34.3%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 10 to 7 computations (30% saved)

sample824.0ms (31.4%)

Results

699.0ms

8256×

body

128

valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
2×	`associate-/r/_binary64`
1×	`+-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10
2	15	10
3	18	10
4	19	10
5	19	10

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

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(/.f64 (*.f64 x 100) (+.f64 x y))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (*.f64 x 100) (+.f64 x y))

series94.0ms (3.6%)

Counts

1 → 24

Calls

1 calls:

93.0ms

(/.f64 (*.f64 x 100) (+.f64 x y))

rewrite50.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

875×	`log1p-expm1-u_binary64`
875×	`expm1-log1p-u_binary64`
473×	`prod-diff_binary64`
79×	`add-sqr-sqrt_binary64`
76×	`add-log-exp_binary64`

Counts

1 → 46

Calls

1 calls:

49.0ms

(/.f64 (*.f64 x 100) (+.f64 x y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	159	10
2	2180	10
3	6212	10
0	0	0
1	0	0

simplify64.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

719×	`fma-def_binary64`
633×	`cancel-sign-sub-inv_binary64`
482×	`fma-neg_binary64`
238×	`neg-mul-1_binary64`
231×	`neg-sub0_binary64`

Counts

70 → 60

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	525
1	124	507
2	396	450
3	1699	399
4	4500	399
5	4989	399
6	4967	399

prune218.0ms (8.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	56	4	60
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	5	61

Error

Counts

61 → 5

Alt Table

Status	Error	Program
	31.3b	(fma.f64 100 (*.f64 (/.f64 y x) (-.f64 (/.f64 y x) (fma.f64 (/.f64 y x) (/.f64 y x) 1))) 100)
✓	0.1b	(/.f64 (*.f64 x 100) (+.f64 x y))
▶	0.1b	(*.f64 (/.f64 x 1) (/.f64 100 (+.f64 x y)))
	0.2b	(*.f64 100 (/.f64 x (+.f64 x y)))
	0.3b	(.f64 x (.f64 100 (/.f64 1 (+.f64 x y))))

Compiler

Compiled 902 to 507 computations (43.8% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 100 (+.f64 x y))
✓	0.1b	(*.f64 (/.f64 x 1) (/.f64 100 (+.f64 x y)))

series17.0ms (0.6%)

Counts

2 → 48

Calls

2 calls:

9.0ms	(*.f64 (/.f64 x 1) (/.f64 100 (+.f64 x y)))
7.0ms	(/.f64 100 (+.f64 x y))

rewrite53.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

907×	`log1p-expm1-u_binary64`
907×	`expm1-log1p-u_binary64`
504×	`prod-diff_binary64`
87×	`add-sqr-sqrt_binary64`
83×	`add-cbrt-cube_binary64`

Counts

2 → 71

Calls

2 calls:

52.0ms	(/.f64 100 (+.f64 x y))
52.0ms	(*.f64 (/.f64 x 1) (/.f64 100 (+.f64 x y)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	185	17
2	2330	17
3	6458	17
0	0	0
1	0	0

simplify48.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

939×	`fma-neg_binary64`
326×	`distribute-rgt-neg-in_binary64`
317×	`distribute-lft-neg-in_binary64`
294×	`times-frac_binary64`
291×	`distribute-neg-frac_binary64`

Counts

119 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	1077
1	217	1035
2	696	948
3	2744	939
4	5006	939

prune116.0ms (4.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	101	3	104

Error

Counts

104 → 3

Alt Table

Status	Error	Program
▶	0.2b	(*.f64 100 (/.f64 x (+.f64 x y)))
✓	0.1b	(/.f64 (*.f64 x 100) (+.f64 x y))
	0.5b	(/.f64 100 (*.f64 (/.f64 1 x) (+.f64 x y)))

Compiler

Compiled 1389 to 842 computations (39.4% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 x (+.f64 x y))
✓	0.2b	(*.f64 100 (/.f64 x (+.f64 x y)))

series15.0ms (0.6%)

Counts

2 → 48

Calls

2 calls:

9.0ms	(*.f64 100 (/.f64 x (+.f64 x y)))
7.0ms	(/.f64 x (+.f64 x y))

rewrite165.0ms (6.3%)

Algorithm

2×	batch-egg-rewrite

Rules

853×	`log1p-expm1-u_binary64`
853×	`expm1-log1p-u_binary64`
473×	`prod-diff_binary64`
79×	`add-sqr-sqrt_binary64`
76×	`add-log-exp_binary64`

Counts

2 → 59

Calls

2 calls:

164.0ms	(/.f64 x (+.f64 x y))
164.0ms	(*.f64 100 (/.f64 x (+.f64 x y)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	159	17
2	2134	17
3	6081	17
0	0	0
1	0	0

simplify163.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

767×	`cancel-sign-sub-inv_binary64`
585×	`fma-neg_binary64`
460×	`associate-/r/_binary64`
218×	`associate-/l/_binary64`
203×	`distribute-neg-frac_binary64`

Counts

107 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	963
1	156	945
2	471	831
3	1905	774
4	4833	774
5	4986	774
6	5000	774
7	4961	774

prune42.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	86	3	89

Error

Counts

89 → 3

Alt Table

Status	Error	Program
✓	0.2b	(*.f64 100 (/.f64 x (+.f64 x y)))
✓	0.1b	(/.f64 (*.f64 x 100) (+.f64 x y))
▶	0.5b	(/.f64 100 (*.f64 (/.f64 1 x) (+.f64 x y)))

Compiler

Compiled 1128 to 584 computations (48.2% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (/.f64 1 x) (+.f64 x y))
✓	0.4b	(/.f64 100 (*.f64 (/.f64 1 x) (+.f64 x y)))

series13.0ms (0.5%)

Counts

2 → 48

Calls

2 calls:

8.0ms	(/.f64 100 (*.f64 (/.f64 1 x) (+.f64 x y)))
4.0ms	(*.f64 (/.f64 1 x) (+.f64 x y))

rewrite104.0ms (3.9%)

Algorithm

2×	batch-egg-rewrite

Rules

757×	`prod-diff_binary64`
259×	`fma-def_binary64`
173×	`expm1-udef_binary64`
173×	`log1p-udef_binary64`
160×	`log-div_binary64`

Counts

2 → 87

Calls

2 calls:

102.0ms	(*.f64 (/.f64 1 x) (+.f64 x y))
102.0ms	(/.f64 100 (*.f64 (/.f64 1 x) (+.f64 x y)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	206	17
2	2651	17
3	4924	17
4	5432	17
0	0	0
1	0	0

simplify67.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

720×	`fma-def_binary64`
633×	`cancel-sign-sub-inv_binary64`
482×	`fma-neg_binary64`
238×	`neg-mul-1_binary64`
231×	`neg-sub0_binary64`

Counts

135 → 103

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	666
1	128	648
2	398	591
3	1701	540
4	4503	540
5	4992	540
6	4970	540

prune274.0ms (10.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

106 → 3

Alt Table

Status	Error	Program
✓	0.2b	(*.f64 100 (/.f64 x (+.f64 x y)))
✓	0.1b	(/.f64 (*.f64 x 100) (+.f64 x y))
✓	0.5b	(/.f64 100 (*.f64 (/.f64 1 x) (+.f64 x y)))

Compiler

Compiled 1326 to 694 computations (47.7% saved)

regimes119.0ms (4.5%)

Accuracy

Total 0.1b remaining (87.9%)

Threshold costs 0.1b (87.9%)

Counts

27 → 1

Compiler

Compiled 869 to 625 computations (28.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	9	10
2	9	10

end88.0ms (3.3%)

Compiler: Compiled 47 to 32 computations (31.9% saved)

Details

analyze58.0ms (2.2%)

sample824.0ms (31.4%)

simplify6.0ms (0.2%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series94.0ms (3.6%)

rewrite50.0ms (1.9%)

simplify64.0ms (2.5%)

prune218.0ms (8.3%)

localize5.0ms (0.2%)

series17.0ms (0.6%)

rewrite53.0ms (2%)

simplify48.0ms (1.8%)

prune116.0ms (4.4%)

localize4.0ms (0.2%)

series15.0ms (0.6%)

rewrite165.0ms (6.3%)

simplify163.0ms (6.2%)

prune42.0ms (1.6%)

localize6.0ms (0.2%)

series13.0ms (0.5%)

rewrite104.0ms (3.9%)

simplify67.0ms (2.6%)

prune274.0ms (10.4%)

regimes119.0ms (4.5%)

simplify2.0ms (0.1%)

end88.0ms (3.3%)

Profiling