Details

analyze803.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
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

sample212.0ms

Algorithm

intervals

Results

116.0ms	84×	body	1280	valid
51.0ms	59×	body	640	valid
15.0ms	24×	body	320	valid
14.0ms	74×	body	80	valid
6.0ms	15×	body	160	valid

simplify98.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4925	77
1	4925	77

prune12.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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.3b

Counts

2 → 2

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.2b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
11×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`associate-l_binary64`
8×	`add-log-exp_binary64` `sub-neg_binary64` `add-cube-cbrt_binary64`
7×	`associate-r_binary64`
6×	`associate-*r/_binary64`
5×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `difference-of-squares_binary64` `sqrt-prod_binary64`
4×	`pow-prod-down_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `insert-posit16` `flip--_binary64`
3×	`distribute-lft-out--_binary64`
2×	`diff-log_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
1×	`times-frac_binary64` `diff-cos_binary64`

Counts

4 → 85

Calls

4 calls:

14.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
12.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
6.0ms	(-.f64 3 (sqrt.f64 5))
6.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series919.0ms

Counts

4 → 10

Calls

4 calls:

286.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
371.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(-.f64 3 (sqrt.f64 5))
261.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	280	210
1	280	210
0	5	9
1	5	9
0	280	210
1	280	210
0	5	9
1	5	9
0	11	21
1	11	21
0	474	1055
1	474	1055
0	60	250
1	60	250
0	474	1055
1	474	1055
0	60	250
1	60	250
0	4969	39
1	4969	39
0	464	504
1	464	504
0	29	72
1	29	72
0	464	504
1	464	504
0	29	72
1	29	72
0	79	3
1	79	3

simplify127.0ms

Counts

95 → 95

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4925	1488
1	4925	1488

prune226.0ms

Filtered

67 candidates to 95 candidates (-41.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	85	10	95
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	86	11	97

Merged error: 0.1b

Counts

97 → 11

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 (sqrt.f64 2))))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.2b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
12×	`-un-lft-identity_binary64` `associate-l*_binary64`
10×	`sqrt-prod_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`pow-prod-down_binary64` `sub-neg_binary64` `cbrt-unprod_binary64` `associate-*r/_binary64` `prod-exp_binary64`
4×	`flip3--_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `insert-posit16` `flip--_binary64`
3×	`difference-of-squares_binary64`
2×	`diff-log_binary64` `associate-r_binary64` `distribute-lft-out--_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`diff-cos_binary64`

Counts

4 → 82

Calls

4 calls:

20.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 (sqrt.f64 2))))
12.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms	(-.f64 3 (sqrt.f64 5))
6.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series1.0s

Counts

4 → 10

Calls

4 calls:

371.0ms	(.f64 (sqrt.f64 (sqrt.f64 2)) (.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)) (sqrt.f64 (sqrt.f64 2))))
373.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(-.f64 3 (sqrt.f64 5))
263.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	280	210
1	280	210
0	5	9
1	5	9
0	280	210
1	280	210
0	5	9
1	5	9
0	11	21
1	11	21
0	474	1055
1	474	1055
0	60	250
1	60	250
0	474	1055
1	474	1055
0	60	250
1	60	250
0	4969	39
1	4969	39
0	559	915
1	559	915
0	75	315
1	75	315
0	559	915
1	559	915
0	75	315
1	75	315
0	206	3
1	206	3

simplify87.0ms

Counts

92 → 92

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5006	1450

prune210.0ms

Filtered

65 candidates to 92 candidates (-41.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	92	11	103

Merged error: 0.1b

Counts

103 → 11

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.8b	(+.f64 (.f64 3/2 (.f64 (cos.f64 x) (sqrt.f64 5))) (*.f64 (cos.f64 x) -3/2))
1.0b	(-.f64 3 (sqrt.f64 5))
1.2b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
10×	`add-log-exp_binary64`
7×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `associate-r_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
5×	`difference-of-squares_binary64` `sqrt-prod_binary64`
4×	`sub-neg_binary64` `insert-posit16`
3×	`flip3--_binary64` `distribute-lft-out--_binary64` `flip--_binary64`
2×	`diff-log_binary64` `associate-*r/_binary64` `unswap-sqr_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `prod-exp_binary64` `times-frac_binary64` `+-commutative_binary64` `flip-+_binary64` `diff-cos_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 72

Calls

4 calls:

14.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
10.0ms	(+.f64 (.f64 3/2 (.f64 (cos.f64 x) (sqrt.f64 5))) (*.f64 (cos.f64 x) -3/2))
5.0ms	(-.f64 3 (sqrt.f64 5))
6.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series1.0s

Counts

4 → 10

Calls

4 calls:

288.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
470.0ms	(+.f64 (.f64 3/2 (.f64 (cos.f64 x) (sqrt.f64 5))) (*.f64 (cos.f64 x) -3/2))
0.0ms	(-.f64 3 (sqrt.f64 5))
261.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Iterations

Useful iterations: 0 (11.0ms)

Iter	Nodes	Cost
0	280	210
1	280	210
0	5	9
1	5	9
0	280	210
1	280	210
0	5	9
1	5	9
0	11	21
1	11	21
0	599	1238
1	599	1238
0	22	81
1	22	81
0	599	1238
1	599	1238
0	22	81
1	22	81
0	5008	73
0	464	504
1	464	504
0	29	72
1	29	72
0	464	504
1	464	504
0	29	72
1	29	72
0	79	3
1	79	3

simplify131.0ms

Counts

82 → 82

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	5228	1404

prune207.0ms

Filtered

63 candidates to 82 candidates (-30.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	79	3	82
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	81	12	93

Merged error: 0.1b

Counts

93 → 12

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5)))) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) 45/4) (.f64 (cos.f64 x) (.f64 (cos.f64 x) 9/4))) (.f64 (cos.f64 x) (+.f64 (.f64 (sqrt.f64 5) 3/2) 3/2))))
0.5b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.2b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
10×	`add-log-exp_binary64`
8×	`sub-neg_binary64`
7×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `associate-r_binary64` `associate-r/_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
5×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `difference-of-squares_binary64` `sqrt-prod_binary64`
4×	`flip3--_binary64` `associate-+l+_binary64` `insert-posit16` `flip--_binary64`
3×	`distribute-lft-out--_binary64`
2×	`diff-log_binary64` `frac-add_binary64` `unswap-sqr_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-+r-_binary64` `cbrt-unprod_binary64` `div-sub_binary64` `prod-exp_binary64` `times-frac_binary64` `+-commutative_binary64` `flip-+_binary64` `diff-cos_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 79

Calls

4 calls:

22.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5)))) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) 45/4) (.f64 (cos.f64 x) (.f64 (cos.f64 x) 9/4))) (.f64 (cos.f64 x) (+.f64 (.f64 (sqrt.f64 5) 3/2) 3/2))))
15.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
5.0ms	(-.f64 3 (sqrt.f64 5))
6.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series1.2s

Counts

4 → 10

Calls

4 calls:

654.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (-.f64 3 (sqrt.f64 5)))) (/.f64 (-.f64 (.f64 (.f64 (cos.f64 x) (cos.f64 x)) 45/4) (.f64 (cos.f64 x) (.f64 (cos.f64 x) 9/4))) (.f64 (cos.f64 x) (+.f64 (.f64 (sqrt.f64 5) 3/2) 3/2))))
281.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.0ms	(-.f64 3 (sqrt.f64 5))
261.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	280	210
1	280	210
0	5	9
1	5	9
0	280	210
1	280	210
0	5	9
1	5	9
0	11	21
1	11	21
0	464	504
1	464	504
0	29	72
1	29	72
0	464	504
1	464	504
0	29	72
1	29	72
0	79	3
1	79	3
0	900	1964
1	900	1964
0	4950	1314
1	4950	1314
0	900	1964
1	900	1964
0	4950	1314
1	4950	1314
0	5420	109

simplify73.0ms

Counts

89 → 89

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5010	2121

prune234.0ms

Filtered

69 candidates to 89 candidates (-29.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	85	4	89
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	87	14	101

Merged error: 0.1b

Counts

101 → 14

regimes198.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	131	106
1	131	106

end0.0ms

sample6.7s

Algorithm

intervals

Results

3.7s	2774×	body	1280	valid
1.7s	1819×	body	640	valid
452.0ms	2316×	body	80	valid
445.0ms	722×	body	320	valid
149.0ms	369×	body	160	valid

Details

analyze803.0ms

sample212.0ms

simplify98.0ms

prune12.0ms

localize33.0ms

rewrite42.0ms

series919.0ms

simplify127.0ms

prune226.0ms

localize36.0ms

rewrite46.0ms

series1.0s

simplify87.0ms

prune210.0ms

localize37.0ms

rewrite37.0ms

series1.0s

simplify131.0ms

prune207.0ms

localize42.0ms

rewrite51.0ms

series1.2s

simplify73.0ms

prune234.0ms

regimes198.0ms

bsearch0.0ms

simplify9.0ms

end0.0ms

sample6.7s

Profiling