Details

analyze995.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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.6%	0.1%	6
32.8%	67.1%	0.1%	7
34.3%	65.5%	0.1%	8
38.2%	61.2%	0.5%	9
39.6%	53%	7.4%	10
40.3%	52.4%	7.4%	11
41.6%	49.6%	8.8%	12
42%	39.9%	18.1%	13
42.3%	39.6%	18.2%	14

sample38.0ms

Algorithm

intervals

Results

16.0ms	256×	body	80	valid
6.0ms	82×	body	80	invalid
3.0ms	67×	body	80	nan

simplify281.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (263.0ms)

Iter	Nodes	Cost
0	4741	19
1	4741	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: 2.0b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1 (*.f64 10 k))
0.0b	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
2.0b	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-exp-log_binary64_5161`
10×	`add-log-exp_binary64_5162`
8×	`add-cbrt-cube_binary64_5169`
5×	`add-cube-cbrt_binary64_5168` `add-sqr-sqrt_binary64_5182` `*-un-lft-identity_binary64_5197`
4×	`div-exp_binary64_5146` `sum-log_binary64_5107`
3×	`times-frac_binary64_5192` `flip-+_binary64_5222` `prod-exp_binary64_5144` `flip3-+_binary64_5195` `pow1_binary64_5139` `associate-/r*_binary64_5260`
2×	`associate-/r/_binary64_5262` `+-commutative_binary64_5264` `cbrt-undiv_binary64_5167`
1×	`associate-/l*_binary64_5261` `pow-exp_binary64_5117` `clear-num_binary64_5200` `associate-+l+_binary64_5249` `cbrt-unprod_binary64_5166` `pow-to-exp_binary64_5118` `div-inv_binary64_5198` `frac-2neg_binary64_5190`

Counts

3 → 49

Calls

3 calls:

4.0ms	(+.f64 1 (*.f64 10 k))
7.0ms	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
11.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))

series1.1s

Counts

3 → 9

Calls

3 calls:

437.0ms	(+.f64 1 (*.f64 10 k))
475.0ms	(+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))
232.0ms	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 1 (.f64 10 k)) (*.f64 k k)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	468	3753
1	468	3753
0	4835	3624
1	4835	3624
0	468	3753
1	468	3753
0	4835	3624
1	4835	3624
0	1	3
1	1	3
0	213	1677
1	213	1677
0	4757	994
1	4757	994
0	213	1677
1	213	1677
0	4757	994
1	4757	994
0	5126	12
0	174	1342
1	174	1342
0	5130	618
0	174	1342
1	174	1342
0	5130	618
0	5096	12

simplify192.0ms

Counts

58 → 58

Iterations

Useful iterations: 0 (168.0ms)

Iter	Nodes	Cost
0	4915	936
1	4915	936

prune52.0ms

Filtered

44 candidates to 58 candidates (-31.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	2	59

Merged error: 2.0b

Counts

59 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
0.0b	(/.f64 (.f64 (pow.f64 k m) (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))))) (sqrt.f64 (+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))))
15.4b	(sqrt.f64 (+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k)))
15.4b	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_5182` `add-exp-log_binary64_5161`
25×	`add-cube-cbrt_binary64_5168` `*-un-lft-identity_binary64_5197`
24×	`times-frac_binary64_5192` `sqrt-prod_binary64_5176`
15×	`add-cbrt-cube_binary64_5169`
12×	`associate-/r*_binary64_5260`
11×	`div-exp_binary64_5146`
8×	`sqrt-div_binary64_5177`
6×	`prod-exp_binary64_5144` `pow1_binary64_5139`
5×	`cbrt-undiv_binary64_5167`
4×	`associate-/l*_binary64_5261` `associate-/r/_binary64_5262` `add-log-exp_binary64_5162` `flip-+_binary64_5222` `flip3-+_binary64_5195`
2×	`pow-exp_binary64_5117` `clear-num_binary64_5200` `pow1/2_binary64_5129` `cbrt-unprod_binary64_5166` `pow-to-exp_binary64_5118` `div-inv_binary64_5198` `rem-sqrt-square_binary64_5185` `frac-2neg_binary64_5190` `sqrt-pow1_binary64_5178`
1×	`associate-/l/_binary64_5263` `associate-*r/_binary64_5258`

Counts

4 → 107

Calls

4 calls:

7.0ms	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
18.0ms	(/.f64 (.f64 (pow.f64 k m) (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))))) (sqrt.f64 (+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))))
6.0ms	(sqrt.f64 (+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

series1.1s

Counts

4 → 12

Calls

4 calls:

198.0ms	(/.f64 a (sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10)))))
249.0ms	(/.f64 (.f64 (pow.f64 k m) (/.f64 a (sqrt.f64 (+.f64 1 (.f64 k (+.f64 k 10)))))) (sqrt.f64 (+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k))))
296.0ms	(sqrt.f64 (+.f64 (+.f64 1 (.f64 10 k)) (.f64 k k)))
335.0ms	(sqrt.f64 (+.f64 1 (*.f64 k (+.f64 k 10))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	261	1753
1	261	1753
0	4707	1476
1	4707	1476
0	261	1753
1	261	1753
0	4707	1476
1	4707	1476
0	1	3
1	1	3
0	281	1902
1	281	1902
0	5019	1475
0	281	1902
1	281	1902
0	5019	1475
0	1	3
1	1	3
0	486	3945
1	486	3945
0	5030	3624
0	486	3945
1	486	3945
0	5030	3624
0	1	3
1	1	3
0	368	2672
1	368	2672
0	29	1989
1	29	1989
0	368	2672
1	368	2672
0	29	1989
1	29	1989
0	1	3
1	1	3

simplify111.0ms

Counts

119 → 119

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5009	2589

prune114.0ms

Filtered

79 candidates to 119 candidates (-50.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	119	2	121

Merged error: 2.0b

Counts

121 → 2

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 k (+.f64 k 10))
0.1b	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))
1.9b	(.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (.f64 k (+.f64 k 10)))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_5182`
45×	`times-frac_binary64_5192`
38×	`*-un-lft-identity_binary64_5197`
36×	`add-cube-cbrt_binary64_5168`
31×	`associate-r_binary64_5256`
22×	`unpow-prod-down_binary64_5128`
20×	`add-exp-log_binary64_5161`
12×	`add-cbrt-cube_binary64_5169`
8×	`sqr-pow_binary64_5229`
7×	`associate-/l*_binary64_5261` `pow1_binary64_5139`
6×	`div-exp_binary64_5146` `associate-l_binary64_5257`
5×	`prod-exp_binary64_5144` `unswap-sqr_binary64_5225`
4×	`associate-/r/_binary64_5262`
3×	`add-log-exp_binary64_5162` `cbrt-unprod_binary64_5166` `flip-+_binary64_5222` `flip3-+_binary64_5195` `associate-r/_binary64_5258` `associate-/r_binary64_5260`
2×	`pow-exp_binary64_5117` `*-commutative_binary64_5265` `pow-to-exp_binary64_5118` `div-inv_binary64_5198` `cbrt-undiv_binary64_5167` `pow-prod-down_binary64_5120`
1×	`clear-num_binary64_5200` `distribute-lft-out_binary64_5241` `distribute-rgt-in_binary64_5240` `frac-2neg_binary64_5190` `distribute-lft-in_binary64_5239`

Counts

3 → 120

Calls

3 calls:

8.0ms	(*.f64 k (+.f64 k 10))
8.0ms	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))
14.0ms	(.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (.f64 k (+.f64 k 10)))))

series953.0ms

Counts

3 → 9

Calls

3 calls:

402.0ms	(*.f64 k (+.f64 k 10))
272.0ms	(/.f64 (pow.f64 k m) (+.f64 1 (*.f64 k (+.f64 k 10))))
279.0ms	(.f64 a (/.f64 (pow.f64 k m) (+.f64 1 (.f64 k (+.f64 k 10)))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	75	3702
1	75	3702
0	5491	2329
0	75	3702
1	75	3702
0	5491	2329
0	1	3
1	1	3
0	344	2705
1	344	2705
0	4914	2589
1	4914	2589
0	344	2705
1	344	2705
0	4914	2589
1	4914	2589
0	1	3
1	1	3
0	178	1490
1	178	1490
0	4849	1007
1	4849	1007
0	178	1490
1	178	1490
0	4849	1007
1	4849	1007
0	5126	12

simplify209.0ms

Counts

129 → 129

Iterations

Useful iterations: 0 (172.0ms)

Iter	Nodes	Cost
0	4933	2726
1	4933	2726

prune103.0ms

Filtered

94 candidates to 129 candidates (-37.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	129	2	131

Merged error: 2.0b

Counts

131 → 2

regimes27.0ms

Accuracy

0% (0.1b remaining)

Error of 2.0b against oracle of 1.9b and baseline of 2.0b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	28	38
1	28	38

end0.0ms

sample1.2s

Algorithm

intervals

Results

509.0ms	8000×	body	80	valid
258.0ms	3180×	body	80	invalid
88.0ms	2001×	body	80	nan

Details

analyze995.0ms

sample38.0ms

simplify281.0ms

prune4.0ms

localize10.0ms

rewrite23.0ms

series1.1s

simplify192.0ms

prune52.0ms

localize16.0ms

rewrite38.0ms

series1.1s

simplify111.0ms

prune114.0ms

localize12.0ms

rewrite37.0ms

series953.0ms

simplify209.0ms

prune103.0ms

regimes27.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.2s

Profiling