Details

analyze40.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
56.2%	43.7%	0.1%	5
65.6%	34.3%	0.1%	6
79.6%	20.3%	0.1%	7
83.5%	16.4%	0.1%	8
90.1%	9.8%	0.1%	9
91.9%	8%	0.1%	10
95.1%	4.8%	0.1%	11
96%	4%	0.1%	12
97.5%	2.4%	0.1%	13
97.9%	2%	0.1%	14

sample13.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify337.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (322.0ms)

Iter	Nodes	Cost
0	2117	13
1	2117	13

prune2.0ms

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

Merged error: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64_34862`
40×	`add-sqr-sqrt_binary64_34847`
30×	`times-frac_binary64_34857`
19×	`distribute-lft-out--_binary64_34907`
14×	`add-cube-cbrt_binary64_34833`
13×	`difference-of-squares_binary64_34891`
6×	`associate-/r*_binary64_34925` `distribute-lft-out_binary64_34906`
5×	`associate-/l*_binary64_34926`
3×	`add-exp-log_binary64_34826` `add-cbrt-cube_binary64_34834`
2×	`flip--_binary64_34888` `flip3--_binary64_34861` `associate-/l/_binary64_34928` `associate-/r/_binary64_34927`
1×	`cbrt-undiv_binary64_34832` `div-sub_binary64_34856` `frac-2neg_binary64_34855` `div-inv_binary64_34863` `pow1_binary64_34804` `add-log-exp_binary64_34827` `div-exp_binary64_34811` `clear-num_binary64_34865`

Counts

1 → 58

Calls

1 calls:

17.0ms

(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

series262.0ms

Counts

1 → 3

Calls

1 calls:

262.0ms

(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	312	2634
1	312	2634
0	4842	2565
1	4842	2565
0	312	2634
1	312	2634
0	4842	2565
1	4842	2565
0	1	3
1	1	3

simplify100.0ms

Counts

61 → 61

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4952	1312
1	4952	1312

prune39.0ms

Filtered

37 candidates to 61 candidates (-64.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	3	62

Merged error: 0b

Counts

62 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (-.f64 2 (+.f64 x y)))
0.2b	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 2 (+.f64 x y))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

62×	`*-un-lft-identity_binary64_34862`
47×	`add-sqr-sqrt_binary64_34847`
38×	`times-frac_binary64_34857`
24×	`associate-r_binary64_34921` `add-cube-cbrt_binary64_34833`
15×	`distribute-lft-out--_binary64_34907` `add-exp-log_binary64_34826`
9×	`add-cbrt-cube_binary64_34834`
8×	`difference-of-squares_binary64_34891`
7×	`distribute-lft-out_binary64_34906`
6×	`associate-/r*_binary64_34925`
5×	`pow1_binary64_34804` `associate-l_binary64_34922`
4×	`flip--_binary64_34888` `flip3--_binary64_34861` `div-exp_binary64_34811` `associate-/r/_binary64_34927` `prod-exp_binary64_34809`
3×	`unswap-sqr_binary64_34890` `associate-/l*_binary64_34926`
2×	`cbrt-undiv_binary64_34832` `cbrt-unprod_binary64_34831` `div-inv_binary64_34863` `associate-*l/_binary64_34924` `add-log-exp_binary64_34827` `frac-times_binary64_34854` `1-exp_binary64_34822` `rec-exp_binary64_34810`
1×	`associate-r/_binary64_34923` `frac-2neg_binary64_34855` `pow-prod-down_binary64_34785` `pow-flip_binary64_34788` `inv-pow_binary64_34780` `-commutative_binary64_34930` `un-div-inv_binary64_34864` `clear-num_binary64_34865`

Counts

2 → 98

Calls

2 calls:

9.0ms	(/.f64 1 (-.f64 2 (+.f64 x y)))
21.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 2 (+.f64 x y))))

series568.0ms

Counts

2 → 6

Calls

2 calls:

269.0ms	(/.f64 1 (-.f64 2 (+.f64 x y)))
298.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 2 (+.f64 x y))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	125	2670
1	125	2670
0	4909	2565
1	4909	2565
0	125	2670
1	125	2670
0	4909	2565
1	4909	2565
0	1	3
1	1	3
0	293	2547
1	293	2547
0	5025	2376
0	293	2547
1	293	2547
0	5025	2376
0	1	3
1	1	3

simplify120.0ms

Counts

104 → 104

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5032	1566

prune58.0ms

Filtered

58 candidates to 104 candidates (-79.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	104	3	107

Merged error: 0b

Counts

107 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (-.f64 2 (+.f64 x y)))
0.2b	(*.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (+.f64 x y)))) (/.f64 (-.f64 x y) (sqrt.f64 (-.f64 2 (+.f64 x y)))))
0.3b	(/.f64 (-.f64 x y) (sqrt.f64 (-.f64 2 (+.f64 x y))))
0.3b	(/.f64 1 (sqrt.f64 (-.f64 2 (+.f64 x y))))

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

220×	`*-un-lft-identity_binary64_34862`
204×	`add-sqr-sqrt_binary64_34847`
166×	`times-frac_binary64_34857`
125×	`sqrt-prod_binary64_34841`
81×	`add-cube-cbrt_binary64_34833`
57×	`distribute-lft-out--_binary64_34907`
51×	`associate-r_binary64_34921`
38×	`difference-of-squares_binary64_34891`
33×	`associate-l_binary64_34922`
32×	`add-exp-log_binary64_34826`
20×	`add-cbrt-cube_binary64_34834`
19×	`distribute-lft-out_binary64_34906`
18×	`associate-/r*_binary64_34925`
15×	`unswap-sqr_binary64_34890`
11×	`div-exp_binary64_34811`
10×	`sqrt-div_binary64_34842`
9×	`pow1_binary64_34804`
8×	`associate-/r/_binary64_34927` `prod-exp_binary64_34809` `associate-/l*_binary64_34926`
6×	`cbrt-undiv_binary64_34832` `flip--_binary64_34888` `flip3--_binary64_34861`
4×	`cbrt-unprod_binary64_34831` `div-inv_binary64_34863` `add-log-exp_binary64_34827`
3×	`pow-flip_binary64_34788` `1-exp_binary64_34822` `rec-exp_binary64_34810`
2×	`pow1/2_binary64_34794` `sqrt-pow1_binary64_34843` `frac-2neg_binary64_34855` `associate-/l/_binary64_34928` `clear-num_binary64_34865`
1×	`rem-sqrt-square_binary64_34850` `associate-r/_binary64_34923` `div-sub_binary64_34856` `pow-prod-down_binary64_34785` `associate-l/_binary64_34924` `inv-pow_binary64_34780` `frac-times_binary64_34854` `*-commutative_binary64_34930`

Counts

4 → 276

Calls

4 calls:

8.0ms	(sqrt.f64 (-.f64 2 (+.f64 x y)))
61.0ms	(*.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (+.f64 x y)))) (/.f64 (-.f64 x y) (sqrt.f64 (-.f64 2 (+.f64 x y)))))
14.0ms	(/.f64 (-.f64 x y) (sqrt.f64 (-.f64 2 (+.f64 x y))))
11.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (+.f64 x y))))

series1.1s

Counts

4 → 12

Calls

4 calls:

239.0ms	(sqrt.f64 (-.f64 2 (+.f64 x y)))
244.0ms	(*.f64 (/.f64 1 (sqrt.f64 (-.f64 2 (+.f64 x y)))) (/.f64 (-.f64 x y) (sqrt.f64 (-.f64 2 (+.f64 x y)))))
323.0ms	(/.f64 (-.f64 x y) (sqrt.f64 (-.f64 2 (+.f64 x y))))
330.0ms	(/.f64 1 (sqrt.f64 (-.f64 2 (+.f64 x y))))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	308	2594
1	308	2594
0	4759	2437
1	4759	2437
0	308	2594
1	308	2594
0	4759	2437
1	4759	2437
0	1	3
1	1	3
0	322	2672
1	322	2672
0	4872	2586
1	4872	2586
0	322	2672
1	322	2672
0	4872	2586
1	4872	2586
0	1	3
1	1	3
0	156	2889
1	156	2889
0	4804	2592
1	4804	2592
0	156	2889
1	156	2889
0	4804	2592
1	4804	2592
0	1	3
1	1	3
0	121	2425
1	121	2425
0	5202	2298
0	121	2425
1	121	2425
0	5202	2298
0	1	3
1	1	3

simplify154.0ms

Counts

288 → 288

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5103	6503

prune202.0ms

Filtered

144 candidates to 288 candidates (-100.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Merged error: 0b

Counts

291 → 3

regimes31.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	37	13
1	37	13

end0.0ms

sample356.0ms

Algorithm

intervals

Results

205.0ms	7998×	body	80	valid
0.0ms	2×	body	640	valid

Details

analyze40.0ms

sample13.0ms

simplify337.0ms

prune2.0ms

localize6.0ms

rewrite20.0ms

series262.0ms

simplify100.0ms

prune39.0ms

localize7.0ms

rewrite38.0ms

series568.0ms

simplify120.0ms

prune58.0ms

localize10.0ms

rewrite113.0ms

series1.1s

simplify154.0ms

prune202.0ms

regimes31.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample356.0ms

Profiling