Details

analyze56.0ms

Algorithm

Search

True	Other	False	Iter
0%	12.5%	87.5%	0
0%	12.5%	87.5%	1
0%	12.5%	87.5%	2
3.1%	9.3%	87.5%	3
3.1%	6.2%	90.7%	4
4.7%	4.7%	90.7%	5
4.7%	3.5%	91.8%	6
5.6%	2.5%	91.8%	7
5.9%	1.8%	92.3%	8
6.4%	1.3%	92.3%	9
6.6%	0.9%	92.5%	10
6.8%	0.6%	92.5%	11
6.9%	0.5%	92.6%	12
7%	0.3%	92.6%	13
7.1%	0.2%	92.7%	14

sample23.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
5.0ms	257×	pre	80	true
0.0ms	1×	body	80	invalid

simplify209.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4910	19
1	4910	19

prune4.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: 0.1b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 m (-.f64 1 m))
0.1b	(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

rewrite276.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
17×	`flip3--_binary64` `flip--_binary64`
12×	`associate-r_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`associate-l_binary64`
9×	`add-cube-cbrt_binary64`
8×	`associate-*r/_binary64` `consolidate-mult-outside_binary64`
7×	`pow1_binary64`
6×	`difference-of-squares_binary64`
4×	`associate-/l/_binary64` `sub-neg_binary64` `consolidate-/-/-b_binary64_1` `consolidate-mult-two_binary64` `frac-times_binary64`
3×	`associate-/r*_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `distribute-lft-out--_binary64` `times-frac_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `div-exp_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

3 → 100

Calls

3 calls:

9.0ms	(*.f64 m (-.f64 1 m))
10.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
252.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

series593.0ms

Counts

3 → 9

Calls

3 calls:

123.0ms	(*.f64 m (-.f64 1 m))
218.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
251.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	5047	2655
0	115	9
1	115	9
0	5047	2655
0	115	9
1	115	9
0	1	3
1	1	3
0	27	2556
1	27	2556
0	29	9
1	29	9
0	27	2556
1	27	2556
0	29	9
1	29	9
0	1	3
1	1	3
0	17	1917
1	17	1917
0	25	9
1	25	9
0	17	1917
1	17	1917
0	25	9
1	25	9
0	1	3
1	1	3

simplify119.0ms

Counts

109 → 109

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4992	1935
1	4992	1935

prune114.0ms

Filtered

74 candidates to 109 candidates (-47.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	6	110

Merged error: 0b

Counts

110 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 v (-.f64 1 m))
0.0b	(/.f64 m (/.f64 v (-.f64 1 m)))
0.1b	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

171×	`times-frac_binary64`
155×	`add-sqr-sqrt_binary64`
137×	`*-un-lft-identity_binary64`
81×	`add-cube-cbrt_binary64`
40×	`difference-of-squares_binary64`
30×	`associate-/r*_binary64`
18×	`distribute-lft-out--_binary64`
17×	`flip3--_binary64` `flip--_binary64`
13×	`associate-l_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`associate-/r/_binary64`
6×	`associate-r_binary64` `associate-/l*_binary64` `div-inv_binary64`
5×	`pow1_binary64`
4×	`cbrt-undiv_binary64` `consolidate-mult-two_binary64` `div-exp_binary64` `frac-times_binary64`
3×	`add-log-exp_binary64` `difference-of-sqr-1_binary64` `consolidate-/-/-b_binary64` `insert-posit16`
2×	`sub-neg_binary64` `associate-r/_binary64` `consolidate-mult-outside_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

3 → 208

Calls

3 calls:

8.0ms	(/.f64 v (-.f64 1 m))
12.0ms	(/.f64 m (/.f64 v (-.f64 1 m)))
49.0ms	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

series860.0ms

Counts

3 → 9

Calls

3 calls:

212.0ms	(/.f64 v (-.f64 1 m))
253.0ms	(/.f64 m (/.f64 v (-.f64 1 m)))
395.0ms	(*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 m))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	5049	2673
0	125	9
1	125	9
0	5049	2673
0	125	9
1	125	9
0	1	3
1	1	3
0	27	2556
1	27	2556
0	38	9
1	38	9
0	27	2556
1	27	2556
0	38	9
1	38	9
0	1	3
1	1	3
0	17	2529
1	17	2529
0	22	9
1	22	9
0	17	2529
1	17	2529
0	22	9
1	22	9
0	1	3
1	1	3

simplify112.0ms

Counts

217 → 217

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5470	4717

prune197.0ms

Filtered

155 candidates to 217 candidates (-40.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	217	6	223

Merged error: 0b

Counts

223 → 6

localize12.0ms

Local error

Found 3 expressions with local error:

0.1b

(/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m))

0.1b

(/.f64 (/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m)) v)

0.1b

(*.f64 (-.f64 (/.f64 (/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m)) v) 1) (-.f64 1 m))

rewrite135.0ms

Algorithm

rewrite-expression-head

Rules

286×	`*-un-lft-identity_binary64`
251×	`times-frac_binary64`
127×	`add-sqr-sqrt_binary64`
101×	`add-cube-cbrt_binary64`
78×	`distribute-lft-out_binary64`
42×	`distribute-lft-neg-in_binary64` `unpow3_binary64`
41×	`associate-/l*_binary64`
21×	`distribute-rgt-out_binary64` `distribute-rgt1-in_binary64` `distribute-rgt-neg-in_binary64`
13×	`associate-l_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
11×	`flip3--_binary64` `flip--_binary64`
10×	`associate-/r/_binary64`
8×	`flip3-+_binary64` `difference-of-squares_binary64` `flip-+_binary64`
7×	`associate-/r*_binary64`
6×	`associate-r_binary64` `div-sub_binary64` `div-inv_binary64`
5×	`pow1_binary64`
4×	`cbrt-undiv_binary64` `consolidate-mult-two_binary64` `div-exp_binary64` `frac-times_binary64`
3×	`associate-/l/_binary64` `add-log-exp_binary64` `difference-of-sqr-1_binary64` `consolidate-/-/-b_binary64_1` `insert-posit16`
2×	`sub-neg_binary64` `associate-+r-_binary64` `neg-sub0_binary64` `associate-r/_binary64` `consolidate-mult-outside_binary64` `consolidate-/-/-b_binary64` `clear-num_binary64` `frac-2neg_binary64` `distribute-lft-out--_binary64` `unsub-neg_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

3 → 268

Calls

3 calls:

17.0ms

(/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m))

31.0ms

(/.f64 (/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m)) v)

67.0ms

(*.f64 (-.f64 (/.f64 (/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m)) v) 1) (-.f64 1 m))

series800.0ms

Counts

3 → 9

Calls

3 calls:

144.0ms

(/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m))

384.0ms

(/.f64 (/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m)) v)

271.0ms

(*.f64 (-.f64 (/.f64 (/.f64 (+.f64 m (neg.f64 (pow.f64 m 3))) (+.f64 1 m)) v) 1) (-.f64 1 m))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	5103	2763
0	181	9
1	181	9
0	5103	2763
0	181	9
1	181	9
0	1	3
1	1	3
0	4999	2652
1	4999	2652
0	136	9
1	136	9
0	4999	2652
1	4999	2652
0	136	9
1	136	9
0	1	3
1	1	3
0	52	1656
1	52	1656
0	47	9
1	47	9
0	52	1656
1	52	1656
0	47	9
1	47	9
0	1	3
1	1	3

simplify132.0ms

Counts

277 → 277

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5810	7654

prune277.0ms

Filtered

175 candidates to 277 candidates (-58.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	277	0	277
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	277	6	283

Merged error: 0b

Counts

283 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 m (-.f64 1 m))
0.1b	(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
0.1b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

66×	`flip3--_binary64` `flip--_binary64`
52×	`consolidate-mult-two_binary64` `frac-times_binary64`
36×	`flip3-+_binary64` `flip-+_binary64`
30×	`add-sqr-sqrt_binary64`
26×	`associate-*l/_binary64`
25×	`*-un-lft-identity_binary64`
20×	`associate-r_binary64` `associate-*r/_binary64` `consolidate-mult-outside_binary64`
18×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`pow1_binary64`
11×	`add-cube-cbrt_binary64` `associate-l_binary64`
8×	`difference-of-squares_binary64`
6×	`cbrt-unprod_binary64` `prod-exp_binary64`
5×	`pow-prod-down_binary64`
4×	`associate-/l/_binary64` `add-log-exp_binary64` `sub-neg_binary64` `consolidate-/-/-b_binary64_1` `distribute-lft-out--_binary64` `insert-posit16` `sqrt-prod_binary64`
3×	`associate-/r_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `times-frac_binary64` `-commutative_binary64`
2×	`distribute-lft-out_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64`
1×	`difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 200

Calls

4 calls:

9.0ms	(*.f64 m (-.f64 1 m))
10.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
29.0ms	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
20.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

series824.0ms

Counts

4 → 12

Calls

4 calls:

120.0ms	(*.f64 m (-.f64 1 m))
215.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
255.0ms	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
234.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	5434	2685
0	131	9
1	131	9
0	5434	2685
0	131	9
1	131	9
0	1	3
1	1	3
0	5014	2781
0	182	9
1	182	9
0	5014	2781
0	182	9
1	182	9
0	1	3
1	1	3
0	27	2556
1	27	2556
0	29	9
1	29	9
0	27	2556
1	27	2556
0	29	9
1	29	9
0	1	3
1	1	3
0	17	1917
1	17	1917
0	25	9
1	25	9
0	17	1917
1	17	1917
0	25	9
1	25	9
0	1	3
1	1	3

simplify153.0ms

Counts

212 → 212

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5414	8959

prune309.0ms

Filtered

150 candidates to 212 candidates (-41.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	212	0	212
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	212	6	218

Merged error: 0b

Counts

218 → 6

regimes36.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	31	19
1	31	19

end0.0ms

sample551.0ms

Algorithm

intervals

Results

264.0ms	8000×	body	80	valid
142.0ms	8051×	pre	80	true
2.0ms	51×	body	80	invalid

Details

analyze56.0ms

sample23.0ms

simplify209.0ms

prune4.0ms

localize8.0ms

rewrite276.0ms

series593.0ms

simplify119.0ms

prune114.0ms

localize7.0ms

rewrite82.0ms

series860.0ms

simplify112.0ms

prune197.0ms

localize12.0ms

rewrite135.0ms

series800.0ms

simplify132.0ms

prune277.0ms

localize11.0ms

rewrite85.0ms

series824.0ms

simplify153.0ms

prune309.0ms

regimes36.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample551.0ms

Profiling