Details

analyze1.9s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	98.1%	1.9%	13
0%	98.1%	1.9%	14

sample195.0ms

Algorithm

intervals

Results

48.0ms	85×	body	5120	valid
33.0ms	414×	body	80	nan
21.0ms	25×	body	5120	exit
21.0ms	46×	body	2560	valid
11.0ms	135×	body	80	invalid
10.0ms	26×	body	1280	valid
6.0ms	80×	body	80	valid
3.0ms	10×	body	640	valid
1.0ms	3×	body	2560	invalid
1.0ms	3×	body	1280	invalid
1.0ms	5×	body	320	valid
1.0ms	3×	body	640	invalid
1.0ms	4×	body	160	valid
0.0ms	2×	body	320	invalid

simplify109.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	5500	63

prune6.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: 60.2b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

17.6b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
17.6b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
17.6b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
28.4b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))

rewrite129.0ms

Algorithm

rewrite-expression-head

Rules

211×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
117×	`cbrt-unprod_binary64` `prod-exp_binary64`
45×	`cbrt-undiv_binary64` `div-exp_binary64`
6×	`*-un-lft-identity_binary64` `add-log-exp_binary64`
4×	`pow1_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `insert-posit16`
3×	`associate-/r_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `div-inv_binary64`
2×	`frac-add_binary64` `sqrt-div_binary64`
1×	`flip3-+_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 147

Calls

4 calls:

17.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
18.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
18.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
63.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))

series2.0s

Counts

4 → 12

Calls

4 calls:

427.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
430.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
433.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
678.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	918	2015
1	918	2015
0	141	1232
1	141	1232
0	918	2015
1	918	2015
0	141	1232
1	141	1232
0	116	27
1	116	27
0	745	942
1	745	942
0	10	9
1	10	9
0	745	942
1	745	942
0	10	9
1	10	9
0	1	3
1	1	3
0	745	942
1	745	942
0	10	9
1	10	9
0	745	942
1	745	942
0	10	9
1	10	9
0	1	3
1	1	3
0	745	942
1	745	942
0	10	9
1	10	9
0	745	942
1	745	942
0	10	9
1	10	9
0	1	3
1	1	3

simplify99.0ms

Counts

159 → 159

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5249	4048

prune127.0ms

Filtered

62 candidates to 159 candidates (-156.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	153	6	159
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	154	6	160

Merged error: 31.7b

Counts

160 → 6

localize6.0ms

Local error

Found 1 expressions with local error:

5.2b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 0))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`associate-l_binary64`
6×	`associate-r_binary64`
5×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
4×	`cbrt-unprod_binary64` `prod-exp_binary64` `sqrt-prod_binary64`
3×	`pow1_binary64` `times-frac_binary64`
2×	`cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `add-log-exp_binary64` `div-inv_binary64` `insert-posit16` `associate-l/_binary64` `-commutative_binary64`

Counts

1 → 32

Calls

1 calls:

11.0ms

(*.f64 (/.f64 c0 (*.f64 2 w)) (sqrt.f64 0))

series283.0ms

Counts

1 → 3

Calls

1 calls:

283.0ms

(*.f64 (/.f64 c0 (*.f64 2 w)) (sqrt.f64 0))

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	452	459
1	452	459
0	44	84
1	44	84
0	452	459
1	452	459
0	44	84
1	44	84
0	143	3
1	143	3

simplify126.0ms

Counts

35 → 35

Iterations

Useful iterations: 0 (107.0ms)

Iter	Nodes	Cost
0	4907	401
1	4907	401

prune32.0ms

Filtered

21 candidates to 35 candidates (-66.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	35	6	41

Merged error: 29.8b

Counts

41 → 6

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify19.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	0	0

prune10.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	5	5
Picked	1	1
Done	0	0
Total	6	6

Merged error: 29.8b

Counts

6 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

17.6b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
17.6b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
19.9b	(/.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 d d)) (.f64 D D))
31.8b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 d d)) (.f64 D D))) (.f64 M M))))

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

207×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
107×	`cbrt-unprod_binary64` `prod-exp_binary64`
52×	`cbrt-undiv_binary64` `div-exp_binary64`
6×	`*-un-lft-identity_binary64` `add-log-exp_binary64`
4×	`pow1_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `insert-posit16`
3×	`associate-/r_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `div-inv_binary64`
2×	`frac-add_binary64` `sqrt-div_binary64`
1×	`flip3-+_binary64` `associate-/l/_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `associate-*l/_binary64` `sum-log_binary64`

Counts

4 → 146

Calls

4 calls:

17.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
18.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
17.0ms	(/.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 d d)) (.f64 D D))
60.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 d d)) (.f64 D D))) (.f64 M M))))

series2.1s

Counts

4 → 12

Calls

4 calls:

436.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
438.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
430.0ms	(/.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 d d)) (.f64 D D))
800.0ms	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 d d)) (.f64 D D))) (.f64 M M))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	1177	2105
1	1177	2105
0	139	1232
1	139	1232
0	1177	2105
1	1177	2105
0	139	1232
1	139	1232
0	116	27
1	116	27
0	622	1032
1	622	1032
0	8	9
1	8	9
0	622	1032
1	622	1032
0	8	9
1	8	9
0	1	3
1	1	3
0	745	942
1	745	942
0	10	9
1	10	9
0	745	942
1	745	942
0	10	9
1	10	9
0	1	3
1	1	3
0	745	942
1	745	942
0	10	9
1	10	9
0	745	942
1	745	942
0	10	9
1	10	9
0	1	3
1	1	3

simplify111.0ms

Counts

158 → 158

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5006	4033

prune88.0ms

Filtered

61 candidates to 158 candidates (-159.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	158	6	164

Merged error: 29.8b

Counts

164 → 6

regimes182.0ms

Accuracy

0% (2.2b remaining)

Error of 33.3b against oracle of 31.1b and baseline of 33.3b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	1	1
1	1	1

end0.0ms

sample5.6s

Algorithm

intervals

Results

1.4s	2339×	body	5120	valid
989.0ms	12578×	body	80	nan
773.0ms	1635×	body	2560	valid
362.0ms	4484×	body	80	invalid
355.0ms	576×	body	5120	exit
316.0ms	818×	body	1280	valid
199.0ms	2510×	body	80	valid
129.0ms	406×	body	640	valid
43.0ms	193×	body	320	valid
29.0ms	62×	body	2560	invalid
25.0ms	67×	body	1280	invalid
16.0ms	54×	body	640	invalid
15.0ms	99×	body	160	valid
8.0ms	36×	body	320	invalid
3.0ms	18×	body	160	invalid
2.0ms	3×	body	5120	invalid

Details

analyze1.9s

sample195.0ms

simplify109.0ms

prune6.0ms

localize21.0ms

rewrite129.0ms

series2.0s

simplify99.0ms

prune127.0ms

localize6.0ms

rewrite13.0ms

series283.0ms

simplify126.0ms

prune32.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify19.0ms

prune10.0ms

localize23.0ms

rewrite125.0ms

series2.1s

simplify111.0ms

prune88.0ms

regimes182.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample5.6s

Profiling