Details

analyze55.0ms

Algorithm

Search

True	Other	False	Iter
0%	12.5%	87.5%	0
0%	12.5%	87.5%	1
0%	12.5%	87.5%	2
3.1%	9.3%	87.5%	3
3.1%	6.2%	90.7%	4
4.7%	4.7%	90.7%	5
4.7%	3.5%	91.8%	6
5.6%	2.5%	91.8%	7
5.9%	1.8%	92.3%	8
6.4%	1.3%	92.3%	9
6.6%	0.9%	92.5%	10
6.8%	0.6%	92.5%	11
6.9%	0.5%	92.6%	12
7%	0.3%	92.6%	13
7.1%	0.2%	92.7%	14

sample23.0ms

Algorithm

intervals

Results

8.0ms	256×	body	80	valid
6.0ms	257×	pre	80	true
0.0ms	1×	body	80	invalid

simplify236.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4989	19
1	4989	19

prune4.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: 0.1b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
0.0b	(*.f64 m (-.f64 1 m))
0.0b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
0.1b	(/.f64 (*.f64 m (-.f64 1 m)) v)

rewrite264.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`associate-r_binary64`
10×	`add-cube-cbrt_binary64` `associate-l_binary64`
9×	`flip3--_binary64` `flip--_binary64`
8×	`pow1_binary64` `difference-of-squares_binary64`
6×	`add-log-exp_binary64` `associate-*r/_binary64`
5×	`sub-neg_binary64`
4×	`distribute-lft-out--_binary64` `insert-posit16` `frac-times_binary64`
3×	`associate-/r*_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `cbrt-undiv_binary64` `difference-of-sqr-1_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `div-exp_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`diff-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 102

Calls

4 calls:

11.0ms	(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
9.0ms	(*.f64 m (-.f64 1 m))
20.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
218.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)

series1.0s

Counts

4 → 12

Calls

4 calls:

337.0ms	(-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1)
222.0ms	(*.f64 m (-.f64 1 m))
228.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (-.f64 1 m))
230.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	646	67
1	646	67
0	646	67
1	646	67
0	1	3
1	1	3
0	6378	204
0	6378	204
0	1	3
1	1	3
0	381	334
1	381	334
0	381	334
1	381	334
0	5202	15
0	6276	79
0	6276	79
0	4929	21
1	4929	21

simplify100.0ms

Counts

114 → 114

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5157	1861

prune113.0ms

Filtered

85 candidates to 114 candidates (-34.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	107	7	114
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	7	115

Merged error: 0b

Counts

115 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 (+.f64 m (*.f64 m (neg.f64 m))) v) 1)
0.0b	(+.f64 m (*.f64 m (neg.f64 m)))
0.0b	(.f64 (-.f64 (/.f64 (+.f64 m (.f64 m (neg.f64 m))) v) 1) (-.f64 1 m))
0.1b	(/.f64 (+.f64 m (*.f64 m (neg.f64 m))) v)

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
15×	`times-frac_binary64`
14×	`add-cube-cbrt_binary64`
10×	`associate-l_binary64` `difference-of-squares_binary64`
8×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`flip3--_binary64` `flip--_binary64`
6×	`pow1_binary64` `associate-r_binary64`
4×	`difference-of-sqr-1_binary64` `insert-posit16` `frac-times_binary64`
3×	`associate-/r_binary64` `sub-neg_binary64` `distribute-rgt-neg-out_binary64` `associate-/l_binary64` `distribute-lft-out--_binary64` `unsub-neg_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `associate-r/_binary64` `div-sub_binary64` `flip-+_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `associate--l-_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 103

Calls

4 calls:

11.0ms	(-.f64 (/.f64 (+.f64 m (*.f64 m (neg.f64 m))) v) 1)
4.0ms	(+.f64 m (*.f64 m (neg.f64 m)))
20.0ms	(.f64 (-.f64 (/.f64 (+.f64 m (.f64 m (neg.f64 m))) v) 1) (-.f64 1 m))
7.0ms	(/.f64 (+.f64 m (*.f64 m (neg.f64 m))) v)

series716.0ms

Counts

4 → 12

Calls

4 calls:

114.0ms	(-.f64 (/.f64 (+.f64 m (*.f64 m (neg.f64 m))) v) 1)
266.0ms	(+.f64 m (*.f64 m (neg.f64 m)))
114.0ms	(.f64 (-.f64 (/.f64 (+.f64 m (.f64 m (neg.f64 m))) v) 1) (-.f64 1 m))
222.0ms	(/.f64 (+.f64 m (*.f64 m (neg.f64 m))) v)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	634	75
1	634	75
0	634	75
1	634	75
0	1	3
1	1	3
0	16	1989
1	16	1989
0	16	1989
1	16	1989
0	1	3
1	1	3
0	600	402
1	600	402
0	600	402
1	600	402
0	4984	15
1	4984	15
0	73	99
1	73	99
0	73	99
1	73	99
0	1	3
1	1	3

simplify99.0ms

Counts

115 → 115

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5524	2158

prune100.0ms

Filtered

91 candidates to 115 candidates (-26.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	115	7	122

Merged error: 0b

Counts

122 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 v (+.f64 m 1))
0.0b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 (.f64 1 1) (.f64 m m))) (*.f64 v (+.f64 m 1))) 1) (-.f64 1 m))
0.0b	(/.f64 (.f64 m (-.f64 (.f64 1 1) (.f64 m m))) (.f64 v (+.f64 m 1)))
0.1b	(.f64 m (-.f64 (.f64 1 1) (*.f64 m m)))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
22×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`*-un-lft-identity_binary64`
14×	`associate-r_binary64`
13×	`associate-l_binary64`
10×	`pow1_binary64` `associate-*r/_binary64` `add-cube-cbrt_binary64`
8×	`flip3--_binary64` `flip--_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
5×	`difference-of-squares_binary64`
4×	`add-log-exp_binary64` `sub-neg_binary64` `cbrt-undiv_binary64` `div-exp_binary64` `insert-posit16` `frac-times_binary64`
3×	`pow-prod-down_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `distribute-lft-out--_binary64` `flip-+_binary64` `associate-*l/_binary64`
1×	`associate-/r_binary64` `distribute-lft-out_binary64` `difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `div-inv_binary64`

Counts

4 → 110

Calls

4 calls:

8.0ms	(*.f64 v (+.f64 m 1))
25.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 (.f64 1 1) (.f64 m m))) (*.f64 v (+.f64 m 1))) 1) (-.f64 1 m))
16.0ms	(/.f64 (.f64 m (-.f64 (.f64 1 1) (.f64 m m))) (.f64 v (+.f64 m 1)))
11.0ms	(.f64 m (-.f64 (.f64 1 1) (*.f64 m m)))

series1.3s

Counts

4 → 12

Calls

4 calls:

230.0ms	(*.f64 v (+.f64 m 1))
467.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 (.f64 1 1) (.f64 m m))) (*.f64 v (+.f64 m 1))) 1) (-.f64 1 m))
292.0ms	(/.f64 (.f64 m (-.f64 (.f64 1 1) (.f64 m m))) (.f64 v (+.f64 m 1)))
354.0ms	(.f64 m (-.f64 (.f64 1 1) (*.f64 m m)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	563	573
1	563	573
0	563	573
1	563	573
0	5105	9
0	761	1104
1	761	1104
0	761	1104
1	761	1104
0	1	3
1	1	3
0	1206	1460
1	1206	1460
0	1206	1460
1	1206	1460
0	1	3
1	1	3
0	383	215
1	383	215
0	383	215
1	383	215
0	5314	9

simplify75.0ms

Counts

122 → 122

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5204	2405

prune130.0ms

Filtered

93 candidates to 122 candidates (-31.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	122	7	129

Merged error: 0b

Counts

129 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 m (-.f64 1 m))
0.1b	(/.f64 (*.f64 m (-.f64 1 m)) v)
0.1b	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
0.1b	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

32×	`frac-times_binary64`
30×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
23×	`flip3--_binary64` `flip--_binary64`
20×	`associate-r_binary64`
18×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`associate-*l/_binary64`
14×	`associate-*r/_binary64`
13×	`pow1_binary64`
12×	`flip3-+_binary64` `flip-+_binary64`
11×	`add-cube-cbrt_binary64` `associate-l_binary64`
8×	`difference-of-squares_binary64`
6×	`cbrt-unprod_binary64` `prod-exp_binary64`
5×	`pow-prod-down_binary64`
4×	`add-log-exp_binary64` `sub-neg_binary64` `distribute-lft-out--_binary64` `insert-posit16` `sqrt-prod_binary64`
3×	`associate-/r_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `times-frac_binary64` `-commutative_binary64`
2×	`associate-/l/_binary64` `distribute-lft-out_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64`
1×	`difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 138

Calls

4 calls:

9.0ms	(*.f64 m (-.f64 1 m))
9.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
29.0ms	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
20.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

series801.0ms

Counts

4 → 12

Calls

4 calls:

221.0ms	(*.f64 m (-.f64 1 m))
227.0ms	(/.f64 (*.f64 m (-.f64 1 m)) v)
120.0ms	(.f64 (.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m))) (-.f64 1 (sqrt.f64 m)))
232.0ms	(.f64 (-.f64 (/.f64 (.f64 m (-.f64 1 m)) v) 1) (+.f64 1 (sqrt.f64 m)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	6445	439
0	6445	439
0	1	3
1	1	3
0	310	2557
1	310	2557
0	310	2557
1	310	2557
0	1	3
1	1	3
0	646	67
1	646	67
0	646	67
1	646	67
0	1	3
1	1	3
0	381	334
1	381	334
0	381	334
1	381	334
0	5202	15

simplify124.0ms

Counts

150 → 150

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5054	3839

prune162.0ms

Filtered

111 candidates to 150 candidates (-35.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	150	7	157

Merged error: 0b

Counts

157 → 7

regimes39.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	46	19
1	46	19

end0.0ms

sample568.0ms

Algorithm

intervals

Results

261.0ms	8000×	body	80	valid
152.0ms	8063×	pre	80	true
2.0ms	63×	body	80	invalid

Details

analyze55.0ms

sample23.0ms

simplify236.0ms

prune4.0ms

localize9.0ms

rewrite264.0ms

series1.0s

simplify100.0ms

prune113.0ms

localize9.0ms

rewrite49.0ms

series716.0ms

simplify99.0ms

prune100.0ms

localize12.0ms

rewrite64.0ms

series1.3s

simplify75.0ms

prune130.0ms

localize11.0ms

rewrite74.0ms

series801.0ms

simplify124.0ms

prune162.0ms

regimes39.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample568.0ms

Profiling