Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

sample21.0ms

Algorithm

intervals

Results

12.0ms	256×	pre	80	true
5.0ms	256×	body	80	valid

simplify76.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	473	10
1	473	10

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

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

1.0b	(/.f64 x0 (-.f64 1 x1))
7.5b	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
19×	`times-frac_binary64`
13×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64`
5×	`distribute-lft-out--_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`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 → 57

Calls

2 calls:

7.0ms	(/.f64 x0 (-.f64 1 x1))
16.0ms	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

series1.1s

Counts

2 → 6

Calls

2 calls:

340.0ms	(/.f64 x0 (-.f64 1 x1))
778.0ms	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	3119	93
1	3119	93
0	3119	93
1	3119	93
0	5120	3
0	806	122
1	806	122
0	806	122
1	806	122
0	5081	9

simplify96.0ms

Counts

63 → 63

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5080	859

prune37.0ms

Filtered

46 candidates to 63 candidates (-37.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	61	2	63
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	2	64

Merged error: 6.7b

Counts

64 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
0.5b	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0b	(/.f64 x0 (-.f64 1 x1))
6.0b	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

53×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64` `times-frac_binary64`
18×	`difference-of-squares_binary64`
11×	`pow1_binary64` `distribute-lft-out--_binary64`
8×	`add-log-exp_binary64` `flip3--_binary64` `swap-sqr_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip--_binary64`
6×	`associate-/r_binary64` `associate-r_binary64` `associate-l*_binary64`
4×	`insert-posit16` `frac-times_binary64`
3×	`sub-neg_binary64` `associate-/l*_binary64`
2×	`associate-r/_binary64` `associate-/r/_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `distribute-lft-out_binary64` `pow-prod-up_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `pow-sqr_binary64` `+-commutative_binary64` `flip-+_binary64` `pow2_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 117

Calls

4 calls:

13.0ms	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
15.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
7.0ms	(/.f64 x0 (-.f64 1 x1))
19.0ms	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

series1.8s

Counts

4 → 12

Calls

4 calls:

302.0ms	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
700.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
341.0ms	(/.f64 x0 (-.f64 1 x1))
489.0ms	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	2236	99
1	2236	99
0	2236	99
1	2236	99
0	9	3
1	9	3
0	806	122
1	806	122
0	806	122
1	806	122
0	5081	9
0	3159	93
1	3159	93
0	3159	93
1	3159	93
0	5207	12
0	684	246
1	684	246
0	684	246
1	684	246
0	5195	12

simplify91.0ms

Counts

129 → 129

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5193	1724

prune110.0ms

Filtered

89 candidates to 129 candidates (-44.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 5.3b

Counts

131 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 x1 (+.f64 x1 -2))
0.5b	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0b	(/.f64 x0 (-.f64 1 x1))
6.0b	(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt_binary64`
35×	`*-un-lft-identity_binary64`
19×	`times-frac_binary64`
17×	`add-cube-cbrt_binary64`
10×	`difference-of-squares_binary64`
8×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`associate-/r*_binary64` `pow1_binary64`
5×	`distribute-lft-out--_binary64`
4×	`associate-r_binary64` `insert-posit16`
3×	`associate-l_binary64` `associate-/l*_binary64`
2×	`flip3-+_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `associate-*r/_binary64` `associate-/r/_binary64` `flip--_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 94

Calls

4 calls:

8.0ms	(*.f64 x1 (+.f64 x1 -2))
12.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
7.0ms	(/.f64 x0 (-.f64 1 x1))
12.0ms	(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

series1.8s

Counts

4 → 12

Calls

4 calls:

232.0ms	(*.f64 x1 (+.f64 x1 -2))
709.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
340.0ms	(/.f64 x0 (-.f64 1 x1))
556.0ms	(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	2256	105
1	2256	105
0	2256	105
1	2256	105
0	9	3
1	9	3
0	806	122
1	806	122
0	806	122
1	806	122
0	5081	9
0	3159	93
1	3159	93
0	3159	93
1	3159	93
0	5207	12
0	294	313
1	294	313
0	294	313
1	294	313
0	4970	12
1	4970	12

simplify92.0ms

Counts

106 → 106

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5173	1433

prune95.0ms

Filtered

78 candidates to 106 candidates (-35.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	106	2	108

Merged error: 4.4b

Counts

108 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
1.0b	(/.f64 x0 (-.f64 1 x1))
4.9b	(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
6.0b	(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt_binary64`
35×	`*-un-lft-identity_binary64`
20×	`times-frac_binary64`
17×	`add-cube-cbrt_binary64`
12×	`difference-of-squares_binary64`
8×	`add-log-exp_binary64`
7×	`log-pow_binary64`
6×	`associate-/r*_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `distribute-lft-out--_binary64` `exp-prod_binary64`
5×	`pow1_binary64`
4×	`log-prod_binary64` `insert-posit16`
3×	`associate-/l*_binary64`
2×	`sub-neg_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `exp-diff_binary64` `clear-num_binary64` `exp-sum_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `log-div_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 91

Calls

4 calls:

12.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
7.0ms	(/.f64 x0 (-.f64 1 x1))
12.0ms	(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
12.0ms	(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

series2.1s

Counts

4 → 12

Calls

4 calls:

678.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
326.0ms	(/.f64 x0 (-.f64 1 x1))
585.0ms	(log.f64 (exp.f64 (-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)))
532.0ms	(-.f64 (/.f64 x0 (+.f64 1 (*.f64 x1 (+.f64 x1 -2)))) x0)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	2256	105
1	2256	105
0	2256	105
1	2256	105
0	9	3
1	9	3
0	2350	504
1	2350	504
0	2350	504
1	2350	504
0	13	3
1	13	3
0	806	122
1	806	122
0	806	122
1	806	122
0	5081	9
0	3159	93
1	3159	93
0	3159	93
1	3159	93
0	5207	12

simplify120.0ms

Counts

103 → 103

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5096	1624

prune99.0ms

Filtered

77 candidates to 103 candidates (-33.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	103	2	105

Merged error: 3.3b

Counts

105 → 2

regimes21.0ms

Accuracy

100% (0.0b remaining)

Error of 3.3b against oracle of 3.3b and baseline of 4.4b

bsearch15.0ms

Steps

Iters	Range		Point
7	0.000209	0.0186	0.00021208908081054686

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	59	108
1	59	108

end0.0ms

sample446.0ms

Algorithm

intervals

Results

201.0ms	8000×	pre	80	true
152.0ms	8000×	body	80	valid

Details

analyze3.0ms

sample21.0ms

simplify76.0ms

prune1.0ms

localize5.0ms

rewrite25.0ms

series1.1s

simplify96.0ms

prune37.0ms

localize10.0ms

rewrite59.0ms

series1.8s

simplify91.0ms

prune110.0ms

localize12.0ms

rewrite42.0ms

series1.8s

simplify92.0ms

prune95.0ms

localize17.0ms

rewrite46.0ms

series2.1s

simplify120.0ms

prune99.0ms

regimes21.0ms

bsearch15.0ms

simplify6.0ms

end0.0ms

sample446.0ms

Profiling