Details

analyze407.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
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

sample64.0ms

Algorithm

intervals

Results

29.0ms	125×	body	320	valid
21.0ms	125×	body	160	valid
3.0ms	40×	body	80	nan
0.0ms	6×	body	80	valid

simplify310.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (295.0ms)

Iter	Nodes	Cost
0	4794	48
1	4794	48

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

Counts

2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

5.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
8.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
25.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
25.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

10×	`cbrt-div_binary64`
8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
4×	`add-log-exp_binary64` `flip3--_binary64` `associate-*r/_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16` `flip--_binary64` `frac-times_binary64` `sqrt-div_binary64`
2×	`flip3-+_binary64` `pow1/2_binary64` `pow1/3_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `difference-of-squares_binary64` `flip-+_binary64` `cbrt-prod_binary64` `associate-*l/_binary64`

Counts

4 → 64

Calls

4 calls:

16.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
16.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series229.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
57.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
57.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
59.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	75	9
1	75	9
0	75	9
1	75	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3

simplify120.0ms

Counts

76 → 76

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5077	1482

prune170.0ms

Filtered

62 candidates to 76 candidates (-22.6%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	58	18	76
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	59	19	78

Merged error: 26.6b

Counts

78 → 19

localize20.0ms

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
5.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
25.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
25.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
5×	`cbrt-div_binary64` `flip3--_binary64` `flip--_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16` `sqrt-div_binary64`
3×	`difference-of-squares_binary64`
2×	`pow1/2_binary64` `associate-*r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `frac-times_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `pow1/3_binary64` `cbrt-prod_binary64` `associate-*l/_binary64`

Counts

4 → 62

Calls

4 calls:

5.0ms	(-.f64 (.f64 g g) (.f64 h h))
18.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series220.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(-.f64 (.f64 g g) (.f64 h h))
53.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
57.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
55.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

simplify149.0ms

Counts

74 → 74

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	4971	1218
1	4971	1218

prune144.0ms

Filtered

59 candidates to 74 candidates (-25.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	66	8	74
Fresh	6	12	18
Picked	1	0	1
Done	0	0	0
Total	73	20	93

Merged error: 26.6b

Counts

93 → 20

localize17.0ms

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
2.8b	(-.f64 (.f64 g g) (.f64 h h))
25.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
25.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-log-exp_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
4×	`flip3--_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `insert-posit16` `flip--_binary64` `sqrt-div_binary64`
2×	`sub-neg_binary64` `pow1/2_binary64` `diff-log_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`

Counts

4 → 60

Calls

4 calls:

5.0ms	(-.f64 (.f64 g g) (.f64 h h))
5.0ms	(-.f64 (.f64 g g) (.f64 h h))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series224.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(-.f64 (.f64 g g) (.f64 h h))
54.0ms	(-.f64 (.f64 g g) (.f64 h h))
58.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
57.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

simplify80.0ms

Counts

72 → 72

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5475	932

prune130.0ms

Filtered

56 candidates to 72 candidates (-28.6%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	1	18	19
Picked	0	1	1
Done	0	0	0
Total	71	21	92

Merged error: 26.6b

Counts

92 → 21

localize19.0ms

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
5.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
25.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
25.7b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
5×	`cbrt-div_binary64` `flip3--_binary64` `flip--_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16` `sqrt-div_binary64`
3×	`difference-of-squares_binary64`
2×	`pow1/2_binary64` `associate-*r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `frac-times_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `pow1/3_binary64` `cbrt-prod_binary64` `associate-*l/_binary64`

Counts

4 → 62

Calls

4 calls:

5.0ms	(-.f64 (.f64 g g) (.f64 h h))
16.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
7.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
5.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series231.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(-.f64 (.f64 g g) (.f64 h h))
57.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
59.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
58.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

simplify157.0ms

Counts

74 → 74

Iterations

Useful iterations: 0 (129.0ms)

Iter	Nodes	Cost
0	4971	1218
1	4971	1218

prune97.0ms

Filtered

59 candidates to 74 candidates (-25.4%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	71	3	74
Fresh	0	19	19
Picked	1	0	1
Done	0	1	1
Total	72	23	95

Merged error: 26.6b

Counts

95 → 23

regimes416.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	64	54
1	64	54

end0.0ms

sample1.9s

Algorithm

intervals

Results

886.0ms	3738×	body	320	valid
655.0ms	4111×	body	160	valid
95.0ms	1180×	body	80	nan
14.0ms	151×	body	80	valid

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	75	9
1	75	9
0	75	9
1	75	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	75	9
1	75	9
0	75	9
1	75	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

Details

analyze407.0ms

sample64.0ms

simplify310.0ms

prune6.0ms

localize20.0ms

rewrite44.0ms

series229.0ms

simplify120.0ms

prune170.0ms

localize20.0ms

rewrite36.0ms

series220.0ms

simplify149.0ms

prune144.0ms

localize17.0ms

rewrite22.0ms

series224.0ms

simplify80.0ms

prune130.0ms

localize19.0ms

rewrite36.0ms

series231.0ms

simplify157.0ms

prune97.0ms

regimes416.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample1.9s

Profiling

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	75	9
1	75	9
0	75	9
1	75	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	203	9
1	203	9
0	203	9
1	203	9
0	1	3
1	1	3
0	81	9
1	81	9
0	81	9
1	81	9
0	1	3
1	1	3
0	191	9
1	191	9
0	191	9
1	191	9
0	1	3
1	1	3