Details

analyze105.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
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
50%	46.8%	3.2%	7
56.2%	37.5%	6.3%	8
62.4%	25.8%	11.8%	9
65.6%	20.3%	14.1%	10
68.7%	13.5%	17.9%	11
70.2%	10.5%	19.2%	12
71.8%	6.9%	21.3%	13
72.6%	5.4%	22%	14

sample14.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
0.0ms	12×	body	80	invalid

simplify116.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4989	16
1	4989	16

prune2.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 5.7b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) (-.f64 3 x))
5.4b	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log_binary64_10396` `add-cbrt-cube_binary64_10404`
12×	`flip3--_binary64_10431` `flip--_binary64_10458`
11×	`add-sqr-sqrt_binary64_10417`
9×	`*-un-lft-identity_binary64_10432`
8×	`associate-/l/_binary64_10498` `frac-times_binary64_10424`
6×	`associate-l_binary64_10492`
5×	`prod-exp_binary64_10379` `associate-r_binary64_10491` `cbrt-unprod_binary64_10401`
4×	`pow1_binary64_10374` `add-cube-cbrt_binary64_10403` `associate-r/_binary64_10493` `associate-l/_binary64_10494` `cbrt-undiv_binary64_10402` `div-exp_binary64_10381`
3×	`difference-of-squares_binary64_10461`
2×	`distribute-lft-out--_binary64_10477` `sub-neg_binary64_10436` `add-log-exp_binary64_10397`
1×	`unswap-sqr_binary64_10460` `distribute-lft-in_binary64_10474` `distribute-rgt-in_binary64_10475` `associate-/r_binary64_10495` `times-frac_binary64_10427` `-commutative_binary64_10500` `pow-prod-down_binary64_10355` `frac-2neg_binary64_10425` `clear-num_binary64_10435` `associate-/l*_binary64_10496` `div-inv_binary64_10433`

Counts

2 → 62

Calls

2 calls:

12.0ms	(*.f64 (-.f64 1 x) (-.f64 3 x))
15.0ms	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))

series584.0ms

Counts

2 → 6

Calls

2 calls:

363.0ms	(*.f64 (-.f64 1 x) (-.f64 3 x))
221.0ms	(/.f64 (.f64 (-.f64 1 x) (-.f64 3 x)) (.f64 y 3))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	331	2655
1	331	2655
0	4912	2543
1	4912	2543
0	331	2655
1	331	2655
0	4912	2543
1	4912	2543
0	1	3
1	1	3
0	183	1529
1	183	1529
0	5627	1036
0	183	1529
1	183	1529
0	5627	1036
0	5126	12

simplify89.0ms

Counts

68 → 68

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5509	1012

prune59.0ms

Filtered

49 candidates to 68 candidates (-38.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	63	5	68
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	63	6	69

Merged error: 0.0b

Counts

69 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 3 x) 3)
0.1b	(/.f64 y (/.f64 (-.f64 3 x) 3))
0.1b	(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))

rewrite115.0ms

Algorithm

rewrite-expression-head

Rules

1218×	`times-frac_binary64_10427`
808×	`add-sqr-sqrt_binary64_10417` `*-un-lft-identity_binary64_10432`
461×	`add-cube-cbrt_binary64_10403`
205×	`difference-of-squares_binary64_10461`
142×	`distribute-lft-out--_binary64_10477`
84×	`associate-/r*_binary64_10495`
35×	`div-inv_binary64_10433`
19×	`add-exp-log_binary64_10396` `add-cbrt-cube_binary64_10404`
14×	`associate-/l*_binary64_10496`
10×	`cbrt-undiv_binary64_10402` `div-exp_binary64_10381`
9×	`associate-/r/_binary64_10497`
4×	`associate-/l/_binary64_10498`
3×	`pow1_binary64_10374` `add-log-exp_binary64_10397` `frac-2neg_binary64_10425` `clear-num_binary64_10435`
2×	`flip3--_binary64_10431` `flip--_binary64_10458` `div-sub_binary64_10426`

Counts

3 → 592

Calls

3 calls:

7.0ms	(/.f64 (-.f64 3 x) 3)
10.0ms	(/.f64 y (/.f64 (-.f64 3 x) 3))
28.0ms	(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))

series915.0ms

Counts

3 → 9

Calls

3 calls:

417.0ms	(/.f64 (-.f64 3 x) 3)
278.0ms	(/.f64 y (/.f64 (-.f64 3 x) 3))
221.0ms	(/.f64 (-.f64 1 x) (/.f64 y (/.f64 (-.f64 3 x) 3)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	580	2700
1	580	2700
0	5098	2493
0	580	2700
1	580	2700
0	5098	2493
0	1	3
1	1	3
0	431	2577
1	431	2577
0	5075	2371
0	431	2577
1	431	2577
0	5075	2371
0	1	3
1	1	3
0	308	1478
1	308	1478
0	4510	624
1	4510	624
0	308	1478
1	308	1478
0	4510	624
1	4510	624
0	5096	12

simplify260.0ms

Counts

601 → 601

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	5257	19860

prune698.0ms

Filtered

364 candidates to 601 candidates (-65.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	599	2	601
Fresh	2	2	4
Picked	0	1	1
Done	1	0	1
Total	602	5	607

Merged error: 0b

Counts

607 → 5

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 1 x) y)
0.0b	(/.f64 (-.f64 3 x) 3)
0.1b	(*.f64 (/.f64 (-.f64 1 x) y) (/.f64 (-.f64 3 x) 3))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

90×	`add-sqr-sqrt_binary64_10417`
78×	`*-un-lft-identity_binary64_10432`
70×	`times-frac_binary64_10427`
43×	`add-cube-cbrt_binary64_10403`
22×	`associate-l_binary64_10492`
21×	`difference-of-squares_binary64_10461`
19×	`associate-r_binary64_10491` `add-exp-log_binary64_10396` `add-cbrt-cube_binary64_10404`
14×	`distribute-lft-out--_binary64_10477`
11×	`associate-/l*_binary64_10496`
6×	`associate-/r*_binary64_10495` `cbrt-undiv_binary64_10402` `div-exp_binary64_10381`
5×	`pow1_binary64_10374`
4×	`prod-exp_binary64_10379` `associate-/l/_binary64_10498` `unswap-sqr_binary64_10460` `cbrt-unprod_binary64_10401` `div-inv_binary64_10433`
3×	`add-log-exp_binary64_10397`
2×	`flip3--_binary64_10431` `flip--_binary64_10458` `frac-2neg_binary64_10425` `clear-num_binary64_10435` `div-sub_binary64_10426`
1×	`frac-times_binary64_10424` `associate-r/_binary64_10493` `-commutative_binary64_10500` `pow-prod-down_binary64_10355` `associate-*l/_binary64_10494`

Counts

3 → 145

Calls

3 calls:

8.0ms	(/.f64 (-.f64 1 x) y)
7.0ms	(/.f64 (-.f64 3 x) 3)
26.0ms	(*.f64 (/.f64 (-.f64 1 x) y) (/.f64 (-.f64 3 x) 3))

series845.0ms

Counts

3 → 9

Calls

3 calls:

162.0ms	(/.f64 (-.f64 1 x) y)
419.0ms	(/.f64 (-.f64 3 x) 3)
264.0ms	(*.f64 (/.f64 (-.f64 1 x) y) (/.f64 (-.f64 3 x) 3))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	137	2652
1	137	2652
0	4990	2520
1	4990	2520
0	137	2652
1	137	2652
0	4990	2520
1	4990	2520
0	1	3
1	1	3
0	308	1478
1	308	1478
0	4510	624
1	4510	624
0	308	1478
1	308	1478
0	4510	624
1	4510	624
0	5096	12
0	344	2478
1	344	2478
0	17	1917
1	17	1917
0	344	2478
1	344	2478
0	17	1917
1	17	1917
0	1	3
1	1	3

simplify117.0ms

Counts

154 → 154

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4948	2387
1	4948	2387

prune117.0ms

Filtered

110 candidates to 154 candidates (-40.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	154	5	159

Merged error: 0b

Counts

159 → 5

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b	(*.f64 (-.f64 3 x) (/.f64 (-.f64 1 x) (/.f64 y 1/3)))
0.2b	(/.f64 (-.f64 1 x) (/.f64 y 1/3))
0.4b	(/.f64 y 1/3)

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

285×	`times-frac_binary64_10427`
223×	`add-sqr-sqrt_binary64_10417`
214×	`*-un-lft-identity_binary64_10432`
131×	`add-cube-cbrt_binary64_10403`
83×	`associate-r_binary64_10491`
55×	`difference-of-squares_binary64_10461`
28×	`distribute-lft-out--_binary64_10477`
19×	`add-exp-log_binary64_10396` `add-cbrt-cube_binary64_10404`
16×	`associate-/r*_binary64_10495` `div-inv_binary64_10433`
9×	`associate-/l*_binary64_10496`
7×	`cbrt-undiv_binary64_10402` `div-exp_binary64_10381`
5×	`pow1_binary64_10374` `associate-l_binary64_10492`
3×	`prod-exp_binary64_10379` `unswap-sqr_binary64_10460` `flip3--_binary64_10431` `flip--_binary64_10458` `add-log-exp_binary64_10397` `cbrt-unprod_binary64_10401`
2×	`associate-/l/_binary64_10498` `frac-times_binary64_10424` `frac-2neg_binary64_10425` `clear-num_binary64_10435` `associate-*l/_binary64_10494` `associate-/r/_binary64_10497`
1×	`associate-r/_binary64_10493` `-commutative_binary64_10500` `pow-prod-down_binary64_10355` `div-sub_binary64_10426`

Counts

3 → 253

Calls

3 calls:

36.0ms	(*.f64 (-.f64 3 x) (/.f64 (-.f64 1 x) (/.f64 y 1/3)))
11.0ms	(/.f64 (-.f64 1 x) (/.f64 y 1/3))
4.0ms	(/.f64 y 1/3)

series1.0s

Counts

3 → 9

Calls

3 calls:

267.0ms	(*.f64 (-.f64 3 x) (/.f64 (-.f64 1 x) (/.f64 y 1/3)))
255.0ms	(/.f64 (-.f64 1 x) (/.f64 y 1/3))
484.0ms	(/.f64 y 1/3)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	297	1227
1	297	1227
0	4594	318
1	4594	318
0	297	1227
1	297	1227
0	4594	318
1	4594	318
0	5090	12
0	437	2565
1	437	2565
0	4976	2060
1	4976	2060
0	437	2565
1	437	2565
0	4976	2060
1	4976	2060
0	1	3
1	1	3
0	137	2658
1	137	2658
0	4781	2409
1	4781	2409
0	137	2658
1	137	2658
0	4781	2409
1	4781	2409
0	1	3
1	1	3

simplify152.0ms

Counts

262 → 262

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5059	5065

prune233.0ms

Filtered

186 candidates to 262 candidates (-40.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	262	0	262
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	262	5	267

Merged error: 0b

Counts

267 → 5

regimes37.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	23	16
1	23	16

end0.0ms

sample382.0ms

Algorithm

intervals

Results

238.0ms	8000×	body	80	valid
9.0ms	313×	body	80	invalid

Details

analyze105.0ms

sample14.0ms

simplify116.0ms

prune2.0ms

localize7.0ms

rewrite30.0ms

series584.0ms

simplify89.0ms

prune59.0ms

localize7.0ms

rewrite115.0ms

series915.0ms

simplify260.0ms

prune698.0ms

localize7.0ms

rewrite49.0ms

series845.0ms

simplify117.0ms

prune117.0ms

localize10.0ms

rewrite70.0ms

series1.0s

simplify152.0ms

prune233.0ms

regimes37.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample382.0ms

Profiling