Details

analyze317.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	62.5%	12.5%	4
25%	56.2%	18.8%	5
28.1%	50%	21.9%	6
29.7%	46.9%	23.5%	7
30.5%	45.3%	24.3%	8
30.8%	44.9%	24.3%	9
31.2%	44.5%	24.3%	10
31.3%	44.4%	24.3%	11
31.4%	44.3%	24.3%	12
31.4%	44.2%	24.3%	13
31.5%	44.2%	24.3%	14

sample29.0ms

Algorithm

intervals

Results

12.0ms	63×	body	1280	valid
7.0ms	57×	body	640	valid
2.0ms	30×	body	320	valid
2.0ms	91×	body	80	valid
1.0ms	15×	body	160	valid

simplify22.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	11	11
1	11	11

prune1.0ms

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: 41.1b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.3b	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
4.1b	(-.f64 (exp.f64 x) 1)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt_binary64`
29×	`*-un-lft-identity_binary64`
21×	`times-frac_binary64`
14×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`
7×	`associate-/r*_binary64`
5×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
3×	`add-exp-log_binary64` `associate-/l*_binary64`
2×	`pow1_binary64` `flip3--_binary64` `associate-/r/_binary64` `insert-posit16` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

2 → 62

Calls

2 calls:

9.0ms	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
5.0ms	(-.f64 (exp.f64 x) 1)

series607.0ms

Counts

2 → 6

Calls

2 calls:

338.0ms	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
269.0ms	(-.f64 (exp.f64 x) 1)

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	221	171
1	221	171
0	6	9
1	6	9
0	221	171
1	221	171
0	6	9
1	6	9
0	4947	36
1	4947	36
0	425	1067
1	425	1067
0	10	36
1	10	36
0	425	1067
1	425	1067
0	10	36
1	10	36
0	22	12
1	22	12

simplify116.0ms

Counts

68 → 68

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4922	1132
1	4922	1132

prune61.0ms

Filtered

46 candidates to 68 candidates (-47.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	60	8	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	8	69

Merged error: 39.3b

Counts

69 → 8

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
4.1b	(-.f64 1 (exp.f64 (neg.f64 x)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64` `add-exp-log_binary64`
5×	`distribute-lft-out--_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
3×	`pow1_binary64` `associate-/l*_binary64`
2×	`flip3--_binary64` `associate-/r/_binary64` `div-exp_binary64` `insert-posit16` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `rec-exp_binary64` `div-inv_binary64` `pow-flip_binary64`

Counts

2 → 61

Calls

2 calls:

8.0ms	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
6.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))

series636.0ms

Counts

2 → 6

Calls

2 calls:

360.0ms	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
276.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	226	203
1	226	203
0	6	9
1	6	9
0	226	203
1	226	203
0	6	9
1	6	9
0	4947	36
1	4947	36
0	420	965
1	420	965
0	12	36
1	12	36
0	420	965
1	420	965
0	12	36
1	12	36
0	22	12
1	22	12

simplify136.0ms

Counts

67 → 67

Iterations

Useful iterations: 0 (111.0ms)

Iter	Nodes	Cost
0	4870	1038
1	4870	1038

prune52.0ms

Filtered

41 candidates to 67 candidates (-63.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	62	5	67
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	65	10	75

Merged error: 39.2b

Counts

75 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))))
4.1b	(-.f64 1 (exp.f64 (neg.f64 x)))
4.1b	(-.f64 1 (exp.f64 (neg.f64 x)))
4.1b	(-.f64 1 (exp.f64 (neg.f64 x)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

137×	`add-sqr-sqrt_binary64`
136×	`cbrt-prod_binary64`
125×	`*-un-lft-identity_binary64`
100×	`times-frac_binary64`
52×	`add-cube-cbrt_binary64`
35×	`swap-sqr_binary64`
30×	`difference-of-squares_binary64`
27×	`associate-r_binary64` `associate-l_binary64`
21×	`distribute-lft-out--_binary64`
16×	`unswap-sqr_binary64`
11×	`pow1_binary64`
10×	`add-log-exp_binary64`
8×	`associate-/r/_binary64`
7×	`flip3--_binary64` `flip--_binary64`
6×	`pow1/3_binary64` `add-exp-log_binary64` `div-inv_binary64`
4×	`cbrt-div_binary64` `add-cbrt-cube_binary64` `insert-posit16`
3×	`sub-neg_binary64` `diff-log_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `associate-r/_binary64` `pow-plus_binary64` `prod-exp_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 172

Calls

4 calls:

34.0ms	(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))))
6.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))
6.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))
6.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))

series1.3s

Counts

4 → 12

Calls

4 calls:

490.0ms	(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))))
274.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))
279.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))
280.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	226	203
1	226	203
0	6	9
1	6	9
0	226	203
1	226	203
0	6	9
1	6	9
0	4947	36
1	4947	36
0	226	203
1	226	203
0	6	9
1	6	9
0	226	203
1	226	203
0	6	9
1	6	9
0	4947	36
1	4947	36
0	226	203
1	226	203
0	6	9
1	6	9
0	226	203
1	226	203
0	6	9
1	6	9
0	4947	36
1	4947	36
0	143	1846
1	143	1846
0	5113	1786
0	143	1846
1	143	1846
0	5113	1786
0	4940	109
1	4940	109

simplify156.0ms

Counts

184 → 184

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4965	5205
1	4965	5205

prune238.0ms

Filtered

119 candidates to 184 candidates (-54.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	180	4	184
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	183	11	194

Merged error: 39.2b

Counts

194 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))))
4.1b	(-.f64 1 (exp.f64 (neg.f64 x)))
4.1b	(-.f64 1 (exp.f64 (neg.f64 x)))
4.1b	(+.f64 1 (/.f64 -1 (exp.f64 x)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

136×	`cbrt-prod_binary64`
134×	`add-sqr-sqrt_binary64`
124×	`*-un-lft-identity_binary64`
100×	`times-frac_binary64`
52×	`add-cube-cbrt_binary64`
35×	`swap-sqr_binary64`
28×	`difference-of-squares_binary64`
27×	`associate-r_binary64` `associate-l_binary64`
20×	`distribute-lft-out--_binary64`
16×	`unswap-sqr_binary64`
11×	`pow1_binary64`
10×	`add-log-exp_binary64`
8×	`associate-/r/_binary64`
6×	`flip3--_binary64` `pow1/3_binary64` `add-exp-log_binary64` `div-inv_binary64` `flip--_binary64`
4×	`cbrt-div_binary64` `add-cbrt-cube_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`flip3-+_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `associate-r/_binary64` `pow-plus_binary64` `prod-exp_binary64` `+-commutative_binary64` `flip-+_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 170

Calls

4 calls:

37.0ms	(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))))
6.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))
6.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))
8.0ms	(+.f64 1 (/.f64 -1 (exp.f64 x)))

series1.5s

Counts

4 → 12

Calls

4 calls:

494.0ms	(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))) (cbrt.f64 (/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))))
288.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))
274.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))
421.0ms	(+.f64 1 (/.f64 -1 (exp.f64 x)))

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	412	705
1	412	705
0	11	9
1	11	9
0	412	705
1	412	705
0	11	9
1	11	9
0	5063	42
0	226	203
1	226	203
0	6	9
1	6	9
0	226	203
1	226	203
0	6	9
1	6	9
0	4947	36
1	4947	36
0	226	203
1	226	203
0	6	9
1	6	9
0	226	203
1	226	203
0	6	9
1	6	9
0	4947	36
1	4947	36
0	143	1846
1	143	1846
0	5113	1786
0	143	1846
1	143	1846
0	5113	1786
0	4940	109
1	4940	109

simplify207.0ms

Counts

182 → 182

Iterations

Useful iterations: 0 (152.0ms)

Iter	Nodes	Cost
0	4873	5217
1	4873	5217

prune249.0ms

Filtered

122 candidates to 182 candidates (-49.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	180	2	182
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	182	11	193

Merged error: 39.2b

Counts

193 → 11

regimes56.0ms

Accuracy

0% (1.5b remaining)

Error of 41.1b against oracle of 39.6b and baseline of 41.1b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	27	25
1	27	25

end0.0ms

sample846.0ms

Algorithm

intervals

Results

403.0ms	2297×	body	1280	valid
182.0ms	1640×	body	640	valid
63.0ms	840×	body	320	valid
62.0ms	2832×	body	80	valid
19.0ms	391×	body	160	valid
0.0ms	1×	body	1280	invalid

Details

analyze317.0ms

sample29.0ms

simplify22.0ms

prune1.0ms

localize4.0ms

rewrite17.0ms

series607.0ms

simplify116.0ms

prune61.0ms

localize5.0ms

rewrite16.0ms

series636.0ms

simplify136.0ms

prune52.0ms

localize9.0ms

rewrite65.0ms

series1.3s

simplify156.0ms

prune238.0ms

localize15.0ms

rewrite70.0ms

series1.5s

simplify207.0ms

prune249.0ms

regimes56.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample846.0ms

Profiling