Details

analyze434.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	120×	body	320	valid
21.0ms	132×	body	160	valid
4.0ms	45×	body	80	nan
0.0ms	4×	body	80	valid

simplify129.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (110.0ms)

Iter	Nodes	Cost
0	4905	48
1	4905	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: 35.0b

Counts

2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

7.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
9.1b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
27.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
27.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

17.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.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)))

series927.0ms

Counts

4 → 12

Calls

4 calls:

280.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
338.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
152.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
156.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	23	1962
1	23	1962
0	15	9
1	15	9
0	23	1962
1	23	1962
0	15	9
1	15	9
0	1	3
1	1	3
0	23	1962
1	23	1962
0	15	9
1	15	9
0	23	1962
1	23	1962
0	15	9
1	15	9
0	1	3
1	1	3
0	5129	3660
0	45	9
1	45	9
0	5129	3660
0	45	9
1	45	9
0	1	3
1	1	3
0	5890	3654
0	43	9
1	43	9
0	5890	3654
0	43	9
1	43	9
0	1	3
1	1	3

simplify140.0ms

Counts

84 → 84

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	5130	1972

prune195.0ms

Filtered

66 candidates to 84 candidates (-27.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	67	17	84
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	69	17	86

Merged error: 28.6b

Counts

86 → 17

localize21.0ms

Local error

Found 4 expressions with local error:

2.3b	(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
7.6b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
27.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
27.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64`
9×	`cbrt-div_binary64`
8×	`add-log-exp_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16` `sqrt-div_binary64`
2×	`pow1/2_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `associate-*r/_binary64` `consolidate-mult-outside_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `consolidate-mult-two_binary64` `difference-of-squares_binary64` `flip--_binary64` `frac-times_binary64` `sum-log_binary64`
1×	`neg-sub0_binary64` `pow1/3_binary64` `associate-+l-_binary64` `distribute-rgt-neg-in_binary64` `neg-log_binary64` `+-commutative_binary64` `cbrt-prod_binary64` `associate-*l/_binary64`

Counts

4 → 69

Calls

4 calls:

12.0ms	(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
17.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)))

series738.0ms

Counts

4 → 12

Calls

4 calls:

155.0ms	(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))
272.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
156.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
155.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	23	1962
1	23	1962
0	15	9
1	15	9
0	23	1962
1	23	1962
0	15	9
1	15	9
0	1	3
1	1	3
0	23	1962
1	23	1962
0	15	9
1	15	9
0	23	1962
1	23	1962
0	15	9
1	15	9
0	1	3
1	1	3
0	5890	3654
0	43	9
1	43	9
0	5890	3654
0	43	9
1	43	9
0	1	3
1	1	3
0	21	2601
1	21	2601
0	58	9
1	58	9
0	21	2601
1	21	2601
0	58	9
1	58	9
0	1	3
1	1	3

simplify135.0ms

Counts

81 → 81

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	5063	1559

prune162.0ms

Filtered

62 candidates to 81 candidates (-30.6%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	71	10	81
Fresh	8	8	16
Picked	1	0	1
Done	0	0	0
Total	80	18	98

Merged error: 27.8b

Counts

98 → 18

localize18.0ms

Local error

Found 4 expressions with local error:

2.0b	(-.f64 (.f64 g g) (.f64 h h))
2.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
27.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
27.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
8×	`*-un-lft-identity_binary64` `add-log-exp_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64`
5×	`difference-of-squares_binary64`
4×	`flip3--_binary64` `add-exp-log_binary64` `add-cbrt-cube_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`
1×	`distribute-lft-out--_binary64`

Counts

4 → 62

Calls

4 calls:

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

series615.0ms

Counts

4 → 12

Calls

4 calls:

154.0ms	(-.f64 (.f64 g g) (.f64 h h))
146.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
156.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
158.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	23	1962
1	23	1962
0	15	9
1	15	9
0	23	1962
1	23	1962
0	15	9
1	15	9
0	1	3
1	1	3
0	23	1962
1	23	1962
0	15	9
1	15	9
0	23	1962
1	23	1962
0	15	9
1	15	9
0	1	3
1	1	3
0	31	2601
1	31	2601
0	58	9
1	58	9
0	31	2601
1	31	2601
0	58	9
1	58	9
0	1	3
1	1	3
0	24	1944
1	24	1944
0	14	9
1	14	9
0	24	1944
1	24	1944
0	14	9
1	14	9
0	1	3
1	1	3

simplify127.0ms

Counts

74 → 74

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	5063	1079

prune139.0ms

Filtered

56 candidates to 74 candidates (-32.1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	71	3	74
Fresh	2	15	17
Picked	1	0	1
Done	0	0	0
Total	74	18	92

Merged error: 27.8b

Counts

92 → 18

localize21.0ms

Local error

Found 4 expressions with local error:

2.0b	(-.f64 (.f64 g g) (.f64 h h))
2.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
27.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
27.1b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
8×	`*-un-lft-identity_binary64` `add-log-exp_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64`
5×	`difference-of-squares_binary64`
4×	`flip3--_binary64` `add-exp-log_binary64` `add-cbrt-cube_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`
1×	`distribute-lft-out--_binary64`

Counts

4 → 62

Calls

4 calls:

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

series611.0ms

Counts

4 → 12

Calls

4 calls:

153.0ms	(-.f64 (.f64 g g) (.f64 h h))
149.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)
153.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
154.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	23	1962
1	23	1962
0	15	9
1	15	9
0	23	1962
1	23	1962
0	15	9
1	15	9
0	1	3
1	1	3
0	23	1962
1	23	1962
0	15	9
1	15	9
0	23	1962
1	23	1962
0	15	9
1	15	9
0	1	3
1	1	3
0	31	2601
1	31	2601
0	58	9
1	58	9
0	31	2601
1	31	2601
0	58	9
1	58	9
0	1	3
1	1	3
0	24	1944
1	24	1944
0	14	9
1	14	9
0	24	1944
1	24	1944
0	14	9
1	14	9
0	1	3
1	1	3

simplify126.0ms

Counts

74 → 74

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	5063	1079

prune87.0ms

Filtered

56 candidates to 74 candidates (-32.1%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	2	15	17
Picked	0	1	1
Done	0	0	0
Total	75	17	92

Merged error: 27.8b

Counts

92 → 17

regimes350.0ms

Accuracy

0% (1.3b remaining)

Error of 32.3b against oracle of 31.0b and baseline of 32.3b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	67	54
1	67	54

end0.0ms

sample1.9s

Algorithm

intervals

Results

917.0ms	3794×	body	320	valid
667.0ms	4072×	body	160	valid
97.0ms	1197×	body	80	nan
11.0ms	134×	body	80	valid

Details

analyze434.0ms

sample64.0ms

simplify129.0ms

prune6.0ms

localize18.0ms

rewrite48.0ms

series927.0ms

simplify140.0ms

prune195.0ms

localize21.0ms

rewrite42.0ms

series738.0ms

simplify135.0ms

prune162.0ms

localize18.0ms

rewrite29.0ms

series615.0ms

simplify127.0ms

prune139.0ms

localize21.0ms

rewrite31.0ms

series611.0ms

simplify126.0ms

prune87.0ms

regimes350.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample1.9s

Profiling