Details

analyze1.8s

Algorithm

Search

True	Other	False	Iter
0%	49.9%	50.1%	0
0%	49.9%	50.1%	1
0%	49.9%	50.1%	2
0%	49.9%	50.1%	3
0%	49.9%	50.1%	4
0%	49.9%	50.1%	5
0%	49.9%	50.1%	6
0%	49.9%	50.1%	7
0%	49.9%	50.1%	8
0.4%	49.5%	50.1%	9
0.4%	49.3%	50.3%	10
0.6%	48.9%	50.5%	11
1.1%	48.1%	50.9%	12
1.5%	47.3%	51.2%	13
1.7%	46.9%	51.5%	14

sample204.0ms

Algorithm

intervals

Results

89.0ms	84×	body	2560	valid
61.0ms	112×	body	1280	valid
13.0ms	32×	body	640	valid
12.0ms	26×	body	1280	overflowed
6.0ms	310×	pre	80	true
3.0ms	9×	body	640	overflowed
3.0ms	12×	body	320	valid
2.0ms	3×	body	2560	overflowed
1.0ms	6×	body	320	overflowed
1.0ms	12×	body	80	valid
1.0ms	4×	body	160	valid
0.0ms	7×	body	80	overflowed
0.0ms	3×	body	160	overflowed

simplify41.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5218	37

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

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1)))
2.6b	(-.f64 (exp.f64 (*.f64 a eps)) 1)
3.9b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
5.2b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
10×	`add-log-exp_binary64` `flip3--_binary64` `flip--_binary64`
8×	`associate-/r/_binary64`
6×	`difference-of-squares_binary64`
4×	`pow1_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-*r/_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64` `div-exp_binary64` `insert-posit16` `frac-times_binary64`
3×	`sub-neg_binary64` `diff-log_binary64` `difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
2×	`associate-/l/_binary64` `associate-*l/_binary64`
1×	`associate-/r_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `div-inv_binary64`

Counts

4 → 80

Calls

4 calls:

22.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1)))
5.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
5.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
6.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

series1.9s

Counts

4 → 12

Calls

4 calls:

741.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (-.f64 (exp.f64 (.f64 a eps)) 1) (-.f64 (exp.f64 (*.f64 b eps)) 1)))
396.0ms	(-.f64 (exp.f64 (*.f64 a eps)) 1)
399.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
371.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	729	815
1	729	815
0	425	210
1	425	210
0	729	815
1	729	815
0	425	210
1	425	210
0	1	3
1	1	3
0	390	609
1	390	609
0	90	390
1	90	390
0	390	609
1	390	609
0	90	390
1	90	390
0	5140	12
0	390	609
1	390	609
0	90	390
1	90	390
0	390	609
1	390	609
0	90	390
1	90	390
0	5140	12
0	1605	2626
1	1605	2626
0	696	1683
1	696	1683
0	1605	2626
1	1605	2626
0	696	1683
1	696	1683
0	1	3
1	1	3

simplify64.0ms

Counts

92 → 92

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5680	2100

prune109.0ms

Filtered

68 candidates to 92 candidates (-35.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	85	7	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	7	93

Merged error: 59.4b

Counts

93 → 7

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify18.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	0	0

prune10.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	6	6
Picked	1	1
Done	0	0
Total	7	7

Merged error: 59.4b

Counts

7 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

2.6b	(+.f64 -1 (exp.f64 (*.f64 a eps)))
2.8b	(log.f64 (exp.f64 (+.f64 -1 (exp.f64 (*.f64 a eps)))))
3.9b	(-.f64 (exp.f64 (*.f64 b eps)) 1)
5.2b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
14×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
6×	`add-cube-cbrt_binary64`
5×	`pow1_binary64` `log-pow_binary64`
4×	`log-prod_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `insert-posit16` `exp-prod_binary64`
2×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `difference-of-sqr-1_binary64` `distribute-lft-out--_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `rem-log-exp_binary64` `exp-sum_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 63

Calls

4 calls:

4.0ms	(+.f64 -1 (exp.f64 (*.f64 a eps)))
6.0ms	(log.f64 (exp.f64 (+.f64 -1 (exp.f64 (*.f64 a eps)))))
5.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
6.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

series1.6s

Counts

4 → 12

Calls

4 calls:

401.0ms	(+.f64 -1 (exp.f64 (*.f64 a eps)))
423.0ms	(log.f64 (exp.f64 (+.f64 -1 (exp.f64 (*.f64 a eps)))))
397.0ms	(-.f64 (exp.f64 (*.f64 b eps)) 1)
369.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	729	815
1	729	815
0	425	210
1	425	210
0	729	815
1	729	815
0	425	210
1	425	210
0	1	3
1	1	3
0	390	609
1	390	609
0	90	390
1	90	390
0	390	609
1	390	609
0	90	390
1	90	390
0	5140	12
0	491	1438
1	491	1438
0	4842	1107
1	4842	1107
0	491	1438
1	491	1438
0	4842	1107
1	4842	1107
0	1	3
1	1	3
0	393	609
1	393	609
0	90	390
1	90	390
0	393	609
1	393	609
0	90	390
1	90	390
0	5140	12

simplify79.0ms

Counts

75 → 75

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4999	985
1	4999	985

prune81.0ms

Filtered

56 candidates to 75 candidates (-33.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	75	7	82

Merged error: 59.4b

Counts

82 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (log.f64 (exp.f64 (+.f64 -1 (exp.f64 (.f64 a eps))))) (+.f64 -1 (*.f64 eps (-.f64 -1 eps)))))
2.6b	(+.f64 -1 (exp.f64 (*.f64 a eps)))
2.8b	(log.f64 (exp.f64 (+.f64 -1 (exp.f64 (*.f64 a eps)))))
5.2b	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`*-un-lft-identity_binary64`
10×	`add-sqr-sqrt_binary64`
8×	`add-log-exp_binary64`
6×	`add-cube-cbrt_binary64`
5×	`pow1_binary64` `log-pow_binary64`
4×	`cbrt-unprod_binary64` `log-prod_binary64` `cbrt-undiv_binary64` `associate-*r/_binary64` `prod-exp_binary64` `div-exp_binary64` `insert-posit16` `exp-prod_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `associate-/r/_binary64` `difference-of-squares_binary64` `flip--_binary64` `flip-+_binary64`
1×	`associate-/r_binary64` `sub-neg_binary64` `diff-log_binary64` `rem-log-exp_binary64` `difference-of-sqr-1_binary64` `clear-num_binary64` `exp-sum_binary64` `frac-2neg_binary64` `associate-/l_binary64` `distribute-lft-out--_binary64` `times-frac_binary64` `div-inv_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 73

Calls

4 calls:

18.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (log.f64 (exp.f64 (+.f64 -1 (exp.f64 (.f64 a eps))))) (+.f64 -1 (*.f64 eps (-.f64 -1 eps)))))
4.0ms	(+.f64 -1 (exp.f64 (*.f64 a eps)))
6.0ms	(log.f64 (exp.f64 (+.f64 -1 (exp.f64 (*.f64 a eps)))))
6.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

series2.0s

Counts

4 → 12

Calls

4 calls:

783.0ms	(/.f64 (.f64 eps (-.f64 (exp.f64 (.f64 (+.f64 a b) eps)) 1)) (.f64 (log.f64 (exp.f64 (+.f64 -1 (exp.f64 (.f64 a eps))))) (+.f64 -1 (*.f64 eps (-.f64 -1 eps)))))
398.0ms	(+.f64 -1 (exp.f64 (*.f64 a eps)))
424.0ms	(log.f64 (exp.f64 (+.f64 -1 (exp.f64 (*.f64 a eps)))))
371.0ms	(-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	729	815
1	729	815
0	425	210
1	425	210
0	729	815
1	729	815
0	425	210
1	425	210
0	1	3
1	1	3
0	491	1438
1	491	1438
0	4842	1107
1	4842	1107
0	491	1438
1	491	1438
0	4842	1107
1	4842	1107
0	1	3
1	1	3
0	393	609
1	393	609
0	90	390
1	90	390
0	393	609
1	393	609
0	90	390
1	90	390
0	5140	12
0	1649	2748
1	1649	2748
0	667	1685
1	667	1685
0	1649	2748
1	1649	2748
0	667	1685
1	667	1685
0	1	3
1	1	3

simplify62.0ms

Counts

85 → 85

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5090	1790

prune84.0ms

Filtered

59 candidates to 85 candidates (-44.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	84	8	92

Merged error: 59.3b

Counts

92 → 8

regimes74.0ms

Accuracy

0% (2.0b remaining)

Error of 60.9b against oracle of 58.9b and baseline of 60.9b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	1	1
1	1	1

end0.0ms

sample6.2s

Algorithm

intervals

Results

2.8s	2633×	body	2560	valid
1.9s	3464×	body	1280	valid
328.0ms	987×	body	640	valid
269.0ms	639×	body	1280	overflowed
194.0ms	9633×	pre	80	true
102.0ms	375×	body	640	overflowed
96.0ms	150×	body	2560	overflowed
83.0ms	370×	body	320	valid
37.0ms	171×	body	320	overflowed
29.0ms	431×	body	80	valid
17.0ms	115×	body	160	valid
14.0ms	204×	body	80	overflowed
12.0ms	92×	body	160	overflowed
3.0ms	2×	body	2560	invalid

Details

analyze1.8s

sample204.0ms

simplify41.0ms

prune4.0ms

localize16.0ms

rewrite41.0ms

series1.9s

simplify64.0ms

prune109.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify18.0ms

prune10.0ms

localize18.0ms

rewrite23.0ms

series1.6s

simplify79.0ms

prune81.0ms

localize18.0ms

rewrite36.0ms

series2.0s

simplify62.0ms

prune84.0ms

regimes74.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample6.2s

Profiling