Details

analyze70.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
43.7%	43.7%	12.6%	6
53.1%	31.2%	15.7%	7
59.3%	18.7%	22%	8
62.4%	14%	23.5%	9
64.8%	8.6%	26.6%	10
66%	6.6%	27.4%	11
66.9%	4.1%	29%	12
67.4%	3.2%	29.4%	13
67.9%	2%	30.1%	14

sample27.0ms

Algorithm

intervals

Results

10.0ms	225×	body	80	valid
5.0ms	9×	body	1280	valid
3.0ms	9×	body	640	valid
1.0ms	6×	body	320	valid
1.0ms	7×	body	160	valid
0.0ms	1×	body	80	invalid

simplify28.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (14.0ms)

Iter	Nodes	Cost
0	97	14
1	97	14

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

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
0.0b	(+.f64 1 (exp.f64 x))
1.1b	(log.f64 (+.f64 1 (exp.f64 x)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
8×	`log-prod_binary64`
6×	`add-log-exp_binary64`
5×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `log-div_binary64` `associate--l+_binary64`
3×	`flip3-+_binary64` `distribute-lft-out_binary64` `add-cbrt-cube_binary64` `insert-posit16` `flip-+_binary64`
2×	`associate--l-_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `rem-log-exp_binary64` `log-pow_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

3 → 47

Calls

3 calls:

8.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
4.0ms	(+.f64 1 (exp.f64 x))
4.0ms	(log.f64 (+.f64 1 (exp.f64 x)))

series816.0ms

Counts

3 → 9

Calls

3 calls:

322.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 x))) (*.f64 x y))
237.0ms	(+.f64 1 (exp.f64 x))
256.0ms	(log.f64 (+.f64 1 (exp.f64 x)))

Iterations

Useful iterations: 0 (147.0ms)

Iter	Nodes	Cost
0	453	519
1	453	519
0	453	519
1	453	519
0	4930	34
1	4930	34
0	236	216
1	236	216
0	236	216
1	236	216
0	5321	15
0	414	502
1	414	502
0	414	502
1	414	502
0	5094	14

simplify129.0ms

Counts

56 → 56

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	5001	747

prune53.0ms

Filtered

45 candidates to 56 candidates (-24.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	4	57

Merged error: 0.5b

Counts

57 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 1 (exp.f64 x))
0.0b	(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (-.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (*.f64 x y)))
1.7b	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
1.7b	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

28×	`log-prod_binary64`
25×	`*-un-lft-identity_binary64`
16×	`sqrt-prod_binary64`
12×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`pow1_binary64`
8×	`add-log-exp_binary64` `associate-+r+_binary64`
7×	`distribute-lft-out_binary64` `log-pow_binary64` `associate-+l+_binary64` `associate--l+_binary64`
6×	`add-exp-log_binary64` `log-div_binary64` `sqrt-div_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-cbrt-cube_binary64` `insert-posit16`
3×	`sum-log_binary64`
2×	`pow1/2_binary64` `rem-log-exp_binary64` `associate-+l-_binary64` `sqrt-pow1_binary64` `+-commutative_binary64`
1×	`sub-neg_binary64` `associate-+r-_binary64` `diff-log_binary64`

Counts

4 → 88

Calls

4 calls:

4.0ms	(+.f64 1 (exp.f64 x))
17.0ms	(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (-.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (*.f64 x y)))
5.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
5.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

series1.2s

Counts

4 → 12

Calls

4 calls:

238.0ms	(+.f64 1 (exp.f64 x))
272.0ms	(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (-.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (*.f64 x y)))
357.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
350.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

Iterations

Useful iterations: 0 (138.0ms)

Iter	Nodes	Cost
0	691	1061
1	691	1061
0	691	1061
1	691	1061
0	5189	76
0	691	1061
1	691	1061
0	691	1061
1	691	1061
0	5189	76
0	513	1379
1	513	1379
0	513	1379
1	513	1379
0	5055	19
0	236	216
1	236	216
0	236	216
1	236	216
0	5321	15

simplify104.0ms

Counts

100 → 100

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5186	1636

prune100.0ms

Filtered

74 candidates to 100 candidates (-35.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	100	4	104

Merged error: 0.5b

Counts

104 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (-.f64 (exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))) (*.f64 x y)))
0.7b	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
1.7b	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
1.7b	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

27×	`log-prod_binary64`
21×	`*-un-lft-identity_binary64`
12×	`pow1_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
11×	`log-pow_binary64`
7×	`add-log-exp_binary64` `associate-+l+_binary64`
6×	`add-exp-log_binary64` `exp-sum_binary64` `log-div_binary64` `sqrt-div_binary64`
5×	`distribute-lft-out_binary64`
4×	`flip3-+_binary64` `add-cbrt-cube_binary64` `insert-posit16` `flip-+_binary64` `exp-prod_binary64`
3×	`pow1/2_binary64` `sqrt-pow1_binary64`
2×	`rem-log-exp_binary64` `associate-+l-_binary64` `sum-log_binary64`
1×	`sub-neg_binary64` `associate-+r-_binary64` `diff-log_binary64` `rem-exp-log_binary64` `+-commutative_binary64` `associate-+r+_binary64`

Counts

4 → 87

Calls

4 calls:

15.0ms	(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (-.f64 (exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))) (*.f64 x y)))
3.0ms	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
5.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
6.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

series1.5s

Counts

4 → 12

Calls

4 calls:

332.0ms	(+.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (-.f64 (exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))) (*.f64 x y)))
510.0ms	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
354.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
352.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	691	1061
1	691	1061
0	691	1061
1	691	1061
0	5189	76
0	691	1061
1	691	1061
0	691	1061
1	691	1061
0	5189	76
0	961	1456
1	961	1456
0	961	1456
1	961	1456
0	4951	25
1	4951	25
0	595	1651
1	595	1651
0	595	1651
1	595	1651
0	5201	19

simplify108.0ms

Counts

99 → 99

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5102	1605

prune100.0ms

Filtered

71 candidates to 99 candidates (-39.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	99	4	103

Merged error: 0.5b

Counts

103 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
0.7b	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
1.7b	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
1.7b	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

26×	`log-prod_binary64`
16×	`*-un-lft-identity_binary64`
14×	`pow1_binary64` `log-pow_binary64`
12×	`add-cube-cbrt_binary64` `exp-sum_binary64` `add-sqr-sqrt_binary64`
8×	`sqrt-prod_binary64` `exp-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `pow1/2_binary64` `add-cbrt-cube_binary64` `sqrt-pow1_binary64` `log-div_binary64` `insert-posit16` `sqrt-div_binary64`
2×	`flip3-+_binary64` `distribute-lft-out_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `flip-+_binary64`

Counts

4 → 80

Calls

4 calls:

3.0ms	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
3.0ms	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
5.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
6.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

series1.7s

Counts

4 → 12

Calls

4 calls:

507.0ms	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
508.0ms	(exp.f64 (log.f64 (log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))
349.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))
348.0ms	(log.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))

Iterations

Useful iterations: 0 (119.0ms)

Iter	Nodes	Cost
0	691	1061
1	691	1061
0	691	1061
1	691	1061
0	5189	76
0	691	1061
1	691	1061
0	691	1061
1	691	1061
0	5189	76
0	961	1456
1	961	1456
0	961	1456
1	961	1456
0	4951	25
1	4951	25
0	961	1456
1	961	1456
0	961	1456
1	961	1456
0	4951	25
1	4951	25

simplify122.0ms

Counts

92 → 92

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4928	1290
1	4928	1290

prune95.0ms

Filtered

62 candidates to 92 candidates (-48.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	92	4	96

Merged error: 0.5b

Counts

96 → 4

regimes25.0ms

Accuracy

0% (0.8b remaining)

Error of 1.1b against oracle of 0.2b and baseline of 1.1b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	46	38
1	46	38

end0.0ms

sample689.0ms

Algorithm

intervals

Results

330.0ms	7280×	body	80	valid
83.0ms	270×	body	640	valid
73.0ms	134×	body	1280	valid
35.0ms	190×	body	320	valid
14.0ms	126×	body	160	valid
2.0ms	43×	body	80	invalid
0.0ms	6×	body	80	overflowed

Details

analyze70.0ms

sample27.0ms

simplify28.0ms

prune1.0ms

localize7.0ms

rewrite17.0ms

series816.0ms

simplify129.0ms

prune53.0ms

localize12.0ms

rewrite36.0ms

series1.2s

simplify104.0ms

prune100.0ms

localize13.0ms

rewrite33.0ms

series1.5s

simplify108.0ms

prune100.0ms

localize13.0ms

rewrite20.0ms

series1.7s

simplify122.0ms

prune95.0ms

regimes25.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample689.0ms

Profiling