Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

sample30.0ms

Algorithm

intervals

Results

8.0ms	27×	body	640	valid
6.0ms	188×	body	80	valid
4.0ms	27×	body	1280	valid
4.0ms	256×	pre	80	true
1.0ms	8×	body	320	valid
0.0ms	6×	body	160	valid

simplify210.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (192.0ms)

Iter	Nodes	Cost
0	4809	19
1	4809	19

prune3.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: 15.9b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
1.4b	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
26×	`add-sqr-sqrt_binary64`
25×	`times-frac_binary64`
19×	`distribute-lft-out_binary64`
14×	`add-cube-cbrt_binary64`
6×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
5×	`associate-/r_binary64` `associate-/l_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `pow1_binary64` `associate-/r/_binary64` `div-sub_binary64` `insert-posit16` `flip-+_binary64`
1×	`flip3--_binary64` `cbrt-undiv_binary64` `associate-+l-_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

2 → 67

Calls

2 calls:

13.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
22.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

series743.0ms

Counts

2 → 6

Calls

2 calls:

510.0ms	(/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2))
233.0ms	(+.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) 2)) 1)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4869	914
1	4869	914
0	4869	914
1	4869	914
0	1	3
1	1	3
0	2325	151
1	2325	151
0	2325	151
1	2325	151
0	109	15
1	109	15

simplify106.0ms

Counts

73 → 73

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5445	1449

prune81.0ms

Filtered

49 candidates to 73 candidates (-49.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	60	13	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	13	74

Merged error: 15.3b

Counts

74 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0b	(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1))
0.0b	(/.f64 alpha (+.f64 (+.f64 beta alpha) 2))
1.4b	(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

73×	`*-un-lft-identity_binary64`
40×	`add-sqr-sqrt_binary64`
34×	`times-frac_binary64`
24×	`distribute-lft-out_binary64` `add-cube-cbrt_binary64`
11×	`add-log-exp_binary64`
10×	`associate-/r*_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`difference-of-squares_binary64` `associate-/l*_binary64`
4×	`pow1_binary64` `diff-log_binary64` `associate-/r/_binary64` `distribute-lft-out--_binary64` `insert-posit16`
3×	`sub-neg_binary64` `flip3--_binary64` `flip--_binary64`
2×	`flip3-+_binary64` `cbrt-undiv_binary64` `difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64` `frac-sub_binary64`
1×	`associate--r+_binary64` `associate--r-_binary64`

Counts

4 → 116

Calls

4 calls:

9.0ms	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
38.0ms	(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1))
9.0ms	(/.f64 alpha (+.f64 (+.f64 beta alpha) 2))
19.0ms	(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)

series1.3s

Counts

4 → 12

Calls

4 calls:

372.0ms	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
204.0ms	(-.f64 (/.f64 beta (+.f64 (+.f64 alpha beta) 2)) (-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1))
368.0ms	(/.f64 alpha (+.f64 (+.f64 beta alpha) 2))
316.0ms	(-.f64 (/.f64 alpha (+.f64 (+.f64 beta alpha) 2)) 1)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	20	126
1	20	126
0	20	126
1	20	126
0	1	3
1	1	3
0	1563	105
1	1563	105
0	1563	105
1	1563	105
0	1	3
1	1	3
0	4909	1942
1	4909	1942
0	4909	1942
1	4909	1942
0	1	3
1	1	3
0	1563	105
1	1563	105
0	1563	105
1	1563	105
0	1	3
1	1	3

simplify131.0ms

Counts

128 → 128

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4961	2525
1	4961	2525

prune143.0ms

Filtered

87 candidates to 128 candidates (-47.1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	118	10	128
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	123	18	141

Merged error: 15.3b

Counts

141 → 18

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
0.0b	(/.f64 alpha (+.f64 (+.f64 alpha beta) 2))
1.4b	(log.f64 (exp.f64 (-.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))
1.4b	(-.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

74×	`*-un-lft-identity_binary64`
48×	`add-sqr-sqrt_binary64`
36×	`times-frac_binary64`
26×	`add-cube-cbrt_binary64`
24×	`distribute-lft-out_binary64`
11×	`log-pow_binary64`
10×	`associate-/r*_binary64` `exp-prod_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64`
6×	`add-log-exp_binary64` `associate-/l*_binary64`
5×	`pow1_binary64`
4×	`log-prod_binary64` `difference-of-sqr-1_binary64` `associate-/r/_binary64` `insert-posit16`
2×	`flip3-+_binary64` `sub-neg_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`
1×	`flip3--_binary64` `diff-log_binary64` `rem-log-exp_binary64` `exp-diff_binary64` `exp-sum_binary64` `log-div_binary64` `flip--_binary64`

Counts

4 → 120

Calls

4 calls:

9.0ms	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
9.0ms	(/.f64 alpha (+.f64 (+.f64 alpha beta) 2))
21.0ms	(log.f64 (exp.f64 (-.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))
17.0ms	(-.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)

series1.4s

Counts

4 → 12

Calls

4 calls:

368.0ms	(/.f64 beta (+.f64 (+.f64 alpha beta) 2))
367.0ms	(/.f64 alpha (+.f64 (+.f64 alpha beta) 2))
376.0ms	(log.f64 (exp.f64 (-.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))
315.0ms	(-.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	20	126
1	20	126
0	20	126
1	20	126
0	1	3
1	1	3
0	42	522
1	42	522
0	42	522
1	42	522
0	1	3
1	1	3
0	1558	105
1	1558	105
0	1558	105
1	1558	105
0	1	3
1	1	3
0	1563	105
1	1563	105
0	1563	105
1	1563	105
0	1	3
1	1	3

simplify111.0ms

Counts

132 → 132

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5064	2082

prune132.0ms

Filtered

86 candidates to 132 candidates (-53.5%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	17	17
Picked	0	1	1
Done	0	0	0
Total	132	18	150

Merged error: 15.3b

Counts

150 → 18

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3)
0.1b	(/.f64 (+.f64 (.f64 beta (.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1))) (-.f64 beta (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 -1 (pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3))))) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 1 (*.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))))
1.4b	(+.f64 -1 (pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3))
5.8b	(.f64 beta (.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))

rewrite128.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
33×	`times-frac_binary64`
26×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
23×	`associate-*r/_binary64`
21×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
19×	`distribute-lft-out_binary64`
16×	`flip3-+_binary64` `flip-+_binary64`
12×	`associate-/l/_binary64` `associate-/r/_binary64`
10×	`pow1_binary64` `frac-add_binary64` `frac-times_binary64`
6×	`add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
5×	`flip3--_binary64` `flip--_binary64` `associate-*l/_binary64`
4×	`cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `div-exp_binary64` `insert-posit16`
3×	`pow-prod-down_binary64` `pow-unpow_binary64` `associate-l_binary64` `associate-/l*_binary64` `div-inv_binary64`
2×	`rem-cube-cbrt_binary64` `pow-exp_binary64`
1×	`pow-to-exp_binary64` `associate-/r_binary64` `associate-+r-_binary64` `associate-r_binary64` `pow-pow_binary64` `sqr-pow_binary64` `cube-div_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `+-commutative_binary64` `unpow3_binary64` `sum-log_binary64` `-commutative_binary64` `cube-mult_binary64`

Counts

4 → 149

Calls

4 calls:

12.0ms	(pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3)
53.0ms	(/.f64 (+.f64 (.f64 beta (.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1))) (-.f64 beta (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 -1 (pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3))))) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 1 (*.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))))
23.0ms	(+.f64 -1 (pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3))
30.0ms	(.f64 beta (.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))

series1.8s

Counts

4 → 12

Calls

4 calls:

401.0ms	(pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3)
511.0ms	(/.f64 (+.f64 (.f64 beta (.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1))) (-.f64 beta (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 -1 (pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3))))) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 1 (*.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))))
426.0ms	(+.f64 -1 (pow.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 3))
433.0ms	(.f64 beta (.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) (+.f64 (/.f64 alpha (+.f64 (+.f64 alpha beta) 2)) 1)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4560	839
1	4560	839
0	4560	839
1	4560	839
0	1	3
1	1	3
0	1722	252
1	1722	252
0	1722	252
1	1722	252
0	1	3
1	1	3
0	4551	1876
1	4551	1876
0	4551	1876
1	4551	1876
0	1	3
1	1	3
0	1664	243
1	1664	243
0	1664	243
1	1664	243
0	1	3
1	1	3

simplify144.0ms

Counts

161 → 161

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4994	7863
1	4994	7863

prune480.0ms

Filtered

104 candidates to 161 candidates (-54.8%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	153	8	161
Fresh	8	8	16
Picked	1	0	1
Done	0	1	1
Total	162	17	179

Merged error: 15.0b

Counts

179 → 17

regimes114.0ms

Accuracy

0% (0.5b remaining)

Error of 15.6b against oracle of 15.1b and baseline of 15.6b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	39	32
1	39	32

end0.0ms

sample748.0ms

Algorithm

intervals

Results

188.0ms	5862×	body	80	valid
139.0ms	8000×	pre	80	true
128.0ms	814×	body	1280	valid
90.0ms	717×	body	640	valid
36.0ms	392×	body	320	valid
13.0ms	215×	body	160	valid

Details

analyze3.0ms

sample30.0ms

simplify210.0ms

prune3.0ms

localize8.0ms

rewrite39.0ms

series743.0ms

simplify106.0ms

prune81.0ms

localize12.0ms

rewrite81.0ms

series1.3s

simplify131.0ms

prune143.0ms

localize13.0ms

rewrite63.0ms

series1.4s

simplify111.0ms

prune132.0ms

localize22.0ms

rewrite128.0ms

series1.8s

simplify144.0ms

prune480.0ms

regimes114.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample748.0ms

Profiling