Details

analyze74.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
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
25%	40.6%	34.4%	7
31.2%	25%	43.8%	8
39%	17.2%	43.8%	9
42.9%	13.3%	43.8%	10
47.2%	9%	43.8%	11
49.4%	6.8%	43.8%	12
51.6%	4.6%	43.8%	13
52.7%	3.5%	43.8%	14

sample13.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
0.0ms	1×	body	80	invalid

simplify22.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	24	13
1	24	13

prune5.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

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x 2) (.f64 x x))
0.0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp_binary64_1672`
4×	`sum-log_binary64_1617`
2×	`add-cube-cbrt_binary64_1678` `flip3-+_binary64_1705` `pow1_binary64_1649` `flip-+_binary64_1732` `add-exp-log_binary64_1671` `add-cbrt-cube_binary64_1679` `add-sqr-sqrt_binary64_1692` `*-un-lft-identity_binary64_1707` `+-commutative_binary64_1774`
1×	`distribute-lft-out_binary64_1751` `associate-+l+_binary64_1759`

Counts

2 → 25

Calls

2 calls:

9.0ms	(+.f64 (.f64 x 2) (.f64 x x))
10.0ms	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

series934.0ms

Counts

2 → 6

Calls

2 calls:

399.0ms	(+.f64 (.f64 x 2) (.f64 x x))
535.0ms	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	123	2661
1	123	2661
0	4879	2349
1	4879	2349
0	123	2661
1	123	2661
0	4879	2349
1	4879	2349
0	1	3
1	1	3
0	197	1650
1	197	1650
0	5078	983
0	197	1650
1	197	1650
0	5078	983
0	5126	12

simplify146.0ms

Counts

31 → 31

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4991	394
1	4991	394

prune22.0ms

Filtered

24 candidates to 31 candidates (-29.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	31	2	33

Merged error: 0.0b

Counts

33 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 y y) (.f64 x (+.f64 x 2)))
0.0b	(*.f64 x (+.f64 x 2))
0.2b	(pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 3)
39.3b	(cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 3))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_1692` `*-un-lft-identity_binary64_1707`
12×	`add-cube-cbrt_binary64_1678` `cbrt-prod_binary64_1674`
7×	`pow1_binary64_1649` `add-exp-log_binary64_1671` `add-cbrt-cube_binary64_1679`
6×	`add-log-exp_binary64_1672` `cube-prod_binary64_1680` `unpow-prod-down_binary64_1638`
4×	`cube-div_binary64_1681` `flip3-+_binary64_1705` `flip-+_binary64_1732` `associate-r_binary64_1766`
3×	`associate-l_binary64_1767` `pow-unpow_binary64_1636`
2×	`associate-*r/_binary64_1768` `associate-+r+_binary64_1758` `sqr-pow_binary64_1739` `unpow3_binary64_1647` `cbrt-div_binary64_1675` `cube-mult_binary64_1682` `distribute-rgt-in_binary64_1750` `distribute-lft-in_binary64_1749`
1×	`prod-exp_binary64_1654` `sum-log_binary64_1617` `*-commutative_binary64_1775` `pow-prod-down_binary64_1630` `distribute-lft-out_binary64_1751` `pow-pow_binary64_1631` `rem-cbrt-cube_binary64_1684` `rem-cube-cbrt_binary64_1683` `pow-to-exp_binary64_1628` `pow-exp_binary64_1627` `+-commutative_binary64_1774` `unswap-sqr_binary64_1735` `pow1/3_binary64_1641` `cbrt-unprod_binary64_1676`

Counts

4 → 84

Calls

4 calls:

7.0ms	(+.f64 (.f64 y y) (.f64 x (+.f64 x 2)))
8.0ms	(*.f64 x (+.f64 x 2))
7.0ms	(pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 3)
7.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 3))

series1.3s

Counts

4 → 12

Calls

4 calls:

252.0ms	(+.f64 (.f64 y y) (.f64 x (+.f64 x 2)))
451.0ms	(*.f64 x (+.f64 x 2))
318.0ms	(pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 3)
281.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 3))

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	69	2742
1	69	2742
0	4913	2416
1	4913	2416
0	69	2742
1	69	2742
0	4913	2416
1	4913	2416
0	1	3
1	1	3
0	137	2687
1	137	2687
0	6761	2559
0	137	2687
1	137	2687
0	6761	2559
0	1	3
1	1	3
0	177	1490
1	177	1490
0	4850	995
1	4850	995
0	177	1490
1	177	1490
0	4850	995
1	4850	995
0	5126	12
0	112	2592
1	112	2592
0	28	1971
1	28	1971
0	112	2592
1	112	2592
0	28	1971
1	28	1971
0	1	3
1	1	3

simplify164.0ms

Counts

96 → 96

Iterations

Useful iterations: 0 (134.0ms)

Iter	Nodes	Cost
0	4883	1509
1	4883	1509

prune61.0ms

Filtered

60 candidates to 96 candidates (-60.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	95	3	98

Merged error: 0.0b

Counts

98 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2)
0.3b	(.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2)) (cbrt.f64 (+.f64 (.f64 y y) (*.f64 x (+.f64 x 2)))))
0.6b	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))))
30.6b	(cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod_binary64_1674`
30×	`add-sqr-sqrt_binary64_1692`
14×	`add-cube-cbrt_binary64_1678` `*-un-lft-identity_binary64_1707`
11×	`associate-l_binary64_1767` `unpow-prod-down_binary64_1638`
10×	`unswap-sqr_binary64_1735`
7×	`pow1_binary64_1649` `add-exp-log_binary64_1671`
6×	`unpow2_binary64_1646` `associate-r_binary64_1766`
5×	`sqr-pow_binary64_1739`
4×	`add-log-exp_binary64_1672` `cbrt-div_binary64_1675` `add-cbrt-cube_binary64_1679` `pow1/3_binary64_1641`
3×	`pow-unpow_binary64_1636`
2×	`associate-*r/_binary64_1768` `flip3-+_binary64_1705` `flip-+_binary64_1732` `pow-prod-down_binary64_1630`
1×	`prod-exp_binary64_1654` `*-commutative_binary64_1775` `pow3_binary64_1642` `pow-pow_binary64_1631` `pow-to-exp_binary64_1628` `pow-exp_binary64_1627` `cbrt-unprod_binary64_1676`

Counts

4 → 89

Calls

4 calls:

7.0ms	(pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2)
22.0ms	(.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2)) (cbrt.f64 (+.f64 (.f64 y y) (*.f64 x (+.f64 x 2)))))
6.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))))
7.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2))

series1.3s

Counts

4 → 12

Calls

4 calls:

244.0ms	(pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2)
354.0ms	(.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2)) (cbrt.f64 (+.f64 (.f64 y y) (*.f64 x (+.f64 x 2)))))
427.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))))
299.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 x 2))) 2))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	68	2742
1	68	2742
0	5364	2664
0	68	2742
1	68	2742
0	5364	2664
0	1	3
1	1	3
0	65	2715
1	65	2715
0	1142	2637
1	1142	2637
0	65	2715
1	65	2715
0	1142	2637
1	1142	2637
0	1	3
1	1	3
0	89	2991
1	89	2991
0	4921	2853
1	4921	2853
0	89	2991
1	89	2991
0	4921	2853
1	4921	2853
0	1	3
1	1	3
0	136	2687
1	136	2687
0	5339	2511
0	136	2687
1	136	2687
0	5339	2511
0	1	3
1	1	3

simplify114.0ms

Counts

101 → 101

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5041	2707

prune102.0ms

Filtered

71 candidates to 101 candidates (-42.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	101	3	104

Merged error: 0.0b

Counts

104 → 3

regimes54.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	16
1	12	16

end0.0ms

sample355.0ms

Algorithm

intervals

Results

229.0ms	8000×	body	80	valid
0.0ms	5×	body	80	invalid

Details

analyze74.0ms

sample13.0ms

simplify22.0ms

prune5.0ms

localize7.0ms

rewrite20.0ms

series934.0ms

simplify146.0ms

prune22.0ms

localize10.0ms

rewrite32.0ms

series1.3s

simplify164.0ms

prune61.0ms

localize12.0ms

rewrite45.0ms

series1.3s

simplify114.0ms

prune102.0ms

regimes54.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample355.0ms

Profiling