Details

analyze2.0ms

Algorithm

Search

True	Other	False	Iter
0%	25%	75%	0
25%	0%	75%	1

sample12.0ms

Algorithm

intervals

Results

4.0ms	256×	body	80	valid
3.0ms	256×	pre	80	true

simplify197.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (188.0ms)

Iter	Nodes	Cost
0	4763	10
1	4763	10

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (*.f64 x x) (pow.f64 x 3))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp_binary64`
2×	`cube-mult_binary64`
1×	`flip3-+_binary64` `*-un-lft-identity_binary64` `pow1_binary64` `distribute-lft-out_binary64` `add-cube-cbrt_binary64` `distribute-rgt-out_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `distribute-rgt1-in_binary64` `add-sqr-sqrt_binary64` `+-commutative_binary64` `flip-+_binary64` `unpow3_binary64` `sum-log_binary64`

Counts

1 → 14

Calls

1 calls:

6.0ms

(+.f64 (*.f64 x x) (pow.f64 x 3))

series47.0ms

Counts

1 → 3

Calls

1 calls:

47.0ms

(+.f64 (*.f64 x x) (pow.f64 x 3))

simplify68.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4988	205
1	4988	205

prune12.0ms

Filtered

12 candidates to 17 candidates (-41.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	15	2	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	3	18

Merged error: 0.0b

Counts

18 → 3

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(.f64 (+.f64 x 1) (.f64 x x))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`-un-lft-identity_binary64` `associate-l*_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64` `associate-*l/_binary64`
1×	`flip3-+_binary64` `add-log-exp_binary64` `distribute-lft-out_binary64` `associate-r_binary64` `unswap-sqr_binary64` `flip-+_binary64` `*-commutative_binary64`

Counts

1 → 22

Calls

1 calls:

8.0ms

(*.f64 (+.f64 x 1) (*.f64 x x))

series31.0ms

Counts

1 → 3

Calls

1 calls:

31.0ms

(*.f64 (+.f64 x 1) (*.f64 x x))

simplify93.0ms

Algorithm

egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4917	288
1	4917	288

prune11.0ms

Filtered

14 candidates to 25 candidates (-78.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	25	3	28

Merged error: 0.0b

Counts

28 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
0.0b	(-.f64 (*.f64 x x) (pow.f64 x 3))
47.7b	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

204×	`add-sqr-sqrt_binary64`
159×	`difference-of-squares_binary64`
117×	`times-frac_binary64`
81×	`sqr-pow_binary64` `unpow-prod-down_binary64`
49×	`*-un-lft-identity_binary64`
27×	`add-cube-cbrt_binary64`
26×	`distribute-lft-out--_binary64`
15×	`distribute-rgt-out--_binary64` `cube-prod_binary64` `unpow3_binary64` `cube-mult_binary64`
13×	`associate-/l*_binary64`
9×	`associate-/r*_binary64`
7×	`add-log-exp_binary64`
5×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`flip3--_binary64` `flip--_binary64`
3×	`pow1_binary64`
2×	`associate-/l/_binary64` `sub-neg_binary64` `diff-log_binary64` `associate-/r/_binary64`
1×	`cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

3 → 194

Calls

3 calls:

8.0ms	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
6.0ms	(-.f64 (*.f64 x x) (pow.f64 x 3))
17.0ms	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))

series231.0ms

Counts

3 → 9

Calls

3 calls:

66.0ms	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
43.0ms	(-.f64 (*.f64 x x) (pow.f64 x 3))
121.0ms	(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))

simplify146.0ms

Algorithm

egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4962	6352
1	4962	6352

prune136.0ms

Filtered

108 candidates to 203 candidates (-88.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	203	3	206

Merged error: 0b

Counts

206 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
0.0b	(.f64 (.f64 x x) (+.f64 -1 x))
47.7b	(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6))) (.f64 (.f64 x x) (+.f64 -1 x)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

71×	`add-sqr-sqrt_binary64`
45×	`difference-of-squares_binary64`
30×	`sqr-pow_binary64` `unpow-prod-down_binary64` `associate-/l*_binary64` `times-frac_binary64`
26×	`distribute-lft-neg-in_binary64` `distribute-rgt-neg-in_binary64`
22×	`*-un-lft-identity_binary64`
17×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`add-cube-cbrt_binary64`
8×	`pow1_binary64`
6×	`cbrt-unprod_binary64` `prod-exp_binary64`
5×	`add-log-exp_binary64` `distribute-lft-out--_binary64`
4×	`associate-r_binary64` `associate-*r/_binary64`
3×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `flip3--_binary64` `neg-mul-1_binary64` `distribute-neg-frac_binary64` `associate-/r/_binary64` `flip--_binary64` `flip-+_binary64`
1×	`associate-/r_binary64` `sub-neg_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `neg-sub0_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `distribute-frac-neg_binary64` `-commutative_binary64`

Counts

3 → 128

Calls

3 calls:

7.0ms	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
8.0ms	(.f64 (.f64 x x) (+.f64 -1 x))
18.0ms	(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6))) (.f64 (.f64 x x) (+.f64 -1 x)))

series212.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(-.f64 (pow.f64 x 4) (pow.f64 x 6))
35.0ms	(.f64 (.f64 x x) (+.f64 -1 x))
104.0ms	(/.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6))) (.f64 (.f64 x x) (+.f64 -1 x)))

simplify118.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4971	2998
1	4971	2998

prune103.0ms

Filtered

89 candidates to 137 candidates (-53.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	137	3	140

Merged error: 0b

Counts

140 → 3

regimes10.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	10
1	7	10

end0.0ms

sample353.0ms

Algorithm

intervals

Results

148.0ms	8000×	body	80	valid
104.0ms	8000×	pre	80	true

Details

analyze2.0ms

sample12.0ms

simplify197.0ms

prune3.0ms

localize4.0ms

rewrite6.0ms

series47.0ms

simplify68.0ms

prune12.0ms

localize4.0ms

rewrite8.0ms

series31.0ms

simplify93.0ms

prune11.0ms

localize11.0ms

rewrite43.0ms

series231.0ms

simplify146.0ms

prune136.0ms

localize11.0ms

rewrite39.0ms

series212.0ms

simplify118.0ms

prune103.0ms

regimes10.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample353.0ms

Profiling