Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25.1%	13
74.9%	0%	25.1%	14

sample12.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify69.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	608	13
1	608	13

prune7.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.0b

Counts

2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(-.f64 3 (.f64 x (-.f64 12 (.f64 x 9))))
0.1b	(.f64 x (-.f64 12 (.f64 x 9)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
5×	`sub-neg_binary64`
4×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`associate-r_binary64` `associate-l_binary64`
2×	`associate--r+_binary64` `flip3--_binary64` `associate-*r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `insert-posit16` `flip--_binary64`
1×	`pow-prod-down_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

2 → 37

Calls

2 calls:

4.0ms	(-.f64 3 (.f64 x (-.f64 12 (.f64 x 9))))
7.0ms	(.f64 x (-.f64 12 (.f64 x 9)))

series646.0ms

Counts

2 → 6

Calls

2 calls:

245.0ms	(-.f64 3 (.f64 x (-.f64 12 (.f64 x 9))))
401.0ms	(.f64 x (-.f64 12 (.f64 x 9)))

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	322	363
1	322	363
0	43	60
1	43	60
0	322	363
1	322	363
0	43	60
1	43	60
0	5381	21
0	351	381
1	351	381
0	25	9
1	25	9
0	351	381
1	351	381
0	25	9
1	25	9
0	5494	42

simplify121.0ms

Counts

43 → 43

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	5184	611

prune40.0ms

Filtered

34 candidates to 43 candidates (-26.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	40	5	45

Merged error: 0b

Counts

45 → 5

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 (.f64 x 3) x) (*.f64 x 4))
0.0b	(+.f64 (-.f64 (.f64 (.f64 x 3) x) (*.f64 x 4)) 1)
0.1b	(.f64 3 (+.f64 (-.f64 (.f64 (.f64 x 3) x) (.f64 x 4)) 1))
0.2b	(.f64 (.f64 x 3) x)

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`associate-r_binary64` `add-cube-cbrt_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64` `insert-posit16`
2×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `associate-r/_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`
1×	`flip3--_binary64` `associate-+l+_binary64` `distribute-lft-in_binary64` `associate-+l-_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `+-commutative_binary64` `flip--_binary64`

Counts

4 → 71

Calls

4 calls:

6.0ms	(-.f64 (.f64 (.f64 x 3) x) (*.f64 x 4))
9.0ms	(+.f64 (-.f64 (.f64 (.f64 x 3) x) (*.f64 x 4)) 1)
15.0ms	(.f64 3 (+.f64 (-.f64 (.f64 (.f64 x 3) x) (.f64 x 4)) 1))
6.0ms	(.f64 (.f64 x 3) x)

series1.4s

Counts

4 → 12

Calls

4 calls:

339.0ms	(-.f64 (.f64 (.f64 x 3) x) (*.f64 x 4))
357.0ms	(+.f64 (-.f64 (.f64 (.f64 x 3) x) (*.f64 x 4)) 1)
433.0ms	(.f64 3 (+.f64 (-.f64 (.f64 (.f64 x 3) x) (.f64 x 4)) 1))
264.0ms	(.f64 (.f64 x 3) x)

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	293	321
1	293	321
0	33	45
1	33	45
0	293	321
1	293	321
0	33	45
1	33	45
0	4762	15
1	4762	15
0	474	855
1	474	855
0	24	9
1	24	9
0	474	855
1	474	855
0	24	9
1	24	9
0	4986	42
1	4986	42
0	391	465
1	391	465
0	18	9
1	18	9
0	391	465
1	391	465
0	18	9
1	18	9
0	4907	36
1	4907	36
0	365	447
1	365	447
0	55	54
1	55	54
0	365	447
1	365	447
0	55	54
1	55	54
0	3880	21
1	3880	21

simplify114.0ms

Counts

83 → 83

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5603	1175

prune68.0ms

Filtered

66 candidates to 83 candidates (-25.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	84	4	88

Merged error: 0b

Counts

88 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (*.f64 x 3) -4)
0.1b	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (+.f64 1 (.f64 x (+.f64 (*.f64 x 3) -4))) (cbrt.f64 3)))
0.1b	(.f64 x (+.f64 (.f64 x 3) -4))
0.1b	(.f64 (+.f64 1 (.f64 x (+.f64 (*.f64 x 3) -4))) (cbrt.f64 3))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1_binary64` `add-exp-log_binary64`
15×	`add-sqr-sqrt_binary64`
13×	`add-cbrt-cube_binary64`
10×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`associate-l_binary64`
6×	`add-log-exp_binary64`
4×	`flip3-+_binary64` `associate-r/_binary64` `insert-posit16` `flip-+_binary64` `cbrt-prod_binary64` `associate-l/_binary64`
3×	`unswap-sqr_binary64` `*-commutative_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 85

Calls

4 calls:

5.0ms	(+.f64 (*.f64 x 3) -4)
16.0ms	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (+.f64 1 (.f64 x (+.f64 (*.f64 x 3) -4))) (cbrt.f64 3)))
8.0ms	(.f64 x (+.f64 (.f64 x 3) -4))
8.0ms	(.f64 (+.f64 1 (.f64 x (+.f64 (*.f64 x 3) -4))) (cbrt.f64 3))

series1.7s

Counts

4 → 12

Calls

4 calls:

319.0ms	(+.f64 (*.f64 x 3) -4)
560.0ms	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (.f64 (+.f64 1 (.f64 x (+.f64 (*.f64 x 3) -4))) (cbrt.f64 3)))
293.0ms	(.f64 x (+.f64 (.f64 x 3) -4))
485.0ms	(.f64 (+.f64 1 (.f64 x (+.f64 (*.f64 x 3) -4))) (cbrt.f64 3))

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	463	1744
1	463	1744
0	5490	1671
0	463	1744
1	463	1744
0	5490	1671
0	4863	56
1	4863	56
0	321	363
1	321	363
0	39	54
1	39	54
0	321	363
1	321	363
0	39	54
1	39	54
0	4500	21
1	4500	21
0	594	1838
1	594	1838
0	5530	1656
0	594	1838
1	594	1838
0	5530	1656
0	4799	50
1	4799	50
0	234	147
1	234	147
0	18	15
1	18	15
0	234	147
1	234	147
0	18	15
1	18	15
0	4904	44
1	4904	44

simplify121.0ms

Counts

97 → 97

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4996	1612
1	4996	1612

prune101.0ms

Filtered

73 candidates to 97 candidates (-32.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	97	4	101

Merged error: 0b

Counts

101 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.8b	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
0.8b	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
0.8b	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
0.8b	(.f64 (cbrt.f64 (-.f64 12 (.f64 x 9))) (cbrt.f64 (-.f64 12 (*.f64 x 9))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
18×	`cbrt-div_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`flip3--_binary64` `pow1/3_binary64` `flip--_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `insert-posit16` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-sqr_binary64` `associate-l/_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 91

Calls

4 calls:

3.0ms	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
3.0ms	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
3.0ms	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
11.0ms	(.f64 (cbrt.f64 (-.f64 12 (.f64 x 9))) (cbrt.f64 (-.f64 12 (*.f64 x 9))))

series1.8s

Counts

4 → 12

Calls

4 calls:

227.0ms	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
228.0ms	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
227.0ms	(cbrt.f64 (-.f64 12 (*.f64 x 9)))
1.2s	(.f64 (cbrt.f64 (-.f64 12 (.f64 x 9))) (cbrt.f64 (-.f64 12 (*.f64 x 9))))

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	125	1766
1	125	1766
0	6760	1701
0	125	1766
1	125	1766
0	6760	1701
0	4743	83
1	4743	83
0	54	1651
1	54	1651
0	368	1620
1	368	1620
0	54	1651
1	54	1651
0	368	1620
1	368	1620
0	1547	56
1	1547	56
0	54	1651
1	54	1651
0	368	1620
1	368	1620
0	54	1651
1	54	1651
0	368	1620
1	368	1620
0	1547	56
1	1547	56
0	54	1651
1	54	1651
0	368	1620
1	368	1620
0	54	1651
1	54	1651
0	368	1620
1	368	1620
0	1547	56
1	1547	56

simplify157.0ms

Counts

103 → 103

Iterations

Useful iterations: 0 (126.0ms)

Iter	Nodes	Cost
0	4862	1776
1	4862	1776

prune129.0ms

Filtered

78 candidates to 103 candidates (-32.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	103	4	107

Merged error: 0b

Counts

107 → 4

regimes47.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	132	13
1	132	13

end0.0ms

sample344.0ms

Algorithm

intervals

Results

251.0ms	8000×	body	80	valid
0.0ms	2×	body	80	invalid

Details

analyze4.0ms

sample12.0ms

simplify69.0ms

prune7.0ms

localize6.0ms

rewrite12.0ms

series646.0ms

simplify121.0ms

prune40.0ms

localize8.0ms

rewrite39.0ms

series1.4s

simplify114.0ms

prune68.0ms

localize10.0ms

rewrite41.0ms

series1.7s

simplify121.0ms

prune101.0ms

localize11.0ms

rewrite24.0ms

series1.8s

simplify157.0ms

prune129.0ms

regimes47.0ms

bsearch0.0ms

simplify10.0ms

end0.0ms

sample344.0ms

Profiling