Details

analyze6.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
75%	25%	0%	5
87.5%	12.5%	0%	6
93.7%	6.2%	0%	7
96.8%	3.1%	0%	8
98.4%	1.6%	0%	9
99.2%	0.8%	0%	10
99.6%	0.4%	0%	11
99.8%	0.2%	0%	12
99.9%	0.1%	0%	13
99.9%	0.1%	0.1%	14

sample28.0ms

Algorithm

intervals

Results

10.0ms	69×	body	640	valid
4.0ms	116×	body	80	valid
4.0ms	21×	body	1280	valid
3.0ms	33×	body	320	valid
1.0ms	17×	body	160	valid

simplify67.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	880	15
1	880	15

prune8.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: 11.7b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 1.0 (+.f64 x 1.0)) (/.f64 2.0 x))
0.0b	(/.f64 1.0 (-.f64 x 1.0))
0.0b	(/.f64 1.0 (+.f64 x 1.0))
3.2b	(+.f64 (-.f64 (/.f64 1.0 (+.f64 x 1.0)) (/.f64 2.0 x)) (/.f64 1.0 (-.f64 x 1.0)))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

83×	`*-un-lft-identity_binary64`
47×	`times-frac_binary64`
43×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`
14×	`distribute-lft-out--_binary64`
13×	`distribute-lft-out_binary64`
11×	`add-log-exp_binary64`
9×	`associate-/r*_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64`
6×	`associate-/l*_binary64`
4×	`pow1_binary64` `associate-/r/_binary64`
3×	`flip3--_binary64` `frac-add_binary64` `flip--_binary64`
2×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64` `frac-sub_binary64` `sum-log_binary64`
1×	`associate-+l+_binary64` `associate-+l-_binary64` `+-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

19.0ms	(-.f64 (/.f64 1.0 (+.f64 x 1.0)) (/.f64 2.0 x))
5.0ms	(/.f64 1.0 (-.f64 x 1.0))
6.0ms	(/.f64 1.0 (+.f64 x 1.0))
30.0ms	(+.f64 (-.f64 (/.f64 1.0 (+.f64 x 1.0)) (/.f64 2.0 x)) (/.f64 1.0 (-.f64 x 1.0)))

series22.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(-.f64 (/.f64 1.0 (+.f64 x 1.0)) (/.f64 2.0 x))
3.0ms	(/.f64 1.0 (-.f64 x 1.0))
3.0ms	(/.f64 1.0 (+.f64 x 1.0))
13.0ms	(+.f64 (-.f64 (/.f64 1.0 (+.f64 x 1.0)) (/.f64 2.0 x)) (/.f64 1.0 (-.f64 x 1.0)))

simplify49.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4954	1594
1	4954	1594

prune160.0ms

Filtered

95 candidates to 124 candidates (-30.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	3	125

Merged error: 0.3b

Counts

125 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 x (+.f64 1.0 x))
0.0b	(/.f64 (+.f64 (.f64 (-.f64 x 1.0) (-.f64 (.f64 1.0 x) (.f64 (+.f64 1.0 x) 2.0))) (.f64 1.0 (.f64 x (+.f64 1.0 x)))) (.f64 (-.f64 x 1.0) (*.f64 x (+.f64 1.0 x))))
0.1b	(.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x)))
18.0b	(+.f64 (.f64 (-.f64 x 1.0) (-.f64 (.f64 1.0 x) (.f64 (+.f64 1.0 x) 2.0))) (.f64 1.0 (*.f64 x (+.f64 1.0 x))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

90×	`associate-*r/_binary64`
32×	`frac-add_binary64`
30×	`flip3--_binary64` `flip--_binary64`
25×	`flip3-+_binary64` `flip-+_binary64`
24×	`frac-times_binary64`
20×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`associate-/l/_binary64`
13×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
12×	`associate-*l/_binary64`
11×	`pow1_binary64`
10×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
9×	`add-cube-cbrt_binary64`
8×	`associate-/r/_binary64` `associate-l_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`add-log-exp_binary64`
5×	`associate-r_binary64`
4×	`pow-prod-down_binary64` `associate-+r+_binary64`
3×	`cbrt-undiv_binary64` `associate-/l*_binary64` `times-frac_binary64` `div-exp_binary64`
2×	`sub-neg_binary64` `associate-+l+_binary64` `*-commutative_binary64`
1×	`associate-/r*_binary64` `distribute-lft-out_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 137

Calls

4 calls:

6.0ms	(*.f64 x (+.f64 1.0 x))
24.0ms	(/.f64 (+.f64 (.f64 (-.f64 x 1.0) (-.f64 (.f64 1.0 x) (.f64 (+.f64 1.0 x) 2.0))) (.f64 1.0 (.f64 x (+.f64 1.0 x)))) (.f64 (-.f64 x 1.0) (*.f64 x (+.f64 1.0 x))))
10.0ms	(.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x)))
13.0ms	(+.f64 (.f64 (-.f64 x 1.0) (-.f64 (.f64 1.0 x) (.f64 (+.f64 1.0 x) 2.0))) (.f64 1.0 (*.f64 x (+.f64 1.0 x))))

series30.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(*.f64 x (+.f64 1.0 x))
11.0ms	(/.f64 (+.f64 (.f64 (-.f64 x 1.0) (-.f64 (.f64 1.0 x) (.f64 (+.f64 1.0 x) 2.0))) (.f64 1.0 (.f64 x (+.f64 1.0 x)))) (.f64 (-.f64 x 1.0) (*.f64 x (+.f64 1.0 x))))
11.0ms	(.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x)))
2.0ms	(+.f64 (.f64 (-.f64 x 1.0) (-.f64 (.f64 1.0 x) (.f64 (+.f64 1.0 x) 2.0))) (.f64 1.0 (*.f64 x (+.f64 1.0 x))))

simplify39.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	5144	4177

prune333.0ms

Filtered

117 candidates to 149 candidates (-27.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	147	2	149
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	149	3	152

Merged error: 0.3b

Counts

152 → 3

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 x (+.f64 1.0 x))
0.1b	(.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x)))
0.4b	(/.f64 2.0 (.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 86

Calls

3 calls:

6.0ms	(*.f64 x (+.f64 1.0 x))
10.0ms	(.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x)))
11.0ms	(/.f64 2.0 (.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x))))

series23.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(*.f64 x (+.f64 1.0 x))
10.0ms	(.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x)))
7.0ms	(/.f64 2.0 (.f64 (-.f64 x 1.0) (.f64 x (+.f64 1.0 x))))

simplify54.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4957	1079
1	4957	1079

prune102.0ms

Filtered

68 candidates to 95 candidates (-39.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	88	7	95
Fresh	2	0	2
Picked	1	0	1
Done	0	0	0
Total	91	7	98

Merged error: 0b

Counts

98 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 2.0 (-.f64 x 1.0))
0.0b	(*.f64 x (+.f64 1.0 x))
0.1b	(/.f64 (/.f64 2.0 (-.f64 x 1.0)) (*.f64 x (+.f64 1.0 x)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 124

Calls

3 calls:

6.0ms	(/.f64 2.0 (-.f64 x 1.0))
6.0ms	(*.f64 x (+.f64 1.0 x))
12.0ms	(/.f64 (/.f64 2.0 (-.f64 x 1.0)) (*.f64 x (+.f64 1.0 x)))

series16.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/.f64 2.0 (-.f64 x 1.0))
6.0ms	(*.f64 x (+.f64 1.0 x))
7.0ms	(/.f64 (/.f64 2.0 (-.f64 x 1.0)) (*.f64 x (+.f64 1.0 x)))

simplify61.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4976	1502
1	4976	1502

prune122.0ms

Filtered

98 candidates to 133 candidates (-35.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	134	6	140

Merged error: 0b

Counts

140 → 6

regimes34.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	11
1	20	11

end0.0ms

sample756.0ms

Algorithm

intervals

Results

275.0ms	1925×	body	640	valid
159.0ms	4160×	body	80	valid
101.0ms	573×	body	1280	valid
98.0ms	902×	body	320	valid
31.0ms	440×	body	160	valid
0.0ms	2×	body	80	invalid

Details

analyze6.0ms

sample28.0ms

simplify67.0ms

prune8.0ms

localize9.0ms

rewrite64.0ms

series22.0ms

simplify49.0ms

prune160.0ms

localize15.0ms

rewrite61.0ms

series30.0ms

simplify39.0ms

prune333.0ms

localize6.0ms

rewrite31.0ms

series23.0ms

simplify54.0ms

prune102.0ms

localize7.0ms

rewrite29.0ms

series16.0ms

simplify61.0ms

prune122.0ms

regimes34.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample756.0ms

Profiling