Details

analyze154.0ms (11.5%)

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
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
81.2%	18.7%	0.1%	7
81.2%	15.6%	3.2%	8
84.3%	10.9%	4.8%	9
84.3%	8.6%	7.1%	10
85.9%	5.9%	8.3%	11
85.9%	4.5%	9.7%	12
86.6%	3%	10.3%	13
86.6%	2.3%	11.1%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample43.0ms (3.2%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify13.0ms (1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	13	7
3	16	7
4	17	7
5	17	7

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 (*.f64 x y) 2)

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize7.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (*.f64 x y) 2)

series9.0ms (0.7%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(/.f64 (*.f64 x y) 2)

rewrite8.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
3×	`associate-/r*_binary64`
3×	`*-un-lft-identity_binary64`
3×	`times-frac_binary64`

Counts

1 → 23

Calls

1 calls:

6.0ms

(/.f64 (*.f64 x y) 2)

simplify139.0ms (10.4%)

Algorithm

1×	egg-herbie

Rules

736×	`fma-neg_binary64`
629×	`div-sub_binary64`
557×	`associate-/r/_binary64`
433×	`fabs-mul_binary64`
379×	`associate-*l/_binary64`

Counts

47 → 38

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	57	423
1	115	378
2	333	378
3	914	378
4	2246	378
5	2532	378
6	3237	378
7	4411	378
8	4844	378
9	4736	378
10	4934	378

prune36.0ms (2.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	2	39

Error

Counts

39 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (*.f64 x y) 2)
▶	0.0b	(*.f64 x (/.f64 y 2))

Compiler

Compiled 373 to 231 computations (38.1% saved)

localize6.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (/.f64 y 2))

series9.0ms (0.7%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(*.f64 x (/.f64 y 2))

rewrite14.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`

Counts

1 → 34

Calls

1 calls:

10.0ms

(*.f64 x (/.f64 y 2))

simplify121.0ms (9%)

Algorithm

1×	egg-herbie

Rules

683×	`fma-def_binary64`
609×	`times-frac_binary64`
385×	`associate-/r/_binary64`
365×	`unswap-sqr_binary64`
312×	`fabs-mul_binary64`

Counts

58 → 51

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	75	558
1	162	512
2	518	512
3	1157	512
4	1859	512
5	2225	512
6	2735	512
7	3755	512
8	5073	512

prune46.0ms (3.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	51	2	53

Error

Counts

53 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (*.f64 x y) 2)
✓	0.0b	(*.f64 x (/.f64 y 2))

Compiler

Compiled 556 to 348 computations (37.4% saved)

regimes56.0ms (4.2%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Counts

5 → 1

Compiler

Compiled 228 to 176 computations (22.8% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end6.0ms (0.5%)

Remove: (sort x y)
Compiler: Compiled 21 to 15 computations (28.6% saved)

sample670.0ms (50%)

Algorithm

1×

intervals

Results

306.0ms	8000×	body	128	valid
5.0ms	136×	body	128	invalid

Compiler

Compiled 31 to 23 computations (25.8% saved)

Details

analyze154.0ms (11.5%)

sample43.0ms (3.2%)

simplify13.0ms (1%)

prune3.0ms (0.2%)

localize7.0ms (0.5%)

series9.0ms (0.7%)

rewrite8.0ms (0.6%)

simplify139.0ms (10.4%)

prune36.0ms (2.7%)

localize6.0ms (0.5%)

series9.0ms (0.7%)

rewrite14.0ms (1%)

simplify121.0ms (9%)

prune46.0ms (3.4%)

regimes56.0ms (4.2%)

simplify2.0ms (0.2%)

end6.0ms (0.5%)

sample670.0ms (50%)

Profiling