Details

analyze76.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
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	18.7%	12.6%	7
68.7%	12.5%	18.8%	8
68.7%	12.5%	18.8%	9
68.7%	9.4%	22%	10
68.7%	9.4%	22%	11
68.7%	7.8%	23.5%	12
68.7%	7.8%	23.5%	13
68.7%	7%	24.3%	14

sample14.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
1.0ms	29×	body	80	overflowed

simplify19.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	8	13
1	8	13

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

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
0.0b	(+.f64 (exp.f64 a) (exp.f64 b))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
5×	`distribute-lft-out_binary64`
4×	`associate-/r*_binary64` `add-log-exp_binary64` `add-cbrt-cube_binary64`
3×	`add-exp-log_binary64` `associate-/l*_binary64`
2×	`flip3-+_binary64` `pow1_binary64` `associate-/r/_binary64` `insert-posit16` `flip-+_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

2 → 47

Calls

2 calls:

9.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
5.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

series396.0ms

Counts

2 → 6

Calls

2 calls:

226.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
170.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	242	186
1	242	186
0	9	9
1	9	9
0	242	186
1	242	186
0	9	9
1	9	9
0	1	3
1	1	3
0	389	573
1	389	573
0	9	9
1	9	9
0	389	573
1	389	573
0	9	9
1	9	9
0	1	3
1	1	3

simplify100.0ms

Counts

53 → 53

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5249	871

prune29.0ms

Filtered

38 candidates to 53 candidates (-39.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	2	54

Merged error: 0b

Counts

54 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
0.3b	(log.f64 (exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

37×	`*-un-lft-identity_binary64`
24×	`times-frac_binary64`
21×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
19×	`log-pow_binary64`
18×	`exp-prod_binary64`
8×	`distribute-lft-out_binary64`
5×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
4×	`associate-/r*_binary64` `pow1_binary64` `add-exp-log_binary64` `associate-/r/_binary64`
3×	`flip3-+_binary64` `log-prod_binary64` `associate-/l*_binary64` `insert-posit16` `flip-+_binary64`
2×	`div-inv_binary64`
1×	`cbrt-undiv_binary64` `rem-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

3 → 78

Calls

3 calls:

9.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
5.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
11.0ms	(log.f64 (exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))

series667.0ms

Counts

3 → 9

Calls

3 calls:

226.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
172.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
268.0ms	(log.f64 (exp.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	486	861
1	486	861
0	9	9
1	9	9
0	486	861
1	486	861
0	9	9
1	9	9
0	1	3
1	1	3
0	242	186
1	242	186
0	9	9
1	9	9
0	242	186
1	242	186
0	9	9
1	9	9
0	1	3
1	1	3
0	389	573
1	389	573
0	9	9
1	9	9
0	389	573
1	389	573
0	9	9
1	9	9
0	1	3
1	1	3

simplify110.0ms

Counts

87 → 87

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5398	1387

prune47.0ms

Filtered

63 candidates to 87 candidates (-38.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	87	2	89

Merged error: 0b

Counts

89 → 2

regimes37.0ms

Accuracy

0% (0.0b remaining)

Error of 0.6b against oracle of 0.6b and baseline of 0.6b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	13
1	8	13

end0.0ms

sample382.0ms

Algorithm

intervals

Results

223.0ms	8000×	body	80	valid
16.0ms	681×	body	80	overflowed

Iter	Nodes	Cost
0	242	186
1	242	186
0	9	9
1	9	9
0	242	186
1	242	186
0	9	9
1	9	9
0	1	3
1	1	3
0	389	573
1	389	573
0	9	9
1	9	9
0	389	573
1	389	573
0	9	9
1	9	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	486	861
1	486	861
0	9	9
1	9	9
0	486	861
1	486	861
0	9	9
1	9	9
0	1	3
1	1	3
0	242	186
1	242	186
0	9	9
1	9	9
0	242	186
1	242	186
0	9	9
1	9	9
0	1	3
1	1	3
0	389	573
1	389	573
0	9	9
1	9	9
0	389	573
1	389	573
0	9	9
1	9	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	242	186
1	242	186
0	9	9
1	9	9
0	242	186
1	242	186
0	9	9
1	9	9
0	1	3
1	1	3
0	389	573
1	389	573
0	9	9
1	9	9
0	389	573
1	389	573
0	9	9
1	9	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	486	861
1	486	861
0	9	9
1	9	9
0	486	861
1	486	861
0	9	9
1	9	9
0	1	3
1	1	3
0	242	186
1	242	186
0	9	9
1	9	9
0	242	186
1	242	186
0	9	9
1	9	9
0	1	3
1	1	3
0	389	573
1	389	573
0	9	9
1	9	9
0	389	573
1	389	573
0	9	9
1	9	9
0	1	3
1	1	3

Details

analyze76.0ms

sample14.0ms

simplify19.0ms

prune1.0ms

localize9.0ms

rewrite16.0ms

series396.0ms

simplify100.0ms

prune29.0ms

localize8.0ms

rewrite29.0ms

series667.0ms

simplify110.0ms

prune47.0ms

regimes37.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample382.0ms

Profiling

Iter	Nodes	Cost
0	242	186
1	242	186
0	9	9
1	9	9
0	242	186
1	242	186
0	9	9
1	9	9
0	1	3
1	1	3
0	389	573
1	389	573
0	9	9
1	9	9
0	389	573
1	389	573
0	9	9
1	9	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	486	861
1	486	861
0	9	9
1	9	9
0	486	861
1	486	861
0	9	9
1	9	9
0	1	3
1	1	3
0	242	186
1	242	186
0	9	9
1	9	9
0	242	186
1	242	186
0	9	9
1	9	9
0	1	3
1	1	3
0	389	573
1	389	573
0	9	9
1	9	9
0	389	573
1	389	573
0	9	9
1	9	9
0	1	3
1	1	3